冯·诺伊曼全集

✍ dations ◷ 2025-04-03 17:50:35 #集合族

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

相关

  • 多黏菌素B多粘菌素B(英语:Polymyxin B,又名多黏菌素B)是一种主要用于治疗 革兰氏阴性菌感染药物。它是从一种名为Bacillus polymyxa的细菌中被分离出来的。多粘菌素B是多粘菌素的一种,由两
  • 产褥热产褥热(puerperal fever)也称为产后感染(postpartum infections)、产褥感染(Puerperal infections)或产褥期发热,是在分娩、流产或是堕胎后,产道的细菌性感染。其症状一般会包括发烧
  • 崔致远传《崔致远传》又称《双女坟记》、《仙女红袋》是一个有关新罗文人崔致远在唐朝担任溧水县尉期间与双女坟两仙女的人鬼恋故事。该故事收录于已失传的朝鲜古典名著《新罗殊异传
  • 棉鼠族棉鼠属(Sigmodon)是哺乳纲啮齿目仓鼠科之下的一属,而与棉鼠属(例如:棕棉鼠)同科的动物尚有稻水鼠属(例:哈氏稻水鼠)、暖鼠属(例:暖鼠)、褐鼷鼠属(例:褐鼷鼠)、厄瓜多尔鬃鼠属(例:厄瓜多尔鬃鼠
  • 第三次的核试2013年朝鲜核试验是朝鲜自2006年起的第三次核试验,2013年2月12日,朝鲜宣布成功进行了一次地下核试验,并称此次试验的是小型轻量的原子弹,弹头材料则是首次装填浓缩铀,同时多国宣
  • 音乐之声 (电影)《音乐之声》()是一部1965年的美国电影,改编自同名音乐剧。1960年6月,二十世纪福克斯以1,250,000美元购得电影版版权。但条约中规定二十世纪福克斯公司必须等同名音乐剧下档后,以
  • 3-氨基-1,2,4-三唑3-氨基-1,2,4-三唑是一种有机化合物,化学式为C2H4N4。3-氨基-1,2,4-三唑可由hydrazinecarboximidamide(CAS:79-17-4)在酸中或其碳酸酯(CAS:2582-30-1)在水中加热反应得到。
  • 山田耕筰山田耕筰(1886年6月9日-1965年12月29日),日本古典音乐作曲家、指挥家。作为日本明治维新后不久出生的音乐家,山田耕筰是日本最早的西洋古典音乐作曲家之一。他出身于一个下级武士
  • 青春大反抗《青春大反抗》(英语:)是一部2009年的美国浪漫喜剧电影,由米格尔·阿特塔(英语:Miguel Arteta)执导。改编自C·D·佩恩(英语:C. D. Payne)的书信体小说《》。主演是迈克尔·施拿和波西
  • 奥列格·戈尔季耶夫斯基奥列格·戈尔季耶夫斯基(俄语:Оле́г Анто́нович Гордие́вский;1938年10月10日-)前苏联克格勃上校、驻外特工,伦敦局局长,从1974年至1985年为秘密情报局