冯·诺伊曼全集

✍ dations ◷ 2025-03-07 10:57:44 #集合族

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

相关

  • 饭团参数所指定的目标页面不存在,建议更正成存在页面或直接建立下列一个页面(建立前请先搜寻是否有合适的存在页面可以取代):注意如果条目名称是繁体字要使用繁体的“消歧義”,简体字
  • 早期生长反应蛋白早期生长反应蛋白(英语:early growth response proteins)是一个锌指结构转录因子蛋白家族。其成员包括:
  • 荒山合战荒山合战,天正10年(1582年)6月佐久间盛政、前田利家率领的联合军,与上杉景胜、温井景隆及石动山众徒率领的联合军,为争夺能登所爆发的战役。天正10年(1582年)6月2日,织田信长于本能
  • 洛汗洛汗可以指:
  • 陈洪谟陈洪谟(1476年-1527年),字宗禹,湖广武陵县人,明朝政治人物。弘治丙辰进士。嘉靖年间官至兵部侍郎。弘治九年(1496年)丙辰科进士,授刑部主事。正德五年(1510年)任福建漳州府知府,有惠政。
  • 廖静文廖静文(1923年4月-2015年6月16日),中国艺术家,画家徐悲鸿第三任妻子。湖南浏阳出生,是中国画家徐悲鸿1942年招聘的管理员,与已婚的徐悲鸿同居三年,以死相逼迫使徐悲鸿1945年登报宣布
  • 美国罪案故事:刺杀范思哲《美国罪案故事:刺杀范思哲》(英语:)为FX真实犯罪(英语:True crime)诗选剧《美国罪案故事》(英语:)的第二季。本季于2018年1月12日在FOX+抢先上线第1集,并安排于1月17日进行电视首播,全
  • 张炬 (演员)张炬(1935年-2009年5月13日),中国铁路文工团资深演员,国家一级演员,话剧、电影表演艺术家。出生于甘肃省天水市,担任中国戏剧家协会会员、中国戏剧文学学会会员、中国电影表演艺术
  • 徐敦信徐敦信(1934年-),男,江苏扬州人,中华人民共和国外交家。徐敦信早年就读于上海复旦大学英语系和北京大学东语系。1964年,进外交部任亚洲司副处长、处长、副司长等职位,并出使驻日本大
  • 热带鱼 (电影)《热带鱼》(英语:Tropical Fish)是陈玉勋的电影处女作,1995年首映。该片获同年瑞士卢卡诺影展蓝豹奖、法国蒙贝利耶电影节最佳影片奖和第32届金马奖最佳原著剧本奖和女配角奖(文