Topologie d'un espace vectoriel de dimension finie

En mathématiques, la topologie d'un espace vectoriel de dimension finie sur un corps K est, sous certaines hypothèses, un cas particulier de topologie d'espace vectoriel normé. Le prototype est Rⁿ muni de la norme qui à un n-uplet de réels associe la plus grande des valeurs absolues de ces n réels.

Propriétés liées à la topologie du corps

Un espace vectoriel E de dimension finie n sur un corps K (par exemple le corps R des réels) peut toujours être identifié à Kⁿ par le choix arbitraire d'un isomorphisme entre ces deux espaces vectoriels (ou, ce qui est équivalent, par le choix d'une base de E). Tous les énoncés ci-dessous concernant Kⁿ s'étendent ipso facto à un tel E (muni de la topologie transportée de celle de Kⁿ par un tel isomorphisme).

Ici, le corps K considéré sera principalement celui des réels ou des complexes, corps pour lesquels toutes les hypothèses mentionnées sont vérifiées. Par conséquent, on peut remplacer dans tout ce qui suit K par R ou C. On peut de plus remplacer partout espace vectoriel topologique par espace vectoriel normé, qui est une notion moins générale.

Les principaux résultats seront : sur Rⁿ et Cⁿ, toutes les normes sont équivalentes ; pour l'une quelconque de ces normes, l'espace est complet (donc fermé dans tout espace vectoriel normé dont il est un sous-espace), et les parties compactes sont les fermés bornés.

Topologie produit

Si K est (comme le sont R et C) un corps topologique séparé, Kⁿ est naturellement muni d'une topologie produit (séparée) qui en fait un espace vectoriel topologique (c'est-à-dire que l'addition et la multiplication par un scalaire sont deux applications continues).

Remarquons dès à présent que si K est complet (respectivement : localement compact) alors Kⁿ le sera aussi.

Par définition de la topologie produit, on a également :

Proposition — Une application f d'un espace topologique M dans Kⁿ est continue si et seulement si ses n composantes f₁ ,..., f_n (de M dans K) le sont.

Les applications (multi-)linéaires définies sur Kⁿ sont continues, en particulier le produit scalaire, toutes les formes bilinéaires ou quadratiques, le déterminant ou encore le produit tensoriel :

Proposition — Pour tout K-espace vectoriel topologique E,

toute application linéaire de Kⁿ dans E est uniformément continue, et

toute application p-linéaire de ${\displaystyle K^{n_{1}}\times \ldots \times K^{n_{p}}}$ dans E est continue.

En effet, la continuité d'une application linéaire sur Kⁿ découle immédiatement du fait que E est un espace vectoriel topologique, et l'uniforme continuité est alors automatique (comme pour tout morphisme continu de groupes topologiques). Quant à la continuité d'une application p-linéaire, elle s'en déduit, par composition avec l'application p-linéaire canonique de ${\displaystyle K^{n_{1}}\times \ldots \times K^{n_{p}}}$ dans Kⁿ pour n égal au produit des n_k : cette dernière est continue d'après la proposition précédente, car ses composantes sont polynomiales.

Si de plus la topologie sur K provient (comme pour R et C) d'une valeur absolue, cette topologie produit sur Kⁿ est induite par une norme : cette norme, nommée norme infini, associe à un vecteur la plus grande des valeurs absolues de ses coordonnées. Elle fait de Kⁿ un espace vectoriel normé.

Unicité de la topologie, équivalence des normes

