[科普中国]-基数指派

在集合论中，势的概念可以有相当的发展，而无需借助于定义基数为理论自身内的对象（这实际上是弗雷格采用的观点；弗雷格基数基本上是指在等势关系下，由在全集中的集合所组成的各个等价类）。

简介势的概念可以依据函数的单射、双射与满射概念来阐述；比如透过单射，可以给出在整个全集上通过大小比较的预序关系

是单射。

它不是真的排序，因为三分律不一定成立：如果和都为真，则通过康托尔-伯恩斯坦-施罗德定理 为真，就是说A和B是等势的，但作为集合它们可以不是相等的；“三者至少一种情况成立”这一陈述等价于选择公理。

不过多数关于势和它的算术的有趣结果可以只通过 =c来表达。

基数指派的目标是把每个集合A指派到特定的唯一的一个集合，所指派的集合只取决于A的势。这跟康托尔最初对基数的设想是一致的：取一个集合并把它的元素抽象为规范“单位”，再把这些单位收集到另一个集合中，使得有关这个集合唯一特殊的事情是它的大小。这类集合在 下会是全序的，而=c会变成真正的等号。不过，如 Y. N. Moschovakis 所说，这只是作为体现数学简洁性的一个练习，你不会得到更多东西除非你“对下标过敏”。但是在集合论的各种模型中，有“真实”基数的各种有价值的应用。

在现代集合论中，我们通常使用冯·诺伊曼基数指派，它使用序数的理论与选择公理和替代公理的全部能力。基数指派需要完全的选择公理，如果我们想要像样的基数算术和对所有集合的基数指派。1

不用选择公理的基数指派形式上，假定选择公理，一个集合X的势，是使得在X和 α 之间有双射的最小序数 α。这个定义叫做冯·诺伊曼基数指派。如果不假定选择公理，我们需要采取别的方式。一个集合X的势的最古旧的定义（康托尔隐含地使用着，而在弗雷格和《数学原理》那里被明确提出），是等势于X的所有集合的集合：这在ZFC或其他有关的公理化集合论中不可行，因为这个搜集对于一个集合而言太大了，但这个定义在类型论、新基础和有关系统中可行。但是，如果我们限制这个类为，同X等势的那些对象中有最小阶的集合的搜集，则它就可行（这是Dana Scott发明的一个技巧：它可行是因为任何给定阶的对象的搜集都是一个集合）。

本词条内容贡献者为:

任毅如 - 副教授 - 湖南大学