Autres formulations de théorème de Brouwer
Le théorème de Brouwer à plusieurs formulations.
1- $f$ définie sur la boule unité fermée de $\mathbb{R}^n$ dans lui-même. $f$ continue alors $f$ possède un point fixe.
2- $f$ définie et continue sur une partie convexe compacte non vide de $\mathbb{R}^n$ dans lui-même alors $f$ possède un point fixe.
3- $f$ définie et continue sur une partie convexe compacte non vide d'un espace vectoriel de dimension finie dans lui-même alors $f$ possède un point fixe.
La formulation 1 est démontrée en utilisant le produit scalaire de $\mathbb{R}^n$ c'est-à-dire on prend $(\mathbb{R}^n,\ <,>,\ || ||)$ comme un espace de Hilbert (prehilbert plus précisément car il n'utilise pas la notion de complétude). Mais dans la formulation 3 il prend juste un espace vectoriel de dimension finie pourquoi ? Et comment je peux le déduire (la nouvelle formulation) ?
Aussi, le théorème de Schauder consiste à un espace de Banach et pas un Hilbert. Pourquoi ? Et qu'elle est la formulation la plus générale entre eux ?
Finalement, existe-t-il d'autres formulations pour ce théorème ?
Mots clés:
Réponses
-
Tout espace vectoriel de dimension finie est isomorphe à $\mathbb{R}^n$ avec $n$ la dimension de l'espace en question, d'où la formulation $3$.
Pour démontrer Brouwer, on n'a pas forcément besoin d'un produit scalaire. D'où la généralisation de Shauder à tout espace vectoriel topologique complètement métrisable, et donc en particulier à des espaces de Banach ce qui est une version beaucoup plus générale. L'important, c'est la complétude.
-
Un énoncé équivalent à Brouwer et simple à formuler est le lemme de non rétraction : quel que soit l'entier $n$, il n'existe aucune fonction continue de $B_n$ dans $S_n$ telle que $f(x) = x$ pour tout $x\in S_n$, où $B_n$ (resp. $S_n$) désigne l'ensemble $\{x\in \R^n\mid \|x\| \leq 1\}$ (resp. $\{x\in \R^n\mid \|x\| = 1\}$) et où $\|.\|$ désigne la norme euclidienne sur $\R^n$.
Dans certains ouvrages, le théorème de Brouwer est démontré sous cette forme avec des outils homologiques.
Une fonction est un ensemble $f$ de couples tel que pour tous $x,y,z$, si $(x,y)\in f$ et $(x,z)\in f$ alors $y = z$. -
J'avais suivi un cours de point fixe sur les correspondances, et j'ai vaguement le souvenir qu'il y avait des kilos de résultats plus ou moins équivalents à Brouwer, peut-être le lemme des 3 polonais (je ne sais plus ce que c'est), Borsuk-Ulam, ...Mais ça date d'il y a plus de 25 ans, je n'ai pas lu le Granas Dugundji ni le Handbook de S. Hu chez Kluwer depuis des lustres, ma mémoire est sans doute défaillante.
-
Je me demande d'ailleurs si le théorème de Kakutani, dont Brouwer est une conséquence triviale, ne lui est pas équivalent.
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.1K Toutes les catégories
- 7 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 52 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 62 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 312 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 772 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres
Qui est en ligne 3
3 Invités