Théorème de l'invariance du domaine

En mathématiques, et plus précisément en topologie, le théorème de l'invariance du domaine est un résultat dû à L.E.J. Brouwer (1912)^[1], concernant les applications continues entre sous-ensembles de Rⁿ.

Le théorème et ses différentes formulations

La forme la plus fréquente de ce théorème est :

Soit U un sous-ensemble ouvert de Rⁿ et f : U → Rⁿ une injection continue, alors V=f(U) est ouvert et f est un homéomorphisme entre U et V.

La démonstration utilise des outils de topologie algébrique, en particulier le théorème du point fixe de Brouwer ; on peut l'énoncer plus simplement en disant que, sous les mêmes conditions, f est une application ouverte.

En général, pour montrer que f est un homéomorphisme, il faut montrer que f et sa réciproque f ^-1 sont continues ; le théorème affirme que, si le domaine U de f est ouvert et si les dimensions des espaces de départ et d'arrivée sont les mêmes, la continuité de f ^-1 est automatique. De plus, il affirme que si U et V sont homéomorphes, et si U est ouvert, il en est de même de V (en tant que sous-ensemble de Rⁿ. Aucune de ces deux assertions n'est triviale, et elles ne sont plus nécessairement vraies dans des espaces plus généraux.

Il est essentiel que les dimensions des espaces de départ et d'arrivée soient les mêmes. Considérons par exemple l'application f : ]0,1[ → R² définie par f(t) = (t,0). Cette application est injective et continue, son domaine est un ouvert de R, mais son image n'est pas un ouvert de R². Un exemple plus extrême est donné par g : ]-2,1[ → R², avec g(t) = (t²-1, t³-t) : g est injective et continue, mais n'est pas un homéomorphisme de ]-2,1[ vers son image (celle-ci est une portion de toxoïde^[2], et la limite de g en 1 est le point double g(-1), ce qui montre que g ^-1 n'est pas continue en ce point).

Le théorème ne se généralise pas non plus à des espaces de dimension infinie. Ainsi, soit l ^∞ l'espace de Banach des suites réelles bornées, et f : l ^∞ →l ^∞ l'application de décalage f(x₁,x₂,...) = (0, x₁,x₂,...). Alors f est injective et continue, le domaine de f est ouvert (puisque c'est l'espace tout entier), mais l'image de f n'est pas ouverte dans l ^∞.

Conséquences et généralisations

Une conséquence importante du théorème de l'invariance du domaine est que Rⁿ ne peut être homéomorphe à R^m si m ≠ n. En effet si m < n on peut considérer le sous-espace E_m = R^m x {0}^n-m, homéomorphe à R^m ; E_m est d'intérieur vide, donc ne contient aucun ouvert de Rⁿ. Si f : Rⁿ → Rⁿ prend ses valeurs dans E_m, alors d'après le théorème elle ne peut être injective et continue. A fortiori, il n'existe donc pas d'homéomorphisme entre Rⁿ et R^m. Le raisonnement se généralise à des ouverts (non vides) de Rⁿ et R^m.

Le théorème permet également de donner une condition suffisante pour qu'une application soit ouverte : toute application continue localement injective (telle que chaque point possède un voisinage sur lequel la restriction de f est injective) de Rⁿ vers Rⁿ, et plus généralement entre deux variétés topologiques de mêmes dimensions, est ouverte, c'est-à-dire que l'image de tout ouvert par f est également un ouvert.

Il existe également des généralisations du théorème de l'invariance du domaine à certaines applications continues d'un espace de Banach dans lui-même^[3].

Références et notes

• (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Invariance of domain » (voir la liste des auteurs)
• (en) J. van Mill, « Domain Invariance », dans Michiel Hazewinkel, Encyclopædia of Mathematics, Springer, 2001 (ISBN 978-155608010-4) [lire en ligne] 

1. ↑ (de) L. Brouwer, Mathematische Annalen, 1912
   • Zur Invarianz des n-dimensionalen Gebiets : vol. 72, p. 55-56
   • Beweis der Invarianz des n-dimensionalen Gebiets : vol. 71, p. 305-315
2. ↑ Cubique duplicatrice sur mathcurve.com
3. ↑ Jean Leray, « Topologie des espaces abstraits de M. Banach », dans CRAS, vol. 200, 1935, p. 1083–1093