冯·诺伊曼全集

✍ dations ◷ 2024-12-23 14:57:32 #集合族

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

相关

  • HbHB可以指下列事物:
  • 港澳关系港澳关系或澳港关系可以指:
  • 阿诺德·博德阿诺德·博德(德语:Arnold Bode,1900年12月23日-1977年10月3日)出生于德国卡塞尔市,是一位建筑师,画家,设计师和策展人,德国卡塞尔文献展(Kassel Documenta)创始人,在绘画、家具设计、展
  • 重庆商学院重庆商学院,是1985年至2002年曾经存在的一所商学高等院校,现已参与组建重庆工商大学。学校在重庆财贸学校的基础上创建于1985年,是原商业部部属院校,校址在重庆市南岸区五公里(现
  • 塞尔维亚社会主义共和国塞尔维亚社会主义共和国( 错误:{{lang-xx}}:文本有斜体标记(帮助))是南斯拉夫社会主义联邦共和国的一个加盟共和国,也是塞尔维亚共和国的前身。
  • 金圣权金圣权(1993年9月8日-),中国新生代男歌手、音乐剧演员,声乐教育家金铁霖之子。本科毕业于中国音乐学院,拥有曼哈顿音乐学院硕士学位,现为纽约大学研究生。早年曾为电视剧《金滩有缘
  • 蔡昉蔡昉(1956年9月-),江西萍乡人,汉族,中华人民共和国政治人物、全国人民代表大会江苏地区代表。中国共产党党员。1956年9月生于北京。1982年毕业于中国人民大学农业经济系经济学专业
  • 埃内斯托·桑佩尔·皮萨诺埃内斯托·桑佩尔·皮萨诺(西班牙语:Ernesto Samper Pizano,1950年8月3日-), 前任哥伦比亚总统。桑佩尔曾就读于Gimnasio Moderno school和哈维里亚那天主教大学(Pontificia Univer
  • 金·卡尔金·卡尔(Kim Carr,1955年7月2日-)是一位澳洲政治人物,他的党籍是澳洲工党。自1993年开始,他是代表维多利亚州的澳大利亚参议院议员之一。他曾经担任澳洲创新、工业、科学和研究部
  • 宋景诗宋景诗(1842年-?)是中国清代山东省堂邑县(今冠县)人,民变领袖。清咸丰十一年(1861年)因为被人诬告加入白莲教造反,组建“黑旗军”。朝廷派胜保镇压,宋景诗投降胜保。同年胜保因支持慈禧