继承有限集合

✍ dations ◷ 2025-10-19 21:11:54 #集合族

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

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

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

相关

  • 格勒迪格勒迪苏丹国(索马里语:Saldanadda Geledi,阿拉伯语:سلطنة غلدي‎),是索马里人于17世纪末到19世纪在非洲之角建立的王国。格勒迪战士易卜拉欣·阿德尔他击败阿居兰苏丹国
  • 美国中心大美国主义是指由于美国长久以来是世界上唯一的超级强国,而美国人在行事及准则等方面,则常惯以美国国内的习惯为正宗的现象,从而导致国际社会在行事及准则交流上容易产生障碍等
  • 华盛顿州立华盛顿州立大学(英文:Washington State University、简称WSU)是美国华盛顿州资助办理的一所研究型大学,也是该州的赠地大学。它的主校位于华盛顿州东部的普尔曼,而在斯波坎、三城
  • 视觉假体视觉假体(英文:visual prosthesis,或vision prosthesis)是一种植入式医用电子设备,其功能是在一定程度上恢复重度失明病人的视觉。视觉假体技术属于功能电刺激的一种。它利用大多
  • 杨公堤杨公堤,是中国浙江杭州西湖上的一条堤坝,与苏堤、白堤并称为“西湖三堤”。杨公堤原称作西山路。杨公堤位于西湖西侧西里湖上,北起仁寿山,南至赤山埠,连接丁家山、眠牛山等西湖中
  • 好好先生好好先生,是指任何人问什么,自己都说好、没问题、ok、我可以。这样的人就可以被称为好好先生。如《世说新语·言语篇》注引《司马徽别传》记载司马徽有人问某人某事好坏,他都皆
  • 1998年美国大使馆爆炸案1998年美国大使馆爆炸案是指1998年8月7日,美国驻东非坦桑尼亚首都达累斯萨拉姆的大使馆(英语:Embassy of the United States, Dar es Salaam)和肯尼亚首都内罗毕的大使馆(英语:Emb
  • 斯蒂芬·库里沃德尔·斯蒂芬·库里二世(,略输Lillard II ,1988年3月14日-)。出生于美国俄亥俄州阿克伦,美国职业篮球运动员,于2009年NBA选秀会中以第7顺位加入NBA金州勇士,场上位置为控球后卫。
  • 弗里茨·匡特弗里茨·匡特(德语:Fritz Quant,1888年2月18日-1933年11月3日)是一名德国画家、图形艺术家和设计师,出生于特里尔。他的父亲是一位桶匠和旅馆老板。弗里茨·匡特曾师从教会画家彼
  • 君田富君田富(日语:君田富/きみた とみ ,1785年-1819年)是江户时代末期女性,近江彦根藩第13任藩主井伊直中的侧室,亦是第15任藩主大老井伊直弼的生母,又称为阿富夫人(日语:お富の方/おとみの