良基关系

✍ dations ◷ 2025-04-26 11:56:39 #良基性,数学关系

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

等价的说,假定某种选择公理,一个二元关系称为是良基的,当且仅当它不包含可数的无穷降链,也就是说不存在 的元素的无穷序列 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)良基关系 ,存在一个类 满足 (,) 同构于 (,∈)。

相关

  • 宗亲亲属(kinship),又称亲人、家人或家属,是指具有同一个系谱起源的实体(人、天神或其他动物)之间的关系,无论这个系谱起源是透过生物、文化或历史的继嗣关系。在人类学,亲属体系同时包
  • 观测宇宙学观测宇宙学是宇宙学的分支之一,研究者使用观测方法研究宇宙的起源和演化。观测主要借由望远镜、宇宙射线探测器、引力波探测器等探测仪器进行。现今物理宇宙学的主要内容是在
  • 圣训圣训(阿拉伯语:الحديث‎,转写:al-ḥadīth或aḥadīth(複數)),意为“叙述”,是伊斯兰教先知穆罕默德的言行录,由后人所编。圣训形成于8至9世纪,其主要内容是先知对教义、律例、制
  • 漠南蒙古内札萨克蒙古(满语:ᡩᠣᡵᡤᡳ ᠵᠠᠰᠠᡴ ᠮᠣᠩᡤᠣ,穆麟德:dorgi jasak monggo)或内札萨克,后简称为“内蒙古”,指归附清朝较早的漠南蒙古各旗札萨克,地位在外札萨克之上,属于外藩
  • 天贝丹贝(tempeh)是一种发源于印尼爪哇的发酵食品,又名天培、天贝等。传统丹贝是接种根霉属(Rhizopus spp.)真菌至煮过的脱皮大豆,再以香蕉叶包覆接种过的大豆,经过一至两天发酵,所得到
  • 英国独立党英国独立党(英语:UK Independence Party,缩写为UKIP)是英国的一个右翼民粹主义政党。该党主要的政治理念是推动英国脱离欧盟。该党成立之初便以使英国脱离欧盟为目标,支持透过举
  • 奥克兰大区奥克兰大区(毛利语: takiwā o Tāmaki-makau-rau,英语:Auckland Region)是新西兰十六个大区之一,得名于奥克兰市。奥克兰大区是新西兰人口最多的大区。奥克兰大区总面积6,059 km2
  • 战略军朝鲜人民军战略军(韩语:조선인민군 전략군)是朝鲜掌握所有战略导弹的部队。2013年扩编前称为朝鲜人民军战略火箭军。朝鲜人民军战略军是指朝鲜人民军所管辖的战略导弹部队,配备
  • 獭头-鹿栈国家森林獭头-鹿栈国家森林(英语:Beaverhead-Deerlodge National Forest)是美国的一处国家森林,1905年建立,位处蒙大拿州,是该州最大的一片国家森林,占地面积约3,357,826英亩(13,588.64平方
  • 马克西米利安·冯·普里特维茨马克西米利安·冯·普里特维茨(德语:Maximilian “Max” Wilhelm Gustav Moritz von Prittwitz und Gaffron,1848年11月27日-1917年3月29日),德意志帝国陆军大将。他参与过的战争