冯·诺伊曼全集

✍ dations ◷ 2025-05-19 13:25:52 #集合族

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

相关

  • 戊辰战争1868年:1868年:其他亲藩大名:1868年: 大日本帝国1869年: 虾夷共和国炽仁亲王 彰仁亲王 西乡隆盛 黑田清隆 大村益次郎 山县有朋1868年: 德川庆喜 胜海舟 榎本武扬 松平
  • 罗尔夫·辛格罗尔夫·辛格(德语:Rolf Singer,1906年6月23日-1994年1月18日),德国出生的真菌学家,20世纪研究真菌学伞菌方面的重要学者之一。1931年于维也纳大学获得博士学位,之后于慕尼黑工作。
  • 雅典奥运会在现代历史上,作为奥林匹克运动发祥地的希腊雅典曾举办三次奥运会:
  • 卡拉伊乌帕齐拉卡拉伊(孟加拉语:কালাই,Kalai)是孟加拉国的一个乌帕齐拉,位于拉杰沙希专区的焦伊布尔哈德县。卡拉伊共有户数23504户。据1991年人口普查(英语:1991 Bangladesh census),该地共有
  • 亨利·艾芙隆亨利·艾芙隆(英语:Henry Ephron,1911年5月26日-1992年9月6日)为美国剧作家、编剧、电影制作人。1911年,艾芙隆出生在美国纽约州纽约市布朗克斯,他的父母是伊斯坦和艾萨克。他的父
  • 徐时栋徐时栋(1814年-1873年),字定宇,一字同叔,号澹斋,又号柳泉、西湖外史等,浙江省宁波府鄞县(今属宁波市海曙区)人。清朝学者、校刊学家、方志学家、藏书家。道光丙午举人,以输饷授内阁中书
  • 龚诗淇龚诗淇(1998年5月5日-),中国偶像团体SNH48的暂休成员,前所属队伍是Team NII。其于2013年8月18日,成为SNH48二期生并正式出道,11月11日,正式加入SNH48的Team NII。2013年8月18日,通过S
  • 别闯阴阳界《别闯阴阳界》(英语:Flatliners)是一部1990年美国科幻心理恐怖片,内容是五名医学院的学生执行‘濒死经验’的试验过程,这过程将触发参与者本身过去的悲剧黑暗历程;并逐渐危及他们
  • 宫良长详宫良长详(1894年1月11日-1965年1月30日),出生于日本冲绳县石垣市,琉球姓氏为山阳姓。二次大战前为日本冲绳县的医生,战后成为日本冲绳县八重山群岛地区的政治家,曾担任八重山自治会
  • 安井算哲安井算哲(1590年-1652年),日本围棋棋手,生于京都,一说大阪,父亲安井忠右卫门宗顺,一说是当时碁界高手(本因坊算砂的师父)仙也的儿子,本名安井六藏。十一岁被德川家康召见,授予俸禄,1608年