🔴  Lives #BAC2024

À partir du 12 mai, révise le bac avec nous sur YouTube tous les soirs à 19h30 ! Découvrir la chaîne →

Espaces Vectoriels

Exercice 1 - Exercice 1

30 min
45
Soit VV un sous-espace vectoriel de R4\mathbb{R}^4 engendré par les quatre vecteurs suivants :
v1=(1;2;5;3)\bullet \,\, v_1 = (1 \,;\, -2 \,;\, 5 \,;\, -3) ;
v2=(2;3;1;4)\bullet \bullet \,\, v_2 = (2 \,;\, 3 \,;\, 1 \,;\, -4) ;
v3=(3;8;3;5)\bullet \bullet \bullet \,\, v_3 = (3 \,;\, 8 \,;\, -3 \,;\, -5) ;
Question 1

Déterminer une base de VV.

Correction
Proposons une résolution "matricielle" de la question.
Si on range les vecteurs v1v_1, v2v_2 et v3v_3 en ligne on obtient :
(125323143835)\begin{pmatrix} 1 & -2 & 5 & -3 \\ 2 & 3 & 1 & -4 \\ 3 & 8 & -3 & -5 \end{pmatrix}
Si on effectue les transformations L2L22L1L_2 \longleftarrow L_2 - 2L_1 et L3L33L1L_3 \longleftarrow L_3 - 3L_1 alors on obtient :
(12530792014184)\begin{pmatrix} 1 & -2 & 5 & -3 \\ 0 & 7 & -9 & 2 \\ 0 & 14 & -18 & 4 \end{pmatrix}
Effectuons maintenant la transformation L3L32L2L_3 \longleftarrow L_3 - 2L_2 et l'on obtient alors :
(125307920000)\begin{pmatrix} 1 & -2 & 5 & -3 \\ 0 & 7 & -9 & 2 \\ 0 & 0 & 0 & 0 \end{pmatrix}
La dernière ligne émane des transformations qui se traduisent par :
L3L33L1L3v33v1L_3 \longleftarrow L_3 - 3L_1 \,\,\, \Longleftrightarrow \,\,\, L_3 \leftrightsquigarrow v_3 - 3v_1
Puis
L3L32L2L3(v33v1)2(v22v1)L3v12v2+v3L_3 \longleftarrow L_3 - 2L_2 \,\,\, \Longleftrightarrow \,\,\, L_3 \leftrightsquigarrow (v_3 - 3v_1) - 2(v_2 - 2v_1) \,\,\, \Longleftrightarrow \,\,\, L_3 \leftrightsquigarrow v_1 - 2v_2 + v_3
On a donc :
v12v2+v3=0v_1 - 2v_2 + v_3 = 0
De fait la famille vectorielle (v1;v2;v3)(v_1 \,;\, v_2 \,;\, v_3) est liée.
La deuxième ligne de la matrice correspond à :
L2L22L1L2v22v1L_2 \longleftarrow L_2 - 2L_1 \,\,\, \Longleftrightarrow \,\,\, L_2 \leftrightsquigarrow v_2 - 2v_1
On va donc pouvoir écrire :
V=Vect(v1;v2;v3)=Vect(v1;v22v1;v12v2+v3)=Vect(v1;v22v1;0)V = \mathrm{Vect}(v_1 \,;\, v_2 \,;\, v_3) = \mathrm{Vect}(v_1 \,;\, v_2 - 2v_1 \,;\, v_1 - 2v_2 + v_3) = \mathrm{Vect}(v_1 \,;\, v_2 - 2v_1 \,;\,0)
Soit :
V=Vect(v1;v22v1)V = \mathrm{Vect}(v_1 \,;\, v_2 - 2v_1 )
Donc les deux vecteurs v1v_1 et v22v1v_2 - 2v_1 engendrent VV. Autrement dit, les deux vecteurs (1;2;5;3)(1 \,;\, -2 \,;\, 5 \,;\, -3) et (0;7;9;2)(0 \,;\, 7 \,;\, -9 \,;\, 2) engendrent VV.
Vérifions si ces deux vecteurs sont libres dans R4\mathbb{R}^4.
Soient λ1\lambda_1 et λ2\lambda_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)\lambda_1(1 \,;\, -2 \,;\, 5 \,;\, -3) + \lambda_2(0 \,;\, 7 \,;\, -9 \,;\, 2) = 0_{\mathbb{R}^4} \,\,\, \Longrightarrow \,\,\, (\lambda_1 \,;\, -2\lambda_1 \,;\, 5\lambda_1 \,;\, -3\lambda_1) + (0 \,;\, 7\lambda_2 \,;\, -9\lambda_2 \,;\, 2\lambda_2) = (0 \,;\, 0 \,;\, 0 \,;\, 0)
Soit :
(λ1;2λ1+7λ2;5λ19λ2;3λ1+2λ2)=(0;0;0;0)(\lambda_1 \,;\, -2 \lambda_1 + 7\lambda_2 \,;\, 5\lambda_1 - 9\lambda_2 \,;\, -3 \lambda_1 + 2\lambda_2) = (0 \,;\, 0 \,;\, 0 \,;\, 0)
De suite on a λ1=0\lambda_1 = 0 et ce qui implique que λ2=0\lambda_2 = 0. Donc :
λ1(1;2;5;3)+λ2(0;7;9;2)=0R4λ1=λ2=0\lambda_1(1 \,;\, -2 \,;\, 5 \,;\, -3) + \lambda_2(0 \,;\, 7 \,;\, -9 \,;\, 2) = 0_{\mathbb{R}^4} \,\,\, \Longrightarrow \,\,\, \lambda_1 = \lambda_2 = 0
Ainsi les deux vecteurs (1;2;5;3)(1 \,;\, -2 \,;\, 5 \,;\, -3) et (0;7;9;2)(0 \,;\, 7 \,;\, -9 \,;\, 2) sont libre dans R4\mathbb{R}^4.
En conclusion, on peut affirmer que les deux vecteurs (1;2;5;3)(1 \,;\, -2 \,;\, 5 \,;\, -3) et (0;7;9;2)(0 \,;\, 7 \,;\, -9 \,;\, 2) forment une base de VV.
Question 2

