Deux sous-espaces vectoriels et d'un espace vectoriel sont dits supplémentaires si est leur somme directe.

Commencer par montrer que l'intersection de et est réduite à l'élément nul, puis utiliser des arguments de dimensions.