# Théorème du point fixe de Brouwer

En mathématiques, et plus précisément en topologie algébrique, le théorème du point fixe de Brouwer fait partie de la grande famille des théorèmes de point fixe, qui énoncent que si une fonction continue f vérifie certaines propriétés, alors il existe un point x0 tel que f(x0) = x0. La forme la plus simple du théorème de Brouwer prend comme hypothèse que la fonction f est définie sur un intervalle fermé borné non vide I et à valeurs dans I. Sous une forme plus générale, la fonction est définie sur un convexe compact K d'un espace euclidien et à valeurs dans K.
Si, parmi les centaines de théorèmes de point fixe, celui de Brouwer est particulièrement célèbre, c'est en partie parce qu'il est utilisé dans de nombreuses branches mathématiques. Dans sa branche d'origine, ce résultat est l'un des théorèmes clés caractérisant la topologie d'un espace euclidien, comme le théorème de Jordan, celui de la boule chevelue ou de Borsuk-Ulam. À ce titre, il est un des théorèmes fondamentaux de la topologie. Ce théorème intervient aussi pour établir des résultats fins sur les équations différentielles ; il est présent dans les cours élémentaires de géométrie différentielle. Il apparaît dans des branches plus inattendues, comme la théorie des jeux, où John Nash l'utilise pour montrer l'existence d'un équilibre pour un jeu de n personnes avec stratégies mixtes.
Historiquement, le théorème est étudié à la suite de travaux sur les équations différentielles de mathématiciens français comme Poincaré et Picard. Démontrer des résultats comme le théorème de Poincaré-Bendixson demande l'usage d'outils de topologie. Ces études de la fin du XIXe siècle débouchent sur plusieurs versions successives du théorème ; en 1912, Luitzen Egbertus Jan Brouwer en propose une démonstration générale, établissant à nouveau un résultat déjà prouvé par Hadamard en 1910.


## Énoncés
Il existe plusieurs formes du théorème, selon le contexte d'utilisation. La plus simple est parfois donnée sous la forme suivante :

Il est possible de généraliser à toute dimension finie.

De manière équivalente :

On trouve une forme encore plus générale, mais habituellement, elle porte alors un autre nom :


## Approche intuitive
### Commentaires attribués à Brouwer
L'origine de ce théorème proviendrait de l'observation d'une tasse de café par Brouwer. Quand on mélange son sucre, il semble qu'il y ait toujours un point immobile. Il en déduit que : « À tout moment, il y a un point de la surface qui n'aura pas changé de place ». Le point fixe n'est pas nécessairement celui qui semble immobile car le centre du tourbillon bouge un petit peu. Le résultat n'est pas intuitif, car le point initialement fixe aura peut-être bougé, mais un autre point fixe apparaîtra.
Brouwer aurait ajouté : « Je peux formuler ce magnifique résultat autrement, je prends une feuille horizontale, une autre feuille identique que je froisse et que je replace en l'aplatissant sur l'autre. Un point de la feuille froissée est à la même place que sur l'autre feuille ». Quand Brouwer aplatit sa feuille froissée, il ne la déplie pas, il l'écrase, comme à l'aide d'un fer à repasser.


### Dimension un
En dimension un, le résultat est à la fois intuitif et aisé à démontrer. On note 
  
    
      
        
          
            [
          
        
        a
        
        ;
        b
        
          
            ]
          
        
      
    
    {\displaystyle {\mathopen {[}}a\,;b{\mathclose {]}}}
  
 le domaine de définition de 
  
    
      
        f
      
    
    {\displaystyle f}
  
. La fonction 
  
    
      
        f
      
    
    {\displaystyle f}
  
 est continue et à valeurs dans le même segment. Dire que cette fonction 
  
    
      
        f
      
    
    {\displaystyle f}
  
 admet un point fixe, revient à dire que son graphe (en bleu-gris sur la figure de droite et choisi dans ce cas égal à celui de la fonction cosinus sur l'intervalle 
  
    
      
        
          
            [
          
        
        0
        
        ;
        1
        
          
            ]
          
        
      
    
    {\displaystyle {\mathopen {[}}0\,;1{\mathclose {]}}}
  
) croise celui de la fonction définie sur 
  
    
      
        
          
            [
          
        
        a
        
        ;
        b
        
          
            ]
          
        
      
    
    {\displaystyle {\mathopen {[}}a\,;b{\mathclose {]}}}
  
, qui à 
  
    
      
        x
      
    
    {\displaystyle x}
  
 associe 
  
    
      
        x
      
    
    {\displaystyle x}
  
 (en vert sur la figure de droite).
Intuitivement, une ligne (en noir) qui part d'un côté d'un carré (en bleu) pour rejoindre le côté opposé (en rouge) croise nécessairement les diagonales et en particulier la verte sur la figure.
Une démonstration n'est pas difficile à établir. Considérons la fonction continue 
  
    
      
        x
        ↦
        f
        (
        x
        )
        −
        x
      
    
    {\displaystyle x\mapsto f(x)-x}
  
