冯·诺伊曼全集

✍ dations ◷ 2025-06-16 00:50:13 #集合族

在集合论和有关的数学分支中,冯·诺伊曼全集或冯·诺伊曼集合层次,是由所有集合组成的类,可以分成超限阶级的个体集合(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公理确实有描述真实存在的对象。

相关

  • 马其顿安提柯王朝陆军马其顿安提柯王朝陆军,是马其顿王国于安提柯王朝时期的陆上武装力量,存在时间从前276年到前168年。它是希腊化时期希腊最强大的陆军,维持到前168年彼得那战役战败为止,并被解散
  • 古典主义在艺术领域,古典主义(Classicism)通常是指对一个古典时期,即西方传统中的古典时代的一种高度评价,作为古典学者试图模仿审美的设置标准。古典主义通常寻求正式而又保守的艺术。肯
  • 阮志清路TNR大楼阮志清路TNR大楼(英语:TNR Tower Nguyễn Chí Thanh),是位于越南首都河内市栋多郡阮志清路上的办公大楼。阮志清路TNR大楼原本隶属于阮志清路Vinhomes建案的办公大楼,在2016年
  • 粉色小菇 Schumach. f. (Schumach.) J.E. Lange var. (Schumach.) J.E. Lange粉色小菇(学名:)是小菇属的一种蕈类,最早由丹麦植物学家海因里希·克里斯蒂安·弗里德里希·舒马克(英语
  • 国际发明联盟协会国际发明联盟协会(英语:International Federation of Inventors' Associations,缩写 IFIA),是一个非营利非政府的国际性组织,由丹麦、芬兰、德国、英国、挪威、瑞典、瑞士等国的发
  • 林韵梅林韵梅(1933年1月9日-2020年3月17日),女,上海人,中国岩石力学家,东北大学教授。新中国岩石力学学科的开拓者。1933年1月9日出生于上海。曾就读于上海市市西中学。1950年至1954年在
  • 吴庆坻吴庆坻(1848年-1924年),字子脩、敬彊、子修,浙江钱塘县人,清朝进士、清朝政治人物。光绪二年(1876年),乡试中举;光绪十二年(1886年),登进士,。同年五月,改翰林院庶吉士。光绪十五年四月,散馆
  • 李槃李槃可以指:
  • 贾森·康尼杰森·康尼 MLA PC(Jason Kenney,1968年5月30日-),加拿大政治人物,现任艾伯塔省省长、艾省联合保守党党魁和艾伯塔省议会卡尔加里-罗歇选区省议员。他于2017年当选末任艾伯塔进步
  • 紫雨 (王子专辑)紫雨电影原声带 (简称为紫雨)是在1984年由Prince和The Revolution创作的。它由华纳唱片发行,是Prince的第六张专辑。在美国,这张唱片卖出了一千三百万张,获得了美国唱片行业协