Pour montrer qu'un ensemble non vide est un sous-espace vectoriel de
,
il suffit de vérifier qu'il est stable par combinaison linéaire,
c'est-à-dire que si deux éléments appartiennent à l'ensemble,
toutes leurs combinaisons linéaires restent dans le même ensemble.
Soient
et
deux
solutions de
,
et
deux réels quelconques.
Nous devons vérifier que
est solution de
.
Considérons la
-ième équation, vérifiée à la fois par
et
.
Réciproquement, on vérifie de la même façon que
tout -uplet somme de
et d'une
solution de
est solution de
.