良基关系

✍ dations ◷ 2025-09-16 07:57:49 #良基性,数学关系

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

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

相关

  • 自我舔阴女性自我口交是口交的一种,是女性用口刺激自己阴户得到性快感的行为。女性自我口交需要高度的肢体柔软度才能达到,可能只有练过柔身术的女性才能达到女性自我口交的难度比男性
  • 防身喷雾胡椒喷雾,又称防身喷雾或防狼喷雾或辣椒水,是一种用作防暴或自卫的武器,利用喷罐向对方脸部喷射刺激性物质,使到对方的脸部受到强烈化学刺激,从而停止对方攻击性的行为。主要在骚
  • 上海纽约大学上海纽约大学(英语:NYU Shanghai)由华东师范大学与纽约大学合作建设,是第一所中美合作成立的国际化大学,也是纽约大学全球教育体系中第三所具有学位授予资格的门户校园。上海纽约
  • 班克斯岛坐标:53°25′N 130°10′W / 53.417°N 130.167°W / 53.417; -130.167班克斯岛是加拿大的岛屿,位于赫卡特海峡,由卑斯省负责管辖,长72公里、宽18公里,面积1,005平方公里,最高点
  • 张 黎张黎(1957年4月-),河北唐山人,中国大陆导演、摄影师。1978年考入北京电影学院摄影系。大学毕业后,张黎在潇湘电影制片厂工作。2003年在拍摄电视剧《军人机密》期间,张黎与女演员刘
  • 长相守《长相守》(英语:-),又名《花西传》、《木槿花西月锦绣》,中国古装剧,该剧改编自海飘雪同名小说。由于小彤、关智斌、毛晓慧、楷旋领衔主演,优酷视频于2020年首播。
  • 1992年总统大选乔治·H·W·布什 共和党比尔·克林顿 民主党1992年美国总统选举,最终由民主党候选人,时任阿肯色州州长比尔·克林顿胜出,击败时任总统乔治·H·W·布什。当1992年的美国总统
  • 圭亚那 (1966年–1970年)圭亚那(英语:Guyana)是今日圭亚那共和国的前身,是一个存在于1966年和1970年之间的独立国家。英国在圭亚那的统治结束于1966年5月26日,当时英国通过《1966年圭亚那独立法》给予圭
  • 戴维·珀杜小戴维·艾尔弗雷德·珀杜(英语:David Alfred Perdue, Jr.;1949年12月10日-),是一位美国共和党政治人物,现任乔治亚州美国参议院议员。珀杜在2014年5月20日的共和党初选(英语:United
  • 城市维护建设税城市维护建设税(简称城建税),是在中国大陆境内地区征收的一种用于市政建设维护的税种,其征收的主要依据于1985年2月8日由中华人民共和国国务院颁布施行的《城市维护建设税暂行条