Théorème de Brouwer dans le plan euclidien
La preuve utilise le lemme combinatoire de Sperner. Elle est beaucoup trop longue mais on peut aisément admettre de grosses parties selon les leçons pour rendre la démonstration calibrée en 15 minutes. Il y a plusieurs énoncés possibles pour la même démarche, libre à chacun également d'adapter l'énoncé au plan.
| Qualité | Numéro | Titre |
|---|---|---|
| 5 | 190 | Méthodes combinatoires, problèmes de dénombrement.2025 |
| 5 | 203 | Utilisation de la notion de compacité.2025 |
| 5 | 204 | Connexité. Exemples d’applications.2025 |
| 5 | 253 | Utilisation de la notion de convexité en analyse.2025 |
| 4 | 181 | Convexité dans Rn. Applications en algèbre et en géométrie.2025 |
Utilisateur : Brunel
Développement magnifique ! Il est un petit peu tendu je trouve parce que c'est une preuve \"avec les mains\" (combinatoire oblige) et c'est un peu long, mais si bien travaillé je pense que ça passe sans trop de soucis.
Je le prends pour les leçons 190 et 203. On peut le mettre dans la 181 si vraiment on veut, en l'énonçant pour un convexe (le théorème est vrai pour tout ouvert d'intérieur non vide homéomorphe au disque unité de IR^2, donc en particulier vrai pour les convexes).
Ne pas hésiter à faire la preuve un peu à votre sauce (typiquement je n'ai pas envie d'introduire formellement le champ de vecteurs sous-jacent à une application comme dans la référence, mais c'est comme vous voulez !)
On trouve la page aux alentours de la page 36 de la référence.
Références :
A combinatorial introduction to topology - Michael Henle
Utilisateur : Augustin LOIRAT
Références :
A combinatorial introduction to topology - Michael Henle