Théorème du point fixe de Brouwer

Un article de Wikipédia, l'encyclopédie libre.

En 1886 Henri Poincaré démontre un résultat équivalent au théorème du point fixe de Brouwer. L'énoncé exact est prouvé pour la dimension trois par Piers Bohl pour la première fois en 1904, puis par Jacques Hadamard dans le cas général en 1910. Luitzen Brouwer propose une nouvelle démonstration en 1912.

En mathématiques, le théorème du point fixe de Brouwer est un résultat de topologie. Il 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 x₀ tel que f(x₀) = x₀. La forme la plus simple du théorème de Brouwer prend comme hypothèse que la fonction est définie dans un disque D et à valeurs dans D. Sous une forme plus générale, la fonction est définie dans un convexe compact K d'un espace euclidien et à valeurs dans K.

Si, parmi les centaines de théorèmes de point fixe^[1], 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^[2]. À ce titre, il est un des théorèmes fondamentaux de la topologie^[3]. 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'une stratégie gagnante pour le jeu de Hex.

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 XIX^e siècle débouchent sur plusieurs versions successives du théorème, en 1912 Luitzen Egbertus Jan Brouwer propose une démonstration générale, établissant à nouveau un résultat déjà prouvé par Hadamard en 1910.

[modifier] É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.

Il peut encore être un peu plus général^{[Note 1]} :

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

[modifier] Approche intuitive

[modifier] Commentaires attribués à Brouwer

L'origine de ce théorème proviendrait de l'observation d'une tasse de café par Brouwer^{[Note 2]}. 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 »^[8]. 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 »^[8]. Quand Brouwer aplatit sa feuille froissée, il ne la déplie pas, il l'écrase, comme à l'aide d'un fer à repasser.

[modifier] Dimension un

En dimension un, le résultat est à la fois intuitif et aisé à démontrer. On note [a, b] le domaine de définition de f. La fonction f est continue et à valeurs dans le même segment. Dire que cette fonction f admet un point fixe, revient à dire que son graphe (en noir sur la figure de droite et est choisi égal à celui de la fonction cosinus sur l'intervalle [0, 1]) croise celui de la fonction définie sur [a, b], qui à x associe 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. Il suffit de considérer la fonction continue g, qui à x associe f(x) - x. Elle est positive en a, négative en b. Le théorème des valeurs intermédiaires assure que la fonction g possède un zéro sur [a, b]. Ce zéro est un point fixe.

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. »^[8].

[modifier] Dimension deux

En dimension deux, un raisonnement intuitif permet de montrer que le résultat est probablement vrai. La démonstration est néanmoins plus délicate. 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. Le terme semblable signifie qu'il existe un homéomorphisme φ de la boule unité vers K. L'équation définissant le point fixe peut encore s'écrire, si h est égal à foφ, h(x) = x. Autrement dit, on peut supposer que K est la boule unité fermée. On peut de plus choisir la norme de manière quelconque. Si on choisit celle qui associe la valeur absolue de la plus grande coordonnée, cela revient à dire que l'on peut choisir pour compact K, l'ensemble [-1, 1]×[-1, 1], sans perte de généralité.

Si l'on définit la fonction g comme celle qui à x associe h(x) - x, cela revient à montrer que la fonction g atteint le vecteur nul sur [-1, 1]×[-1, 1]. Si g_k, pour k égal à 1 ou 2, sont les deux fonctions coordonnées de g, cela revient à montrer l'existence d'un point x₀, tel que g₁ et g₂ admettent toutes deux pour zéro la valeur x₀ .

La fonction g₁ est une fonction de [-1, 1]×[-1, 1] dans [-1, 1]. 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}. Le même raisonnement appliquée à g₂ laisse penser que la courbe de niveau 0 est cette fois-ci une ligne qui part 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).

