Sous-espace supplémentaire


Sous-espace supplémentaire

En mathématiques, plus précisément en algèbre linéaire, deux sous-espaces vectoriels d'un même espace vectoriel sont supplémentaires dans cet espace si tout vecteur de l'espace se décompose de façon unique en une somme d'un vecteur de chacun des deux sous-espaces. L'existence pour tout vecteur d'une telle décomposition revient à dire que la somme des deux sous-espaces est égale à l'espace tout entier, et l'unicité équivaut à ce que cette somme soit directe (ce qui se caractérise par le fait que l'intersection des deux sous-espaces est réduite au vecteur nul).

Sommaire

Confusion fréquente

La notion de supplémentaire est souvent confondue avec la notion ensembliste de complémentaire qui est très différente. Les différences entre les deux notions sont nombreuses. Tout d'abord, il y a unicité du complémentaire, alors que pour un sous-espace donné, il existe généralement une infinité de supplémentaires différents. Ensuite l'intersection d'un sous-espace avec un supplémentaire n'est pas vide mais contient le vecteur nul (et uniquement celui-là). Enfin, la réunion d'un sous-espace et d'un supplémentaire n'est pas égale à tout l'espace, plus subtilement, elle engendre cet espace. De façon intuitive, deux sous-espaces supplémentaires contiennent exactement l'information dont on a besoin pour reconstituer l'espace entier.

Définition

Dans toute la suite de l'article, F et G sont deux sous-espaces vectoriels d'un même espace E.

Définition — F et G sont supplémentaires (dans E), ce que l'on note F\oplus G=E, si tout vecteur de E s'écrit de manière unique comme la somme d'un vecteur de F et d'un vecteur de G :

\forall x\in E,\quad\exists ! (u,v)\in F\times G,\quad x=u+v.

Critères

