克纳斯特-塔斯基定理

✍ dations ◷ 2024-12-23 16:02:16 #序理论,不动点,数学定理

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

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

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

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

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

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

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

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

相关

  • 好氧好氧生物(英语:Aerobic organism,或 aerobe),又译为好气生物、耗氧生物、需氧生物,是能在有氧的环境中生存及生长的生物。好氧生物利用氧的化学反应来分解糖及脂肪,以获得能量。几
  • 展性延展性(ductility and malleability),是物质的一种机械性质,表示材料在受力而产生破裂(fracture)之前,其塑性变形的能力。延展性是由延性、展性两个概念相近的机械性质合称。常见金
  • 穆拉图·特肖梅穆拉图·特肖梅·沃图(阿姆哈拉语:ሙላቱ ተሾመ;1957年-)是埃塞俄比亚政治人物,前埃塞俄比亚总统。穆拉图·特肖梅生于埃塞俄比亚沃莱加省阿尔焦。1976年,穆拉图以公派生的身份来
  • 战略武器限制谈判限制战略武器谈判(Strategic Arms Limitation Talks, SALT)首度举行于1963年,谈判双方的美苏两个超级大国,目的在于减少双方毁灭性核子武器。迄今近50年以来,进行的相关协议有八
  • 巴拉圭瓜拉尼瓜拉尼 (ISO 4217 货币编号 PYG)是巴拉圭的流通货币。辅币单位为分,1瓜拉尼=100分。但由于通货膨胀的原因,分很少被使用。名称来自于当地的土著民族瓜拉尼族。行政区划 · 城
  • 威廉·汤普逊威廉·汤普逊(英语:William Thompson,1775年-1833年3月28日),爱尔兰政治、哲学作家、社会改革家,他从功利主义出发,将其发展成了对资本主义剥削的批判。其观点对后来的合作社、工会
  • 陈新 (桥梁工程专家)陈新(1932年1月12日-2011年6月26日),男,江苏无锡人,中国桥梁工程专家、中国工程院院士,第九届全国人大代表。
  • 德斯蒙德·卡林顿德斯蒙德·赫伯特·卡林顿(1926年5月23日-2017年2月1日),出生于肯特郡布罗姆利,是一名英国演员和广播员。他最出名的是他的每周晚间节目《音乐回转》,在BBC广播2台播出。从1981年
  • 千叶美铃千叶美铃,日本女编剧、漫画原作者、小说家。株式会社DIPREX所属。出身于北海道。出道前曾在金融业上班、并当过模特儿经纪公司(日语:モデルエージェンシー)的经理,2005以编剧的身
  • 卢西塔尼鳄属卢西塔尼鳄属(学名:)是鳄形超目中真鳄类的一属,化石发现于葡萄牙的多个挖掘地点,大部分是破碎的化石,地质年代横跨侏罗纪晚期到白垩纪早期。最早被发现的化石,是一些颌部骨头碎片、