冯·诺伊曼全集

✍ dations ◷ 2025-07-04 09:27:56 #集合族

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

相关

  • 纳瓦霍族保留地纳瓦霍族保留地(纳瓦霍语:Naabeehó Bináhásdzo)是美国的一块半自治的印第安保留地,有71000平方千米,包括整个亚利桑那州东北部、犹他州东南部、新墨西哥州西北部。它是美国最
  • 环太平洋火山地震带环太平洋火山带(英语:Ring of Fire,又称环太平洋带、环太平洋地震带或火环带)是一个围绕太平洋经常发生地震和火山爆发的地区,全长40,000千米,呈马蹄形。环太平洋火山带上有一连串
  • 平汉铁路京汉铁路从北京到湖北汉口,最初称为“芦汉铁路”(卢沟桥至汉口),是清政府为图自强、实现近代化而兴筑的一条纵贯南北的大干线。1927年至1949年间因北京改称北平,京汉铁路也改称“
  • 麦克斯·施蒂纳麦克斯‧施蒂纳(Max Stirner,1806年10月25日-1856年6月26日),本名是约翰‧卡斯帕‧施密特(Johann Kaspar Schmidt)。比他本名更有名之笔名,乃源自于他小时候的额头很高,在学校被同学
  • 欧晋德欧晋德(1944年11月19日-),生于福建省永安县,是台湾政治人物、土木工程学者,曾任交通部国道新建工程局首任局长、行政院公共工程委员会主任委员、副主任委员、台北市副市长、台北智
  • 垂直(短距)起降 垂直(短距)起降(Vertical and/or Short Take-off and Landing,缩写为V/STOL)是指飞行器能够垂直地或者在很短的跑道上进行起飞或降落。垂直起降飞行器是垂直(短距)起降飞行器的一
  • 巴天族巴天族(越南语:người Pà Thẻn)或称为巴兴族(越南语:Pá Hưng)、宋族(越南语:Tống),是越南官方认定的54个民族之一,居住在越中边境附近的河江省和宣光省,2009年人口为6811,其中河江
  • C&A西雅衣家(C&A)是总部设在比利时布鲁塞尔的一家国际服装设计和销售公司。其下子品牌包括Clockhouse,Westbury和Your Sixth Sense。在欧洲许多地方设有大型专卖店。主要销售价廉
  • 老鼠嫁女 (动画片)老鼠嫁女是中国大陆上海美术电影制片厂于1983年摄制的剪纸卡通片,该片根据中国民间传说老鼠嫁女的故事改编而成。影片风格诙谐幽默,借鼠拟人,讽刺了社会上的一些丑恶的现象。老
  • 萨伊德·塔格马奥萨伊德·塔格马奥(法语:Saïd Taghmaoui,1973年7月19日-)出生于法国巴黎,为法国演员和编剧。1973年,塔格马奥出生于法国巴黎,家中有9个兄弟姐妹。 他的父母都是摩洛哥的柏柏尔人移民