继承有限集合

✍ dations ◷ 2025-04-02 13:26:42 #集合族

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

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

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

相关

  • 底物水平磷酸化底物水平磷酸化(英语:substrate-level phosphorylation)是指一类ADP或其他核苷二磷酸的磷酸化作用与底物的脱氢作用直接相偶联的反应过程。除了发生在糖酵解和三羧酸循环之中的
  • 毋部,为汉字索引中的部首之一,康熙字典214个部首中的第八十个(四划的则为第二十个)。就繁体和简体中文中,毋部归于四划部首。毋部通常是从下、左、右方均可为部字,且无其他部首可
  • 韶山高速公路韶山高速公路为进入湖南省韶山市的快速交通通道。路段起于沪昆高速潭邵段韶山互通,由南向北延伸,经银田镇北,经湘潭县、宁乡县和韶山市三县市地域,过韶山灌区和韶山铁路,止于洞江
  • Coda (专辑)《Coda》(参考译名《尾声》)是英国摇滚乐队齐柏林飞艇的第九张也是最后一张录音室专辑,发行于1982年。专辑由乐队12年职业生涯中未用到的歌曲组成,在发行时距鼓手约翰·博纳姆去
  • 光秒光秒是一个借用了光速恒定不变的概念,再加上秒的定义而成的大尺度距离单位,被定义为光在真空中一秒所行走的距离,是国际通用度量衡单位之一,常见于天文学和电讯上。根据现时国际
  • 国家社会主义汽车军团国家社会主义汽车军团(德文:,缩写:NSKK),是1931年至1945年从属于纳粹党下的准军事组织。NSKK其前身为国家社会主义自动车军团(,NSAK),1930年由SA纳粹冲锋队成立。1931年NSAK改组成
  • 曼斯菲尔德 (密苏里州)曼斯菲尔德(英语:Mansfield)是一个美国城市,位于密苏里州赖特郡。根据2010年的人口普查,当地人口为1,296人。根据美国人口普查局,该城市的总面积为1.90平方英里(4.92平方千米),其中1.
  • 卫藤征士郎卫藤征士郎(1941年4月29日-)是一名日本政治家,目前是自由民主党所属众议院议员。曾经先后担任众议院副议长(第64代)、防卫庁长官(第57代)、参议院议员(1期)、大分县玖珠郡玖珠町长(2期)
  • 团结就是力量 (格言)“团结就是力量”是比利时的国家格言,后来亦为保加利亚、海地采用,同时也是马来西亚的国家格言。这句标语首先于1550年在《Gemeene Duytsche Spreekwoorden》记载,成书区域当时
  • 文艺 (道光进士)文艺(1787年-?),字道园,号蕉农,舒穆禄氏,满洲正黄旗人。嘉庆戊辰举人,道光壬午进士。历任湖北黄陂县、嘉鱼县、天门县知县、笔帖式、詹事府赞善。