冯·诺伊曼全集

✍ dations ◷ 2025-08-22 11:51:23 #集合族

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

相关

  • 保鲜膜保鲜膜,是一种塑胶薄膜,作为厨房用品,保鲜膜可阻隔水分,防止空气与食物直接接触,主要用于厨房煮食、盛载食物、保存食物,或用来制作一些可以简单清洁的物料。它的用途越来越广泛,因
  • 热膨胀系数 (α)热膨胀系数(Coefficient of thermal expansion,简称CTE)是指物质在热胀冷缩效应作用之下,几何特性随着温度的变化而发生变化的规律性系数。实际应用中,有两种主要的热膨胀系数,分
  • 菜肴菜肴,粤语又名
  • 朱抚松朱抚松(1915年1月5日-2008年6月14日),湖北襄阳人,中华民国外交官,曾任中华民国外交部部长。其妻为台湾知名女作家、国大代表徐钟佩。朱抚松先后毕业于沪江大学、英国伦敦大学政治
  • 辉县市辉县市,位于河南省西北部,是新乡市下辖的一个县级市,地处太行山东部,华北平原中的海河平原(河北平原)之上,全境为海河流域。隔太行山西邻山西省陵川县,北邻山西壶关县,河南林州市,南邻
  • 徐玉诺徐玉诺(1894年-1958年),原名徐言信,笔名红蠖,生于清光绪二十年,河南鲁山县人,中国著名现代诗人,作家。徐玉诺民国4年(1915年)考入开封省立第一师范就读,在求学期间,受“五四”新文化影响,
  • 亚弗戈蒙亚弗戈蒙(Aforgomon)是美国小说家霍华德·菲利普·洛夫克拉夫特所创造的克苏鲁神话中的旧日支配者之一。亚弗戈蒙最早出现在克拉克·A·史密斯(Clark Ashton Smith)的短篇小
  • 哈尔滨工业大学出版社哈尔滨工业大学出版社是中华人民共和国的一家出版社,成立于1983年,社址位于黑龙江省哈尔滨市,由中华人民共和国工业和信息化部主管、哈尔滨工业大学主办。哈尔滨工业大学附属中
  • 斑蛤蜊斑蛤蜊(学名:,台湾称花斑马珂蛤)是帘蛤目马珂蛤科马珂蛤属的一种。主要分布于越南、印度尼西亚、中国大陆、台湾,常栖息在潮下带10-30米。
  • 罗庄镇 (唐县)罗庄镇,是中华人民共和国河北省保定市唐县下辖的一个乡镇级行政单位。2016年6月21日,河北省民政厅批复同意撤销罗庄乡,设立罗庄镇,镇人民政府驻东罗庄村京赞路11号。罗庄镇下辖