克纳斯特-塔斯基定理

✍ dations ◷ 2025-04-02 08:34:50 #序理论,不动点,数学定理

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

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

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

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

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

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

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

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

相关

  • 科罗拉多科罗拉多州(英语:State of Colorado),简称科州,是美国西部的一州,此州最著名的是拥有洛矶山脉的最高峰,地形从东侧的平原陡然升高为西侧峻岭,地理景观十分壮丽。该州首府兼最大城为
  • 道法自然顺其自然(英语:let it be),也称顺应自然,即道家的“无为”思想。由中国的知名哲学家老子在道德经中提出。很多人将它奉为自己的行事准则。
  • 工艺品工艺美术(英语:Crafts)是指以日常生活用品或装饰品为媒介的美术,例如餐具、灯具、文具、家具、纸艺、编织、绣、结艺、首饰、家居饰品、陶器、瓷器、玉器等等。有的工艺美术制品
  • 生命科学学院北京大学生命科学学院,简称北大生科院,是北京大学下属的一个学院,1925年北京大学建立了生物学系,生物学是北京大学早期专业之一。1918年,北京大学筹建生物学系和标本馆。1924年,北
  • 莲鹤方壶莲鹤方壶是一对春秋时期的青铜器,于1923年在河南省新郑县李家楼郑公大墓中出土。其中一件藏于北京故宫博物院青铜馆,另一件藏于河南博物院。两件方壶分别高116、117厘米,口径30
  • 顶棋顶棋,是北京延庆等地的两人传统棋类游戏,当地又称老顶,山东齐河称为四棋儿,也有地方称四步钉。与下子的五道棋有同样吃法。在其他地方有类似游戏,有的增加吃法、有的不同棋盘。
  • 中国东川泥石流国际汽车越野赛中国东川泥石流国际汽车越野赛(International Dongchuan Debris Rally,IDDR)是在中国云南省昆明市东川区的泥石流河谷中举办的一项汽车越野拉力比赛,自2004年至2018年,已连续举办
  • 时尚 (COSMOPOLITAN)《时尚》(英语:)是全球著名、主要针对女性读者的时尚类杂志。该杂志创办于1886年,1905年由美国出版业大亨威廉·赫斯特以时价四十万美金的价格(折合2006年现价约一千万美金)将其收
  • 蒋广发蒋广发(1893年-1978年8月5日),字誉卿,汉族(另一说系契丹后裔),勐板(中英勘界后划归云南,后属潞西县地界)人。为第二任勐板土千总。1905年,蒋金龙告替,子蒋广发继任勐板土千总。任内因击杀
  • 镰仓女子大学镰仓女子大学(英语:Kamakura Women's University)位于日本神奈川县镰仓市大船六丁目1番3号,为日本私立大学,1959年设置,创始人松本生太,为首都圈西部大学单位互换协定会学校之一。