克纳斯特-塔斯基定理

✍ dations ◷ 2025-07-02 09:50:45 #序理论,不动点,数学定理

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

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

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

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

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

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

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

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

相关

  • 罗曼语罗马语族(又称罗曼语族、拉丁语族),属于印欧语系,是从意大利语族衍生出来的现代语族,主要包括从拉丁语演化而来的现代诸语言。操罗马语族语言的人主要包括传统意义上的“欧洲拉丁
  • 杜赫德杜赫德(Jean-Baptiste Du Halde,1674年-1743年)是法国神父,著名汉学家,“杜赫德”是他的汉语名字。虽然他终身未曾到过中国,但却出版了非常详实的介绍中国历史、文化、风土人情的著
  • 海军军医大学中国人民解放军海军军医大学,简称海军军医大学,对外又称中国人民解放军第二军医大学,位于上海市杨浦区翔殷路800号,隶属中国人民解放军海军。1997年,第二军医大学成为国家“211工
  • Terminologia Histologica()是一份细胞生物学和组织学的受控词表,由FCAT(Federative International Committee on Anatomical Terminology(英语:Federative International Committee on Anatomical Termino
  • 美国各州昵称列表美国各州昵称列表,粗体字为官方昵称
  • 斐迪南一世 (神圣罗马帝国)斐迪南一世(德语:Ferdinand I,1503年3月10日-1564年7月25日)哈布斯堡王朝的奥地利大公和神圣罗马帝国皇帝(1556年起;1558年加冕)。他也是匈牙利和波希米亚的国王(1526年-1564年)。斐迪
  • 卡-海姆卡-海姆是俄罗斯图瓦共和国的一个城镇以及克孜勒旗的行政中心。截至2010年,该地的人口为15,044。卡-海姆位于小叶尼塞河的左岸,西部与克孜勒的郊区接壤。有一条公路通往萨雷格
  • 徐述虔徐经(1788年-1856年),原名徐荣,后更名徐述虔,再改名徐经,字桓生,号拜庚,上海嘉定人。 徐经自幼究心汉学,诗文俱有法度,与钱师康、毛岳生、葛其仁、陈瑑、庄尔保、黄穆之合称“嘉定七生
  • 内衣外穿内衣外穿是把内衣当作外衣穿着,设计出特别的形象,是时尚的一种;而内衣容易令人联想到人类的性,因此内衣外穿也有性感的效果。露内裤边是内衣外穿的常见方式之一。内衣外穿并非现
  • 李毓华李毓华(1897年-1963年1月23日),号雪夫。兴安省人。民国37年(1948年)在兴安省选区当选第一届立法委员