On suppose ici que K est (comme R et C) un « corps valué » (au sens : muni d'une valeur absolue) complet, non discret. La situation est alors remarquablement simple : la topologie produit sur Kⁿ est en fait « la seule raisonnable »^[1].

Théorème — Si K est un « corps valué » complet non discret alors, pour tout K-espace vectoriel E de dimension finie, il n'existe qu'une topologie T telle que (E, T) soit un espace vectoriel topologique séparé.

Remarque : la condition de séparation est indispensable. On déduit en effet facilement de ce théorème que les topologies sur E (la séparée et les autres) compatibles avec les deux opérations sont en bijection avec les sous-espaces vectoriels de E (la séparée correspondant au sous-espace nul, et la grossière au sous-espace E).

Sur un K-espace vectoriel, toute norme induit une structure d'espace vectoriel topologique séparé. Deux normes sont équivalentes si et seulement si elles induisent la même topologie^[2]. On déduit donc immédiatement du théorème précédent :

Corollaire — Si K est un « corps valué » complet non discret alors, sur un K-espace vectoriel E de dimension finie, toutes les normes sont équivalentes^[3].

En conséquence, il n'existe qu'un K-espace vectoriel normé de dimension n, à isomorphisme bi-uniformément continu près.

Remarque : le théorème et le corollaire ci-dessus se démontrent classiquement^[4] pour K=R, par des arguments de compacité qui sont en fait superflus : K peut ne pas être localement compact^[5]. La complétude du corps, par contre, est indispensable : par exemple l'espace vectoriel ${\displaystyle \mathbb {Q} ^{2}}$ (de dimension 2, sur le corps ${\displaystyle \mathbb {Q} }$ des rationnels) est pourvu de multiples normes non équivalentes, comme ${\displaystyle N(x,y)=\max(|x|,|y|)}$ et ${\displaystyle N'(x,y)=|x+{\sqrt {2}}y|}$.

Complétude et fermeture

De cette « unicité » de la topologie (en particulier, de l'unicité de la norme à équivalence près), jointe à la complétude de Kⁿ mentionnée précédemment, on déduit un corollaire très utile en analyse fonctionnelle :

Corollaire — Si K est un « corps valué » complet non discret, alors

• tout espace vectoriel topologique séparé (en particulier tout espace vectoriel normé) de dimension finie sur K est complet^[3], et
• tout sous-espace vectoriel (ou affine) de dimension finie d'un espace vectoriel normé (ou même d'un espace vectoriel topologique séparé) de dimension finie ou infinie sur K est fermé dans cet espace.

On utilise pour cela que toute partie complète d'un espace séparé est fermée (ce qui est bien connu dans le cadre métrique mais s'étend au cadre uniforme), et (pour passer des sous-espaces vectoriels aux sous-espaces affines) que toute translation est un homéomorphisme.

Les K-espaces vectoriels normés de dimension finie étant ici complets, et l'espace des applications linéaires continues à valeurs dans un complet héritant de cette complétude (propriété démontrée dans l'article Espace vectoriel normé), on en déduit un autre résultat sur la complétude :

Proposition — Si K est un « corps valué » complet non discret alors

l'espace des applications linéaires continues d'un K-espace vectoriel normé dans un K-espace vectoriel de dimension finie est complet pour la norme d'opérateur.

Compacité locale

Ajoutons l'hypothèse (encore vérifiée par R et C) que le corps K (« valué » et non discret) est non seulement complet, mais même localement compact. On obtient alors la généralisation naturelle du théorème de Borel-Lebesgue :

Théorème de Borel Lebesgue (généralisé) — Si K est un « corps valué » localement compact non discret et

si E est un K-espace vectoriel normé de dimension finie, alors les parties compactes de E sont les fermés bornés, et E est localement compact.

Cette propriété n'est vraie que si E est de dimension finie. Dans le cas contraire, la boule unité fermée n'est pas compacte : ce résultat est un théorème de Riesz.

Invariance topologique de la dimension

Il n'existe pas d'homéomorphisme entre Rⁿ et R^p si n et p sont différents. La démonstration se fonde sur le théorème de l’invariance du domaine de Luitzen Egbertus Jan Brouwer, aussi appelé théorème de la boule ouverte^[6] :

Théorème de l’invariance du domaine de Brouwer — Soient U un ouvert de Rⁿ et φ une application continue et injective de U dans Rⁿ. Alors l'image de U est ouverte.

Une conséquence directe est que φ est un homéomorphisme.

Quelques théorèmes

La topologie d'un espace vectoriel de dimension finie sur R fait l'objet de nombreux théorèmes. Ils possèdent tous une propriété remarquable : leurs expressions sont à la fois simples et intuitives, en revanche leurs démonstrations sont difficiles et font appel à un large attirail d'outils^[7].

Citons d'abord un ancêtre du théorème de l'invariance du domaine mentionné plus haut :

Théorème de Jordan-Brouwer —  Soit φ une application continue et injective, de S^n-1 (la sphère unité de Rⁿ) dans Rⁿ. Alors dans Rⁿ, le complémentaire de l'image φ(S^n-1) est formé de deux composantes connexes, dont l'une est bornée et l'autre non. Toutes deux ont pour frontière l'image de S^n-1.

