诺伊曼基数指派, 是使用序数的基数指派, 对于良序集合, 我们定义它的基数为等势, equinumerous, 的最小序数, 更加精确的, card, displaystyle, mathrm, card, alpha, alpha, 當中, displaystyle, exists, 是单射, displaystyle, displaystyle, displaystyle, 都为真, displaystyle, 為真, displaystyle, 是序数的类, 这个序数也叫做这个基数的初始序数, 使用替代公理,. 冯 诺伊曼基数指派是使用序数的基数指派 对于良序集合 U 我们定义它的基数为等势 equinumerous 于 U 的最小序数 更加精确的 U card U inf a ON a cU displaystyle U mathrm card U inf alpha in ON alpha c U 當中 A cB f f A B displaystyle A leq c B iff exists f f A to B 是单射 displaystyle A cB displaystyle A leq c B 和 B cA displaystyle B leq c A 都为真 A cB displaystyle iff A c B 為真 ON displaystyle ON 是序数的类 这个序数也叫做这个基数的初始序数 使用替代公理 U 是良序的和序数的类是良序的的事实保证这样一个序数存在并且是唯一的 通过完全选择公理 所有集合都是可良序的 所以所有集合都有一个基数 我们使用从序数继承来的次序排序基数 容易发现这与通过 c displaystyle leq c 的排序相符 这是基数的良序排序 基数的初始序数 编辑每个序数都有一个关联的基数 它的势 通过简单的忘记这个次序而获得的 任何良序集合都有这个序数作为它的有同样势的序类型 有给定基数作为它的势的最小的序数被叫做这个基数的初始序数 所有有限序数 自然数 是初始的 但是多数无限序数不是初始的 选择公理等价于声称所有集合可以是良序的 就是说所有基数都有初始序数 在这种情况下 在传统上把基数等同它的初始序数 并称这个初始序数是一个基数 第 a 无限初始序数写为 wa displaystyle omega alpha nbsp 它的势写为 ℵa displaystyle aleph alpha nbsp 例如 w0 w 的势是 ℵ0 displaystyle aleph 0 nbsp 它也是 w 或 e0 所有可数序数 的势 所以 假定选择公理 我们可以把 w 等同于 ℵ0 displaystyle aleph 0 nbsp 除了在写为基数的时候使用符号 ℵ0 displaystyle aleph 0 nbsp 写为序数的时候使用符号 w 之外 这是重要的 因为 ℵ02 ℵ0 displaystyle aleph 0 2 aleph 0 nbsp 而 w2 gt w displaystyle omega 2 gt omega nbsp 还有 w1 displaystyle omega 1 nbsp 是最小的不可数序数 要见到它的存在 考虑自然数的良序排序的等价类的集合 每个这种良序排序定义一个可数序数 而 w1 displaystyle omega 1 nbsp 是这个集合的序类型 w2 displaystyle omega 2 nbsp 是其势大于 ℵ1 displaystyle aleph 1 nbsp 的最小的序数 以此类推 而 ww displaystyle omega omega nbsp 是对于自然数 n 的 wn displaystyle omega n nbsp 的极限 任何基数的极限是基数 所以这个极限的确是在所有 wn displaystyle omega n nbsp 之后的第一个基数 参见 编辑序数 基数 基数指派 取自 https zh wikipedia org w index php title 冯 诺伊曼基数指派 amp oldid 68578735, 维基百科,wiki,书籍,书籍,图书馆,