查看“︁布勞威爾不動點定理”︁的源代码

[[Image:poincare.jpg|220px|thumb|right|1886年，[[亨利·庞加莱]]证明了与布劳威尔不动点定理等价的一个定理。定理在三维空间情况下的确切叙述由皮耶·波尔在1904年证明，而一般情况下的定理有[[雅克·阿达马]]在1910年证明。[[魯伊茲·布勞威爾]]在1912年提出了一个新的证明方法。]]

在[[数学]]中，'''布勞威爾不动点定理'''是[[拓扑学]]里一个非常重要的[[不动点定理]]，它可应用到有限维空间并构成了一般不动点定理的基石。布勞威爾不动点定理得名于荷兰数学家[[魯伊茲·布勞威爾]]（{{Lang-nl|L. E. J. Brouwer}}）。

布劳威尔不动点定理说明：对于一个[[拓扑空间]]中满足一定条件的[[连续]][[函数]]<math>f</math>，存在一个点<math>x_0</math>，使得<math>f(x_0) = x_0</math>。布劳威尔不动点定理最简单的形式是对一个从某个圆盘<math>D</math>射到它自身的函数<math>f</math>。而更为广义的定理则对于所有的从某个[[欧几里得空间]]的[[凸集|凸]][[紧集|紧]]子集射到它自身的函数都成立。

