良基关系

✍ dations ◷ 2025-04-04 20:03:56 #良基性,数学关系

在数学中,类 上的一个二元关系 被称为是良基的,当且仅当所有 的非空子集都有一个 -极小元;就是说,对 的每一个非空子集 ,存在一个 中的元素 使得对于所有 中的 ,二元组 (,) 都不在 中。

等价的说,假定某种选择公理,一个二元关系称为是良基的,当且仅当它不包含可数的无穷降链,也就是说不存在 的元素的无穷序列 0, 1, 2, ...使得对所有的自然数 有着 +1 n

在序理论中,一个偏序关系称为是良基的,当且仅当它对应的严格偏序是良基的。如果这个序还是全序,那么此时称这个序为良序。

在集合论中,一个集合 称为是一个良基集合,如果集成员关系在 的传递闭包上是良基的。策梅洛-弗兰克尔集合论中的正则公理,就是断言所有的集合都是良基的。

良基关系之所以引人关注的一个重要原因是因为超限归纳法的一个版本可以应用到它上面。(, ) 是良基关系,并且 P() 是 的元素的某种属性,你期望 P() 对 的所有元素都成立,那么良基关系有能力做到这一点:

和归纳法类似,良基关系可以支持通过超限递归来构造对象。令 (, ) 是一个良基的二元关系, 为一个函数,且对所有的 和 上的每一个偏函数 有 赋值于一个对象 (, ),那么存在唯一的一个函数 满足对任意的 ,

这就是说,如果我们想构造一个 上的函数 ,我们可以通过满足 的 () 的值来定义 ()。

最为一个例子,考虑一个良基关系 (N, ),此处 N 为自然数集合,且 是后继函数 → +1 的图像。 上的归纳就是通常的数学归纳法,而 上的递归给出了原始递归。如果我们考虑序关系 (N, <),我们就得到一个完全归纳法和一个(course-of-values recursion)。命题 (N, <) 是良基的也被称为良序原理。

还有其他一些令人感兴趣的良基归纳的例子。当良基关系是通常的序数上的序关系,那么对应的归纳法是超限归纳法;当良基集合是递归定义的数据结构,那么对应的归纳法称为结构归纳法;当良基关系是全类上的集合成员关系,对应的归纳法称为∈-归纳法。请参阅相关主题的论文来获得更多的细节。

下面给出一些是良基关系但不是全序关系的例子:

如果 (, <) 是良基关系并且 是 中的一个元素,那么以 为始的降链都是有限长的,但是这不意味着它们的长度必定是有界的。请考虑下面的例子:

令 为全体正整数和一个新元素 ω 的并,ω 比任何整数都要大。这样 是一个良基集合,但是存在以 ω 为始的降链其长度可以任意(有限的)大:对任意的 n,链 ω, -1, -2, ..., 2, 1 的长度为 n。

Mostowski崩塌引理蕴涵集合成员关系是一个普遍(universal)的良基关系:对任何类 上的类集的(set-like)良基关系 ,存在一个类 满足 (,) 同构于 (,∈)。

相关

  • 遇溺遇溺是因为液体进入肺部而导致缺氧,继而窒息。常见于游泳、船只沉没、海啸、潜水、意外及自溺。在很多国家都是12岁以下儿童的主要死因,例如在美国便是仅次于车祸。小童多是从
  • 彼得二世彼得二世·阿列克谢耶维奇(1715年10月23日-1730年1月30日,1727年—1730年在位),是俄罗斯帝国皇帝,彼得大帝的皇储阿列克谢和布伦斯威克·沃尔芬布特尔公国夏洛特郡主之子。叶卡捷
  • 平壤时间平壤时间(朝鲜语:평양시간/平壤時間 Pyŏngyangsigan),或称朝鲜民主主义人民共和国标准时间(朝鲜语:조선민주주의인민공화국 표준시간),是朝鲜使用的国家标准时间。2015年8月15日前
  • University of Edinburgh坐标:55°56′50.6″N 3°11′13.9″W / 55.947389°N 3.187194°W / 55.947389; -3.187194爱丁堡大学(英语:University of Edinburgh)坐落在苏格兰首府爱丁堡市,是一所创建于158
  • 自卫队自卫队(日语:自衛隊/じえいたい Jieitai */?;英语:The Japan Self-Defense Force,简写为JSDF)是日本在第二次世界大战后至今的国家防务部队,成立于1954年7月1日。由陆上自卫队、海
  • 辛辛那提地铁辛辛那提地铁(英语:Cincinnati Subway)是美国俄亥俄州辛辛那提当地一个未完成建设的地铁系统。其被公认为是美国境内被废弃的最大规模的地铁系统。 建设起始于二十世纪早期,但
  • 德西德里乌斯·伊拉斯谟德西德里乌斯·伊拉斯谟·鹿特丹姆斯(德语:Desiderius Erasmus Roterodamus;1466年10月27日-1536年7月12日),也译作伊拉斯姆斯、埃拉斯默斯、艾拉思姆斯、伊拉斯默斯,史学界通称鹿
  • 李秉中李秉中,中华人民共和国政治人物。担任王崇伦式的生产革新者、重庆空气压缩机厂青年刨工。1954年,当选第一届全国人民代表大会代表。
  • 幸运女神庙幸运女神庙或幸运女神圣所(意大利语:Santuario della Fortuna Primigenia)位于罗马城以东25公里的帕莱斯特里纳,建于公元前2世纪,是罗马共和国时期的大型宗教建筑。圣所建于公元
  • 欧洲质量奖欧洲质量奖是1991年10月欧洲质量管理基金会(EFQM)与欧盟委员会和欧洲质量组织合作创设。这一奖项旨在促使欧洲社会,尤其是欧洲的企业,认识到质量对于全球市场竞争以及它们的生活