Intuitivement, il semble évident que ces deux lignes de niveaux (en vert et en jaune) doivent nécessairement se croiser et ce point de croisement est un point fixe de foφ. Démontrer cette intuition est moins aisée qu'il n'y parait. La zone verte n'est pas nécessairement une ligne connexe, ni même une ligne, même si elle en contient toujours une. Elle peut être, par exemple, une bande.

[modifier] Dimension finie

L'approche intuitive du paragraphe précédent se généralise à toute dimension finie. Pour s'en persuader, étudions le cas de la dimension 3.

L'objectif est toujours de montrer 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. Cette nappe coupe 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 coupe encore en au moins deux composantes connexes le cube. L'intersection des deux nappes contient 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écrit cette fois-ci, une nappe en rouge sur la figure. Cette nappe semble croiser nécessairement la ligne jaune. Ce point d'intersection est un point fixe recherché.

[modifier] Fragments d'histoire

[modifier] Préhistoire

Si la zone parcourue par le courant n'est pas bornée, ou contient un trou en son milieu, le théorème ne n'applique pas.

Dans le cas d'une zone ayant la forme d'un disque, le théorème s'applique et garantit l'existence d'un point fixe.

Comprendre la préhistoire du théorème du point fixe de Brouwer impose un passage par une équation différentielle. À la fin du XIX^e siècle, une vieille question^[9] focalise à nouveau l'attention de la communauté mathématique, celle de la stabilité du système solaire^[10]. 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 »^[11]. 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 »^[12].

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^[13]? 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^{[Note 3]}. 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^{[Note 4]}, 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'Encyclopedia 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 »^[14]. Des 1886, Poincaré établit un résultat équivalent au théorème du point fixe de Brouwer^[15], mais le rapport avec le thème de cet l'article n'est pas fait^[16]. 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é^[17]. Cette méthode est utilisée dans une des démonstrations du théorème présentées dans l'article^{[Note 5]}.

Par certains cotés, l'approche de Poincaré est analogue à celle d'Emile Picard, un mathématicien contemporain qui généralise le théorème de Cauchy-Lipschitz^[18]. 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.

[modifier] Premières démonstrations

Hadamard joue un rôle d'accoucheur auprès de Brouwer pour lui permettre de formaliser ses idées.

À l'aube du XX^e 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 letton applique des méthodes topologiques pour étudier des équations différentielles^[19]. Il démontre en 1904 le résultat de l'article pour la dimension trois, son texte passe inaperçu^[20].

C'est finalement Brouwer, qui donne à ce théorème ses premières lettres de noblesse. Ces 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^[21]. En 1909, lors d'un voyage à Paris, il rencontre Poincaré, Hadamard et Borel. Les discussions qui s'en suivent 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^[22]. Ces deux résultats en eux même 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é^[23]. 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. H. 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 »^[24].

L'approche de Brouwer porte ses fruits, en 1912 il trouve aussi une démonstration valable pour toute dimension finie^[25], ainsi que d'autres théorèmes clé comme l'invariance de la dimension^{[Note 6]}. 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^[26]. 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^[27].

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é au formalisme de la théorie des ensembles^{[Note 7]}. Si Brouwer préfère des preuves fondées sur une démonstration constructive, ironiquement, celles à l'origine de ses grands théorèmes de topologie ne le sont pas^[28] et il faut attendre 1967 pour en trouver^[29].

[modifier] Postérité du théorème

John Nash utilise le théorème en théorie des jeux pour démontrer l'existence d'une stratégie gagnante.

Le théorème de l'article s'avère fondamental, au moins à deux titres. Le XX^e siècle développe de nombreux théorèmes de point fixe, et même une théorie sur cette question^[30]. Celui de Brouwer est probablement le plus important^[31]. 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^[32].

