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 de vecteurs 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).