族谱网 头条 人物百科

不动点定理

2020-10-16
出处:族谱网
作者:阿族小谱
浏览:483
转发:0
评论:0
分析领域在巴拿赫不动点定理中给出了一般准则:如果满足该准则,保证迭代函数程序可以产生一个固定点。布劳尔不动点定理的结果说:任何封闭单位球的连续函数在n维欧几里德空间本身必须有一个不动点,但它并没有说明如何找到不动点(见:斯苯纳引理)。例如,余弦函数在[−1,1]区间连续和画入[−1,1]区间,故须一个不动点。描绘余弦函数图时这是清楚的;该不动点发生在余弦曲线y=cos⁡⁡-->(x){\displaystyley=\cos(x)}与直线y=x{\displaystyley=x}交点上。在数值上,不动点是x=0.73908513321516{\displaystylex=0.73908513321516}。代数拓扑的莱夫谢茨不动点定理(和尼尔森不动点定理)值得注意,它在某种意义上给出了一种计算不动点的方法。存在对博拉奇空间的概括和一般化,适用于偏微分方程理论。见:无限维空间的不动点定理。分形...

分析领域

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

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

例如,余弦函数在[−1, 1]区间连续和画入[−1, 1]区间,故须一个不动点。描绘余弦函数图时这是清楚的;该不动点发生在余弦曲线 y=cos⁡ ⁡ -->(x){\displaystyle y=\cos(x)} 与直线 y=x{\displaystyle y=x} 交点上。在数值上,不动点是x=0.73908513321516{\displaystyle x=0.73908513321516}。

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

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

离散数学和理论计算机科学领域

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

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

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

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

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

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

参见

阿蒂亚-鲍特不动点定理

巴拿赫不动点定理

波莱尔不动点定理

布劳尔不动点定理

卡若斯梯不动点定理

对角线引理

不动点性质

射度量空间

角谷不动点定理

克莱尼不动点定理

拓扑度理论

吉洪诺夫不动点定理

伍兹霍尔不动点定理

参考文献

Agarwal, Ravi P.; Meehan, Maria; O"Regan, Donal. Fixed Point Theory and Applications. Cambridge University Press. 2001. ISBN 0-521-80250-4. 

Aksoy, Asuman; Khamsi, Mohamed A. Nonstandard Methods in fixed point theory. Springer Verlag. 1990. ISBN 0-387-97364-8. 

Border, Kim C. Fixed Point Theorems with Applications to Economics and Game Theory. Cambridge University Press. 1989. ISBN 0-521-38808-2. 

Brown, R. F. (Ed.). Fixed Point Theory and Its Applications. American Mathematical Society. 1988. ISBN 0-8218-5080-6. 

Dugundji, James; Granas, Andrzej. Fixed Point Theory. Springer-Verlag. 2003. ISBN 0-387-00173-5. 

Kirk, William A.; Goebel, Kazimierz. Topics in Metric Fixed Point Theory. Cambridge University Press. 1990. ISBN 0-521-38289-0. 

Kirk, William A.; Khamsi, Mohamed A. An Introduction to Metric Spaces and Fixed Point Theory. John Wiley, New York. 2001. ISBN 978-0-471-41825-2. 

Kirk, William A.; Sims, Brailey. Handbook of Metric Fixed Point Theory. Springer-Verlag. 2001. ISBN 0-7923-7073-2. 

Šaškin, Jurij A; Minachin, Viktor; Mackey, George W. Fixed Points. American Mathematical Society. 1991. ISBN 0-8218-9000-X. 


免责声明:以上内容版权归原作者所有,如有侵犯您的原创版权请告知,我们将尽快删除相关内容。感谢每一位辛勤著写的作者,感谢每一位的分享。

——— 没有了 ———
编辑:阿族小谱
发表评论
写好了,提交
{{item.label}}
{{commentTotal}}条评论
{{item.userName}}
发布时间:{{item.time}}
{{item.content}}
回复
举报
点击加载更多
打赏作者
“感谢您的打赏,我会更努力的创作”
— 请选择您要打赏的金额 —
{{item.label}}
{{item.label}}
打赏成功!
“感谢您的打赏,我会更努力的创作”
返回

更多文章

更多精彩文章
打赏
私信

推荐阅读

