最小不动点

✍ dations ◷ 2025-10-22 16:54:21 #不动点

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

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

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

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

相关

  • 大西洋区域合作大西洋主义(Atlanticism)是一个西欧和北美国家(特别是美国和加拿大),在政治、经济、军事防卫等议题上互相合作的哲学。其宗旨是维护相关国家的安全,及保卫“民主、个人自由与法治
  • 业处上座部佛教业处(巴利语:kamma-ṭ-ṭhāna;梵语:karma-s-thāna),佛教术语,本指工作处、职业;“业”(kamma)指:造作、行为、工作,“处”(ṭhāna)指:位置,环境,因素,站立在,停留,“业处”即造作、
  • 血色素沉着症血色沉着病(Hemochromatosis),又名血色素沉着症、血铁沉积症或血色病是指:
  • 第三次反法同盟第三次反法同盟(Third Coalition),1805年8月9日,奥地利帝国、英国、沙俄、那不勒斯、瑞典结成“第三次反法同盟”,向拿破仑宣战,最后反法同盟以大败收场。原本在第二次反法同盟战
  • 中国航天科技集团中国航天科技集团有限公司(英语:China Aerospace Science and Technology Corporation,缩写:CASC)是中华人民共和国国务院管理的国有特大型企业集团,总部位于北京,公司业务涉及发射
  • 邦尼·巴斯勒邦尼·林恩·巴斯勒(英语:Bonnie Lynn Bassler,1962年-),美国分子生物学家。自1994年以来任普林斯顿大学教授。巴斯勒出生于芝加哥,并在加利福尼亚州丹维尔长大,在约翰斯·霍普金斯
  • 陈应彬陈应彬(1864年-1944年)台北州海山郡中和积穗(今新北市中和区)人,时人又称彬司。台湾的知名大木匠师,承继了漳派的大木作技术,为彬派之祖,在台湾寺庙建筑发展史上占有一席之地,与新庄吴
  • 七硝基立方烷七硝基立方烷是一种试验性的新型烈性炸药,可视作立方烷中七个氢被硝基取代而形成的化合物,与八硝基立方烷十分类似,其化学式为C8H(NO2)7。与八硝基立方烷相比,目前还未制得足够
  • 西隆西隆(卡西语(英语:Khasi Language):),又译为锡隆、斯希隆格等,是印度最小的邦之一梅加拉亚邦的首府,同时也是卡西族的聚居地。为东卡希山县(East Khasi Hills district)的行政中心(headq
  • 弗雷德里克·巴齐耶简·弗雷德里克·巴齐耶(法语:Jean Frédéric Bazille,1841年12月6日-1870年11月28日),是与莫奈同时代的法国印象派画家。巴齐耶出生于法国朗格多克-鲁西永大区埃罗省蒙彼利埃市