冯·诺伊曼全集

✍ dations ◷ 2025-08-01 05:44:06 #集合族

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

相关

  • 安提西尼安提西尼(古希腊语:Ἀντισθένης,Antisthenes,前445年-前365年),或译为安提斯泰尼,古希腊哲学家,苏格拉底弟子之一。安提西尼约生于公元前445年,他的父亲也叫安提西尼(Antisthe
  • 任纪舜任纪舜(1935年2月6日-),中国地质学家。出生于陕西华阴。1955年毕业于西北大学地质系。1997年当选为中国科学院院士。中国地质科学院地质研究所研究员。世界地质图委员会(CGMW)副
  • 咪达普利咪达普利(英语:Imidapril)商品名:达爽,是一款血管紧张素转化酶抑制剂抗高血压药物,在1993年由日本田边制药研制并投入市场。咪达普利口服后,在体内转换成活性代谢物咪达普利拉(Imida
  • 荷特-欧兰症候群Holt-Oram症候群是一种遗传病,其会导致与服用沙利窦迈的孕妇所诞下的婴儿有相似的异常,心脏及骨骼主为受影响,故又称为心手症候群。此遗传病未有发生率的推估。遗传方面,其遗传
  • 赤眉军赤眉军是中国新莽末年起事的军队之一,因起事者将眉毛染红,示其别于政府军,故称作赤眉军。赤眉军于天凤五年(公元18年)在莒(今山东莒县)起事,首领为琅琊人樊崇,以泰山山区一带为根据地
  • Never Gonna Give You Up《Never Gonna Give You Up》是理查德·艾斯利的1987年单曲,由Stock Aitken Waterman(英语:Stock Aitken Waterman)创作与制作。这是理查德首张专辑《Whenever You Need Somebod
  • 鲨滩《鲨滩》(英语:)是一部于2016年上映的美国生存(英语:Survival film)恐怖惊悚片,为佐米·希尔拉执导。由布蕾克·莱弗利主演。电影正式于2015年10月28日在澳大利亚的新南威尔士州开
  • 李人龙李人龙可以是:
  • 常道常道(?-?),字文载,河南陈留县人,直隶□州府籍,明朝政治人物。应天府乡试第二十八名举人。弘治十八年(1505年)中式乙丑科三甲第一百六十七名进士。仼山东昌邑县知县,廉明有声,迁户部主事。
  • 奕梁四等侍卫(道光二十八年~?年) 散秩大臣(咸丰元年~?年) 前引大臣(咸丰二年~?年) 左翼近支族长(咸丰四年~?年) 宁夏副都统(咸丰四年~十年) 宁夏将军(咸丰十年~同治二年) 泰宁镇总兵(署任,同治七年) 正蓝