Concept history

Updated title and text

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).$