Théorème — Les propriétés suivantes sont équivalentes :

  1. F et G sont supplémentaires,
  2. l'application somme \scriptstyle F\times G\to E,\ (u,v)\mapsto u+v est bijective, autrement dit (puisqu'elle est toujours linéaire sur l'espace vectoriel produit FxG) c'est un isomorphisme d'espaces vectoriels,
  3. E = F + G et FG = { 0 },
  4. il existe un projecteur q de E (c'est-à-dire un endomorphisme de E vérifiant q o q = q) de noyau F et d'image G,
  5. il existe deux projecteurs p et q de E dont la somme vaut l'identité et dont les images respectives sont F et G,
  6. il existe une base de F et une base de G dont la juxtaposition forme une base de E.

En dimension finie, on en déduit d'autres critères, dont le plus utile est le suivant :

Si E est de dimension finie alors F et G sont supplémentaires si et seulement si FG = { 0 } et dim(F) + dim(G) = dim(E).

Propriétés

Le critère 6 fournit un procédé simple pour construire deux sous-espaces supplémentaires : couper une base de E en deux parties complémentaires et prendre les sous-espaces engendrés par ces deux parties. En termes de base, on réduit ainsi la notion de supplémentaire à celle de complémentaire. Si on part d'une base de F et qu'on utilise le théorème de la base incomplète pour construire une base de E, les vecteurs qu'on a, ce faisant, ajoutés à la base de F engendrent un supplémentaire de F. Ainsi,

Tout sous-espace F de E possède des supplémentaires[1].

Le critère 4 permet de montrer que tout supplémentaire G de F est isomorphe à l'espace vectoriel quotient E / F. Ainsi,

tous les supplémentaires de F sont isomorphes.

Ils ont donc la même dimension, finie ou infinie. Cette dimension commune est appelée codimension de F.

Supplémentaire topologique

Dans un espace vectoriel normé[2] ou plus généralement dans un espace vectoriel topologique[réf. souhaitée] E, deux supplémentaires algébriques F et G sont dits supplémentaires topologiques si l'une des conditions équivalentes suivantes est vérifiée :

  • l'isomorphisme algébrique naturel entre F×G et E est un homéomorphisme ;
  • F et G sont fermés et la restriction à G de la projection de E sur E/F est un homéomorphisme ;
  • F et G sont fermés et la projection de E sur F est continue.

Si E est un espace de Banach, il suffit pour cela que les supplémentaires algébriques F et G soient fermés[2].

Le problème de déterminer, parmi les sous-espaces fermés de tel ou tel espace de Banach E, lesquels possèdent un supplémentaire topologique, a été très étudié[3]. Ils en possèdent tous si et seulement si[4] E est topologiquement isomorphe à un espace de Hilbert. Il est isométriquement isomorphe à un Hilbert si[5] et seulement si tout sous-espace fermé est l'image d'un projecteur de norme 1.

Notes et références

  1. Dans le cas où la dimension n'est pas finie, cette construction utilise le lemme de Zorn (indispensable pour prouver l'existence d'une base, et a fortiori pour le théorème de la base incomplète), et donc l'axiome du choix qui lui est équivalent.
  2. a et b (en) Eric W. Weisstein, « Complemented Subspace », MathWorld
  3. (en) Eric W. Weisstein, « Complementary Subspace Problem », MathWorld
  4. (en) J. Lindenstrauss (de) et L. Tzafriri, « On the complemented subspaces problem », dans Israel J. Math., vol. 9, 1971, p. 263–269 , MR0276734
  5. (en) S. Kakutani (en), « Some characterizations of Euclidean space », dans Jap. J. Math, vol. 16, 1939, p. 93–97 

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Sous-espace supplémentaire de Wikipédia en français (auteurs)

Regardez d'autres dictionnaires:

  • Sous-espace supplementaire — Sous espace supplémentaire En mathématiques, un sous espace supplémentaire est un sous espace vectoriel défini par rapport à un autre sous espace qui, de manière intuitive (ne pas confondre avec la notion de complémentaire), sépare l espace en… …   Wikipédia en Français

  • Sous-espace caracteristique — Sous espace caractéristique Définitions Soient E un K espace vectoriel de dimension finie et u un endomorphisme de E. Soit on appelle sous espace caractéristique, sous espace spectral, ou encore espace propre généralisé de associé à la valeur… …   Wikipédia en Français

  • Sous-espace propre — Valeur propre, vecteur propre et espace propre Fig. 1. Cette application linéaire déforme la statue de David. Les vecteurs bleus ont pour images les vecteurs verts. Ils gardent la même direction, ce sont des vecteurs propres. La valeur propre… …   Wikipédia en Français

  • Sous-espace vectoriel — En algèbre linéaire, étant donné un espace vectoriel E sur un corps K, un sous espace vectoriel de E est une partie non vide F de E stable par combinaisons linéaires. Autrement dit, cette partie doit vérifier : La somme vectorielle de deux… …   Wikipédia en Français

  • Sous-espace caractéristique — Définitions Soient E un K espace vectoriel de dimension finie et u un endomorphisme de E. Soit on appelle sous espace caractéristique, sous espace spectral, ou encore espace propre généralisé de associé à la valeur propre le sous espace  …   Wikipédia en Français

  • Sous-espace stable — En algèbre linéaire, un endomorphisme laisse stable un sous espace vectoriel F quand les éléments de F ont pour image un élément de F. La recherche de sous espaces stables est étroitement liée à la théorie de la réduction des endomorphismes.… …   Wikipédia en Français

  • Sous-espaces supplémentaires — Sous espace supplémentaire En mathématiques, un sous espace supplémentaire est un sous espace vectoriel défini par rapport à un autre sous espace qui, de manière intuitive (ne pas confondre avec la notion de complémentaire), sépare l espace en… …   Wikipédia en Français

  • Espace Vectoriel — En algèbre linéaire, un espace vectoriel est une structure algébrique permettant en pratique d effectuer des combinaisons linéaires. Étant donné un corps (commutatif) K, un espace vectoriel E sur K est un groupe commutatif (dont la loi est notée… …   Wikipédia en Français

  • Espace vectoriel linéaire — Espace vectoriel En algèbre linéaire, un espace vectoriel est une structure algébrique permettant en pratique d effectuer des combinaisons linéaires. Étant donné un corps (commutatif) K, un espace vectoriel E sur K est un groupe commutatif (dont… …   Wikipédia en Français

  • Espace Dual — En mathématiques, l espace dual d un espace vectoriel E est l ensemble des formes linéaires sur E. La structure d un espace et celle de son dual sont très liées. La fin de cet article présente quelques résultats sur les liens entre espace dual et …   Wikipédia en Français