冯·诺伊曼全集

✍ dations ◷ 2025-09-13 01:05:31 #集合族

在集合论和有关的数学分支中,冯·诺伊曼全集或冯·诺伊曼集合层次,是由所有集合组成的类,可以分成超限阶级的个体集合(a transfinite hierarchy of individual sets)。

它可以用超限归纳法定义为如下:

等价的说,对于任何序数α,设 V α := β < α P ( V β ) {\displaystyle V_{\alpha }:=\bigcup _{\beta <\alpha }{\mathcal {P}}(V_{\beta })\!} ω是继承有限集合的集合,它是不带有无穷公理的集合论的模型。ω+ω是普通数学的全集。它是Zermelo集合论的模型。如果κ是不可及基数(英语:Inaccessible cardinal),则κ是Zermelo-Fraenkel集合论自身的模型,而κ+1是Morse–Kelley集合论的模型。

注意所有个体阶段α都是集合,但是它们的并集是真类。在中的集合叫做继承良基集合;基础公理要求所有集合是良基的而因此是继承良基的。(也有的公理系统忽略基础公理,或把基础公理替换为其强否定,如Aczel的反基础公理,不过这类系统很少被用到)。

给定任何集合,使得是某个α的子集的最小序数α是的阶(或继承等级)。

有两种不同的方式来理解冯·诺伊曼全集和ZFC的联系。粗略的说,形式主义者倾向于把看作是从ZFC公理推出的某种东西(例如,ZFC证明了所有集合都在中)。在另一方面,实在论者会把冯·诺伊曼全集看作从直觉可直接触及的某种东西,而把ZFC公理看作在中为真的命题,透过简单论证(透过自然语言),可以使人信服它们的真确性。一个可能的中间立场是,冯·诺伊曼层次的形象化概念给ZFC公理提供了一个动机(所以这些公理不是任意提出来的),但这不意味ZFC公理确实有描述真实存在的对象。

相关

  • 盖br /层br /纪盖层纪(Calymmian,符号MP1)是地质时代中的一个纪,开始于同位素年龄1600±0百万年(Ma),结束于1400±0Ma。盖层纪期间蓝藻、绿藻发育,出现大型宏观藻类。盖层纪属于前寒武纪元古宙中
  • 维多里奥·狄西嘉维多里奥·狄西嘉(意大利语:Vittorio De Sica,1901年7月7日-1974年11月13日)是一位意大利导演与演员,也是电影史上一位相当重要的导演,四次奥斯卡最佳外语片获奖导演。
  • 华沙犹太区起义犹太地下抵抗运动 犹太战斗组织(ŻOB) 犹太军事联盟(ŻZW) 波兰抵抗运动(英语:第二次世界大战时期的波兰抵抗运动) 波兰救国军纳粹集中营转移营比利时:布伦东克堡垒 · 梅赫伦转
  • 尤马县尤马县(英语:Yuma County)是美国科罗拉多州东部的一个县,东邻内布拉斯加州。面积14,294平方公里。根据美国2000年人口普查,人口160,026。县治雷(Wray)。成立于1889年3月15日。县名
  • 瓦尔特·施艾拉小瓦尔特·“沃里”·马蒂·施艾拉(英语:Walter 'Wally' Marty Schirra, Jr.,1923年3月12日-2007年5月3日), 曾是一位美国国家航空航天局的宇航员,执行过水星-大力神8号、双子星6A
  • 裴钢裴钢(1953年12月11日-),辽宁沈阳人,中国细胞生物学家、分子药理学家,中国科学院院士,中国科学院上海生命科学研究院院长。曾任同济大学校长、台湾世新大学荣誉教授。1953年12月11日
  • 富冈渔港富冈渔港是一座小型规模的渔港,位于台湾台东县台东市的富冈里,东临太平洋。富冈渔港是台东县内第二大之渔港,仅次于成功渔港。渔港位于台东县海岸线中点,位在卑南溪出海口北方,距
  • 米哈伊尔·茨哈卡亚米哈伊尔·茨哈卡亚(俄语:Михаил (Миха) Григорьевич Цхакая 1865年5月4日-1950年3月19日)格鲁吉亚共产党领导人,生于马尔特维利市,1880年开始参与革
  • 贾克·普维贾克·普维(Jacques Prévert、(1900年2月4日-1977年4月11日))(又译雅克·普莱维尔、裴外)是一位法国诗人与剧作家,曾与知名导演马赛尔·卡尔内多次合作,最著名的作品为《天堂的孩
  • 耶路撒冷剧院耶路撒冷剧院(希伯来语:.mw-parser-output .script-hebrew,.mw-parser-output .script-Hebr{font-size:1.15em;font-family:"Ezra SIL","Ezra SIL SR","Keter Aram Tsova","Ta