最小不动点

✍ dations ◷ 2025-09-10 12:31:31 #不动点

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

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

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

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

相关

  • 胡贝尔罗伯特·胡贝尔(英语:Robert Huber,1937年2月20日-)生于慕尼黑,德国化学家,1988年诺贝尔化学奖得主。1901年:范托夫 | 1902年:费歇尔 | 1903年:阿伦尼乌斯 | 1904年:拉姆齐 | 1905年:拜
  • 狮子Felis leo Linnaeus, 1758狮(学名:Panthera leo),又称狮子(古称狻猊),被人称为万兽之王。狮是一种生存在非洲和亚洲的大型猫科动物,豹属之中最著名的一种,现存中是和老虎并列的两大
  • 亲切的金子《亲切的金子》(韩语:친절한 금자씨,英语:Lady Vengeance)是韩国著名导演朴赞郁的《复仇三部曲》的最后一部,2005年7月29日在首尔首映,并于世界各地上映。2004年,拥有年轻美貌的重犯
  • 保大保大(越南语:Bảo Đại/.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-UNI-H","Ming-Lt-
  • 明光市明光市是中国安徽省滁州市下辖的一个县级市。原名嘉山县,三界战术训练基地位于此。明朝官方认定的明太祖朱元璋的出生地盱眙太平乡在今安徽省明光市石坝镇太平集附近(有曰:濠州
  • 地鼠仓鼠,又名地鼠,是仓鼠亚科(学名:Cricetinae)动物的通称。共七属十八种,主要分布于亚洲,少数分布于欧洲,其中中国有三属八种。目前,仓鼠多被当作家庭的宠物饲养,另外也因为易于人工繁殖
  • 瓦尔特·莫德尔奥托·莫里茨·瓦尔特·莫德尔(德语:Otto Moritz Walter Model,1891年1月24日-1945年4月21日),德国陆军元帅。莫德尔1891年1月24日出生于一个德国中产阶级家庭,1909年加入德意志帝
  • 唯一素数唯一素数(Unique prime)是指一个不为2, 5,有以下性质的素数:不存在其他素数,其倒数1 / 的循环节长度和1 / 的循环节长度相等。唯一素数是在1980年代由Samuel Yates提出。可以证明
  • 瓦尔特·克里斯塔勒瓦尔特·克里斯塔勒(德语:Walter Christaller,1893年4月21日-1969年3月9日)是一名德国地理学家,专门研究城市分布规律。他于1933年创立出“中心地理论”,被视为地理学界的一个重要
  • 王建屏王建屏,陕西延安府鄜州人,明朝政治人物。同进士出身。万历七年(1579年)己卯科陕西乡试举人,二十三年(1595年)乙未科进士,授工部主事,三十三年京察以不职降职。后升任户部郎中,四十七年