Deux sous-espaces vectoriels et de sont supplémentaires lorsque est la somme directe de ces sous-espaces. Dans ce cas, tout élément de se décompose d'une manière unique comme la somme d'un élément de et d'un élément de . La projection sur , parallèlement à , est l'application qui à associe (voir la ressource sur les applications linéaires):