选择函数 编辑
选择函数是一个函数f，其定义域X为一堆非空集合组成的集合，且对每一个在X内的S，均有f∈S。换句话说，f会在X的每一集合中恰好选取一个元素。
3
图片 0 图片
评论 0 评论
匿名用户 · [[ show_time(comment.timestamp) ]]
[[ nltobr(comment.content) ]]
相关
可数选择公理，指示为





AC


ω




{\displaystyle {\text{AC}}_{\omega }}

，是公理化集合论的类似于选择公理的一个公理。它声称非空集合的任何可数集合搜集都一定有选择函数。保罗·寇恩证明了ACω在Zermelo-Fraenkel集合论中是不可证明的。