良基关系

✍ dations ◷ 2025-09-08 11:04:05 #良基性,数学关系

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

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

相关

  • 磺胺林磺胺林是一种磺胺类药物,其INN名称是“Sulfalene”。该药物可用于治疗慢性支气管炎、泌尿道感染和疟疾等病症。该药物在血液中的半衰期尚不明确,在大鼠体内的LD50(半致死量)为1.
  • 以色列地以色列地,亦即是迦南地,大致对应于由南地中海东部包围的区域的名字。圣经中,宗教和历史的术语包括迦南地,应许之地,圣地,相当于今日的巴勒斯坦地区。这一领土的界限的定义圣经章节
  • 弧菌属弧菌属是革兰氏阴性菌的一种,属兼性厌氧菌。弧菌属多存在于水中,其中有许多种类具有致病性,例如:创伤弧菌、霍乱弧菌及肠炎弧菌等等。在型态上,弧菌呈直杆或弯曲的短杆状,其大小约
  • Fe(Csub5/subHsub4/subP(Csub6/subHsub5/su1,1'-双(二苯基膦)二茂铁,常简写为“dppf”,是一种常用取代膦,也是有机金属化学中的常用配体。dppf在其骨架中含有一个铁原子并与另两个桥联二苯基膦密切相连,如 1,1-双(二苯基膦)
  • 剁辣椒剁椒是一种的辣椒制品,主要流行于中国湖南、湖北、四川等地。将辣椒剁碎后加入盐和其它配料,密封后经发酵和腌制即可制成剁椒。剁椒可直接佐餐食用,也可用于烹饪剁椒鱼头等菜品
  • 放射型城市放射型城市亦称为中心型城市,通常与组团式城市、线形城市相对。其重要特征为城市往往由一个中心地区作为城市核心构成,其他道路与街道和设施以圆环状或方形环状环绕城市中心辐
  • 彭宁离子阱彭宁离子阱是一个可以储存带电粒子的装置,它使用均匀轴向磁场和不均匀四极电场束缚离子。特别适合于精确测量离子和稳定的亚原子粒子的特性。为了测量电子磁矩,人们利用这种装
  • 1146年重要事件及趋势重要人物
  • 第八届中华人民共和国国务院(第八届)指与中华人民共和国第八届全国人民代表大会(1993年3月至1998年3月)同期的一届中华人民共和国国务院(即中央人民政府),由时任国务院总理的李鹏负责。19
  • 2012年NBA季后赛2012年NBA季后赛是国家篮球协会(NBA)于2011-12 NBA赛季结束后所进行的第66届NBA季后赛,赛程共进行2个月。下列日期以美国当地时间计算各联盟的前四名种子由各赛区排名第一的