不动点定理

✍ dations ◷ 2025-04-02 16:46:26 #不动点,数学定理,闭包算子,数理与定量方法 (经济学)

在数学中,不动点定理是一个结果表示函数在某种特定情况下,至少有一个不动点存在,即至少有一个点能令函数 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)指出任何严格递增的函数从序到序有一个(甚至有许多)不动点。

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

相关

  • 灰化土灰化土(又称灰土)是具有灰化淀积层的一类酸性土壤,形成于北方针叶林地带。灰化淀积层是灰化土独有的一个诊断层,灰化淀积层必须具有两个条件:厚度≥2.5厘米,一般位于漂白层之下;由
  • 克雅二氏症克罗伊茨费尔特-雅各布病(英语:Creutzfeldt-Jakob disease,简称CJD),或称克-雅氏症、克-雅氏病、克雅二氏症、克雅二氏病、库雅氏症、库贾氏症、克雅氏症、克雅氏病,是一种发生在
  • 脱氧核糖核酸外切酶去氧核糖核酸外切酶(英语:exodeoxyribonuclease,或称外切去氧核糖核酸酶)是一类可参与切割DNA分子的酶,属于EC3.1.11。是一种酯酶。脂酶(胆盐依赖性脂酶、胃脂肪酶/舌脂肪酶、胰脂
  • 循环论证循环论证(circular argument)、循环推理(循环推论;circular reasoning)、或循环证成(循环证立;circular justification),是论点的真确性最终由自身支持的推理方式。循环论证或循环推
  • 空气动力学空气动力学(英语:Aerodynamics),是流体力学与气体动力学的一个分支,主要研究物体在空气中运动时所产生的各种力。空气动力学与气体动力学常常混用,但后者研究的气体不局限于空气。
  • 南人南人,为元朝统治者在其辖境内划分的四等人制之一,泛指长江淮河以南的原南宋王朝统治之下的华南各地汉族和苗壮等西南方少数民族人民。又称南家歹、囊家歹等。传统说法认为,元朝
  • 青岛中能青岛中能足球俱乐部是位于中国青岛市的一个足球俱乐部,前身为山东省经贸委 (青岛) 足球代表队。1993年12月31日,青岛足球历史上第一个职业足球俱乐部 - “青岛海牛足球俱乐部
  • 祐国寺塔开宝寺琉璃塔又称“佑国寺塔”、“开封铁塔”,是位于中国河南省开封市的塔,因通体红褐色琉璃,又得名“铁塔”,是中国保存至今最早、最高的一座琉璃砖塔。琉璃塔所在的佑国寺则已
  • 五秒规则五秒规则或称、五秒钟理论、五秒不沾菌、五秒钟定律等,是一种世界范围内广泛存在的迷信说法。是一种判断掉在地上的食物是否可以食用的方法。其核心理论阐述为:如果食物掉在地
  • 五路论证五路论证(Quinque viae)是在探讨神的存在性时会使用的五个逻辑论证,是由13世纪的天主教神学家托马斯·阿奎那(Thomas Aquinas)整理在其著作《神学大全》(Summa Theologica)中。五路