克纳斯特-塔斯基定理

✍ dations ◷ 2025-04-04 11:06:39 #序理论,不动点,数学定理

在数学领域序理论和格理论中,Knaster–Tarski 定理,得名于 Bronisław Knaster 和阿尔弗雷德·塔斯基,它声称:

这个定理的一种逆命题由 Anne C. Davis 证明了: 如果所有次序保持函数 有不动点,则 是完全格。

因为完全格不能是空的,这个定义特别保证 的至少一个不动点的存在,甚至一个“最小”(或“最大”)不动点的存在。在很多实际情况中,这是这个定理最重要的蕴涵。

的最小不动点是最小元素 使得 () = ,或者等价的说,使得 () ≤ ;最大不动点的对偶命题成立,它是最大的元素 使得 () = 。

如果对于 L 的元素的递升序列的所有 有 (lim )=lim (),则 的最小不动点是 lim (0),这里的 0 是 L 的最小元素,因此给出了这个定理的更有“建设性”的一个版本。更一般的说,如果 是单调函数,则 的最小不动点是 α(0) 的固定极限,选取 α 于序数上,这里的 α 使用超限归纳法定义: α+1 = ( α) 而 γ 对于极限序数 γ 是 β 对于所有小于 γ 的序数 β 的最小上界。最大不动点的对偶定理成立。

例如,在理论计算机科学中,单调函数的最小不动点被用来定义程序语义。使用这个定理的一个更专门的版本,这里的 被坚定为是特定集合的所有子集在集合包含次序下格。这反映了在很多应用中只使用这种格的事实。人们经常查找有是函数 的不动点的这种性质的最小集合。抽象释义充分利用了 Knaster–Tarski 定理并公式给出了最小和最大不动点。

Knaster–Tarski 定理可以用于康托尔-伯恩斯坦-施罗德定理的一个简单证明。

这个定理(对于集合的格)的一个特殊情况出现在 Bronislaw Knaster 的论文中:

相关

  • 脊髓灰质炎病毒Poliovirus脊髓灰质炎病毒(Poliovirus,或称为脊髓灰白质炎病毒)是脊髓灰质炎(小儿麻痹)的病原,又称小儿麻痹病毒。它是一个没有包膜的病毒,由一条单股RNA和蛋白质外壳组成,直径约25
  • 有益生物有益生物泛指进行对人类有益作用的生物。界定有益生物的标准相当主观:人类往往衡量某个品种的生物对人类的贡献多寡去判断其是否有益。例如从农业的角度看,种植农作物是首要的
  • 务川仡佬族苗族自治县务川仡佬族苗族自治县(旧称婺川)是中华人民共和国贵州省遵义市下属的一个自治县,位于遵义市东北部,地处黔渝边沿结合部,是中国仅有的3个仡佬族自治县之一,是武陵山片区区域发展与
  • 保罗·梅西保罗·梅西(英语:Paul Massey,1958年2月10日-)为一位美国音效工程师。他曾8次提名奥斯卡最佳音响效果奖。自1982年起他参与了170多部电影的制作。
  • 约翰·奥斯本 (怀俄明州州长)约翰·尤金·奥斯本(英语:John Eugene Osborne;1858年6月19日-1943年4月24日),是一位美国民主党的政治人物,曾在1893年至1895年出任怀俄明州州长,亦于1897年至1899年担任美国众议院
  • 2gether (CNBLUE专辑)《2gether》是韩国摇滚乐团CNBLUE的第二张韩语正规专辑,于2015年9月14日发行,主打曲目为《Cinderella》(韩语:신데렐라)。2015年8月24日,韩国媒体《new1》引述相关人士的消息,指出C
  • 四铢四铢是一种中国古代铜币。开始铸于汉文帝五年(公元前175年)。币面文字为“半两”,实际重四铢,故名。汉武帝建元元年(公元前140年)改用三铢钱。南朝宋的四铢,铸于文帝元嘉七年(公元43
  • 陆宗达陆宗达(1905年-1988年),字颖民(一作颖明),浙江慈溪人,中国文字训诂学家,师从语言文字学家黄侃先生及章太炎先生。最初他在黄侃先生的推荐下上任上海暨南大学讲师,后曾历任北京大学预科
  • 粤东人粤东人,指居住在广东省(简称粤)东部的人民。粤东通常是指潮州、汕头、揭阳、梅州、汕尾等地,多为潮汕人、客家人、闽南海陆丰人。广东省别称粤,在台湾日治时期为了称呼和记录的方
  • 蔀或篰(拼音:bù,注音:ㄅㄨˋ)是中国古代历法的时间单位。指回归年与朔望月与平太阳日的最短循环(时间长度极接近的最小公倍数)。在西方,类似的概念为 Callippic cycle。由于回归年