不動點定理

在數學中，不動點定理是一個結果表示函數F在某種特定情況下，至少有一個不動點存在，即至少有一個點x能令函數 $F(x)=x$ 。

在數學中有很多定理能保證函數在一定的條件下必定有一個或更多的不動點，而在這些最基本的定性結果當中存在不動點及其定理被應用的結果具有非常普遍的價值。

分析領域

在巴拿赫不動點定理中給出了一般準則：如果滿足該準則，保證迭代函數程序可以產生一個固定點。

布勞爾不動點定理的結果說：任何封閉單位球的連續函數在n維歐幾里德空間本身必須有一個不動點，但它並沒有說明如何找到不動點（見：斯苯納引理（英語：Sperner's lemma））。

例如，餘弦函數在[−1, 1]區間連續且映射到[−1, 1]區間上，須一個不動點。描繪餘弦函數圖時這是清楚的；該不動點發生在餘弦曲線 $y=\cos(x)$ 與直線 $y=x$ 交點上。在數值上，不動點是 $x\approx 0.73908513321516$ 。

代數拓撲的萊夫謝茨不動點定理（英語：Lefschetz fixed-point theorem）（和尼爾森不動點定理（英語：Nielsen fixed-point theorem））值得注意，它在某種意義上給出了一種計算不動點的方法。存在對博拉奇空間的概括和一般化，適用於偏微分方程理論。見：無限維空間的不動點定理。

分形壓縮的拼貼定理（英語：collage theorem）證明，對許多圖像存在一個相對較小函數的描述，當迭代適用於任何起始分形可迅速收斂在理想分形上。

離散數學和理論計算機科學領域

克納斯特－塔斯基定理某種程度上從分析移除，而且不涉及連續函數。它指出在完全格上的任何次序保持函數都有一個不動點，甚至是一個最小不動點。見布爾巴基－維特定理（英語：Bourbaki–Witt theorem）。

λ演算的共同主題是找到給出λ表達式的不動點。每個λ表達式都有一個不動點，不動點組合子是一個「函數」，即輸入一個λ表達式並輸出該表達式的一個不動點。一個重要的不動點組合是Y 組合子（英語：Fixed-point_combinator#Y_combinator），它使用遞歸定義。

在程式語言的指稱語義，一個克納斯特－塔斯基定理的特例用於建立遞歸定義的語義。不動點定理雖然適用於「相同」函數（從邏輯的角度來看），但其理論發展完全不同。

遞歸函數的相同定義可用克萊尼遞歸定理（英語：Kleene's recursion theorem）在可計算性理論中給出。這些結果並不是等價的定理，克拉斯特爾－塔斯基定理是個比那用於指稱語義的更強的結果。^[1]然而，它卻與丘奇－圖靈論題的直觀含義相同：一個遞歸函數可描述為特定泛函的最小不動點，將函數映射至函數。

迭代函數找不動點的技術還可用在集理論；正常函數的定點引理（英語：fixed-point lemma for normal functions）指出任何嚴格遞增的函數從序到序有一個（甚至有許多）不動點。

在偏序集上的每個閉包算子都有許多不動點；存在關於閉包算子的「封閉要素」，它們是閉包算子首先被定義的主要理由。

不動點定理列表

阿蒂亞－鮑特不動點定理（英語：Atiyah–Bott fixed-point theorem）
巴拿赫不動點定理
波萊爾不動點定理（英語：Borel fixed-point theorem）
布勞爾不動點定理
卡若斯梯不動點定理（英語：Caristi fixed-point theorem）
對角線引理
不動點性質（英語：Fixed-point property）
射度量空間
角谷不動點定理
克萊尼不動點定理
拓撲度理論（英語：Topological degree theory）
吉洪諾夫不動點定理（英語：Tychonoff fixed-point theorem）
伍茲霍爾不動點定理（英語：Woods Hole fixed-point theorem）

腳註

^ The foundations of program verification, 2nd edition, Jacques Loeckx and Kurt Sieber, John Wiley & Sons, ISBN 0-471-91282-4, Chapter 4; theorem 4.24, page 83, is what is used in denotational semantics, while Knaster–Tarski theorem is given to prove as exercise 4.3–5 on page 90.

參考文獻

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.

外部連結

不動點方法（頁面存檔備份，存於互聯網檔案館）

[1] The foundations of program verification, 2nd edition, Jacques Loeckx and Kurt Sieber, John Wiley & Sons, ISBN 0-471-91282-4, Chapter 4; theorem 4.24, page 83, is what is used in denotational semantics, while Knaster–Tarski theorem is given to prove as exercise 4.3–5 on page 90.

[1]