不動點定理是拓撲學中一個非常重要的不動點定理，它可以應用于有限維空間，構成了一般不動點定理的基石。布勞威爾 的不動點定理是以荷蘭數學家魯伊斯的名字命名的·布勞威爾（英語：L. E. J. 布勞威爾）。

不動點定理

布勞威爾 s不動點定理：對于拓撲空間中滿足一定條件的連續函數f，存在一個點x0，使得f(x0) = x0。最簡單的習藝所形式的不動點定理是針對從圓盤D射向自身的函數F。更一般的定理適用于從歐幾里得空間的凸緊子集投影到自身的所有函數。

如果f 是n 1維實心球Bn 1={x∈R n 1|x|≤1}連續映射到自身（n=1，2，3…那么f 有一個不動點x∈Bn 1（即滿足f（x0）=x0）此定理是L.E.J.布勞威爾在1911年證明了這一點。不動點問題其實就是各種方程（如代數方程、微分方程、積分方程等）它在數學中非常重要，有很多實際應用。

布勞威爾 的建立不動點定理是他的杰出貢獻．這個定理表明：在二維球面上，任何到其自身的一對一連續映射必須至少有一個不變點．他把這個定理推廣到高維球面．特別地，在N維球面中任何映射到自身的連續映射至少有一個不動點．在定理證明過程中，他引入了從一個復形到另一個復形的映射類，以及一個映射的映射度等概念．有了這些概念，他可以第一次處理流形上向量場的奇異性．

康托爾揭示了n與空間Rn之間不同的一一對應關系．G．皮亞諾(Peano)然后將單位線段連續映射成正方形．這兩個發現表明，在拓撲映射中，維數可能是常數．1910年，Brouwer證明了這個猜想對于任意n的——維的拓撲不變性．在證明過程中，Brouwer創造了連續拓撲映射的簡單逼近的概念，即一系列線性映射的逼近．他還創造了映射的拓撲度的概念，——，一些同倫類依賴于拓撲映射的連續變換．實踐證明，這些概念在解決重要的不變性問題時非常有用．例如，Brouwer用它來定義N維區域；J．W．亞歷山大(亞歷山大)用來證明貝蒂數的不變性．這些都是不動點定理的推廣。

不動點理論已經成為非線性分析的重要組成部分，對這個問題的研究一直在偏微分方程中進行、控制論、經濟平衡理論和對策理論已經成功地應用于許多領域。本文首先綜合了前人文獻中不動點定理的一些等價形式，然后在h-在空間中建立了一個新的不動點定理、截口定理及應用。全文共分為三章：第一章簡要介紹了本文將用到的凸分析拓撲空間和集值映射的概念和性質。第二章綜合了不動點定理的一些等價形式。首先，Brouwer 的不動點定理，然后通過一系列的證明得到了不動點定理的一些等價形式：Brouwer不動點定理(KKM定理(FKKM定理(Ky Fan極大極小不等式(白勞德不動點定理(Ky Fan范不等式ⅰ(Ky Fan極大極小不等式的幾何形式(Ky Fan范截口定理(Fan-白勞德不動點定理(Ky Fan范不等式ⅱ。第三章首先介紹了h-太空中的一些重要概念。其次，在H-一個新的粉絲已經在空間里建立起來了-白勞德型不動點定理及其等價形式。

布勞威爾 s不動點定理是代數拓撲學的早期成果，是更一般的不動點定理的基礎，在泛函分析中尤為重要。1904年，Piers Bohl 首先證明了n = 3 的情況（發表于《純綷及應用數學期刊》）然后在1909年，魯伊斯·布勞威爾（L. E. J. 布勞威爾）再次證明。1910年，雅克·阿達瑪提供了一般情況的證明，而布勞威爾在1912年提出了不同的證明。這些早期證明屬于非結構性間接證明，與數學直覺主義的理想相矛盾。

這個定理可以通過非常實際的例子來理解。比如：拿兩張同樣大小的白紙，在上面畫一個縱坐標系統和縱橫方格。將一張紙平放在桌面上，將另一張紙隨意揉成一個形狀（但不能撕裂），在第一張白紙上，沒有超出第一張的界限。那么第二張紙上一定有一個點正好在第一張紙上對應點的上方。更簡單的說法是：將一張白紙平鋪在桌上，揉成一團（不撕裂）把它放在原來白紙所在的地方，這樣只要沒有超出原來白紙平放時的邊界，那么白紙上就一定有沒有水平移動的東西。

這一論斷是基于Brouwer 二維歐氏空間中的s不動點定理（歐幾里得平面）因為揉皺紙張是一個持續的轉變過程。

再比如在大商場等地方可以看到的平面地圖，標有“您在此處”的紅點。如果標注足夠精確，那么這個點就是將實際地形投影到地圖上的連續函數的不動點。

地球繞著它的旋轉軸旋轉。旋轉軸在旋轉過程中是不變的，即旋轉運動的定點。

克納斯特-塔斯基定理（Knaster–塔爾斯基定理）在數學的場序論和格論中，克納斯特-塔斯基定理，以克納斯特命名（Bronis?awKnaster）和阿爾弗雷德·塔斯基（阿爾弗萊德塔爾斯基），它聲稱：設L是完備格，設f:L→L是保序函數。那么L中F的不動點集也是完備格。因為一個完備的格不可能是空的，這個定義特別保證了F的至少一個不動點的存在，甚至是一個“最小”或“最大”不動點的存在。在許多實際情況下，這是這個定理最重要的含義。

λ演算（lambdacalculus）是研究函數的一套定義、函數應用與遞歸形式系統。它由丘奇（阿龍佐丘奇）和他的學生克萊尼（StephenColeKleene）于20世紀30年代推出。丘奇在1936年用λ微積分給出了一個決定性的問題（Entscheidungsproblem）對的否定回答。這個微積分可以用來明確定義什么是可計算函數。關于兩個lambda演算表達式是否等價的命題不要超過一個“通用的算法”要解決這個問題，這是不確定性可以證明的第一個問題，甚至先于停機問題。Lambda演算對函數式編程語言影響很大，比如Lisp語言、ML語言和Haskell語言。Lambda演算堪稱最小的通用編程語言。它包括一個轉換規則（變量替換）和函數定義Lambda演算的通用性在于，任何可計算的函數都可以用這種形式表示和求值。因此，它相當于圖靈機。盡管如此，Lambda演算強調轉換規則的應用，而不是實現它們的特定機器。可以認為是一種更接近軟件而不是硬件的方式。

邱奇-圖靈論題（教堂-Turingthesis）Allonzot，計算機科學領域的數學家·邱奇（阿龍佐丘奇）和阿蘭·圖靈命名的論題。這個題目最基本的觀點是，所有的計算或算法都可以用圖靈機來執行。用任何常規編程語言編寫的計算機程序都可以被翻譯成圖靈機，反之亦然所以這個題目相當于下面的語句：傳統的編程語言足以有效地表達任何算法。這個命題一般被假設為真，也被稱為丘奇命題或丘奇猜想和圖靈命題。

克萊因不動點定理（面巾紙-點定理）在數學方面，克萊尼的秩序論（Kleene）不動點定理聲稱給定任何完備格L和任何連續格L，（因此單調的）函數

f:L→L

f的最小不動點（lfp）是f的上升克萊尼鏈的最小上界