不动点定理

✍ dations ◷ 2025-07-02 06:44:35 #不动点,数学定理,闭包算子,数理与定量方法 (经济学)

在数学中,不动点定理是一个结果表示函数在某种特定情况下,至少有一个不动点存在,即至少有一个点能令函数 F ( x ) = x {\displaystyle F(x)=x}

在数学中有很多定理能保证函数在一定的条件下必定有一个或更多的不动点,而在这些最基本的定性结果当中存在不动点及其定理被应用的结果具有非常普遍的价值。

在巴拿赫不动点定理中给出了一般准则:如果满足该准则,保证迭代函数程序可以产生一个固定点。

布劳尔不动点定理的结果说:任何封闭单位球的连续函数在n维欧几里德空间本身必须有一个不动点,但它并没有说明如何找到不动点(见:斯苯纳引理(英语:Sperner's lemma))。

例如,余弦函数在区间连续且映射到区间上,须一个不动点。描绘余弦函数图时这是清楚的;该不动点发生在余弦曲线 y = cos ( x ) {\displaystyle y=\cos(x)} 与直线 y = x {\displaystyle y=x} 交点上。在数值上,不动点是 x = 0.73908513321516 {\displaystyle x=0.73908513321516}

代数拓扑的莱夫谢茨不动点定理(英语:Lefschetz fixed-point theorem)(和尼尔森不动点定理(英语:Nielsen fixed-point theorem))值得注意,它在某种意义上给出了一种计算不动点的方法。存在对博拉奇空间的概括和一般化,适用于偏微分方程理论。见:无限维空间的不动点定理。

分形压缩的拼贴定理(英语:collage theorem)证明,对许多图像存在一个相对较小函数的描述,当迭代适用于任何起始分形可迅速收敛在理想分形上。

克纳斯特-塔斯基定理某种程度上从分析移除,而且不涉及连续函数。它指出在完全格上的任何次序保持函数都有一个不动点,甚至是一个最小不动点。见布尔巴基-维特定理(英语:Bourbaki–Witt theorem)。

λ演算的共同主题是找到给出λ表达式的不动点。每个λ表达式都有一个不动点,不动点组合子是一个“函数”,即输入一个λ表达式并输出该表达式的一个不动点。一个重要的不动点组合是Y组合子,它使用递归定义。

在程序语言的指称语义,一个克纳斯特-塔斯基定理的特例用于建立递归定义的语义。不动点定理虽然适用于“相同”函数(从逻辑的角度来看),但其理论发展完全不同。

递归函数的相同定义可用克莱尼递归定理(英语:Kleene's recursion theorem)在可计算性理论中给出。这些结果并不是等价的定理,克拉斯特尔-塔斯基定理是个比那用于指称语义的更强的结果。然而,它却与丘奇-图灵论题的直观含义相同:一个递归函数可描述为特定泛函的最小不动点,将函数映射至函数。

迭代函数找不动点的技术还可用在集理论;正常函数的定点引理(英语:fixed-point lemma for normal functions)指出任何严格递增的函数从序到序有一个(甚至有许多)不动点。

在偏序集上的每个闭包算子都有许多不动点;存在关于闭包算子的“封闭要素”,它们是闭包算子首先被定义的主要理由。

相关

  • 尘螨科Hyporder 无气门小目 Astigmata尘螨科(学名:Pyroglyphidae)是恙螨目甲螨亚目无气门小目之下的一个科,包括有19个属,56个物种。 旧属尘螨总科((Pyroglyphoidea),今属Analgoidea总科。
  • 石脑油石脑油(英语:Naphtha),俗称轻油、白电油或去渍油,是一种原油精炼的烃类液体的中间物。它由不同的碳氢化合物混合组成,它的主要成分是含5到11个碳原子的链烷、环烷或芳烃。通常都是
  • 阿匹斯阿匹斯(英语:Apis (god))。古埃及孟斐斯神祇之一。为一公牛形象,其事迹反映于托勒密王朝时期祭司历史学家曼内托的著述中,亦于相关的文物中得到出现,具有重大地宗教影响与历史意义
  • 安东尼·霍普金斯菲利普·安东尼·霍普金斯爵士,CBE(Sir Philip Anthony Hopkins,1937年12月31日-),是一位电影与电视演员,出生于威尔士,在2000年4月12日成为美国公民,曾经以电影《沉默的羔羊》获得19
  • 司法行政学院司法行政学院,是中华人民共和国司法部直属的成人高等学校,司法行政系统唯一培训领导干部和高层次法律服务人才的培训基地。
  • 猫雾捒族巴布萨族(巴布萨语:Babuza)又称猫雾捒族或猫捒族,为台湾平埔族原住民,即荷兰人所称的虎尾垄(Favorlang),主要分布在大肚溪以南至浊水溪之间的海岸区域,包括彰化平原地带。还存有属于
  • 条纹林狸条纹林狸(学名:Prionodon linsang)是林狸科林狸属的一种,原生于马来西亚、苏门塔腊、婆罗洲、爪哇、泰国及印尼,是猫科的近亲。条纹林狸连尾巴约长74厘米。它们呈淡黄色,有5条深色
  • 七姊妹学院七姊妹学院(英语:Seven Sisters)是形容美国东北部地区7所文理学院间松散关系的一个称呼,因这些学院曾经都是女子学院而得名。7所学院均成立于19世纪,至今仍有5所学院延续这种教育
  • 苏珊娜·恰普托娃苏珊娜·恰普托娃(斯洛伐克语:Zuzana Čaputová,斯洛伐克语发音:.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans
  • 内森·里奇内森·里奇(英语:Nathan Rich,1982年2月13日-),网名火锅大王,美国作家以及山达基批评者,出生于洛杉矶,犹太人,青年时期曾在美国多次犯罪被捕,后来把自己的经历编写成册在亚马逊售卖(),书于