冯·诺伊曼基数指派
冯·诺伊曼基数指派是使用序数的基数指派。对于良序集合 U,我们定义它的基数为等势(equinumerous)于 U 的最小序数。更加精确的,
- ,
當中:
- 是单射
- 和 都为真為真
- 是序数的类。
这个序数也叫做这个基数的初始序数。使用替代公理,U 是良序的和序数的类是良序的的事实保证这样一个序数存在并且是唯一的。通过完全选择公理,所有集合都是可良序的,所以所有集合都有一个基数;我们使用从序数继承来的次序排序基数。容易发现这与通过 的排序相符。这是基数的良序排序。
基数的初始序数编辑
每个序数都有一个关联的基数,它的势,通过简单的忘记这个次序而获得的。任何良序集合都有这个序数作为它的有同样势的序类型。有给定基数作为它的势的最小的序数被叫做这个基数的初始序数。所有有限序数(自然数)是初始的,但是多数无限序数不是初始的。选择公理等价于声称所有集合可以是良序的,就是说所有基数都有初始序数。在这种情况下,在传统上把基数等同它的初始序数,并称这个初始序数是一个基数。
第 α 无限初始序数写为 。它的势写为 。例如,ω0 = ω 的势是 ,它也是 ω² 或 ε0(所有可数序数)的势。所以(假定选择公理)我们可以把 ω 等同于 ,除了在写为基数的时候使用符号 ,写为序数的时候使用符号 ω 之外(这是重要的,因为 而 )。还有, 是最小的不可数序数(要见到它的存在,考虑自然数的良序排序的等价类的集合: 每个这种良序排序定义一个可数序数,而 是这个集合的序类型), 是其势大于 的最小的序数,以此类推,而 是对于自然数 n 的 的极限(任何基数的极限是基数,所以这个极限的确是在所有 之后的第一个基数)。
参见编辑
🔥 Top keywords: Baike: 首页Special:搜索毛泽东家族榮耀之繼承者天之驕女鐵拳英雄九龍城寨之圍城黃循財背着善宰跑篠崎泫妮妃雅新生 (网络剧)劉偉健斯洛伐克习近平劉俊謙 (香港)李显龙歌手2024佛誕淚之女王2024年泰國羽球公開賽新加坡總理邊佑錫新加坡Energy (組合)庆余年九龍寨城六四事件家族榮耀金智媛彌助菲律宾胖猫跳江事件劉寶傑DAY6林峯張文傑李光耀神耆小子張鳳妮黃世聰Seventeen (組合)维基百科願榮光歸香港中華民國鬼滅之刃 柱訓練篇2024年英雄联盟季中邀请赛中华人民共和国TripleS金秀賢 (男演員)罗伯特·菲佐井柏然2024年世界女排联赛黃偉哲怪獸8號佘詩曼Foodpanda金惠奫新加坡总统香緹·摩爾于北辰 (1968年)王嘉爾笑看風雲排球少年!!角色列表林飛帆郭葦昀馴鹿寶貝翁靜晶猩球崛起:王國誕生ILLIT尼古拉·約基奇春色寄情人周殷廷鬼滅之刃排球少年!!吳釗燮逆天奇案2不夠善良的我們BABYMONSTER李正皓尚达曼BOYNEXTDOOR胡子彤IVE (組合)陳靜 (香港)香港吴作栋黃道十二宮凡希亚·奥伊亚胡宇威長洲太平清醮張員瑛搜查班長1958伍允龍习明泽黄岩岛賴清德偶然遇見的你虽然不是英雄