· 巴拿赫不动点定理
定理设(X,d)为非空的完备度量空间。设T:X→X为X上的一个压缩映射,也就是说,存在一个非负的实数qX内的x和y,都有:那么映射T在X内有且只有一个不动点x(这就是说,Tx=x)。更进一步,这个不动点可以用以下的方法来求出:从X内的任意一个元素x0开始,并定义一个迭代序列xn=Txn-1,对于n=1,2,3,……。这个序列收敛,且极限为x。以下的不等式描述了收敛的速率:等价地:且满足以上不等式的最小的q有时称为利普希茨常数。注意对于所有不同的x和y都有d(Tx,Ty)(X,d){\displaystylex_{0}\in(X,d)}。对于每一个n∈∈-->{1,2,……-->}{\displaystylen\in\{1,2,\ldots\}},定义xn=Txn−−-->1{\displaystylex_{n}=Tx_{n-1}\,\!}。我们声称对于所有的n∈∈-->{1,2,……-->...
· 不动点
吸引不动点不动点迭代xn+1=cosxn带有初始值x1=-1。函数f的吸引不动点是f的不动点x0使得,对在足够接近x0的定义域中的任何x值而言,迭代函数序列收敛于x0。如何接近才是“足够接近”有时是个微妙的问题。自然余弦函数(自然意味着使用弧度而非角度)有精确的一个吸引不动点。在这种情况下,“足够接近”根本不是严格标准--为了展示这个情况,在计算器上开始于任何实数并重复按“cos”键。它会快速的收敛于大约0.73908513,这就是不动点。这是余弦函数和线y=x{\displaystyley=x}在图上的交叉点。不是所有不动点都是吸引的:例如,x=0{\displaystylex=0}是函数f(x)=2x{\displaystylef(x)=2x}的不动点,但是这个函数对非零任意值的迭代快速的发散。吸引不动点是更广泛的数学概念吸引子的特殊情况。吸引不动点被称为稳定不动点如果它也是李雅普诺夫...
· 希尔伯特零点定理
定理陈述设k为域(如有理数域),K为k的代数封闭扩张(如复数域)。考虑多项式环k[X1,X2,...,Xn],设I为此环的一个理想。该理想定义了代数集V(I):其元素为K中的n-元组x=(x1,...,xn),使得对于I中所有的f满足f(x)=0。希尔伯特零点定理声明:如果p为k[X1,X2,...,Xn]中的多项式,并且在V(I)恒为零,即对于所有V(I)中的x有p(x)=0,那么存在一个自然数r使得p属于I。零点定理的一个直接推论是“弱零点定理”:k[X1,X2,...,Xn]的理想I包含单位元1当且仅当I中的多项式在K中没有公共零点。弱零点定理也可如下表述:如果I是k[X1,X2,...,Xn]的真理想,那么V(I)不是空集,即在k的任意代数封闭扩张中都存在一个满足理想中所有多项式的公共零点。这就是零点定理名称的由来,同时零点定理也可以通过拉比诺维奇技法从“弱”版轻松证得。在这里,考...
· 彭罗斯-霍金奇点定理
注释参考文献Hawking,Stephen&Ellis,G.F.R.TheLargeScaleStructureofSpace-Time.Cambridge:CambridgeUniversityPress.1973.ISBN0-521-09906-4.Theclassicreference.Natário,J..RelativityandSingularities-AShortIntroductionforMathematicians.arXiv:8math.DG/0603190March8.2006.SeealsoarXiv:hep-th/9409195forarelevantchapterfromTheLargeScaleStructureofSpaceTime.
· 定理
各种数学叙述(按重要性来排列)引理(又称辅助定理,补理)-某个定理的证明的一部分的叙述。它并非主要的结果。引理的证明有时还比定理长,例如舒尔引理。推论-一个从定理随之而即时出现的叙述。若命题B可以很快、简单地推导出命题A,命题A为命题B的推论。命题定理数学原理结构定理一般都有许多条件。然后有结论——一个在条件下成立的数学叙述。通常写作“若条件,则结论”。用符号逻辑来写就是条件→结论。而当中的证明不视为定理的成分。逆定理若存在某叙述为A→B,其逆叙述就是B→A。逆叙述成立的情况是A←→B,否则通常都是倒果为因,不合常理。若果叙述是定理,其成立的逆叙述就是逆定理。若某叙述和其逆叙述都为真,条件必要且充足。若某叙述为真,其逆叙述为假,条件充足。若某叙述为假,其逆叙述为真,条件必要。逻辑中的定理命题集合的可计算性问题(Calculabilite)我们可以通过可计算性(Calculabilite)这...

关于我们

关注族谱网 微信公众号,每日及时查看相关推荐,订阅互动等。

APP下载

下载族谱APP 微信公众号,每日及时查看
扫一扫添加客服微信