🎛️ Itère f(x) — observe les points fixes
Choisis une fonction continue f de [0,1] dans [0,1]. Itère f^n(x₀) à partir d'un x₀ quelconque. La suite converge vers un point fixe (parfois en zig-zag). Brouwer garantit qu'il en existe au moins un.
Itération
0
x_n
—
Point fixe approché
—
La courbe y = f(x) coupe la diagonale y = x en au moins un point — c'est le point fixe.
🎯 L'énoncé en dimension 1
Commençons par le cas le plus simple. Soit f : [0, 1] → [0, 1] une fonction continue. Alors il existe x ∈ [0, 1] tel que f(x) = x.
Preuve élégante : considère g(x) = f(x) − x. On a g(0) = f(0) ≥ 0 et g(1) = f(1) − 1 ≤ 0. Comme g est continue, par le théorème des valeurs intermédiaires (programme 2BAC SM), il existe x avec g(x) = 0, c'est-à-dire f(x) = x. ✓
En dimension 1, c'est directement le TVI de ton cours. La beauté de Brouwer : l'énoncé reste vrai en toute dimension finie, mais la preuve devient profondément topologique.
🌐 Le théorème général de Brouwer (1910)
Théorème de Brouwer (1910)
Toute fonction continue f : B → B
d'une boule fermée B ⊂ ℝⁿ dans elle-même
admet au moins un point fixe.
En dimension 2 : prends une carte de la France. Plie-la, froisse-la, plie-la encore, mais garde-la dans son rectangle d'origine. Au moins un point de la carte est exactement au-dessus de l'endroit qu'il représente dans la France. C'est Brouwer.
🌍 Conséquence amusante : la météo sur Terre
À chaque instant, considère la fonction qui associe à chaque point de la Terre sa pression atmosphérique. Et sa température. Le théorème de Borsuk-Ulam (cousin de Brouwer, 1933) garantit :
Il existe à chaque instant 2 points antipodaux sur Terre
ayant exactement la même température et la même pression.
Inutile de chercher : ils existent forcément. Le théorème ne dit pas où.
💼 1950 : Nash trouve l'équilibre — grâce à Brouwer
John Nash (1928-2015), doctorant à Princeton, démontre dans sa thèse de 1950 (28 pages, 1 mois de travail) que tout jeu fini à n joueurs admet au moins un équilibre de Nash en stratégies mixtes.
La preuve repose directement sur Brouwer : on construit une fonction continue sur le simplexe des stratégies mixtes, ses points fixes sont exactement les équilibres de Nash. Sans Brouwer, pas de Nash. Pas de Nobel d'économie 1994. Pas de moitié de la théorie économique moderne.
💰 1954 : Arrow et Debreu prouvent l'existence de l'équilibre général
Kenneth Arrow et Gérard Debreu démontrent en 1954 qu'en économie, sous certaines hypothèses (préférences continues, biens divisibles), il existe toujours un système de prix qui équilibre parfaitement offre et demande.
Démonstration : encore Brouwer. Arrow Nobel 1972, Debreu Nobel 1983. Les fondements mathématiques de l'économie néoclassique reposent sur le théorème du point fixe.
🔁 Théorème du point fixe contractant (Banach 1922)
Une version plus forte mais avec une hypothèse supplémentaire : si f est non seulement continue mais contractante (∃ k < 1 tel que d(f(x), f(y)) ≤ k·d(x, y)), alors :
- Le point fixe est unique.
- On l'obtient par itération : xₙ₊₁ = f(xₙ).
- La convergence est géométrique : |xₙ − x*| ≤ kⁿ · |x₀ − x*|.
Applications massives :
- Méthode de Newton : trouve les zéros d'une fonction. Convergence quadratique sous bonnes conditions.
- Méthode du point fixe en analyse numérique : résolution de systèmes non linéaires, EDP, etc.
- Chaînes de Markov : la distribution stationnaire est le point fixe de l'opérateur de transition.
- PageRank : c'est exactement un point fixe ! La méthode de la puissance est l'itération du point fixe (cf. concept PageRank).
- Théorème de Cauchy-Lipschitz : existence et unicité des solutions d'EDO. Preuve par point fixe sur un espace fonctionnel.
- Compression d'images IFS (Iterated Function Systems) : fractale comme point fixe d'une union de contractions.
🧮 D'autres théorèmes de point fixe
- Schauder (1930) : Brouwer en dimension infinie (espaces de Banach). Outil clé pour les EDP.
- Kakutani (1941) : version pour les correspondances multivaluées. Utilisé par Nash pour étendre son théorème à plusieurs joueurs.
- Tarski (1955) : point fixe sur un treillis complet pour une fonction monotone. Fonde la théorie des points fixes en logique et informatique (récursion).
- Lefschetz (1926) : si la « caractéristique » d'une fonction sur une variété est non nulle, alors il y a un point fixe. Généralisation topologique.
📐 Le lien avec ton programme
- Théorème des valeurs intermédiaires : c'est exactement Brouwer en dimension 1 ! Programme 2BAC SM.
- Continuité : hypothèse centrale. Toute fonction admettant une discontinuité peut très bien ne pas avoir de point fixe.
- Suites récurrentes : xₙ₊₁ = f(xₙ). Étude de convergence vers un point fixe. Programme suites 2BAC SM.
- Méthode de Newton : application directe du point fixe pour trouver des racines. Programme 2BAC SM.
- Espaces métriques et compacts : généralisation post-bac de [0,1] et boules.
- Topologie : la preuve de Brouwer utilise les groupes d'homologie ou l'invariance de l'orientation. Math L3-M1.