继承有限集合

✍ dations ◷ 2025-10-31 08:30:50 #集合族

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

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

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

相关

  • 东亚足球锦标赛东亚足球锦标赛(英语:EAFF E-1 Football Championship),又名东亚杯(英语:EAFF East Asian Cup),前身为皇朝杯(音译为戴拿斯杯,英语:Dynasty Cup),决赛圈又称东亚四强赛,是由东亚足球协会主
  • 替代品替代品(英文:substitute 或 substitute good),是经济学的名词。指能带给消费者近似的满足度的几种商品间具有能够相互替代的性质,若A商品价格上升,则顾客们就会去寻求相较于A商品
  • 尤那尼医学尤那尼医学(乌尔都语:طب یونانی‎‎,拉丁转写:),亦作尤纳尼医学,是一种在莫卧儿帝国、南亚穆斯林地区以及中亚广泛使用的波斯-阿拉伯传统医学。尤那尼一词意为“希腊的”,因
  • 骨钙蛋白1q3m, 1q8h· calcium ion binding · structural constituent of bone · extracellular space · rough endoplasmic reticulum · Golgi apparatus · dendrite ·
  • 2012年夏季奥林匹克运动会开幕式入场旗手以下为2012年夏季奥林匹克运动会开幕典礼各代表团入场时的旗手列表。本届奥运会共有205个代表团参加,根据国际奥委会规则,开幕式入场次序除希腊代表团以奥林匹克发源地首先入
  • 佩小姐的奇幻城堡《佩小姐的奇幻城堡》(英语:)是一部于2016年上映的黑暗奇幻电影,由蒂姆·伯顿执导,珍·古德曼(英语:Jane Goldman)编剧,剧情改编自兰萨姆·里格斯(英语:Ransom Riggs)的2011年同名小说。
  • 陈崇正陈崇正(1983年9月28日-),笔名且东、傻正,男,生于广东省潮州市,中国当代作家。有作品在《人民文学》《中国作家》《山花》《北京文学》等刊物发表;曾在《萌芽》杂志举办的第六届新概
  • 微笑图示微笑图示(英语:smiley),是一种简明的用来表达作者感情的符号。其最常见的代表性图片是一个笑脸,脸庞大部分涂成黄色。它原本只是网络交流中的一种图片功能,但随着互联网论坛及手机
  • 天主教丘卢卡纳斯教区天主教丘卢卡纳斯教区(拉丁语:Dioecesis Chulucanensis;西班牙语:Diócesis de Chulucanas)是秘鲁一个罗马天主教教区,属皮乌拉总教区。丘卢卡纳斯自治监督区于1964年3月4日成立,19
  • 董重质董重质,唐代淮西战将。淮西节度使吴少诚的小女婿。吴元济时,守洄曲(今漯河东南),洄曲无险可守,又紧扼通往蔡州之门户。其部下乘骡即战,号“骡子军”。元和十二年(817年),李光颜在郾城