最小不动点

✍ dations ◷ 2025-05-19 20:52:58 #不动点

在数学分支序理论中,函数的最小不动点是按照某种偏序小于等于其他不动点的不动点。

例如,如下实函数的最小不动点

是在实数的通常次序上的 = 0。有很多不动点定理生成定位最小不动点的算法。最小不动点通常有着合意的性质,是任意的不动点所没有的。

在数理逻辑中,最小不动点常与做递归定义有关。这导致了描述复杂性的结果,复杂性类 P(在多项式数量的计算时间内可计算的所有问题)精确的等价于可以用带有最小不动点的一阶逻辑所表达的语言的集合。

相关

  • 塞万提斯学院塞万提斯学院(西班牙语:Instituto Cervantes)由西班牙政府于1991年创办,是世界性的非营利组织,以推广西班牙语,以至西班牙及美洲西班牙语地区文化为目的。其总部设于马德里阿尔拉
  • 博伊尔威拉德·斯特林·博伊尔(英语:Willard Sterling Boyle,1924年8月19日-2011年5月7日),加拿大物理学家,2009年诺贝尔物理学奖得主之一。博伊尔出生于加拿大新斯科舍省的阿默斯特(Amher
  • 乌敏岛乌敏岛(Pulau Ubin)是新加坡的第二大外岛,面积仅次于德光岛,面积约10.2平方千米。按新加坡政府的规划,岛上的大部分自然环境将维持原状。在“采花岗石场”、椰树及“橡胶园”、红
  • 对我干杯《对我干杯》(韩语:나에게 건배,英语:Cheers To Me)为韩国自2015年12月10日起于O`live(朝鲜语:올'리브)与UMAX首播的电视剧。本剧改编自日本漫画家新久千映的作品《和歌子酒》。
  • 无情者哈拉尔哈拉尔三世(Harald Hardrada,意即“无情者哈拉尔”),又称哈拉尔·西居尔松(Harald Sigurdsson),是11世纪挪威的国王,1046年-1066年在位。哈拉尔约1015年出生,是挪威东部酋长西格德·希
  • 乔治·哈里森乔治·哈里森,MBE(英语:George Harrison,1943年2月25日-2001年11月29日),是一位英国吉他手、音乐人、歌手、作曲家,音乐和电影制作人,以披头士乐队主音吉他手的身份全球知名。尽管约
  • 黄柳霜黄柳霜(英文名:Anna May Wong,1905年1月3日-1961年2月2日),第一位美籍华人好莱坞影星,同时也是第一个获得国际声誉的亚裔美籍女演员。她的职业生涯漫长且丰富,演艺事业跨越了默片、
  • 横模口岸横模口岸(越南语:Cửa khẩu Hoành Mô/.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-U
  • 玛哈·巴育拉翁颂德昭披耶·博伦·玛哈·巴育拉翁(泰语:สมเด็จเจ้าพระยาบรมมหาประยูรวงศ์,皇家拉丁音译:Somdet Chao Phraya Borom Maha Prayurawong,1758年-185
  • 龙脉龙脉是风水学中的一个重要概念,根据《雪心赋正解》:“龙者,山之行度,起伏转折,变化多端,有似于龙,故以龙明之。”所以龙脉是用于表示山脉的走向、起伏、转折、变化等现象,并从而推断