良基关系

✍ dations ◷ 2025-04-02 18:23:22 #良基性,数学关系

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

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

相关

  • 生理节律睡眠障碍昼夜节律睡眠障碍(CRSD)是影响睡眠时间及其他方面的一种睡眠障碍 。患有昼夜节律睡眠障碍者无法在一般工作、学校和社会需求所需要的入睡时间睡着,或起床时间起床。如果允许他
  • CDCCDC可以指:
  • 欧盟理事会欧洲联盟理事会(英语:Council of the European Union),简称欧盟理事会,是欧洲联盟事实上的两院制立法机关上议院,由来自28个欧盟成员国各国政府部长所组成的理事会;与欧洲议会为是
  • 浦项浦项市(朝鲜语:포항시/浦項市 Pohang si */?;朝鲜语发音:.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode
  • 皇后区皇后区(英语:Queens),又译作昆斯区,是美国纽约市的五个行政区之一,也是其中面积最大、人口第二多的行政区。其范围和纽约州皇后县或昆斯县(英语:Queens County)相同。皇后区位于长岛
  • 外部效度外部效度(External Validity),是指实验结果类推到其他母体或环境的有效性(普遍适应性)。外部效度是基于特殊科学实验的处理外部有效性,而对实验能否可以类推到其他母体或环境的推
  • 茱蒂·霍利德茱蒂·霍利德(英语:Judy Holliday,1921年6月21日-1965年6月7日),美国女演员,曾获奥斯卡最佳女主角奖与金球奖最佳音乐及喜剧类电影女主角。茱蒂·霍利德是家中独生女,出生时名为朱迪
  • 滤嘴香烟过滤嘴用于减少吸烟时入口的烟雾、焦油和燃烧时产生的悬浮粒子,但是无法降低其健康危害。滤嘴也减少烟雾的刺激性,并避免吸烟者吸入烟叶。1925年,鲍里斯·阿维阿斯在英国邦
  • 鹿部鹿部,为汉字索引中的部首之一,康熙字典214个部首中的第一百九十八个(十一划的则为第四个)。就繁体和简体中文中,鹿部归于十一划部首。鹿部大都从左方、上方为部字。且无其他部首
  • 罗伯特·肯尼迪遇刺案阴谋论1968年6月5日,罗伯特·弗朗西斯·肯尼迪在洛杉矶国宾饭店举行完记者会后离场时遭到阿拉伯裔美国人索罕·比沙拉·索罕的枪击并在6月6日死亡,由于在1963年时他的哥哥——美国第