Sia l un autovalore di un operatore lineare F : V ® V.
V_l è un sottospazio vettoriale di V.
Infatti se v₁, v₂ Î V sono autovettori relativi allo stesso autovalore l , allora per ogni c₁, c₂ Î K il vettore c₁v₁ + c₂v₂,
se non è il vettore nullo, è ancora un autovettore con autovalore l .