Concept history

Added exercise "Matrices symétriques et antisymétriques"

Added exercise "Les fonctions paires et impaires font la paire"

Added exercise "Supplémentaires en dimension finie"

Updated text

Concept created

##### Définition intuitive (si utile)

Soit $E$ un espace vectoriel et $F$ un sous-espace vectoriel de $E$. Un supplémentaire de $F$ dans $E$ est un autre sous-espace vectoriel $G$ qui vient compléter $F$ engendrer tout $E$, i.e. de telle sorte à ce qu'on ait $F\oplus G=E$.

##### Définition formelle

Soit $E$ un [[espace-vectoriel|espace vectoriel]] sur un corps $k$ et $F$ un [[sous-espace-vectoriel|sous-espace vectoriel]] de $E.$ On appelle supplémentaire de $F$ dans $E$ tout sous-espace vectoriel $G$ de $E$ tel que $F\oplus G=E.$

##### Exemples

* Deux droites vectorielles distinctes de $\mathbb{R}^{2}$ sont supplémentaires.
- Un plan vectoriel $P$ et une droite vectorielle $D$ de $\mathbb{R}^{3}$ sont supplémentaires si et seulement si $D$ n'est pas inclue dans $P.$
- Si $H$ est un [[hyperplan|hyperplan]] de $E$ alors pour tout $x\in E\setminus H$, les espaces $H$ et $\mathrm{Vect}(x)$ sont supplémentaires dans $E.$

#### Pièges
* Il ne faut pas confondre supplémentaire et complémentaire. L'ensemble $E\setminus F$ n'est jamais un sous-espace vectoriel de $E$ car il ne contient pas $0.$
* En général un sous-espace $F$ possède de nombreux supplémentaires. Il n'est donc pas possible de déduire de l'égalité $F\oplus G=F\oplus G'$ que $G=G'$ (on ne peut pas "simplifier par $F$").
* "Être en [[somme directe|somme directe]]" et "être supplémentaires" sont deux notions différentes. Par exemple deux droites vectorielles distinctes $D_{1}$ et $D_{2}$ de $\mathbb{R}^{3}$ sont en somme directe car leur intersection est réduite à $\set{0}$ mais $\dim(D_{1}\oplus D_{2})=2<3$ donc $D_{1}\oplus D_{2}\neq \mathbb{R}^{3}.$
* Le fait que $\dim(F)+\dim(G)=\dim(E)$ est une condition nécessaire mais pas suffisante pour que $F$ et $G$ soient supplémentaires. Par exemple, si $f\in\mathcal{L}(E)$ on ne peut pas déduire du [[théorème du rang|théorème du rang]] qui dit que $\dim(\ker(f))+\dim(\mathrm{im}(f))=\dim(E)$ que $\ker(f)\oplus\mathrm{im}(f)=E$. C'est faux en général notamment pour les endomorphismes nilpotents d'indice $2$ qui satisfont $\mathrm{im}(f)\subset \ker(f).$