查看“︁冯·诺伊曼基数指派”︁的源代码

'''[[冯·诺伊曼]]基数指派'''是使用[[序数]]的[[基数指派]]。对于[[良序关系|良序]]集合 ''U''，我们定义它的[[基数 (数学)|基数]]为[[等势]](equinumerous)于 ''U'' 的最小序数。更加精确的，

:<math>|U| = \mathrm{card}(U) = \inf \{ \alpha \in ON \ |\ \alpha =_c U \}</math>，
當中：
*<math>A \leq_c B \iff (\exists f) (f : A \to B\,</math>是单射<math>)\,</math>
*<math>A \leq_c B</math> 和 <math>B \leq_c A</math> 都为真<math>\iff A =_c B \ </math>為真
*<math>ON</math>是序数的[[類 (數學)|类]]。

这个序数也叫做这个基数的'''初始序数'''。使用[[替代公理]]，''U'' 是良序的和序数的类是良序的的事实保证这样一个序数存在并且是唯一的。通过完全[[选择公理]]，所有集合都是可良序的，所以所有集合都有一个基数；我们使用从序数继承来的次序排序基数。容易发现这与通过 <math>\leq_c</math> 的排序相符。这是基数的良序排序。

== 基数的初始序数 ==

每个序数都有一个关联的[[基数 (数学)|基数]]，它的势，通过简单的忘记这个次序而获得的。任何良序集合都有这个序数作为它的有同样势的[[序类型]]。有给定基数作为它的势的最小的序数被叫做这个基数的初始序数。所有有限序数(自然数)是初始的，但是多数无限序数不是初始的。[[选择公理]]等价于声称所有集合可以是良序的，就是说所有基数都有初始序数。在这种情况下，在传统上把基数等同它的初始序数，并称这个初始序数是一个基数。

第 &alpha; 无限初始序数写为 <math>\omega_\alpha</math>。它的势写为 <math>\aleph_\alpha</math>。例如，&omega;<sub>0</sub> = &omega; 的势是 <math>\aleph_0</math>，它也是 &omega;² 或 &epsilon;<sub>0</sub>(所有可数序数)的势。所以(假定选择公理)我们可以把 &omega; 等同于 <math>\aleph_0</math>，除了在写为基数的时候使用符号 <math>\aleph_0</math>，写为序数的时候使用符号 &omega; 之外(这是重要的，因为 <math>\aleph_0^2=\aleph_0</math> 而 <math>\omega^2>\omega</math>)。还有，<math>\omega_1</math> 是[[首個不可數序數|最小的不可数序数]](要见到它的存在，考虑自然数的良序排序的等价类的集合: 每个这种良序排序定义一个可数序数，而 <math>\omega_1</math> 是这个集合的序类型)，<math>\omega_2</math> 是其势大于 <math>\aleph_1</math> 的最小的序数，以此类推，而 <math>\omega_\omega</math> 是对于自然数 ''n'' 的 <math>\omega_n</math> 的极限(任何基数的极限是基数，所以这个极限的确是在所有 <math>\omega_n</math> 之后的第一个基数)。

== 参见 ==
*[[序数]]
*[[基数 (数学)|基数]]
*[[基数指派]]

[[Category:序数]]
[[Category:基数]]