. Elle est positive en 
  
    
      
        a
      
    
    {\displaystyle a}
  
 et négative en 
  
    
      
        b
      
    
    {\displaystyle b}
  
. Le théorème des valeurs intermédiaires assure qu'elle possède un zéro dans  
  
    
      
        
          
            [
          
        
        a
        
        ;
        b
        
          
            ]
          
        
      
    
    {\displaystyle {\mathopen {[}}a\,;b{\mathclose {]}}}
  
. Ce zéro est un point fixe de 
  
    
      
        f
      
    
    {\displaystyle f}
  
.
Brouwer aurait exprimé ce résultat de la manière suivante : « Au lieu d'examiner une surface, nous allons montrer le théorème sur un bout de ficelle. Partons d'un état de la ficelle bien dépliée, puis replions-la. Écrasons la ficelle repliée. Là encore un point de la ficelle n'a pas changé de place par rapport à sa position initiale sur la ficelle non repliée. ».


### Dimension deux
En dimension deux, si K, le domaine de définition de f est d'intérieur vide, c'est un segment. Sinon, K est « semblable » à une boule unité fermée de R2, pour une norme arbitraire. Le terme « semblable » signifie qu'il existe un homéomorphisme φ de la boule unité vers K. En notant h l'application continue φ−1∘f∘φ de la boule unité dans elle-même, les points fixes de f sont exactement les images par φ des points fixes de h. Autrement dit, on peut sans perte de généralité supposer que K est la boule unité fermée, pour la norme qui associe à tout vecteur du plan la plus grande valeur absolue de ses deux coordonnées, c'est-à-dire que K est l'ensemble [–1, 1]×[–1, 1].
Si l'on définit la fonction g comme celle qui à x associe h(x) – x, un point fixe de h est un point de [–1, 1]×[–1, 1] en lequel la fonction g atteint le vecteur nul, c'est-à-dire en lequel les deux composantes g1 et g2 de g s'annulent simultanément.

Un « raisonnement » intuitif incite à penser que l'existence d'un tel point est plausible : la fonction g1 est une fonction de [–1, 1]×[–1, 1] dans R. Elle peut s'interpréter comme une carte d'une région, qui en chaque point donne l'altitude (illustrée sur la première figure à droite). Sur la zone {–1}×[–1, 1], cette altitude est positive (en rouge sur la figure), en revanche sur {1}×[–1, 1], elle est négative (en bleu sur la figure). Ceci « laisse penser que » la « courbe » de niveau 0 est une ligne (en vert sur la figure) qui part d'un point [–1, 1]×{1} pour finir sur un point de [–1, 1]×{–1}, mais cette intuition est fausse : la zone verte n'est pas nécessairement une ligne ni même une partie connexe. Le même « raisonnement » appliqué à g2 « laisse penser que » la courbe de niveau 0 serait cette fois-ci une ligne partant d'un point de {–1}×[–1, 1] pour terminer sur un point de {1}×[–1, 1] (illustré sur la deuxième figure, la ligne est en jaune).
L'« évidence » intuitive que ces deux hypothétiques « lignes » de niveaux (en vert et en jaune) doivent nécessairement se croiser (ce point de croisement étant alors un point fixe de h) est donc une fausse piste.


### Dimension finie
Le paragraphe précédent se généralise à toute dimension finie, autant dans son raisonnement rigoureux du début que dans ses fausses intuitions de la suite.
Illustrons ces dernières en dimension 3. L'objectif est toujours de tenter de se persuader à peu de frais de la véracité du théorème de Poincaré-Miranda, c'est-à-dire de l'existence d'un zéro de la fonction g, qui maintenant possède trois coordonnées.

La première coordonnée est positive sur la face gauche du cube et négative sur la face droite. Il y a tout lieu de penser que la zone des zéros contient une « nappe », illustrée en bleu sur la figure de droite.[Interprétation personnelle ?] Cette « nappe » couperait le cube en au moins deux composantes connexes, l'une contenant une portion de la face de droite l'autre celle de gauche. Si l'axe des y décrit la direction « devant-derrière » le même « raisonnement » « laisse penser à » l'existence d'une « nappe », en vert sur la figure, qui couperait encore en au moins deux composantes connexes le cube. L'intersection des deux « nappes » contiendrait « probablement » une « ligne », en jaune sur la figure, partant de la face du haut pour rejoindre celle du bas. La troisième composante de g décrirait, cette fois-ci, une « nappe » en rouge sur la figure. Cette « nappe » « semble » croiser « nécessairement » la ligne jaune. Ce point d'intersection serait un point fixe recherché.


