继承有限集合

✍ dations ◷ 2025-09-18 22:02:55 #集合族

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

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

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

相关

  • 塞尼特塞尼特(Senet、Senat),又可名卅格戏(30 Squares),出现于古埃及前王朝时期,最早的考古实物是约前31世纪 ,是世界上已知最古老的两人版图游戏,属于掷赛游戏,与苏美的乌尔王族局戏相似。
  • 保存期限最佳食用日期(英语:Best before),也称赏味期限、最佳赏味期、此日期前最佳,是食品制造商或包装商为其食品或饮品所标示的一个日期,告知消费者在哪个日期之前能保持其产品的质素。
  • 海岸山脉海岸山脉(Coast Mountains)位于北美西部,是太平洋海岸山脉的主要部分,其范围北起育空地方西南部,经阿拉斯加狭地后抵达不列颠哥伦比亚海岸。海岸山脉长1,600千米(990英里),平均宽度
  • 集安市集安市是吉林省通化市下辖的一个县级市,位于吉林省东南部的长白山脚下,与朝鲜满浦隔鸭绿江相邻,是中国对朝鲜三大边境口岸之一。集安曾是古代高句丽王国的都城所在地。集安地处
  • 张龄予张龄予(1987年10月31日-) 台湾新闻主播,曾任东森新闻台记者兼任主播,现为三立新闻台《早安新鲜闻》、《假日正午新闻》《假日台湾大头条》主播、《吕读台湾》历史行脚节目主持人(
  • 诸乐三诸乐三(1902年2月14日-1984年1月29日),原名诸文萱,字乐三,号希斋,别署南屿山人,浙江安吉鹤溪村人,中国当代国画家、艺术教育家,中国美术学院教授。艺术造诣高,熔诗、书、画、印于一炉。
  • 巴陵 (台湾)巴陵位于台湾桃园市复兴区华陵里,地处北横公路中点,是著名的水蜜桃产地。依海拔高度分为上、中、下巴陵,居民多为台湾原住民泰雅族。“巴陵”(Balong)源自泰雅语,为桧木或巨木之
  • 伏尔加德意志人苏维埃社会主义自治共和国伏尔加德意志人苏维埃社会主义自治共和国是前苏联境内曾经存在的一个自治共和国,成立于1924年1月6日。1918年,根据苏联政府在10月29日所颁布的法令,其首都被设为原俄罗斯苏维埃
  • 曹子整郿戴公曹子整(2世纪?-218年),曹操的儿子,母亲是李姬。奉从叔父郎中曹绍之后,其妻是袁谭的女儿,后因袁谭背盟而被遣返。建安二十二年(217年),封郿侯。二十三年(218年),去世。无子。黄初二年
  • 黑巷少女《黑巷少女》是1976年的一部法国、加拿大合拍的电影,尼古拉斯·格斯纳执导,朱迪·福斯特、马丁·辛主演。剧本为莱尔德·凯尼格所写,根据凯尼格1974年同名小说改编。剧情主角13