关于不动点的定理很多<ref>E.g. F & V Bayart ''[http://www.bibmath.net/dico/index.php3?action=affiche&quoi=./p/pointfixe.html Théorèmes du point fixe] {{webarchive|url=https://web.archive.org/web/20081226200755/http://www.bibmath.net/dico/index.php3?action=affiche&quoi=.%2Fp%2Fpointfixe.html |date=2008-12-26 }}''</ref>，但布劳威尔不动点定理是最著名的不动点定理之一，因为它在不少领域中都有应用。
在最初的领域中，这个结果与[[若尔当曲线定理]]、[[毛球定理]]和[[博苏克－乌拉姆定理]]一样，是少数刻画欧几里得空间之拓扑性质的关键定理之一。<ref>D. Leborgne ''Calcul différentiel et géométrie'' Puf (1982) ISBN 2130374956，第15页。</ref>因此，布劳威尔定理在拓扑学中也有重要的地位<ref>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.'' [http://www.universalis.fr/encyclopedie/T705705/BROUWER_L.htm Luizen Brouwer] {{Wayback|url=http://www.universalis.fr/encyclopedie/T705705/BROUWER_L.htm |date=20090829115347 }}，作者：G. Sabbagh</ref>。这个定理也被应用于证明各种[[微分方程]]的深入结果中，在大部分的[[微分几何]]课程中都可以见到对这个定理的介绍。即使在看上去与这个定理没有什么关系的领域，例如[[博弈论]]中，也能见到布劳威尔定理的应用。在经济学中，布劳威尔不动点定理以及其推广：[[角谷静夫定理]]在证明经济学市场中全局平衡的存在性中扮演了重要角色。后者是由诺贝尔奖获得者[[吉拉德·德布鲁]]和[[肯尼斯·约瑟夫·阿罗|肯尼斯·阿罗]]在二十世纪五十年代发展起来的。

最初研究这个定理的是专研微分方程的以[[亨利·庞加莱]]和[[艾米·皮卡|皮卡]]为首的法国数学家，因为在证明类似[[庞加莱-本迪克松定理]]时需要用到拓扑学的方法。19世纪末期，这个定理的各种类似的版本。一般性的定理是由法国数学家[[雅克·阿达马]]在1910年证明的，1912年，[[魯伊茲·布勞威爾]]给出了一个新的证明。

== 歷史 ==
布勞威爾不動點定理是[[代數拓撲]]的早期成就，還是更多更一般的[[不動點定理]]的基礎，在[[泛函分析]]中尤其重要。在1904年，首先由[[Piers Bohl]] 證明''n'' = 3 的情況（發表於《純綷及應用數學期刊》<ref>''Journal für die reine und angewandte Mathematik'' 的直譯</ref>之內）。後來在1909年，[[魯伊茲·布勞威爾]]（{{Lang|en|L. E. J. Brouwer}}）再次證明。在1910年，[[雅克·阿達馬]]提供一般情況的證明，而布勞威爾在1912年提出另一個不同的證明。這些早期的證明皆屬於[[非構造性證明|非構造性]]的[[間接證明]]，與[[數學直覺主義]]理想矛盾。現在已知如何構造（接近）由布勞威爾不動點定理所保證的不動點，見例子 (Karamadian 1977) 和 (Istrăţescu 1981)。

== 叙述 ==

布劳威尔不动点定理有若干种不同的叙述方式，与使用时的上下文有关。

最简单的形式如下：

:平面上：每一个从某个给定的[[闭集|闭]][[圆|圆盘]]射到它自身的[[连续函数]]<math>f</math>都有至少一个不动点。<ref>D. Violette ''[http://newton.mat.ulaval.ca/amq/bulletins/dec06/sperner.pdf Applications du lemme de Sperner pour les triangles] {{webarchive|url=https://web.archive.org/web/20110608214059/http://newton.mat.ulaval.ca/amq/bulletins/dec06/sperner.pdf |date=2011-06-08 }}'' Bulletin AMQ, V. XLVI N° 4, (2006) p 17.</ref>

推广到任意有限维数的情况，就是：

:欧几里得空间中：每一个从某个给定的[[闭集|闭]][[球]]射到它自己的连续函数都有（至少）一个不动点<ref>D. Leborgne ''Calcul différentiel et géométrie'' Puf (1982) ISBN 2130374956. 第15页。</ref>

一个稍微更一般化的结论是：<ref>因为可以证明，欧几里得空间中的[[凸集|凸]][[紧集|紧]]子集和闭圆球是[[同胚]]的。</ref>

:每一个从一个欧几里得空间的某个给定的[[凸集|凸]][[紧集|紧]]子集射到它自身的连续函数都有（至少）一个不动点<ref>V. & F. Bayart ''[http://www.bibmath.net/dico/index.php3?action=affiche&quoi=./p/pointfixe.html Point fixe, et théorèmes du point fixe ] {{webarchive|url=https://web.archive.org/web/20081226200755/http://www.bibmath.net/dico/index.php3?action=affiche&quoi=.%2Fp%2Fpointfixe.html |date=2008-12-26 }}''</ref>。

而更加著名的是一个还要更一般化的定理：

:;[[Schauder不动点定理]]：每一个从一个[[巴拿赫空间]]的某个给定的[[凸集|凸]][[紧集|紧]]子集射到它自身的连续函数都有（至少）一个不动点<ref>C. Minazzo K. Rider ''[http://math1.unice.fr/~eaubry/Enseignement/M1/memoire.pdf Théorèmes du Point Fixe et Applications aux Equations Différentielles] {{Wayback|url=http://math1.unice.fr/~eaubry/Enseignement/M1/memoire.pdf |date=20180404001651 }}'' Université de Nice-Sophia Antipolis.</ref>。
== 例子 ==

这个定理可以通过很实际的例子来理解。比如：取两张一样大小的白纸，在上面画好垂直的坐标系以及纵横的方格。将一张纸平铺在桌面，而另外一张随意揉成一个形状（但不能撕裂），放在第一张白纸之上，不超出第一张的边界。那么第二张纸上一定有一点正好就在第一张纸的对应点的正上方。一个更简单的说法是：将一张白纸平铺在桌面上，再将它揉成一团（不撕裂），放在原来白纸所在的地方，那么只要它不超出原来白纸平铺时的边界，那么白纸上一定有一点在水平方向上没有移动过。

这个断言的根据就是布劳威尔不动点定理在二维欧几里得空间（欧几里得平面）的情况，因为把纸揉皱是一个连续的变换过程。

另一个例子是大商场等地方可以看到的平面地图，上面标有“您在此处”的红点。如果标注足够精确，那么这个点就是把实际地形射到地图的连续函数的不动点。

三维空间中的情况：如果我们用一个密封的锅子煮水，那么总有一个水分子在煮开前的某一刻和煮开后的某一刻处于同样的位置。{{可疑}}

地球绕着它的自转轴自转。自转轴在自转过程中是不变的，也就是自转运动的不动点。

==參見==
* [[不動點定理]]
* [[博苏克-乌拉姆定理]]

==參考資料==
<references/>
* {{springer | title=Brouwer theorem | id=B/b017670 | last=Sobolev | first=V.&nbsp;I. | author-link=<!--Vladimir Ivanovich Sobolev-->}}
* {{cite journal|author=Gale, D. |year=1979|title=The Game of Hex and Brouwer Fixed-Point Theorem |url=https://archive.org/details/sim_american-mathematical-monthly_1979-11_86_9/page/n95 | journal=The American Mathematical Monthly | volume=86 | pages=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

==外部連結==
* [http://www.cut-the-knot.org/do_you_know/poincare.shtml#brouwertheorem Brouwer's Fixed Point Theorem for Triangles] {{Wayback|url=http://www.cut-the-knot.org/do_you_know/poincare.shtml#brouwertheorem |date=20210101141437 }} at [[cut-the-knot]]
* [https://web.archive.org/web/20070319191655/http://planetmath.org/encyclopedia/BrouwerFixedPointTheorem.html Brouwer theorem], from [[PlanetMath]] with attached proof.
* [http://www.mathpages.com/home/kmath262/kmath262.htm Reconstructing Brouwer] at MathPages

[[Category:不动点]]
[[Category:连续映射]]
[[Category:数学定理|B]]
[[Category:拓撲學理論]]