克纳斯特-塔斯基定理

✍ dations ◷ 2025-04-26 12:04:46 #序理论,不动点,数学定理

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

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

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

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

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

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

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

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

相关

  • 发展经济学发展经济学(英语:Development economics)是经济学的分支之一,主要研究对象为贫困落后的农业国家或发展中国家如何实现工业化、摆脱贫困、走向富裕的过程。威廉·阿瑟·刘易斯、
  • 艾司唑仑艾司唑仑(商品名为悠乐丁或优乐汀),是苯二氮䓬类药物的萃取药物。具有控制焦虑、抗癫痫、镇定、肌肉松弛剂等性质。此外,艾司唑仑是苯二氮䓬类药物的中介药物,通常当做短期的失眠
  • 埃及阿拉伯语埃及阿拉伯语又称埃及语,是埃及境内通用的一种口头语言,埃及境外也有少数人口使用。埃及作为阿拉伯世界人口最多的国家,且埃及发达的电影电视媒体对整个阿拉伯世界播放,这使得埃
  • PCB分板PCB分板,是在大批量电子组装生产工序上的一步重要的工序。为了提高印刷电路板(PCB)制造的产量和表面黏着技术(SMT)产线生产速度,印刷电路板通常被设计成一块大板,在最终产品中使用
  • 青木昆阳青木昆阳(日语:青木昆陽/あおき こんよう  */?,1698年6月19日-1769年11月9日)是日本江户时代中期的一名儒学学者、农学家、兰学家,为幕臣(日语:幕臣)御家人,本名敦书,字厚甫,一作原甫,号
  • 出羽重远出羽重远(出羽 重遠 でわ しげとお,大日本帝国海军军人、华族,1856年1月17日(安政2年12月10日)出生于陆奥国会津藩,1930年(昭和5年)1月27日逝世。最终军阶为海军大将。受封正二位、
  • 佟大为佟大为(1979年2月3日-),中国大陆电视剧男演员,生于辽宁抚顺,满族人,2001年毕业于上海戏剧学院。2007年主演电视剧《奋斗》一炮而红,与文章、朱雨辰成为兄弟。佟大为因拍大制作电影多
  • 统一推送联盟统一推送联盟是一个Android(安卓)平台下的移动应用信息推送技术联盟,以改善中国大陆Android系统用户的推送服务体验。截至2020年4月8日,统一推送服务已经覆盖OPPO、realme、一加
  • 新井信男新井信男(日语:新井 信男/あらい のぶお ,1909年-1990年6月15日),日本男子游泳运动员。他在1928年阿姆斯特丹夏季奥林匹克运动会中,参加了男子游泳比赛并获得男子4x200米自由泳接力
  • 阮福绵写阮福绵写(越南语:Nguyễn Phúc Miên Tả/.mw-parser-output .han-nom{font-family:"Nom Na Tong","Han-Nom Gothic","Han-Nom Ming","HAN NOM A","HAN NOM B","Ming-Lt-HKSCS