Content deleted Content added
Erel Segal (talk | contribs) No edit summary |
m fixed typo: space after period of a sentence was missing. |
||
Line 4:
</math> of [[Euclidean space]] to itself.
Among hundreds of [[fixed-point theorem]]s,<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]'' on Bibm@th.net {{webarchive|url=https://web.archive.org/web/20081226200755/http://www.bibmath.net/dico/index.php3?action=affiche&quoi=.%2Fp%2Fpointfixe.html |date=December 26, 2008 }}</ref> Brouwer's is particularly well known, due in part to its use across numerous fields of mathematics. In its original field, this result is one of the key theorems characterizing the topology of Euclidean spaces, along with the [[Jordan curve theorem]], the [[hairy ball theorem]], the [[invariance of dimension]] and the [[Borsuk–Ulam theorem]].<ref>See page 15 of: D. Leborgne ''Calcul différentiel et géométrie'' Puf (1982) {{ISBN|2-13-037495-6}}</ref> This gives it a place among the fundamental theorems of topology.<ref>More exactly, according to 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] by G. Sabbagh</ref> The theorem is also used for proving deep results about [[differential equation]]s and is covered in most introductory courses on [[differential geometry]]. It appears in unlikely fields such as [[game theory]]. In economics, Brouwer's fixed-point theorem and its extension, the [[Kakutani fixed-point theorem]], play a central role in the [[Arrow–Debreu model|proof of existence]] of [[general equilibrium]] in market economies as developed in the 1950s by economics Nobel prize winners [[Kenneth Arrow]] and [[Gérard Debreu]].
The theorem was first studied in view of work on differential equations by the French mathematicians around [[Henri Poincaré]] and [[Charles Émile Picard]]. Proving results such as the [[Poincaré–Bendixson theorem]] requires the use of topological methods. This work at the end of the 19th century opened into several successive versions of the theorem. The case of differentiable mappings of the {{mvar|''n''}}-dimensional closed ball was first proved in 1910 by [[Jacques Hadamard]]<ref name="hadamard-1910">[[Jacques Hadamard]]: ''[https://archive.org/stream/introductionla02tannuoft#page/436/mode/2up Note sur quelques applications de l’indice de Kronecker]'' in [[Jules Tannery]]: ''Introduction à la théorie des fonctions d’une variable'' (Volume 2), 2nd edition, A. Hermann & Fils, Paris 1910, pp. 437–477 (French)</ref> and the general case for continuous mappings by Brouwer in 1911.<ref name="brouwer-1910">{{cite journal | last1 = Brouwer | first1 = L. E. J. | author-link = Luitzen Egbertus Jan Brouwer | year = 1911| title = Über Abbildungen von Mannigfaltigkeiten | url = http://resolver.sub.uni-goettingen.de/purl?GDZPPN002264021 | journal = [[Mathematische Annalen]] | volume = 71 | pages = 97–115 | doi = 10.1007/BF01456931 | s2cid = 177796823 | language = de }}</ref>
| |||