Soit V un sous-espace vectoriel de R4 engendré par les quatre vecteurs suivants : ∙v1=(1;−2;5;−3) ; ∙∙v2=(2;3;1;−4) ; ∙∙∙v3=(3;8;−3;−5) ;
Question 1
Déterminer une base de V.
Correction
Proposons une résolution "matricielle" de la question. Si on range les vecteurs v1, v2 et v3 en ligne on obtient : ⎝⎛123−23851−3−3−4−5⎠⎞ Si on effectue les transformations L2⟵L2−2L1 et L3⟵L3−3L1 alors on obtient : ⎝⎛100−27145−9−18−324⎠⎞ Effectuons maintenant la transformation L3⟵L3−2L2 et l'on obtient alors : ⎝⎛100−2705−90−320⎠⎞ La dernière ligne émane des transformations qui se traduisent par : L3⟵L3−3L1⟺L3↭v3−3v1 Puis L3⟵L3−2L2⟺L3↭(v3−3v1)−2(v2−2v1)⟺L3↭v1−2v2+v3 On a donc : v1−2v2+v3=0 De fait la famille vectorielle (v1;v2;v3) est liée. La deuxième ligne de la matrice correspond à : L2⟵L2−2L1⟺L2↭v2−2v1 On va donc pouvoir écrire : V=Vect(v1;v2;v3)=Vect(v1;v2−2v1;v1−2v2+v3)=Vect(v1;v2−2v1;0) Soit : V=Vect(v1;v2−2v1) Donc les deux vecteurs v1 et v2−2v1 engendrent V. Autrement dit, les deux vecteurs (1;−2;5;−3) et (0;7;−9;2) engendrent V. Vérifions si ces deux vecteurs sont libres dans R4. Soient λ1 et λ2 deux nombres réels. On a : λ1(1;−2;5;−3)+λ2(0;7;−9;2)=0R4⟹(λ1;−2λ1;5λ1;−3λ1)+(0;7λ2;−9λ2;2λ2)=(0;0;0;0) Soit : (λ1;−2λ1+7λ2;5λ1−9λ2;−3λ1+2λ2)=(0;0;0;0) De suite on a λ1=0 et ce qui implique que λ2=0. Donc : λ1(1;−2;5;−3)+λ2(0;7;−9;2)=0R4⟹λ1=λ2=0 Ainsi les deux vecteurs (1;−2;5;−3) et (0;7;−9;2) sont libre dans R4. En conclusion, on peut affirmer que les deux vecteurs (1;−2;5;−3) et (0;7;−9;2) forment une base de V.
Question 2
Détermine la dimension de V.
Correction
La base de V précédente est formée de 2 vecteurs, donc on a :
dim(V)=2
Question 3
Compléter la base ainsi obtenue pour former une base de R4.
Correction
On sait que dim(R4)=4. Notons par : ∙e1=(1;0;0;0) ; ∙∙e2=(0;1;0;0) ; ∙∙∙e3=(0;0;1;0) ; ∙∙∙∙e4=(0;0;0;1). Il s'agit des quatre vecteurs de la base canonique de R4. Nous allons compléter la famille vectorielle (1;−2;5;−3) et (0;7;−9;2), qui forme une base de V, par deux vecteurs de la base canonique de R4 écris précédemment. Choisissons e3 et e4. On a alors la famille vectorielle suivante : F=((1;−2;5;−3);(0;7;−9;2);(0;0;1;0);(0;0;0;1)) Si la famille F est libre alors elle sera une famille libre maximale et de fait elle sera une base de R4. Soient λ1, λ2, λ3 et λ4 quatre nombres réels. On a : λ1(1;−2;5;−3)+λ2(0;7;−9;2)+λ3(0;0;1;0)+λ4(0;0;0;1)=0R4 Soit : (λ1;−2λ1;5λ1;−3λ1)+(0;7λ2;−9λ2;2λ2)+(0;0;λ3;0)+(0;0;0;λ4)=(0;0;0;0) Soit encore : (λ1;−2λ1+7λ2;5λ1−9λ2+λ3;−3λ1+2λ2+λ4)=(0;0;0;0) De suite, on a λ1=0, ce qui entraine que λ2=0, puis λ3=0 et enfin λ4=0. λ1(1;−2;5;−3)+λ2(0;7;−9;2)+λ3(0;0;1;0)+λ4(0;0;0;1)=0R4⟹λ1=λ2=λ3=λ4=0 Donc les quatre vecteurs constitutifs de la famille F sont libres. Ce qui implique que cette famille est une famille libre maximale et de fait elle est une base de R4. Donc :