https://fr.wikipedia.org/wiki/Sous-espace_suppl%C3%A9mentaire
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 de vecteurs de chacun des deux sous-espaces.
La décomposition est unique.
Dans si x est dans F ou dans G, alors la seule décomposition est forcément x=x+0.
Et par contraposée, si la décomposition n'est pas x+0, alors x n'est ni dans G ni dans F.