## Fragments d'histoire
### Préhistoire
Comprendre la préhistoire du théorème du point fixe de Brouwer impose un passage par une équation différentielle. À la fin du XIXe siècle, une vieille question focalise à nouveau l'attention de la communauté mathématique, celle de la stabilité du système solaire. La résoudre suppose la mise au point de nouvelles méthodes. Comme le fait remarquer Henri Poincaré, qui étudie le problème des trois corps, la recherche d'une solution exacte est vaine : « Rien n’est plus propre à nous donner une idée de la complication du problème des trois corps et en général de tous les problèmes de Dynamique où il n’y a pas d’intégrale uniforme et où les séries de Bohlin sont divergentes ». Ce mathématicien remarque aussi que la recherche d'une solution approchée n'est pas plus efficace : « plus nous cherchons à obtenir des approximations précises et plus le résultat va diverger vers une imprécision croissante ».
Il étudie une question analogue à celle du mouvement de la surface d'une tasse de café. Que peut-on dire, en général, des trajectoires d'une surface animée par un courant constant ? Poincaré découvre que la réponse réside dans ce que l'on appelle maintenant les propriétés topologiques de la zone contenant la trajectoire. Si cette zone est compacte, c'est-à-dire à la fois fermée et bornée, soit la trajectoire s'immobilise, soit elle s'approche de plus en plus d'une boucle qu'elle parcourt indéfiniment. Poincaré va plus loin, si la zone est de même nature que celle d'un disque, comme c'est le cas pour la tasse de café, il existe nécessairement un point fixe. Ce point fixe est invariant par toutes les fonctions qui, à chaque point de la surface initiale, associent sa position au bout d'une période t. Si cette zone correspond à une bande circulaire ou si elle n'est pas fermée, ce n'est pas nécessairement le cas.
Pour mieux comprendre l'équation différentielle, une nouvelle branche des mathématiques voit le jour. Poincaré l'appelle l'analysis situs, l'Encyclopædia Universalis la définit comme celle qui « concerne les propriétés invariantes d’une figure lorsqu’on la déforme de manière continue quelconque, sans déchirure (par exemple, dans le cas de la déformation de la sphère, les propriétés corrélatives des objets tracés sur sa surface ». Dès 1886, Poincaré établit un résultat dont on sait aujourd'hui qu'il équivaut au théorème du point fixe de Brouwer. Un peu plus tard, il développe l'un des outils de base pour mieux comprendre l'analysis situs, que l'on appelle maintenant le groupe fondamental ou le groupe de Poincaré. Cette méthode est utilisée dans une des démonstrations du théorème présentées dans l'article.
Par certains côtés, l'approche de Poincaré est analogue à celle d'Émile Picard, un mathématicien contemporain qui généralise le théorème de Cauchy-Lipschitz. La démarche de Picard s'appuie sur un résultat qui sera formalisé plus tard par un autre théorème du point fixe, dit de Banach. Ce théorème ne s'appuie pas sur les propriétés topologiques du domaine de définition, mais sur le fait que la fonction étudiée est contractante.


### Premières démonstrations
À l'aube du XXe siècle, l'intérêt de l'analysis situs n'est pas passé inaperçu. En revanche, la nécessité d'un théorème équivalent à celui de l'article n'est pas encore évidente. Piers Bohl, un mathématicien live, applique des méthodes topologiques pour étudier des équations différentielles. Il démontre en 1904 le résultat de l'article pour la dimension trois ; son texte passe inaperçu.
C'est finalement Brouwer, qui donne à ce théorème ses premières lettres de noblesse. Ses objectifs sont différents de ceux de Poincaré. Ce mathématicien est passionné par les fondements des mathématiques, essentiellement la logique et la topologie. Son intérêt initial réside dans une tentative de résolution du cinquième problème de Hilbert. En 1909, lors d'un voyage à Paris, il rencontre Poincaré, Hadamard et Borel. Les discussions qui s'ensuivent convainquent Brouwer de l'importance de mieux comprendre la topologie des espaces euclidiens et est l'origine d'une fructueuse relation épistolaire avec Hadamard. Durant les quatre années à venir, il se concentre pour établir certains grands théorèmes sur cette question. Cette année-là, Brouwer démontre le théorème de la boule chevelue pour la sphère de dimension deux, ainsi que le fait que toute application continue de la boule de dimension deux dans elle-même possède un point fixe. Ces deux résultats en eux-mêmes ne sont pas véritablement des nouveautés. Comme lui fait remarquer Hadamard, un équivalent du théorème de la boule chevelue est déjà démontré par Poincaré. L'aspect révolutionnaire de l'approche de Brouwer consiste en l'usage systématique d'outils développés récemment comme l'homotopie, le concept de base du groupe de Poincaré. L'année suivante, Hadamard généralise le théorème de l'article à toute dimension finie, mais à l'aide de méthodes différentes. Hans Freudenthal commente ainsi les rôles respectifs : « Comparées aux méthodes révolutionnaires de Brouwer, celles d'Hadamard sont très traditionnelles, mais la participation d'Hadamard à la naissance des idées de Brouwer ressemble plus à celle d'une sage-femme qu'à celle d'un simple spectateur ».
L'approche de Brouwer porte ses fruits ; en 1912, il trouve aussi une démonstration valable pour toute dimension finie, ainsi que d'autres théorèmes clé comme l'invariance de la dimension. Dans le contexte de ces travaux, Brouwer généralise aussi le théorème de Jordan à une dimension quelconque et établit les propriétés associées au degré d'une application. Cette branche des mathématiques, initialement imaginée par Poincaré et développée par Brouwer, change de nom. Dans les années 1930, l'analysis situs devient la topologie algébrique.
La célébrité de Brouwer n'est pas uniquement la conséquence de ses travaux en topologie. Il est aussi auteur et ardent défenseur d'une manière de formaliser les mathématiques, appelée intuitionnisme, qui, à l'époque se voulait opposée au formalisme de la théorie des ensembles. Si Brouwer préfère des preuves fondées sur une démonstration constructive, paradoxalement, celles qui sont à l'origine de ses grands théorèmes de topologie ne le sont pas (l'algorithme publié par Herbert Scarf en 1967, basé sur le lemme de Sperner, ne fournit qu'un « point fixe approché »).


### Postérité du théorème
Le théorème du point fixe de Brouwer s'avère fondamental, au moins à deux titres. Le XXe siècle développe de nombreux théorèmes de point fixe, et même une théorie sur cette question. Celui de Brouwer est probablement le plus important. Il est aussi l'un des théorèmes fondateurs de la topologie des variétés topologiques et est souvent utilisé pour la démonstration des autres résultats importants, comme le théorème de Jordan.
Par delà les théorèmes de point fixe exploitant le caractère contractant d'une fonction, ceux directement ou indirectement issus de celui de Brouwer sont nombreux. Il n'existe pas d'application continue d'une boule fermée d'un espace euclidien dans sa frontière, laissant invariante sa frontière. Dans le même ordre d'idées, le théorème de Borsuk-Ulam indique qu'une application continue de la sphère de dimension n dans Rn possède au moins deux points antipodaux de même image. Dans le cas de la dimension finie, le théorème du point fixe de Lefschetz établit en 1926 une méthode pour compter les points fixes. Le théorème du point fixe de Brouwer est généralisé en 1930 aux espaces de Banach. Cette généralisation porte le nom de théorème du point fixe de Schauder, résultat encore généralisé par Shizuo Kakutani aux fonctions multivoques.
On ne rencontre pas uniquement le théorème ou ses avatars en topologie. Le théorème de Hartman-Grobman, qui établit la nature qualitative du comportement de certaines équations différentielles au voisinages de certains points d'équilibre, se démontre avec le théorème du point fixe de Brouwer. Sur le même sujet, le théorème de la variété centrale (en) utilise aussi ce théorème de Brouwer pour sa démonstration. On trouve encore le théorème pour démontrer des existences de solutions à certaines équations aux dérivées partielles.
D'autres domaines sont touchés. En théorie des jeux, le théorème de John Nash sur le jeu de Hex (dont la démonstration est astucieuse mais élémentaire) est en fait équivalent à celui de Brouwer. En économie, P. Bich précise que certaines généralisations du théorème montrent que son usage est utile pour « quelques problèmes classiques en théorie des jeux ou en équilibre général (modèle d’Hotelling, équilibres financiers en marchés incomplets, ...) ».


## Démonstrations
### Préambule
Les méthodes de démonstrations sont nombreuses. L'une particulièrement simple est l'œuvre de David Gale. Elle provient d'une analyse différente des résultats de Nash sur le jeu de Hex. La preuve présentée ici s'applique à la dimension 2, mais l'article original ne contient pas cette limitation.
La topologie combinatoire est une autre méthode permettant de démontrer le théorème. Pendant les années 1920, les mathématiciens ont commencé à dégager des principes combinatoires liés au théorème de Brouwer (lemme de Sperner, lemme de Knaster-Kuratowski-Mazurkiewicz). Ces travaux offrirent à la fois de nouvelles démonstrations élégantes de ce théorème et l'amorce d'une théorie en combinatoire pour l'avenir.
D'autres utilisent la géométrie différentielle. Milnor établit un lemme qui simplifie la preuve pour les fonctions infiniment différentiables. Il devient aisé de conclure pour les fonctions continues à l'aide du théorème de Stone-Weierstrass[réf. nécessaire]. L'usage de théorèmes puissants rend la démonstration plus facile. En géométrie différentielle, le théorème de Stokes implique directement celui du point fixe de Brouwer, pour les fonctions de classe C2. Une autre méthode consiste à faire appel à des théorèmes plus forts, comme celui de la boule chevelue ou de Borsuk-Ulam.
Néanmoins, pour Daniel Leborgne, les théorèmes comme celui du point fixe de Brouwer « sont habituellement démontrés par des méthodes universelles de topologie algébrique, donc, évidemment préférables ». En dimension 2, une preuve présentée ici utilise le groupe de Poincaré, qui se fonde sur la notion d'homotopie. Pour une dimension quelconque, la preuve se généralise ; la notion clé n'est plus l'homotopie mais l'homologie.


### Par le jeu de Hex
En 1949, Nash réinvente le jeu de Hex et montre que la partie nulle y est impossible. Sa démonstration est équivalente au théorème de l'article. Une trentaine d'années plus tard, D. Gale s'en rend compte et montre que le jeu peut servir de démonstration élémentaire au résultat de Brouwer.
Le jeu a lieu sur un plateau composé d'hexagones. À la fin du jeu, certains hexagones sont recouverts par des jetons (rouges ou bleus sur la figure de gauche). Le camp des bleus est formé par les deux côtés du plateau signalés par une ligne bleue, les deux autres côtés (signalés par une ligne rouge) constituent le camp adverse. S'il est possible de tracer une ligne blanche qui ne quitte jamais la zone des hexagones bleus et qui relie les deux côtés bleus, les bleus ont gagné, comme illustré sur la figure de gauche. De même, s'il est possible de tracer une ligne blanche qui ne quitte jamais la zone des hexagones rouges et qui relie les deux côtés rouges, les rouges ont gagné. L'article Hex montre que si le plateau est rempli de jetons, le match nul est impossible, c'est-à-dire que, soit les hexagones rouges, soit les bleus, sont support d'une ligne blanche reliant les deux côtés d'un même camp. Cette propriété permet de démontrer le théorème de Brouwer.
Trouver un point fixe d'une fonction f de K dans K revient à trouver un zéro de la fonction g, de K dans Rn, qui à x associe f(x) – x. L'existence d'un tel zéro se prouve à l'aide du lemme suivant :

Ce lemme prouve que la borne inférieure sur K de la fonction ║g║ est nulle. Puisque cette fonction est continue et que K est compact, cette borne est atteinte, c'est-à-dire qu'il existe un point m de K tel que ║g(m)║ = 0, autrement dit tel que g(m) = 0, ce qui démontre le théorème.


### Par une méthode homotopique
Comme annoncé en préambule de cette section, la preuve présentée ici est spécifique à la dimension 2.
Ici, il est plus simple d'identifier le cercle avec les points du plan complexe de module 1 et le disque avec les points de modules inférieurs ou égaux à 1. Il existe une différence topologique entre le disque et le cercle. Soit un point A du disque et un lacet d'extrémités A, c'est-à-dire un chemin continu qui part de A, sans jamais quitter le disque, pour retourner au point A. Si le lacet est matérialisé par un fil élastique, on peut tirer sur chacune des extrémités du chemin pour finir par un chemin composé d'un point unique : A. Autrement dit, on peut déformer continument le lacet jusqu'à n'obtenir qu'un point. Cette propriété est illustrée sur la figure de gauche, le lacet bleu est continument déformé pour obtenir un chemin de plus en plus proche du lacet constant égal à A. On dit que tout lacet est homotope à un point. Sur le cercle, cette propriété n'est pas vraie. On peut imaginer un chemin qui part du point B, fait le tour du cercle et revient en B. On obtient un lacet d'extrémités B et qui parcourt le cercle. Cette fois-ci, on aura beau tirer sur le chemin ou le fil élastique, qui ne peut par définition pas quitter le cercle, il n'y aura pas moyen de le ramener au point B sans le rompre. En termes mathématiques, on dit que le groupe fondamental du disque est trivial, alors que celui du cercle ne l'est pas.
Si une exception au théorème de Brouwer existait, il serait possible de créer un lacet qui ferait le tour du cercle en allant toujours dans la même direction, et qui serait pourtant homotope à un point. Cette impossibilité est la clé de la démonstration proposée ici. Dans un premier temps, on démontre la propriété suivante :

Il n'existe pas de fonction continue du disque dans le cercle, qui laisse invariant chaque point du cercle.
Ce qui se dit encore : il n'existe pas de rétraction forte par déformation du disque sur sa frontière. En effet, s'il y en avait une que l'on note F, on définirait la fonction H par :

  
    
      
        ∀
        t
        ,
        x
        ∈
        [
        0
        ,
        1
        ]
        ,
        
        H
        (
        t
        ,
        x
        )
        =
        F
        
          
            (
          
        
        x
        
          e
          
            2
            
              
                i
              
            
            π
            t
          
        
        
          
            )
          
        
        .
      
    
    {\displaystyle \forall t,x\in [0,1],\quad H(t,x)=F{\big (}xe^{2{\rm {i}}\pi t}{\big )}.}
  

Si x est égal à 1, on obtient un lacet d'extrémités le point 1 et qui fait le tour du disque, si t varie. Si x est égal à 0, on obtient un lacet constant de valeur F(0). Le lacet initial serait homotope à un point, comme cette propriété est fausse dans le cercle, la proposition est démontrée. L'article détaillé propose une démarche plus rapide, elle suppose néanmoins l'acquisition de concepts plus lourds à mettre en œuvre.
Il reste encore à construire la fonction F.

S'il existe une fonction continue du disque dans lui-même sans point fixe, il existe une rétraction forte par déformation du disque sur sa frontière.
On considère le segment passant par x et f(x) et d'extrémités f(x) et un point du cercle. Cette construction est illustrée sur la figure de droite. Comme x et f(x) ne sont jamais confondus, la fonction F est parfaitement définie. Si x est sur la frontière, les points x et F(x) sont confondus. Il est relativement simple de montrer que F est continue.


### Par la formule de Stokes
Pour montrer qu'une application a au moins un point fixe, on peut supposer qu'elle est lisse. En effet, si une application qui n'a pas de point fixe est convolée avec une fonction lisse ayant un support suffisamment petit, alors la fonction lisse obtenue est aussi sans point fixe.
On note B et S la boule unité fermée et la sphère unité d'un espace euclidien. Soit 
  
    
      
        f
        :
        B
        →
        B
      
    
    {\displaystyle f:B\to B}
  
 une application lisse sans point fixe. Soit, comme plus haut, 
  
    
      
        F
        :
        B
        →
        S
      
    
    {\displaystyle F:B\to S}
  
 définie par : 
  
    
      
        F
        (
        x
        )
        ∈
        S
      
    
    {\displaystyle F(x)\in S}
  
 et 
  
    
      
        x
        ∈
        [
        f
        (
        x
        )
        ,
        F
        (
        x
        )
        ]
      
    
    {\displaystyle x\in [f(x),F(x)]}
  
. Comme f n'a pas de point fixe, F est bien définie et lisse, et c'est une rétraction de B sur S : 
  
    
      
        F
        ∘
        i
        =
        
          
            I
            d
          
          
            S
          
        
      
    
    {\displaystyle F\circ i=\mathrm {Id} _{S}}
  
, où 
  
    
      
        i
        :
        S
        →
        B
      
    
    {\displaystyle i:S\to B}
  
 est l'inclusion.
Soit 
  
    
      
        ω
      
    
    {\displaystyle \omega }
  
 la forme volume (fermée) de la sphère S. Alors :

  
    
      
        
          
            
              
                0
                <
                
                  ∫
                  
                    S
                  
                
                ω
              
              
                
                =
                
                  ∫
                  
                    S
                  
                
                
                  i
                  
                    ∗
                  
                
                (
                
                  F
                  
                    ∗
                  
                
                (
                ω
                )
                )
              
              
                
                  (
                
                F
                ∘
                i
                =
                
                  
                    I
                    d
                  
                  
                    S
                  
                
                
                  )
                
              
            
            
              
              
                
                =
                
                  ∫
                  
                    B
                  
                
                d
                
                  F
                  
                    ∗
                  
                
                (
                ω
                )
              
              
                
                   (Formule de Stokes)
                
              
            
            
              
              
                
                =
                
                  ∫
                  
                    B
                  
                
                
                  F
                  
                    ∗
                  
                
                (
                d
                ω
                )
              
              
                
                   (Propriété du tiré en arrière) 
                
              
            
            
              
              
                
                =
                
                  ∫
                  
                    B
                  
                
                
                  F
                  
                    ∗
                  
                
                (
                0
                )
                =
                0
              
              
                
                  (
                
                ω
                
                   est fermée),
                
              
            
          
        
      
    
    {\displaystyle {\begin{aligned}0<\int _{S}\omega &=\int _{S}i^{*}(F^{*}(\omega ))&{\text{(}}F\circ i=\mathrm {Id} _{S}{\text{)}}\\&=\int _{B}dF^{*}(\omega )&{\text{ (Formule de Stokes)}}\\&=\int _{B}F^{*}(d\omega )&{\text{ (Propriété du tiré en arrière) }}\\&=\int _{B}F^{*}(0)=0&{\text{(}}\omega {\text{ est fermée),}}\end{aligned}}}
  

ce qui est absurde. On en déduit que f admet au moins un point fixe.
La même démonstration prouve également qu'il n'y a pas de rétraction lisse d'une variété lisse orientable compacte sur son bord.


### Par le théorème de la boule chevelue
Le théorème de la boule chevelue énonce que sur une sphère unité de dimension paire (c'est-à-dire la sphère de rayon 1 et de centre le vecteur nul, dans un espace euclidien de dimension impaire), il n'existe pas de champ de vecteurs α qui soit continu, tangent à la sphère en tout point x de cette sphère (c'est-à-dire vérifiant (x|α(x)) = 0), et qui ne s'annule jamais. On l'exprime parfois en disant qu'il existe toujours un point de la Terre où le vent est inexistant.
S'il existe une fonction f de la boule unité fermée Bn sans point fixe, on construit deux champs de vecteurs, sur la sphère unité de dimension n et celle de dimension n +1, dont l'un des deux contredit le théorème de la boule chevelue. L'avantage de cette méthode est qu'elle n'utilise que des techniques élémentaires, sa faiblesse réside dans une démarche moins universelle que celle de la topologie algébrique, qui permet de démontrer des résultats plus forts, comme le théorème de Borsuk-Ulam.


### Par le lemme de Sperner
Au lieu de montrer le théorème pour la boule 
  
    
      
        B
      
    
    {\displaystyle B}
  
 de dimension 
  
    
      
        d
      
    
    {\displaystyle d}
  
, on le montre pour le simplexe 
  
    
      
        
          T
          
            d
          
        
        =
        {
        (
        
          x
          
            1
          
        
        ,
        …
        ,
        
          x
          
            d
            +
            1
          
        
        )
        ∈
        
          [
        
        0
        ,
        1
        
          ]
          
            d
            +
            1
          
        
        
          |
        
        
          ∑
          
            k
            =
            1
          
          
            d
            +
            1
          
        
        
          x
          
            k
          
        
        =
        1
        }
      
    
    {\displaystyle T_{d}=\{(x_{1},\ldots ,x_{d+1})\in \mathbb {[} 0,1]^{d+1}|\sum _{k=1}^{d+1}x_{k}=1\}}
  
 qui lui est homéomorphe.
Soit 
  
    
      
        f
        :
        
          T
          
            d
          
        
        →
        
          T
          
            d
          
        
      
    
    {\displaystyle f:T_{d}\to T_{d}}
  
 une fonction continue.
Si 
  
    
      
        v
        ∈
        
          T
          
            d
          
        
      
    
    {\displaystyle v\in T_{d}}
  
 n'est pas un point fixe, on définit sa couleur 
  
    
      
        C
        (
        v
        )
        =
        min
        {
        i
        
          |
        
        (
        f
        (
        
          v
          
            i
          
        
        )
        
          )
          
            i
          
        
        <
        
          v
          
            i
          
        
        }
      
    
    {\displaystyle C(v)=\min\{i|(f(v_{i}))_{i}<v_{i}\}}
  
, de sorte que 
  
    
      
        (
        f
        (
        v
        )
        
          )
          
            C
            (
            v
            )
          
        
        <
        
          v
          
            C
            (
            v
            )
          
        
      
    
    {\displaystyle (f(v))_{C(v)}<v_{C(v)}}
  
   (
  
    
      
        {
        i
        
          |
        
        (
        f
        (
        
          v
          
            i
          
        
        )
        
          )
          
            i
          
        
        <
        
          v
          
            i
          
        
        }
      
    
    {\displaystyle \{i|(f(v_{i}))_{i}<v_{i}\}}
  
 est non vide, sinon on aurait 
  
    
      
        (
        f
        (
        v
        )
        
          )
          
            i
          
        
        −
        
          v
          
            i
          
        
        ≥
        0
        ,
        
          ∑
          
            i
            =
            1
          
          
            d
            +
            1
          
        
        (
        f
        (
        v
        )
        
          )
          
            i
          
        
        −
        
          v
          
            i
          
        
        =
        0
      
    
    {\displaystyle (f(v))_{i}-v_{i}\geq 0,\sum _{i=1}^{d+1}(f(v))_{i}-v_{i}=0}
  
 et donc 
  
    
      
        v
        −
        f
        (
        v
        )
        =
        0
      
    
    {\displaystyle v-f(v)=0}
  
).
Soit 
  
    
      
        r
      
    
    {\displaystyle r}
  
 un entier strictement positif. On subdivise 
  
    
      
        
          T
          
            d
          
        
      
    
    {\displaystyle T_{d}}
  
 en 
  
    
      
        
          r
          
            d
          
        
      
    
    {\displaystyle r^{d}}
  
 simplexes de la forme 
  
    
      
        
          T
          
            d
          
        
        ∩
        
          ∏
          
            k
            =
            1
          
          
            d
            +
            1
          
        
        [
        
          
            
              α
              
                k
              
            
            r
          
        
        ,
        
          
            
              
                α
                
                  k
                
              
              +
              1
            
            r
          
        
        ]
      
    
    {\displaystyle T_{d}\cap \prod _{k=1}^{d+1}[{\frac {\alpha _{k}}{r}},{\frac {\alpha _{k}+1}{r}}]}
  
 pour 
  
    
      
        
          α
          
            k
          
        
        ∈
        
          N
        
      
    
    {\displaystyle \alpha _{k}\in \mathbb {N} }
  
 tels que 
  
    
      
        
          ∑
          
            k
            =
            1
          
          
            d
            +
            1
          
        
        
          α
          
            k
          
        
        =
        r
        −
        1
      
    
    {\displaystyle \sum _{k=1}^{d+1}\alpha _{k}=r-1}
  
.
Si l'un des points 
  
    
      
        v
        =
        (
        
          v
          
            1
          
        
        ,
        …
        ,
        
          v
          
            d
            +
            1
          
        
        )
        ∈
        
          T
          
            d
          
        
        ∩
        (
        
          
            1
            r
          
        
        
          N
        
        
          )
          
            d
            +
            1
          
        
      
    
    {\displaystyle v=(v_{1},\ldots ,v_{d+1})\in T_{d}\cap ({\frac {1}{r}}\mathbb {N} )^{d+1}}
  
 de cette subdivision est un point fixe, l'existence du point fixe est prouvée, sinon, on colorie 
  
    
      
        v
      
    
    {\displaystyle v}
  
 par 
  
    
      
        C
        (
        v
        )
      
    
    {\displaystyle C(v)}
  
.
Cette coloration vérfie les hypothèses du lemme de Sperner: chaque sommet de 
  
    
      
        
          T
          
            d
          
        
      
    
    {\displaystyle T_{d}}
  
 est d'une couleur différente (
  
    
      
        C
        (
        (
        
          δ
          
            i
            k
          
        
        
          )
          
            1
            ≤
            k
            ≤
            d
            +
            1
          
        
        )
        =
        i
      
    
    {\displaystyle C((\delta _{ik})_{1\leq k\leq d+1})=i}
  
), si un des sommets 
  
    
      
        v
      
    
    {\displaystyle v}
  
 de la subdivision est dans l'enveloppe convexe de 
  
    
      
        
          A
          
            1
          
        
        ,
        …
        ,
        
          A
          
            s
          
        
      
    
    {\displaystyle A^{1},\ldots ,A^{s}}
  
 sommets de 
  
    
      
        T
      
    
    {\displaystyle T}
  
 alors 
  
    
      
        C
        (
        v
        )
        ∈
        {
        C
        (
        
          A
          
            1
          
        
        )
        ,
        …
        ,
        C
        (
        
          A
          
            s
          
        
        )
        }
      
    
    {\displaystyle C(v)\in \{C(A^{1}),\ldots ,C(A^{s})\}}
  
.
Il existe donc un simplexe de la subdivision tel que chacun de ses sommets soit de couleur différente. Soient 
  
    
      
        
          D
          
            r
            ,
            k
          
        
      
    
    {\displaystyle D^{r,k}}
  
 les sommets de ce simplexe, ordonnés de telle sorte que 
  
    
      
        C
        (
        
          D
          
            r
            ,
            k
          
        
        )
        =
        k
      
    
    {\displaystyle C(D^{r,k})=k}
  
. On a de plus 
  
    
      
        ‖
        
          D
          
            r
            ,
            1
          
        
        −
        
          D
          
            r
            ,
            k
          
        
        ‖
        ≤
        
          
            1
            r
          
        
      
    
    {\displaystyle \|D^{r,1}-D^{r,k}\|\leq {\frac {1}{r}}}
  
.
Comme 
  
    
      
        
          T
          
            d
          
        
      
    
    {\displaystyle T_{d}}
  
 est compact, 
  
    
      
        (
        
          D
          
            n
            ,
            1
          
        
        
          )
          
            n
            ∈
            
              N
            
          
        
      
    
    {\displaystyle (D^{n,1})_{n\in \mathbb {N} }}
  
 admet une sous-suite convergente 
  
    
      
        (
        
          D
          
            ϕ
            (
            n
            )
            ,
            1
          
        
        
          )
          
            n
            ∈
            
              N
            
          
        
      
    
    {\displaystyle (D^{\phi (n),1})_{n\in \mathbb {N} }}
  
, vers une limite 
  
    
      
        x
      
    
    {\displaystyle x}
  
. C'est aussi la limite de 
  
    
      
        (
        
          D
          
            ϕ
            (
            n
            )
            ,
            k
          
        
        
          )
          
            n
            ∈
            
              N
            
          
        
      
    
    {\displaystyle (D^{\phi (n),k})_{n\in \mathbb {N} }}
  
 pour 
  
    
      
        k
        ∈
        {
        1
        ,
        …
        ,
        d
        +
        1
        }
      
    
    {\displaystyle k\in \{1,\ldots ,d+1\}}
  
.
Comme 
  
    
      
        (
        
          D
          
            ϕ
            (
            n
            )
            ,
            k
          
        
        
          )
          
            k
          
        
        >
        (
        f
        (
        
          D
          
            ϕ
            (
            n
            )
            ,
            k
          
        
        )
        
          )
          
            k
          
        
      
    
    {\displaystyle (D^{\phi (n),k})_{k}>(f(D^{\phi (n),k}))_{k}}
  
, on en déduit par passage à la limite 
  
    
      
        
          x
          
            k
          
        
        ≥
        (
        f
        (
        x
        )
        
          )
          
            k
          
        
      
    
    {\displaystyle x_{k}\geq (f(x))_{k}}
  
. Comme 
  
    
      
        
          ∑
          
            k
            =
            1
          
          
            d
            +
            1
          
        
        
          x
          
            k
          
        
        −
        (
        f
        (
        x
        )
        
          )
          
            k
          
        
        =
        0
      
    
    {\displaystyle \sum _{k=1}^{d+1}x_{k}-(f(x))_{k}=0}
  
, on en déduit 
  
    
      
        f
        (
        x
        )
        −
        x
        =
        0
      
    
    {\displaystyle f(x)-x=0}
  
, ce qui prouve l'existence du point fixe.


## Liens externes
A. Monier, « Le théorème de Brouwer », École normale supérieure de Lyon, Le journal de maths des élèves, vol. 1, no  4, 1998, p. 202-206
Jean Mawhin, Autour du théorème du point fixe, 2004


## Notes et références
### Notes
### Références
(en) H. Freudenthal, « The cradle of modern topology, according to Brouwer's inedita », Hist. Math., vol. 2,‎ 1975, p. 495-502
(en) Vasile I. Istratescu, Fixed Point Theory : An Introduction, Kluwer Academic Publishers, 2001, 488 p. (ISBN 978-1-4020-0301-1, OCLC 171109810, lire en ligne)
D. Leborgne, Calcul différentiel et géométrie, Paris, Puf, 1982 (ISBN 978-2-13-037495-4)
D. Violette, « Applications du lemme de Sperner pour les triangles », Bulletin AMQ, vol. XLVI, no 4,‎ 2006 (lire en ligne)

 Portail des mathématiques