On sait que les deux vecteurs
{u1−2u1+u2==(1;2;−1;3)(0;−1;−1;−4)engendrent
Vect(U). Ces deux vecteurs forment donc une famille génératrice de
Vect(U). Vérifions si ces deux vecteurs sont libres dans
R4.
On désigne par
λ1 et
λ2 deux nombres réels. On a alors :
λ1u1+λ2(−2u1+u2)=0R4⟹λ1(1;2;−1;3)+λ2(0;−1;−1;−4)=(0;0;0;0)Soit :
λ1u1+λ2(−2u1+u2)=0R4⟹(λ1;2λ1;−λ1;3λ1)+(0;−λ2;−λ2;−4λ2)=(0;0;0;0)Soit encore :
Soit :
λ1u1+λ2(−2u1+u2)=0R4⟹(λ1;2λ1−λ2;−λ1−λ2;3λ1−4λ2)=(0;0;0;0)On en tire immédiatement que
λ1=0 et de fait
λ2=0. Donc :
λ1u1+λ2(−2u1+u2)=0R4⟹λ1=λ2=0Donc les deux vecteurs
u1 et
−2u1+u2 sont libres dans
R4 et générateurs de
Vect(U). Ces deux vecteurs forment donc une base de
Vect(U).