定理定義
可用于嚴格證明某方程式系統的解的存在性的定理。現代數學——拓撲學、集合論中的一個定理,由荷蘭數學家布勞威爾(Brouwer,Luitzen Egbertus Jan, 1881—1966)、日本數學家角谷(生卒年不詳)分别于1912年和1941年提出。含義大緻可描述為:在一定條件下,如果一個映射f把集合X中的每一個點x變換到集合f(x),那麼存在着不動點x*,該不動點是包含于其映象f(x)中的點x*∈f(x*)。
設(A，d)為完備的度量空間，f為從A到其自身中的李普希茨映射。如果李普希茨比的級數λ(fn)收斂，則存在A的唯一的點a，在f下該點不動。其次，對A的任一元素x0，由遞推關系：
定義的級數(xn)必收斂于a。
這一定理尤其适用于f為壓縮映射的情況。利用所謂逐次逼近法，不動點定理是證明隐式方程、常微分方程和積分方程解的存在唯一性定理的基礎。
定理表述
對應于一個定義于集合到其自身上的映射而言，所謂不動點，是指經過該映射保持“不變的”點。不動點定理是用于判斷一個函數是否存在不動點的定理。常用的不動點定理有：
(1)布勞威爾不動點定理(1910年)：若A⊂R(N維實數集合)且A為非空、緊凸集，f：A→A是一個從A到A的連續函數，則該函數f(·)有一個不動點，即存在x∈A，x=f(x)。
該定理常被用于證明競争性均衡的存在性。
(2)角谷(kakutani)不動點定理(1941年)：若A⊂R且A為非空、緊凸集，f：A→A是從A到A的一個上半連續對應，且f(x)⊂A對于任意x∈A是一個非空的凸集，則f(·)存在一個不動點。
不動點定理一般隻給出解的存在性判斷，至于如何求解，則需要用到20世紀60年代末斯卡夫(H.E.Scarf)提出的不動點算法。因此，不動點定理常被用于解決經濟模型中出現的存在性問題，例如多人非合作對策中均衡點的存在性等。
定理啟示
建立布勞威爾不動點定理是他的突出貢獻．這個定理表明：在二維球面上，任意映到自身的一一連續映射，必定至少有一個點是不變的．他把這一定理推廣到高維球面．尤其是，在n維球内映到自身的任意連續映射至少有一個不動點．在定理證明的過程中，他引進了從一個複形到另一個複形的映射類，以及一個映射的映射度等概念．有了這些概念，他就能第一次處理一個流形上的向量場的奇點。
康托爾揭示了不同的n與空間Rn的一一對應關系．G．皮亞諾(Peano)則實現了把單位線段連續映入正方形．這兩個發現啟示了，在拓撲映射中，維數可能是不變的。1910年，布勞威爾對于任意的n證明了這個猜想——維數的拓撲不變性．在證明過程中，布勞威爾創造了連續拓撲映射的單純逼近的概念，也就是一系列線性映射的逼近。他還創造了映射的拓撲度的概念——一個取決于拓撲映射連續變換的同倫類的數。實踐證明，這些概念在解決重要的不變性問題時非常有用．例如，布勞威爾就借助它界定了n維區域；J．W．亞曆山大(Alexander)則用它證明了貝蒂數的不變性。
發展簡史
布勞威爾不動點定理是代數拓撲的早期成就，還是更多更一般的不動點定理的基礎，在泛函分析中尤其重要。在1904年，首先由Piers Bohl證明n=3的情況（發表于《純綷及應用數學期刊》之内）。後來在1909年，魯伊茲·布勞威爾（L.E.J.Brouwer）再次證明。在1910年，雅克·阿達馬提供一般情況的證明，而布勞威爾在1912年提出另一個不同的證明。這些早期的證明皆屬于非構造性的間接證明，與數學直覺主義理想矛盾。現在已知如何構造（接近）由布勞威爾不動點定理所保證的不動點，見例子(Karamadian 1977)和(Istrăţescu 1981)。
示例
這個定理可以通過很實際的例子來理解。比如：取兩張一樣大小的白紙，在上面畫好垂直的坐标系以及縱橫的方格。将一張紙平鋪在桌面，而另外一張随意揉成一個形狀（但不能撕裂），放在第一張白紙之上，不超出第一張的邊界。那麼第二張紙上一定有一點正好就在第一張紙的對應點的正上方。一個更簡單的說法是：将一張白紙平鋪在桌面上，再将它揉成一團（不撕裂），放在原來白紙所在的地方，那麼隻要它不超出原來白紙平鋪時的邊界，那麼白紙上一定有一點在水平方向上沒有移動過。
這個斷言的根據就是布勞威爾不動點定理在二維歐幾裡得空間（歐幾裡得平面）的情況，因為把紙揉皺是一個連續的變換過程。
另一個例子是大商場等地方可以看到的平面地圖，上面标有“您在此處”的紅點。如果标注足夠精确，那麼這個點就是把實際地形射到地圖的連續函數的不動點。
地球繞着它的自轉軸自轉。自轉軸在自轉過程中的不變的，也就是自轉運動的不動點。
理論
克納斯特-塔斯基定理（Knaster–Tarskitheorem）在數學領域序理論和格理論中，克納斯特-塔斯基定理，得名于克納斯特（Bronis?awKnaster）和阿爾弗雷德·塔斯基（AlfredTarski），它聲稱：設L是完全格并設f:L→L是次序保持函數。則f在L中的不動點的集合也是完全格。因為完全格不能是空的，這個定義特别保證f的至少一個不動點的存在，甚至一個“最小”（或“最大”）不動點的存在。在很多實際情況中，這是這個定理最重要的蘊涵。
λ演算（lambdacalculus）是一套用于研究函數定義、函數應用和遞歸的形式系統。它由丘奇（AlonzoChurch）和他的學生克萊尼（StephenColeKleene）在20世紀30年代引入。Church運用λ演算在1936年給出判定性問題（Entscheidungsproblem）的一個否定的答案。這種演算可以用來清晰地定義什麼是一個可計算函數。關于兩個lambda演算表達式是否等價的命題無法通過一個“通用的算法”來解決，這是不可判定性能夠證明的頭一個問題，甚至還在停機問題之先。Lambda演算對函數式編程語言有巨大的影響，比如Lisp語言、ML語言和Haskell語言。
Lambda演算可以被稱為最小的通用程序設計語言。它包括一條變換規則（變量替換）和一條函數定義方式，Lambda演算之通用在于，任何一個可計算函數都能用這種形式來表達和求值。因而，它是等價于圖靈機的。盡管如此，Lambda演算強調的是變換規則的運用，而非實現它們的具體機器。可以認為這是一種更接近軟件而非硬件的方式。
邱奇-圖靈論題（TheChurch-Turingthesis）是計算機科學中以數學家阿隆佐·邱奇（AlonzoChurch）和阿蘭·圖靈命名的論題。該論題最基本的觀點表明，所有計算或算法都可以由一台圖靈機來執行。以任何常規編程語言編寫的計算機程序都可以翻譯成一台圖靈機，反之任何一台圖靈機也都可以翻譯成大部分編程語言程序，所以該論題和以下說法等價：常規的編程語言可以足夠有效的來表達任何算法。該論題被普遍假定為真，也被稱為邱奇論題或邱奇猜想和圖靈論題。
定理意義
不動點定理給出一個一般的标準，如果條件滿足，叠代函數的過程産生一個固定點。
相比之下，不動點定理是一個非建設性的結果：它表示從n維歐幾裡德空間中的封閉單位球到自身的任何連續函數都必須有一個固定點，但是沒有描述如何找到固定點（參見Sperner的引理）。
例如，餘弦函數在[-1,1]中是連續的，并将其映射成[-1,1]，因此必須有一個固定點。當檢查餘弦函數的草繪圖時，這是很清楚的;發生固定點，其中餘弦曲線y=cos（x）與線y=x相交。在數值上，固定點大約為x=0.73908513321516（因此x=cos（x））。
代數拓撲中的Lefschetz定點定理（和Nielsen定點定理）是顯着的，因為它在某種意義上給出了一種計數固定點的方法。
對不動點定理進行了一些推廣;這些都适用于PDE理論。參見無限維空間中的定點定理。
分形壓縮中的拼貼定理證明，對于許多圖像，存在對叠代應用于任何起始圖像時快速收斂在所需圖像上的函數的相對較小的描述。
代數和離散數學中的應用：
Knaster-Tarski定理指出，完整格子上的任何維持秩序的函數都有一個固定點，實際上是一個最小的固定點。
定理在抽象解釋中有應用，這是靜态程序分析的一種形式。
lambda演算中的常見主題是找到給定的lambda表達式的固定點。每個lambda表達式都有一個固定點，而一個定點組合器是一個“函數”，它将lambda表達式作為輸入，并産生該表達式的固定點。一個重要的定點組合器是用于給出遞歸定義的Y組合器。
在編程語言的指稱語義中，使用Knaster-Tarski定理的特殊情況來建立遞歸定義的語義。雖然定點定理被應用于“相同”的功能（從邏輯的角度來看），理論的發展是完全不同的。
在可計算性理論中，可以通過應用Kleene遞歸定理給出遞歸函數的相同定義。這些結果不是等價的定理；Knaster-Tarski定理比指稱語義中使用的定理強得多。然而，鑒于Church-Turing論文，他們的直觀含義是相同的：遞歸函數可以被描述為功能的函數映射函數的最小固定點。
上述叠代函數找到固定點的技術也可以在集合理論中使用；正常功能的定點引理指出，從序數到序數的任何連續的嚴格增加的函數都有一個（甚至很多）固定點。
每個封閉操作員都有很多固定點；這些是關閉操作符的“封閉元素”，它們是閉包運算符首先定義的主要原因。
在有奇數個元素的有限集上的每個卷積都有一個固定點；更一般地，對于有限元素集合上的每個卷積，元素的數量和固定點的數量具有相同的奇偶性。唐·薩吉爾（Don Zagier）使用這些觀察結果，給出了兩個平方和的Fermat定理的一個句子證明，通過在同一組三元組中描述兩個漸近，其中一個可以很容易地顯示出隻有一個固定點，另一個對于給定素數（與1模4相等）的每個表示具有兩個正方形的和的固定點。由于第一次卷積具有奇數個固定點，因此第二次也存在所需形式的表示。