Détermine la dimension de VV.

Correction
La base de VV précédente est formée de 22 vecteurs, donc on a :
dim(V)=2\dim(V) = 2
Question 3

Compléter la base ainsi obtenue pour former une base de R4\mathbb{R}^4.

Correction
On sait que dim(R4)=4\dim (\mathbb{R}^4) = 4.
Notons par :
e1=(1;0;0;0)\bullet \,\, e_1 = (1 \,;\, 0 \,;\, 0 \,;\, 0) ;
e2=(0;1;0;0)\bullet \bullet \,\, e_2 = (0 \,;\, 1 \,;\, 0 \,;\, 0) ;
e3=(0;0;1;0)\bullet \bullet \bullet \,\, e_3 = (0 \,;\, 0 \,;\, 1 \,;\, 0) ;
e4=(0;0;0;1)\bullet \bullet \bullet \bullet \,\, e_4 = (0 \,;\, 0 \,;\, 0 \,;\, 1).
Il s'agit des quatre vecteurs de la base canonique de R4\mathbb{R}^4.
Nous allons compléter la famille vectorielle (1;2;5;3)(1 \,;\, -2 \,;\, 5 \,;\, -3) et (0;7;9;2)(0 \,;\, 7 \,;\, -9 \,;\, 2), qui forme une base de VV, par deux vecteurs de la base canonique de R4\mathbb{R}^4 écris précédemment.
Choisissons e3e_3 et e4e_4. On a alors la famille vectorielle suivante :
F=((1;2;5;3);(0;7;9;2);(0;0;1;0);(0;0;0;1))F = \left( (1 \,;\, -2 \,;\, 5 \,;\, -3) \,;\, (0 \,;\, 7 \,;\, -9 \,;\, 2) \,;\, (0 \,;\, 0 \,;\, 1 \,;\, 0) \,;\, (0 \,;\, 0 \,;\, 0 \,;\, 1) \right)
Si la famille FF est libre alors elle sera une famille libre maximale et de fait elle sera une base de R4\mathbb{R}^4.
Soient λ1\lambda_1, λ2\lambda_2, λ3\lambda_3 et λ4\lambda_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\lambda_1(1 \,;\, -2 \,;\, 5 \,;\, -3) + \lambda_2(0 \,;\, 7 \,;\, -9 \,;\, 2) + \lambda_3(0 \,;\, 0 \,;\, 1 \,;\, 0) + \lambda_4(0 \,;\, 0 \,;\, 0 \,;\, 1) = 0_{\mathbb{R}^4}
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)(\lambda_1 \,;\, -2\lambda_1 \,;\, 5\lambda_1 \,;\, -3\lambda_1) + (0 \,;\, 7\lambda_2 \,;\, -9\lambda_2 \,;\, 2\lambda_2) + (0 \,;\, 0 \,;\, \lambda_3 \,;\, 0) + (0 \,;\, 0 \,;\, 0 \,;\, \lambda_4) = (0 \,;\, 0 \,;\, 0 \,;\, 0)
Soit encore :
(λ1;2λ1+7λ2;5λ19λ2+λ3;3λ1+2λ2+λ4)=(0;0;0;0)(\lambda_1 \,;\, -2 \lambda_1 + 7\lambda_2 \,;\, 5\lambda_1 - 9\lambda_2 + \lambda_3 \,;\, -3 \lambda_1 + 2\lambda_2 + \lambda_4) = (0 \,;\, 0 \,;\, 0 \,;\, 0)
De suite, on a λ1=0\lambda_1 = 0, ce qui entraine que λ2=0\lambda_2 = 0, puis λ3=0\lambda_3 = 0 et enfin λ4=0\lambda_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\lambda_1(1 \,;\, -2 \,;\, 5 \,;\, -3) + \lambda_2(0 \,;\, 7 \,;\, -9 \,;\, 2) + \lambda_3(0 \,;\, 0 \,;\, 1 \,;\, 0) + \lambda_4(0 \,;\, 0 \,;\, 0 \,;\, 1)= 0_{\mathbb{R}^4} \,\,\, \Longrightarrow \,\,\, \lambda_1 = \lambda_2 = \lambda_3 = \lambda_4 = 0
Donc les quatre vecteurs constitutifs de la famille FF sont libres. Ce qui implique que cette famille est une famille libre maximale et de fait elle est une base de R4\mathbb{R}^4.
Donc :
BR4=F=((1;2;5;3);(0;7;9;2);(0;0;1;0);(0;0;0;1))\mathcal{B}_{\mathbb{R}^4} = F = \left( (1 \,;\, -2 \,;\, 5 \,;\, -3) \,;\, (0 \,;\, 7 \,;\, -9 \,;\, 2) \,;\, (0 \,;\, 0 \,;\, 1 \,;\, 0) \,;\, (0 \,;\, 0 \,;\, 0 \,;\, 1) \right)