继承有限集合

✍ dations ◷ 2025-09-15 07:50:52 #集合族

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

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

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

相关

  • 弓虫症弓虫症是一种由弓形虫造成的寄生虫病,成年感染一般无症状。弓虫症常会伴随持续几周或几月之久的类似于流感的症状(英语:flu-like illness),例如肌肉疼痛、淋巴结触痛。一小部分人
  • 沙维特沙维特运载火箭(希伯来语:.mw-parser-output .script-hebrew,.mw-parser-output .script-Hebr{font-size:1.15em;font-family:"Ezra SIL","Ezra SIL SR","Keter Aram Tsova","
  • 分娩并发症分娩(childbirth)也称为生产,是指妇女怀孕之后,一个或多个胎儿离开母亲子宫,开始在子宫外生活的过程,可能是经由阴道的阴道分娩,也可能是剖宫产。全世界在2015年时有1.35亿人出生,其
  • 扬场町扬场町(日语:揚場町/あげばちょう  */?)是东京都新宿区的町名。住居表示实施区域,不设定“丁目”。2013年8月1日为止的人口有84人。邮递区号为162-0824。位于新宿区东北部。北
  • 印杰印杰(1964年-),汉族,上海科技大学副校长兼教务长。1992年于兰卡斯特大学获得博士学位。曾担任上海交通大学化学化工学院院长,副校长、研究生院院长。2009年7月至今担任上海市教委
  • 尼泊尔共产党 (贾纳穆克希)尼泊尔共产党(贾纳穆克希)(尼泊尔语:नेपाल कम्युनिष्ट पार्टी (जनमुखी)),正式名称是尼泊尔共产党,是尼泊尔的一个已不存在的共产主义政党,它是从尼泊尔
  • 亚历山大·斯塔姆博利伊斯基亚历山大·斯塔姆博利伊斯基(保加利亚语:Александър Стоименов Стамболийски 1919年10月14日-1923年6月9日),保加利亚农民党领袖,第一次世界大战
  • 周季童周季重(7世纪?-699年6月14日),又名周季童,武周时期官员。唐朝驸马周道务第四子。官吉州(今江西吉安)司马。圣历元年(698年),杜审言贬吉州司户参军,与司户郭若讷关系紧张。周季重听信郭
  • 丘园 (清朝)丘园(1617年-1689年),也作邱园、邱圆,字屿雪,常熟人,清初戏曲作家。仕途失意,寄居苏州,生平纵情诗酒,放荡不羁。有传奇九种,今存《虎囊弹》、《党人碑》等,又能诗,《海虞诗苑》卷五收其诗
  • 安格尔函数安格尔函数是英国数学家安格尔在1855年首先研究的积分函数 J ν (