继承有限集合

✍ dations ◷ 2025-04-04 11:27:19 #集合族

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

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

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

相关

  • 宇宙学宇宙学(英文:Cosmology)或宇宙论,这个词源自于希腊文的κοσμολογία(cosmologia, κόσμος (cosmos) order + λογια (logia) discourse)。宇宙学是对宇宙整体的研究,
  • 害喜孕吐(morning sickness),俗称害喜,中医称为恶阻,也称为在孕期时呕吐(nausea and vomiting of pregnancy, NVP)。系指怀孕期间的症状,包含恶心或呕吐。虽然英文直译为晨间不适,恶心或
  • 班尼奥夫维克托·胡戈·贝尼奥夫(英语:Victor Hugo Benioff,1899年9月14日-1968年2月1日),美国地震学家,加州理工学院教授。他最为人所知的是将太平洋中深层地震发生的深度与震中位置关系绘
  • 平面波在三维空间里,平面波(plane wave)是一种波动,其波阵面(在任何时刻,波相位相等的每一点所形成的曲面)是相互平行的平面。平面波的传播方向垂直于波前。假若平面波的振幅不是常数,例如
  • 福彭福彭(1708年8月12日(康熙四十七年六月二十六)-1749年1月1日(乾隆十三年十一月十三)),满洲爱新觉罗氏。克勤郡王岳托后裔,平悼郡王讷尔福之孙,已革平郡王讷尔苏之长子,第五任平郡王(铁帽
  • 可重入若一个程序或子程序可以“在任意时刻被中断然后操作系统调度执行另外一段代码,这段代码又调用了该子程序不会出错”,则称其为可重入(reentrant或re-entrant)的。即当该子程序正
  • 孟金龙 (公司主席)孟金龙,英文姓名Jinlong Meng1984年出生,现为皇冠环球集团(00727.HK)董事局主席兼首席执行官,持有中国京桥大学工商管理学士学位。他于2012年加入皇冠集团,于加入皇冠集团前从事
  • 让·西尔万·巴伊让·西尔万·巴伊(法语:Jean Sylvain Bailly,1736年9月15日-1793年11月12日),法国天文学家及演说家,共济会成员,法国大革命的早期领袖人物之一。 于1789~1791年任巴黎市长,由于处理群
  • 马利克·本德杰鲁马利克·本德杰鲁(瑞典语:Malik Bendjelloul;1977年9月14日-2014年5月13日)是一名瑞典电影导演。他的父母为阿尔及利亚出生的医师Hacéne Bendjelloul、瑞典翻译与画家Veronica S
  • 东观汉记《东观汉记》,汉代人称之为《东观记》,一百四十三卷,是一部以纪传体撰写东汉历史的史书,同时也是中国第一部官修当代史。记事起于光武帝,终于灵帝,由汉代刘珍、延笃等撰,因修史馆设