冯·诺伊曼全集
在集合论和有关的数学分支中,冯·诺伊曼全集或冯·诺伊曼集合层次,是由所有集合組成的类,可以分成超限階级的个体集合(a transfinite hierarchy of individual sets)。
它可以用超限归纳法定义为如下:
- .
- 最后,设V是所有V-阶段的并:
- .
等价的说,对于任何序数α,设,这里的是X的幂集。
V和集合论编辑
如果ω是自然数的集合,则Vω是继承有限集合的集合,它是不带有无穷公理的集合论的模型。Vω+ω是普通数学的全集。它是Zermelo集合论的模型。如果κ是不可及基数,则Vκ是Zermelo-Fraenkel集合论自身的模型,而Vκ+1是Morse–Kelley集合论的模型。
注意所有个体阶段Vα都是集合,但是它们的并集V是真类。在V中的集合叫做继承良基集合;基础公理要求所有集合是良基的而因此是继承良基的。(也有的公理系统忽略基础公理,或把基础公理替換為其強否定,如Aczel的反基础公理,不過這類系統很少被用到)。
给定任何集合A,使得A是某個Vα的子集的最小序数α是A的阶(或继承等级)。
哲学观点编辑
有两种不同的方式来理解冯·诺伊曼全集V和ZFC的联系。粗略的说,形式主义者傾向於把V看作是从ZFC公理推出的某种东西(例如,ZFC证明了所有集合都在V中)。在另一方面,实在論者會把冯·诺伊曼全集看作从直觉可直接触及的某种东西,而把ZFC公理看作在V中为真的命题,透過簡單論證(透過自然語言),可以使人信服它們的真確性。一个可能的中间立场是,冯·诺伊曼层次的形象化概念给ZFC公理提供了一个动机(所以這些公理不是任意提出來的),但這不意味ZFC公理確實有描述真实存在的对象。
参见编辑
- 冯·诺伊曼
- 可构造全集
- 不可及基数
🔥 Top keywords: Baike: 首页Special:搜索胖猫跳江事件背着善宰跑九龍城寨之圍城逆天奇案2璩静淚之女王歌手2024Energy (組合)新生 (网络剧)习近平匈牙利邊佑錫劉俊謙 (香港)金智媛神耆小子塞尔维亚金秀賢 (男演員)母亲节猩球崛起:王國誕生九龍寨城馴鹿寶貝家族榮耀之繼承者Seventeen (組合)六四事件不夠善良的我們张维为楊佩潔TripleS支配物种庆余年郭葦昀洪若潭命案金惠奫2024年英雄联盟季中邀请赛春色寄情人BABYMONSTER笑看風雲乘風2024排球少年!!角色列表破墓徐巧芯中华人民共和国中華民國打天下2WIND BREAKER—防風少年—习明泽排球少年!!彭丽媛磁暴ILLIT贾斯汀·比伯逆天奇案BOYNEXTDOOR猿人爭霸戰:猩凶革命張書偉我的婆婆怎麼那麼可愛我獨自升級怪獸8號謝坤達IVE (組合)與鳳行關於我轉生變成史萊姆這檔事角色列表黃道十二宮福建號航空母艦虽然不是英雄葉乃文五月天張員瑛草榴社区張文傑2024年花蓮地震极光香緹·摩爾迷宮飯呂家愷搜查班長1958日本劉德華海莉·鮑德溫蕭景鴻越位 (足球)葬送的芙莉蓮周處除三害 (電影)毛泽东願榮光歸香港林峯周雨彤伍允龍羅毓儀香港Baike: 分類索引沒有秘密猩球崛起:終極決戰角質層唐振剛柯佳嬿文化大革命