冯·诺伊曼全集

✍ dations ◷ 2025-12-05 06:09:02 #集合族

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

相关

  • 云母云母是云母族矿物的统称,是钾、铝、镁、铁、锂等金属的铝硅酸盐,都是层状结构,单斜晶系。晶体呈假六方片状或板状,偶见柱状。层状解理非常完全,有玻璃光泽,薄片具有弹性。英语中“
  • 米奇·丹尼尔斯小米切尔·伊莱亚斯·“米奇”·丹尼尔斯(Mitchell Elias "Mitch" Daniels, Jr.,1949年4月7日),美国政治家,美国共和党成员,前印第安纳州州长(2005年至2013年),现任普渡大学校长。
  • 面向对象面向对象可以指:
  • 核碱基核碱基(英语:Nucleobase)是指一类含氮碱基(nitrogenous base),在生物学上通常简单地称之碱基(base)。是在DNA和RNA中,起配对作用的部分。核碱基都是杂环化合物,其氮原子位于环上或取代
  • 王嫔娜王嫔娜(韩语:왕빛나,1981年4月15日-),韩国女演员。
  • 可冷士类可冷士类(Collins)是一类鸡尾酒,这种鸡尾酒一般要加柠檬汁和糖粉,摇后,装在已经放冰块的坦布勒杯中(Tumbler一种口略大底略小的圆柱杯,容积为250-300毫升),再加满冰镇苏打水饮用。一
  • 乔治·帕里西乔治·帕里西(意大利语:Giorgio Parisi,1948年8月4日-),意大利理论物理学家,研究领域为量子场论,统计力学和复杂系统。他最知名的贡献包括与Guido Altarelli共同提出部分子密度的QCD
  • 进藤三郎进藤三郎(日文:進藤 三郎/しんどう さぶろう  ?,1911年8月28日-2000年2月2日),日本海军军人。海兵60期。最终军衔是海军少佐。曾参与第二次中日战争和太平洋战争。2000年2月2日,进
  • 被遗忘的士兵《被遗忘的士兵》(法语:Le Soldat oublié)是盖伊·萨耶(Guy Sajer(盖伊·蒙弥努(Guy Mouminoux)的化名)在1965年出版的自传,主要讲述了作为德国国防军士兵在第二次世界大战期间的经
  • 雅各布·马利雅各布·马利(Jacob Marley)是查尔斯·狄更斯小说《圣诞颂歌》(1843年)中的一个虚构人物,曾是守财奴埃艾比尼泽·斯克鲁奇的生意伙伴。作为一位“生意上的好手”,在故事设定的平安