冯·诺伊曼全集

✍ dations ◷ 2025-10-22 03:32:20 #集合族

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

相关

  • 格(拉丁语:casus,英语:case),格位,狭义上称为语法格,在格语法中称为表层格,是名词、代词、分词、数词或形容词等词类当中,反映其在短语、从句或句子中所起语法功能(英语:grammatical fun
  • 埃文斯马丁·约翰·埃文斯爵士(英语:Sir Martin John Evans,1941年1月1日-),英国科学家,2007年诺贝尔生理学或医学奖获得者之一。1963年毕业于剑桥大学并在1969于伦敦大学学院获得博士学
  • 新布尼亚病毒新布尼亚病毒(SFTS Virus),又称发热伴血小板减少综合征病毒,是布尼亚病毒科白蛉病毒属(英语:Phlebovirus)的一种病毒,其引发的病症称为发热伴血小板减少综合征,为一种经由蜱虫传染给
  • OTCOTC可以指:
  • 设计概算设计概算是指在初步设计阶段,在投资估算的控制下,由设计单位根据初步设计或扩大初步设计图纸及说明、概算定额或概算指标、综合概算定额、取费标准、设备材料概算价格等资料,编
  • 佤民族团结党佤民族团结党(缅甸语:“ဝ”အမျိုးသားစည်းလုံးညီညွတ်ရေးပါတီ,英语:Wa National Unity Party,缩写 WNUP)是缅甸的一个政党。该党由前佤民族发展党的
  • 朱英龙朱英龙,1937年出生,台湾企业家。浙江省鄞县(今宁波市)人。早年毕业于国立台湾大学机械工程系。毕业后赴西欧留学,先后获得联邦德国慕尼黑工业大学工程师证书和瑞士苏黎世联邦理工
  • 李佳欢李佳欢(1995年1月31日-),马来西亚华语流行音乐女歌手,姐姐为歌手李佳薇。2018年参加台湾大型选秀节目第一届《声林之王》,其具特色的嗓音及活泼性格获观众喜爱。目前为“游手好弦
  • 布伦嫩湖坐标:47°59′0″N 12°26′12″E / 47.98333°N 12.43667°E / 47.98333; 12.43667布伦嫩湖(德语:Brunnensee),是德国的湖泊,位于该国东南部,由巴伐利亚州负责管辖,处于特劳恩施泰
  • O RLY?O RLY? 是英语 Oh, really? 的拟音简称,即是中文书面语的“噢,真的?”,是欧美国家网络上的网络现象,常用于疑问或者讽刺他人言论。它的整个形像其实是一幅改图:一只雪鸮表现著“惊