Il s'agit de trouver une nouvelle caractérisation de la somme directe de plusieurs sous-espaces vectoriels, ne faisant intervenir l'écriture que du seul vecteur .

La somme est directe si et seulement si la relation (où pour tout entier , , appartient à ), entraîne .