不动点定理

✍ dations ◷ 2025-07-24 04:41:27 #不动点,数学定理,闭包算子,数理与定量方法 (经济学)

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

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

相关

  • Taenia solium猪带绦虫(学名:Taenia solium;pork tapeworm),也称有钩绦虫或链状带绦虫,体长2-3米,宽7-8毫米,共有800-900个节片,后端成熟节片长约10毫米。
  • 方言 §“方言”和“语言”的界定方言指的是一个某种语言的变体,但有时也可以指地方上使用的语言。然而,值得注意的是,在对所谓的“语言”和“方言”进行定义时,无论是采用社会语言学者“相互理解性”的判别标准
  • 唯实论实在论(英语:realism),也译为唯实论,西方哲学本体论的一种观点,认为本体论中的现实(Reality),是独立于人类感官、信仰、概念与想法之外的。现今世界认为的实在论,与古希腊、或中古经院
  • 黄凡参数所指定的目标页面不存在,建议更正成存在页面或直接建立下列一个页面(建立前请先搜寻是否有合适的存在页面可以取代):注意如果条目名称是繁体字要使用繁体的“消歧義”,简体字
  • 龙仁龙仁市(朝鲜语:용인시/龍仁市 Yongin si */?)位于韩国京畿道中部,距离首都首尔以南约40公里。龙仁市位处于京釜高速道路及岭东高速公路的交汇点,因其交通便捷,使当地近年的人口急
  • 澄海坐标:23°28′N 116°45′E / 23.467°N 116.750°E / 23.467; 116.750澄海区(官方音译:Chenghai,传统外文:Tenghai)是中国广东省汕头市的一个市辖区。位于南海之滨的广东东南部,潮
  • 潘文渊潘文渊(英语:Wen-Yuan Pan,1912年8月27日-1995年1月3日),江苏苏州人,是一位电机工程师。江苏苏州人,1931年毕业于秀州中学,1935年从上海交通大学电机系毕业,1937年,公费赴美国斯坦福大
  • 复合三角形镶嵌六边形镶嵌在几何学中,复合三角形镶嵌六边形镶嵌,又被称为三角形镶嵌-六边形镶嵌复合体,是一种有重叠的平面镶嵌,是星形镶嵌的一种,也算是一种广义的星形多面体。三角形镶嵌与六边形镶嵌一
  • 老加图马尔库斯·波尔基乌斯·加图(Marcus Porcius Cato,前234年-前149年)通称为老加图(Cato Maior)或监察官加图(Cato Censorius)以与其曾孙小加图区别,罗马共和国时期的政治家、国务活动
  • 王赞 (唐朝)王赞(9世纪?-905年),唐朝末年官员。王赞官至兵部侍郎,后贬为潍州(治所在今山东省潍坊市)司户。天佑二年(905年)六月,朱温在亲信李振鼓动下,于滑州白马驿(今河南省滑县境)将王赞与裴枢、独