继承有限集合

✍ dations ◷ 2025-08-23 16:15:01 #集合族

在数学中,继承有限集合被递归的定义为只包含继承有限集合(空集作为基础情况)的有限集合。非形式的说,继承有限集合是其成员也是有限集合,成员的成员也是有限集合以此类推,的有限集合。

它们可以通过如下规则构造:

所有继承有限集合的集合被指示为 V ω {\displaystyle V_{\omega }} 。如果我们指示 P ( S ) {\displaystyle P(S)} S {\displaystyle S} 的幂集,则 V ω {\displaystyle V_{\omega }} 还可以构造如下:首先把空集写为 V 0 {\displaystyle V_{0}} ,接着 V 1 = P ( V 0 ) {\displaystyle V_{1}=P(V_{0})} , V 2 = P ( V 1 ) {\displaystyle V_{2}=P(V_{1})} , {\displaystyle \ldots } , V k = P ( V k 1 ) {\displaystyle V_{k}=P(V_{k}-1)} 接着

继承有限集合是冯·诺伊曼全集的子类。它是把集合论公理中的无穷公理替代为它的否定公理得到公理体系的模型,因此证明了无穷公理不是其他集合论公理的推论。

注意有可数多个继承有限集合,因为 V n {\displaystyle V_{n}} 对于任何有限的 n {\displaystyle n} 都是有限的(它的基数是 n 1 2 {\displaystyle ^{n-1}2} ,参见 tetration),而可数多个有限集合的并集是可数的。

等价的说,一个集合是继承有限的,当且仅当它的传递闭包是有限的。Vω也被符号化为 H 0 {\displaystyle H_{\aleph _{0}}} ,意味着小于 0 {\displaystyle \aleph _{0}} 的基数的继承。参见继承可数集合。

相关

  • 拉玛泽呼吸法拉玛泽呼吸法也称拉玛泽减痛分娩呼吸法,是分娩过程中的一种技术,由法国医生拉玛泽(英语:Fernand Lamaze)在1940年代发明。 拉玛泽呼吸法的目的是增强产妇在分娩过程中的信心,同时
  • 微流控微流控是一种精确控制和操控微尺度流体的技术,尤其特指亚微米结构的技术。 特别的,微意味着以下的特性:微流控利用对于微尺度下流体的控制,是一个包括了工程学,物理学,化学,微加工
  • 蜂蚁亚科查看内文蜂蚁亚科(Sphecomyrminae)隶属于蚁科,是一个已灭绝的亚科,在北美洲、欧洲及亚洲有多笔白垩纪化石的纪录。蜂蚁亚科包含10个属,下分为2个族,幽冥蚁族(Haidomyrmecini)与蜂蚁
  • 列支敦士登国家图书馆列支敦士登国家图书馆(德语:Liechtensteinische Landesbibliothek)是列支敦士登的国家图书馆,它也是该国的法定送存图书馆,建立于1961年,位于首都瓦都兹,由列支敦士登国家图书馆基
  • 考克斯特群在数学中,考克斯特群是一类由空间中对超平面的镜射生成的群。这类群广泛出现于数学的各分支中,二面体群与正多胞体的对称群都是例子;此外,根系对应到的外尔群也是考克斯特群。这
  • 闪存文件系统闪存文件系统(英语:Flash file system),是一种为了在闪存设备上存储数据而设计的文件系统,如JFFS2与YAFFS等。随着移动设备的日渐增加,闪存的存储能力增加以及价格下降,这类型的文
  • 东京都交通局300型电动列车东京都交通局300型电力动车组(日语:東京都交通局300形電車/とうきょうとこうつうきょく300がたでんしゃ  */?)是东京都交通局(东京都交通局)日暮里-舍人线用的第1款通勤型电动列
  • 犹太布尔什维主义犹太布尔什维主义,也称为犹太-布尔什维主义,是一种认为犹太人幕后策划了1917年俄国革命的思想主张,以及认定犹太人是俄国社会民主工党中布尔什维克派的资助者。类似犹太共产主
  • 神奇动物在哪里《神奇动物在哪里》(英语:),是英国作家J.K.罗琳为了英国的慈善活动而写的一本书,每本书的大约80%收益会直接帮助全世界中不幸的孩子。依照喜剧救济的统计,来自这本书和《神奇的魁
  • 程道养程道养(?-437年),南朝刘宋时益州起事领袖,枹罕(今甘肃临夏)人,本来是阳泉山道士。益州刺史刘道济残害人民,刘宋永嘉九年(432年)七月,流民许穆之诈称晋朝宗室司马飞龙,得到仇池氐王杨难当资