Par delà les théorèmes de point fixe dont l'origine est une fonction plus ou moins contractante, ceux directement ou indirectement issus du résultat de l'article sont nombreux. Il n'existe pas d'application continue d'une boule fermée d'un espace euclidien dans sa frontière, laissant invariant sa frontière. Dans le même ordre d'idée, le théorème de Borsuk-Ulam indique qu'une application continue de la sphère de dimension n dans Rⁿ 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^[33] 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^[34]. Cette généralisation porte le nom de théorème du point fixe de Schauder, résultat encore généralisé par S. Kakutani aux fonctions multivoques^[35]. On ne rencontre pas uniquement le théorème ou ses avatars en topologie. Le théorème de Hartman-Grobmann, qui établit la nature qualitative du comportement de certaines équations différentielles au voisinages de certains points d'équilibre, se démontre avec le résultat de l'article. Sur le même sujet, le théorème de la variété centrale utilise aussi le théorème du point fixe 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^[36].

D'autres domaines sont touchés. En théorie des jeux, John Nash utilise ce théorème pour prouver qu'au jeu de Hex, il existe une stratégie telle que les blancs jouent et gagnent^{[Note 8]}. 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, ..)  »^[37].

[modifier] Démonstrations

[modifier] Préambule

Les méthodes de démonstrations sont nombreuses. L'une particulièrement simple est l'œuvre de David Gale^[38]. 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 deux, 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^[39] 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^[40] é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. 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^[41], pour les fonctions de classe C². Une autre méthode consiste à faire appel à des théorèmes un peu équivalents, comme celui de la boule chevelue^{[Note 9]} ou de Borsuk-Ulam^[42].

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 »^[43]. En dimension deux, 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^[44].

[modifier] Par le jeu de Hex

Fin d'une partie de jeu de Hex. Bleu a gagné.

En 1949, Nash réinvente le jeu de Hex et montre que la partie nulle y est impossible^[45]. 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 deux côtés de l'hexagone 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 coté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 coté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 cotés d'un même camp. Cette propriété permet de démontrer le théorème de Brouwer.

On prouve ici le théorème de Brouwer, pour le compact convexe de R², K étant égal à [-1, 1]×[-1, 1], c'est-à-dire que la norme choisie ||.|| est celle de la plus grande valeur absolue de ses deux coordonnées. En dernière partie du paragraphe sur les démonstrations, on montre que ce résultat suffit à prouver le théorème de Brouwer pour n'importe quel compact convexe de R². L'article de D. Gale montre que le raisonnement se généralise à une dimension quelconque, ce qui n'est pas fait ici.

Soit f une fonction continue de K dans K. La fonction g est celle définie de K dans K, qui à x associe f(x) - x. Démontrer le théorème de Brouwer revient à montrer que g admet un zéro. Ce résultat ce prouve à l'aide du lemme suivant :

Une fois ce lemme démontré, on remarque que la continuité de f implique celle de ||g|| et, comme elle est définie dans un compact, elle est uniformément continue. Comme K est un compact, la fonction ||g|| atteint son minimum en un point que l'on note m. Ce minimum est un entier positif strictement plus petit que ε. Le seul réel positif plus petit que tous les réels strictement positifs est 0. L'image par g du point m est donc nulle, ce qui démontre le théorème.

Démonstration du lemme^[46]

Comme la fonction g est uniformément continue, il existe un réel strictement positif δ tel que :