Ce théorème est démontré en dimension deux par Camille Jordan et il faut attendre 1912 pour qu'il soit généralisé pour toute dimension finie par Brouwer.

Ce dernier a démontré un autre théorème remarquable, lequel peut se déduire du théorème de la boule chevelue :

Théorème du point fixe de Brouwer —  Toute application continue de la boule unité de Rⁿ dans elle-même fixe au moins un point.

Un autre théorème lui ressemble un peu. Il permet de montrer que dans un espace euclidien de dimension n, pour tout ensemble de n solides bornés et mesurables, il existe un hyperplan qui coupe chacun des solides en deux parties de volumes égaux. Ce résultat est connu nous le nom de théorème du sandwich au jambon et s'énonce en disant qu'il est toujours possible de couper d'un coup de couteau le sandwich de manière que le partage des deux morceaux de pain et de la tranche de jambon soit équitable.

Théorème de Borsuk-Ulam —  Pour toute application continue de S^n-1 (la sphère unité de Rⁿ) à valeurs dans R^n-1, il existe deux points antipodaux ayant même image.

Enfin, parmi de nombreux résultats techniques permettant d'approximer une fonction, citons ici un célèbre théorème :

Théorème de Stone-Weierstrass —  Soit K un compact de Rⁿ. Toute application continue de K dans R est limite uniforme sur K d'applications polynomiales.

Notes et bibliographie

Notes

1. Ce résultat est démontré dans les quatorze premières pages de Bourbaki (ouvrage mentionné en référence). Une transcription libre en anglais, due à B. Rosenfield de l'université du Minnesota, figure dans (en) A note about finite dimensional topological vector spaces (2004), à ceci près que l'outil des filtres y est remplacé par celui des suites généralisées : voir à ce sujet l'avant-propos de l'article Filtre (mathématiques).
2. Mieux : les propriétés purement métriques, comme la continuité uniforme ou la complétude, sont alors aussi équivalentes pour ces deux normes. C'est-à-dire, par exemple, que si une suite de Cauchy converge pour une norme, alors elle converge pour l'autre norme.
3. Pour une démonstration dans le cas réel, voir par exemple le chapitre « Dimension finie » de la leçon « Espaces vectoriels normés » sur Wikiversité.
4. La preuve directe de l'équivalence des normes sur Rⁿ existe dans de nombreux ouvrages, par exemple celui de Lang mentionné en référence (p. 35) et dans Espaces vectoriels normés de dimension finie et équivalence des normes, sur le site les-mathematiques.net.
5. Par exemple le corps valué k((X)) des séries formelles de Laurent est complet pour tout corps k, mais n'est localement compact que si le corps k est fini, cf Jean-Pierre Serre, Corps locaux [détail des éditions] p. 37.
6. (de) L. Brouwer, Zur Invarianz des n-dimensionalen Gebiets, Mathematische Annalen 72 (1912), p. 55 - 56.
7. Les théorèmes choisis ici correspondent à ceux de D. Leborgne, Calcul différentiel et géométrie, Puf, 1982 (ISBN 978-213037495-4) p. 14-15, sous la rubrique Voici maintenant quelques grands théorèmes concernant la topologie des espaces de dimension finie.

Bibliographie

• (en) Helmuth H. Schaefer, Topological Vector Spaces, 1999, Springer (ISBN 978-038798726-2)

Une référence sur le sujet, l'ouvrage est néanmoins technique.

• Walter Rudin, Analyse réelle et complexe [détail des éditions]

Le livre est nettement moins technique que le précédent, avec une nette orientation vers les nombres complexes.

• Serge Lang, Analyse réelle, InterÉditions, 1977 (ISBN 978-272960059-4)

Ce livre court et relativement simple contient l'intégralité des résultats de l'article à l'exception du paragraphe purement topologique.

• Bourbaki, Éléments de mathématique, EVT, chapitres 1 à 5, 2006, Springer (ISBN 978-354034497-1)

Une vieille version est également accessible sur le site des archives Bourbaki.

Voir aussi

Sur les autres projets Wikimedia :

• Espaces vectoriels normés/Dimension finie, sur Wikiversity

• Portail des mathématiques