继承有限集合

✍ dations ◷ 2025-08-02 21:01:00 #集合族

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

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

所有继承有限集合的集合被指示为 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}} 的基数的继承。参见继承可数集合。

相关

  • 东洋文库坐标:35°43′52.61″N 139°44′54.82″E / 35.7312806°N 139.7485611°E / 35.7312806; 139.7485611财团法人东洋文库是日本最大、也是全球第五大的亚洲研究图书馆,位于东
  • FRS皇家科学学会院士(英语:Fellowship of the Royal Society,简称FRS,ForMemRS及HonFRS)是由英国皇家学会授予其认定的“对于包括数学、工程物理学及医学在内的自然科学的进步作出卓
  • 模拟现实模拟现实是一个概念:所谓现实是模拟出来(泛指电脑模拟),与“真实”现实难以分辨。和虚拟现实不同,虚拟现实虽然能够用现有科技塑造出来,但它可以从“真实”世界分别出来,而当局者对
  • A29公路A29公路、A29高速公路可以指:
  • f0rest帕特里克·林德伯格(瑞典语:Patrik Lindberg,1988年6月10日-),以化名f0rest著称,是一位瑞典职业电竞选手,他因为在竞争激烈的《反恐精英》领域有着长期卓越的表现而出名。林德伯格自
  • 赵时㭎赵时㭎(1874年-1945年),字献忱,号纫苌,后改号作叔孺,晚年号二弩老人,通常作“赵叔孺”,后世也误作“赵时纲”。别署有蠖斋、娱予龛、橹声宦、仆累庐、宝松阁等。其斋馆名为二弩精舍,浙
  • 南教经胡同南教经胡同位于开封市的市中心部位,仍然保留着胡同的外貌。直至今天,开封的犹太人有很多已经不为人所知了。从前曾经大量聚集犹太人的南教经胡同,目前只有赵姓家族的赵平宇先生
  • 埃达加纳萨莱埃达加纳萨莱(Edaganasalai),是印度泰米尔纳德邦Salem县的一个城镇。总人口29593(2001年)。该地2001年总人口29593人,其中男性15902人,女性13691人;0—6岁人口3656人,其中男2042人,女1
  • 小人物日记小人物日记(),英国作家乔治·格罗史密斯作品,发表于1892年的《笨拙》杂志。故事是托名一位小职员查尔斯·普特尔(Charles Pooter)的日记,普特尔和妻子卡洛琳(Caroline)、儿子鲁宾(Lupi
  • 阿图罗·巴雷亚阿图罗·巴雷亚·奥加松(西班牙语:Arturo Barea Ogazón,1897年9月20日-1957年12月24日)是20世纪西班牙作家、文学评论家和新闻工作者。西班牙内战后流亡至英国,直至去世。出生在