🔴  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

Comment démontrer que FF est un sous-espace vectoriel de EE - Exercice 3

20 min
35
On désigne par EE l'ensemble suivant :
E={(abba)(a;b)R2}E = \left\lbrace \, \begin{pmatrix} a & b \\ b & -a \end{pmatrix} \,\, | \,\, (a\,;\,b) \in \mathbb{R}^2 \, \right\rbrace
Question 1

L'ensemble EE est-il un sous-espace vectoriel du R\mathbb{R}-espace vectoriel V=M2(R)V = \mathcal{M}_2(\mathbb{R}) ?

Correction
De par sa définition chaque élément de EE appartient à VV. Donc :
EVE \subset V
L'élément nul de VV est :
0V=0M2(R)=(0000)=(0000)0_V = 0_{\mathcal{M}_2(\mathbb{R})} = \begin{pmatrix} 0 & 0 \\ 0 & 0 \end{pmatrix} = \begin{pmatrix} 0 & 0 \\ 0 & -0 \end{pmatrix}
Ceci correspond au cas ou a=0a=0 et b=0b = 0, autrement dit à 0R20_{\mathbb{R}^2}. De fait 0V=0M2(R)E0_V = 0_{\mathcal{M}_2(\mathbb{R})} \in E.
Vérifions la stabilité de la combinaison linéaire au sein de EE.
Soit λR\lambda \in \mathbb{R}.
Soient M=(abba)EM = \begin{pmatrix} a & b \\ b & -a \end{pmatrix} \in E et M=(abba)EM' = \begin{pmatrix} a' & b' \\ b' & -a' \end{pmatrix} \in E.
On a :
M+λM=(abba)+λ(abba)=(abba)+(λaλbλbλa)M + \lambda M' = \begin{pmatrix} a & b \\ b & -a \end{pmatrix} + \lambda \begin{pmatrix} a' & b' \\ b' & -a' \end{pmatrix} = \begin{pmatrix} a & b \\ b & -a \end{pmatrix} + \begin{pmatrix} \lambda a' & \lambda b' \\ \lambda b' & -\lambda a' \end{pmatrix}
Soit :
M+λM=(a+λab+λbb+λbaλa)M + \lambda M' = \begin{pmatrix} a + \lambda a' & b + \lambda b' \\ b + \lambda b' & -a - \lambda a' \end{pmatrix}
Soit encore :
M+λM=(a+λab+λbb+λb(a+λa))M + \lambda M' = \begin{pmatrix} a + \lambda a' & b + \lambda b' \\ b + \lambda b' & -(a + \lambda a') \end{pmatrix}
Si on pose A=a+λaRA = a + \lambda a' \in \mathbb{R} et B=b+λbRB = b + \lambda b' \in \mathbb{R} alors on a :
M+λM=(ABBA)M + \lambda M' = \begin{pmatrix} A & B \\ B & -A \end{pmatrix}
Et on constate immédiatement que
M+λMEM + \lambda M' \in E.
En conclusion, l'ensemble EE est bien un sous-espace vectoriel du R\mathbb{R}-espace vectoriel VV.
Question 2

Déterminer une famille vectorielle génératrice de EE.

Correction
On a :
E={M=(abba)M2(R)(a;b)R2}E = \left\lbrace \, M = \begin{pmatrix} a & b \\ b & -a \end{pmatrix} \in \mathcal{M}_2(\mathbb{R}) \,\, | \,\, (a \,;\,b) \in \mathbb{R}^2 \, \right\rbrace
Soit :
E={M=(a00a)+(0bb0)(a;b,)R2}E = \left\lbrace \, M = \begin{pmatrix} a & 0 \\ 0 & -a \end{pmatrix} + \begin{pmatrix} 0 & b \\ b & 0 \end{pmatrix} \,\, | \,\, (a \,;\,b,) \in \mathbb{R}^2 \, \right\rbrace
Soit encore :
E={M=a(1001)+b(0110)(a;b)R2}E = \left\lbrace \, M = a\begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix} + b\begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix} \,\, | \,\, (a \,;\,b) \in \mathbb{R}^2 \, \right\rbrace
Posons M1=(1001)M2(R)M_1 = \begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix} \in \mathcal{M}_2(\mathbb{R}) et M2=(0110)M2(R)M_2 = \begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix} \in \mathcal{M}_2(\mathbb{R}), et on constate que :
E={M=aM1+bM2(a;b)R2}E = \left\lbrace \, M = aM_1 + bM_2 \,\, | \,\, (a \,;\,b) \in \mathbb{R}^2 \, \right\rbrace
Donc MM est une combinaison linéaire de M1M_1 et M2M_2. Ainsi la famille vectorielle {M1=(1001);M2=(0110)}\left\lbrace \, M_1 = \begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix} \,;\, M_2 = \begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix} \, \right\rbrace est une famille génératrice de EE. De fait on peut écrire que :
E=Vect(M1=(1001);M2=(0110))E = \mathrm{Vect} \left( M_1 = \begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix} \,;\, M_2 = \begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix} \right)