指标集 编辑
在数学中，集合 A 的元素有时可以凭借某个集合 J 来索引或标定，这时便称集合 J 为索引集。索引由从 J 到 A 的一个满射函数构成，而被索引的搜集称为索引族、标记族或加标族，通常写为j∈J。
4
图片 0 图片
评论 0 评论
匿名用户 · [[ show_time(comment.timestamp) ]]
[[ nltobr(comment.content) ]]
相关
选择公理是数学中的一条集合论公理。这条公理声明，对所有非空集指标集集族





i
∈
I




{\displaystyle _{i\in I}}

，总存在一个索引族





i
∈
I




{\displaystyle _{i\in I}}

，对每一个



i
∈
I


{\displaystyle i\in I}

，均有




x

i


∈

S

i




{\displaystyle x_{i}\in S_{i}}

。选择公理最早于1904年，由恩斯特·策梅洛为证明良序定理而公式化完成。