Le compact K, dont la frontière est illustrée en vert sur la figure de droite, est rempli par un plateau de hex redressé (cf l'image de droite). Le plateau contient suffisamment d'hexagones pour que chacun puisse être contenu dans un disque de diamètre δ. On note g₁ et f₁ (resp. g₂ et f₂) la première (resp. la deuxième) coordonnée des fonctions g et f. En faisant jouer au hex, les fonctions g₁ et g₂, on démontre le lemme.

Soit B_f l'ensemble des hexagones tels que g₁ soit strictement supérieure à ε/2 sur l'intégralité de l'hexagone. Ces hexagones sont dessinés en bleu foncé sur la figure. On considère les hexagones recouvrant la zone {1}x[-1, 1] et x un élément de cette zone. La fonction g₁ au point x vaut f₁(x) - 1 c'est-à-dire un nombre nécessairement négatif. Ceci montre qu'aucun hexagone contenant un point de {1}x[-1, 1] ne peut être bleu foncé. Soit B_c l'ensemble des hexagones tel que g₁ soit strictement inférieure à -ε/2 sur l'intégralité de l'hexagone. Ces hexagones sont dessinées en bleu clair sur la figure. Le raisonnement précédent montre que la zone {-1}x[-1, 1] ne peut contenir aucun hexagone bleu clair.

Cet argument montre que si les hexagones bleus, clairs ou foncés, représentent les pions d'un joueur, ce joueur ne peut avoir gagné. L'argument précédent montre qu'il n'existe aucune possibilité d'une suite connexe d'hexagones bleus uniquement clairs ou uniquement foncés reliant les deux bords. Or deux hexagones bleus, l'un clair et l'autre foncé, ne peuvent être connexes. Ils partageraient une arête sur laquelle la fonction g₁ serait à la fois strictement positive et strictement négative.

On définit de même R_f (resp. R_c l'ensemble des hexagones qui ne sont pas bleus et tels g₂ soit strictement supérieur à ε/2 (resp. inférieur à -ε/2) sur tout l'hexagone. Le même raisonnement précédent montre que les hexagones rouges (union des R_f rouges foncés et R_c rouges clairs) ne représentent pas non plus une configuration gagnante.

Le résultat, montré dans l'article hex, permet de déduire qu'il existe un hexagone qui n'est ni rouge ni bleu. Par définition, un tel hexagone contient un point x dont l'image par g₁ est, en valeur absolue plus petite que ε/2, et un point y dont l'image par g₂ est, en valeur absolue aussi plus petite que ε/2. Comme x et y sont situés à une distance plus petite que δ l'un de l'autre, les valeurs de g(x) et de g(y) sont, en valeurs absolues, plus petite que ε, d'après la majoration (1).

 

[modifier] Par une méthode homotopique

Les raisonnements les plus généraux pour les démonstrations du théorème sont issus de la topologie algébrique. 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 droite, 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 par 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 le cercle.

Ce qui se dit encore : il n'existe pas de rétraction continue du disque dans sa frontière. En effet, S'il y en avait une que l'on note F, on définirait la fonction H par :

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 f du disque dans lui-même sans point fixe, il existe une rétraction continue F du disque dans sa frontière.^[47]

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.

Détails de la démonstration

Le lacet α est celui qui à t, élément de [0, 1], associe exp(2πi.t). Il n'est pas homotope au lacet c constant toujours égal à 1. Cette vérité est en général démontrée dans un résultat plus large, établissant la structure du groupe fondamental du cercle^{[Note 10]}. On peut néanmoins procéder plus directement. Intuitivement, si le lacet s'imagine comme un fil qui tourne autour du cercle, tirer suffisamment fort sur les deux brins que l'on trouve au point 1 pour ramener l'intégralité du fil en 1, va casser le fil. Trouver le point de cassure est une méthode pour exhiber une discontinuité^{[Note 11]}. Cette propriété permet d'établir le résultat suivant.

• Il n'existe pas de rétraction continue du disque dans le cercle :

On raisonne par l'absurde et l'on suppose qu'il existe une telle rétraction F. On considère la fonction H(t, x) de [0, 1]² dans le cercle, définie par :

Si x est égal à 1, comme la rétraction est la fonction identité sur le cercle, le lacet qui à t associe H(t, 1) est bien égal à α. Si x est égal à 0, la fonction qui à t associe H(t, 0) est constante. Comme la fonction H est continue, on aurait montrer que le lacet α est homotope à un point. La rétraction ne peut donc exister, d'après la première proposition.

• Si une fonction f du disque dans lui même est sans point fixe et continue, il existe une rétraction continue F du disque dans le cercle :

La fonction F est définie comme indiqué précédemment. Il faut encore montrer qu'elle est continue. On cherche le point appartenant au cercle unité et à la demi-droite d'origine x et dirigée par le vecteur x - f(x). Ce point est l'image d'une valeur positive (ou nulle) de t par la fonction qui à t, associe x + t(x - f(x)). Plus exactement, t est l'unique racine positive du polynôme P(t), défini par (||.|| désigne la norme euclidienne) :

Ce polynôme est du second degré et s'écrit encore a(x)t² + b(x)t + c(x), ici a(x), b(x) et c(x) désignent trois fonctions continues définies sur le disque et à valeurs dans R. On remarque que le coefficient du monôme dominant a(x) est toujours strictement positif (car x est différent de f(x) d'après les hypothèses retenues) et les images du polynôme en 0 et en -1 sont négatives. Un tel polynôme admet toujours une unique racine positive et elle s'écrit comme une fonction, notée λ, continue des trois coefficients a(x), b(x) et c(x). On en déduit que λ est une fonction continue de x et la rétraction F(x), qui s'écrit :

est aussi continue.

 

[modifier] Par le théorème de la boule chevelue

Le théorème de la boule chevelue indique qu'il n'existe pas de champ de vecteurs α sur la sphère d'un espace euclidien de rayon 1 et de centre le vecteur nul, qui soit continue, orthogonal à la sphère en tout point de la sphère x, c'est-à-dire (x|α(x)) = 0 et qui ne s'annule jamais, si la dimension de l'espace est paire. On exprime parfois en disant qu'il existe toujours un point de la terre où le vent est inexistant.

S'il existe une fonction φ de la boule unité fermé B_n sans point fixe, il existe une méthode astucieuse permettant de construire deux champs de vecteurs ξ et ζ, sur la sphère unité de dimension n et de dimension n +1 qui contredisent le théorème. 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 aussi les autres résultats un peu équivalents, comme le théorème de Borsuk-Ulam.

Détails de la démonstration

Notons S_n-1 la sphère unité de Rⁿ, ou encore la frontière de B_n. On raisonne par l'absurde : on suppose l'existence d'une application φ continue de B_n dans lui-même et sans point fixe.

• Construction de deux champs de vecteurs continus ξ₁ et ζ₁ de Rⁿ et de Rⁿ⁺¹ dont le produit scalaire avec le vecteur est strictement positif sur la sphère unité:

On définit la fonction ξ₁ de B_n dans R^n* (l'espace vectoriel épointé du vecteur nul) par l'égalité ξ₁ = x - φ(x), si x est un vecteur de B_n. On remarque que le produit scalaire de x et de ξ₁(x) est strictement positif pour x sur la sphère unité :

On construit ensuite ζ₁ de B_n+1 dans R^n+1*. Si X désigne les n premières coordonnées d'un vecteur x de R^n+1* et si x_n+1 désigne sa dernière coordonnée :

Par construction, si x est un élément de B_n+1, le produit scalaire (x|ζ₁(x)) est strictement positif.

ξ₁ ne s'annule nulle part puisqu'on a supposé φ sans point fixe, et ζ₁ ne s'annule pas non plus vu la formule le définissant, dans laquelle ξ₁ figure. Il s'agit maintenant de normaliser ces champs pour obtenir la contradiction recherchée.

• Construction d'un champ de vecteurs ξ de la sphère unité Sⁿ dans R^n+1*, continu et dont le produit scalaire avec le vecteur est nul :

On définit la fonction ξ₂ par :

Le dénominateur ne s'annule pas. En effet, les deux valeurs 1 - ||x||² et (x|ξ₁(x)), sont toutes les deux positives et l'une au moins l'est strictement (la première à l'intérieur de la boule, la deuxième sur le bord). La fonction ξ₂ est clairement continue. Sur la sphère unité, le produit scalaire de x avec le numérateur de la fraction définissant ξ₂(x), est égal à (x|ξ₁(x)), qui est strictement positif. Cela garantit le fait que la fonction ξ₂ ne s'annule pas sur la sphère unité.

On définit la fonction ξ de S_n dans R^n+1* avec la même convention que précédemment :

La fonction ξ est manifestement continue. Montrons qu'elle ne s'annule jamais. Là où x_n+1=0, le vecteur X est dans S_n-1, donc le produit scalaire (X|ξ₂(X)) n'est pas nul et ξ(x) ne peut être nul. Si x_n+1 n'est pas nul, comme ξ₂(X) n'est jamais nul, le vecteur ξ(x) ne l'est pas non plus. Il suffit maintenant de vérifier que le produit scalaire de ξ(x) avec x est bien nul :

Le théorème de la boule chevelue montre que n est un nombre impair. Une construction analogue à celle-ci, mais cette fois bâtie sur la fonction ζ₁ montre que l'hypothèse n impair ne tient pas non plus.

• Construction d'un champ de vecteurs ζ de la sphère unité Sⁿ⁺¹ dans R^n+2*, continu et dont le produit scalaire avec le vecteur est nul :

On définit la fonction ζ₂ comme précédemment :

Pour les mêmes raisons que précédemment, la fonction est bien définie, continue et le produit scalaire (x|ζ₂(x)) est strictement positif si x est non nul. On définit alors la fonction ζ sur Sⁿ⁺¹ par :

Le même raisonnement que précédemment montre que n est un nombre pair.

Supposer l'existence d'un contre exemple au théorème de Brouwer amène à la construction d'un champ de vecteurs contredisant le théorème de la boule chevelue, quelle que soit la parité de n. Ce qui termine la démonstration.

 

[modifier] Annexes

[modifier] Bibliographie

• (en) V. I. Istratescu Fixed Point Theory an Introduction Kluwer Academic Publishers (réédition de 2001) (ISBN 1402003013)
  Ce livre parcourt de nombreux théorèmes de point fixe. Le chapitre III est consacré à ceux issus d'une application contractante. Le chapitre IV traite le théorème de Brouwer. La démarche proposée pour la preuve utilise la géométrie différentielle élémentaire.

• (en) A. Hatcher Algebraic Topology Cambridge University Press (2001)
  Cette référence étudie le théorème de Brouwer à travers une approche issue de la topologie algébrique.

• (fr) D. Leborgne Calcul différentiel et géométrie Puf (1982) (ISBN 2130374956)
  Ce livre présente une démonstration du théorème de l'article issue de la géométrie différentielle. Elle fait usage du lemme de Milnor.

[modifier] Liens externes

[modifier] Histoire

• (en) J. J. O'Connor E. F. Robertson Luitzen Egbertus Jan Brouwer par le site de l'Université de St Andrew

• (en) M.I. Voitsekhovskii Brouwer theorem Encyclopaedia of Mathematics (ISBN 1402006098)

[modifier] Mathématiques

• (fr) A. Monier Le théorème de Brouwer École Normale Supérieure de Lyon : Le journal de maths des élèves, Vol. 1 N° 4 pp 202-206 (1998)
• (en) D. Gale The Game of Hex and Brouwer Fixed-Point Theorem The American Mathematical Monthly Vol 86 pp 818–827 (1979)
• (en) F. E. Su Borsuk-Ulam implies Brouwer : A direct construction Amer. Math. Monthly 104 (1997) pp 855-859

[modifier] Notes

[modifier] Références

La version du 13 avril 2009 de cet article a été reconnue comme « bon article » (comparer avec la version actuelle). Pour toute information complémentaire, consulter sa page de discussion et le vote l’ayant promu. La version du 13 avril 2009 de cet article a été reconnue comme « bon article », c'est-à-dire qu'elle répond à des critères de qualité concernant le style, la clarté, la pertinence, la citation des sources et l'illustration.

• Portail des mathématiques