冯·诺伊曼基数指派冯·诺伊曼基数指派是使用序数的基数指派。对于良序集合 U,我们定义它的基数为等势(equinumerous)于 U 的最小序数。更加精确的,
當中:
这个序数也叫做这个基数的初始序数。使用替代公理,U 是良序的和序数的类是良序的的事实保证这样一个序数存在并且是唯一的。通过完全选择公理,所有集合都是可良序的,所以所有集合都有一个基数;我们使用从序数继承来的次序排序基数。容易发现这与通过 的排序相符。这是基数的良序排序。 基数的初始序数每个序数都有一个关联的基数,它的势,通过简单的忘记这个次序而获得的。任何良序集合都有这个序数作为它的有同样势的序类型。有给定基数作为它的势的最小的序数被叫做这个基数的初始序数。所有有限序数(自然数)是初始的,但是多数无限序数不是初始的。选择公理等价于声称所有集合可以是良序的,就是说所有基数都有初始序数。在这种情况下,在传统上把基数等同它的初始序数,并称这个初始序数是一个基数。 第 α 无限初始序数写为 。它的势写为 。例如,ω0 = ω 的势是 ,它也是 ω² 或 ε0(所有可数序数)的势。所以(假定选择公理)我们可以把 ω 等同于 ,除了在写为基数的时候使用符号 ,写为序数的时候使用符号 ω 之外(这是重要的,因为 而 )。还有, 是最小的不可数序数(要见到它的存在,考虑自然数的良序排序的等价类的集合: 每个这种良序排序定义一个可数序数,而 是这个集合的序类型), 是其势大于 的最小的序数,以此类推,而 是对于自然数 n 的 的极限(任何基数的极限是基数,所以这个极限的确是在所有 之后的第一个基数)。 参见 |
Index:
pl ar de en es fr it arz nl ja pt ceb sv uk vi war zh ru af ast az bg zh-min-nan bn be ca cs cy da et el eo eu fa gl ko hi hr id he ka la lv lt hu mk ms min no nn ce uz kk ro simple sk sl sr sh fi ta tt th tg azb tr ur zh-yue hy my ace als am an hyw ban bjn map-bms ba be-tarask bcl bpy bar bs br cv nv eml hif fo fy ga gd gu hak ha hsb io ig ilo ia ie os is jv kn ht ku ckb ky mrj lb lij li lmo mai mg ml zh-classical mr xmf mzn cdo mn nap new ne frr oc mhr or as pa pnb ps pms nds crh qu sa sah sco sq scn si sd szl su sw tl shn te bug vec vo wa wuu yi yo diq bat-smg zu lad kbd ang smn ab roa-rup frp arc gn av ay bh bi bo bxr cbk-zam co za dag ary se pdc dv dsb myv ext fur gv gag inh ki glk gan guw xal haw rw kbp pam csb kw km kv koi kg gom ks gcr lo lbe ltg lez nia ln jbo lg mt mi tw mwl mdf mnw nqo fj nah na nds-nl nrm nov om pi pag pap pfl pcd krc kaa ksh rm rue sm sat sc trv stq nso sn cu so srn kab roa-tara tet tpi to chr tum tk tyv udm ug vep fiu-vro vls wo xh zea ty ak bm ch ny ee ff got iu ik kl mad cr pih ami pwn pnt dz rmy rn sg st tn ss ti din chy ts kcg ve
Portal di Ensiklopedia Dunia