Base ou non ?


Colle de mathématiques

Sujet de colle de maths:

Énoncé du sujet

On se place dans un espace vectoriel de dimension 3 dont une base est $(x_1, x_2, x_3)$.
La famille $\mathcal{F}_1=(x_1+x_3,x_2+x_3)$ est-elle une base de $E$ ?
La famille $\mathcal{F}_2=(x_1+x_2, x_2 + x_3, x_3 + x_1)$ est-elle une base de $E$ ?
Et la famille $\mathcal{F}_3=(x_1, x_1 + x_2, x_1 + x_2 + x_3)$ ?


Correction

Correction

L'espace $E$ a une base formée de trois vecteurs. Il est donc de dimension 3.
La famille $\mathcal{F}_1$ n'est formée que de deux vecteurs, et donc $\dim\left( Vect(\mathcal{F}_1)\rp<3$ et cette famille ne peut pas être génératrice de $E$. En particulier, cette famille ne peut pas être une base.
Les deux autres familles possèdent le bon nombre de vecteurs pour former une base de $E$, encore faut-il qu'elles soient libres.
Pour le vérifier, on considère une combinaison linéaire nulle des vecteurs de $\mathcal{F}_2$:
\[a(x_1+x_2)+b(x_2+x_3)+c(x_3+x_1)=0\]

Cette combinaison linéaire s'écrit aussi en réordonnant
\[(a+c)x_1+(a+b)x_2+(b+c)x_3)=0\]

Comme la famille $(x_1;x_2;x_3)$ est libre (car c'est une base), cette dernière combinaison linéaire est nulle si et seulement si
\[\la\begin{array}{rcrcl}
a&+&c&=&0\\
a&+&b&=&0\\
b&+&c&=&0\enar\right.\]

En soustrayant les deux premières équations on trouve $b=c$, puis de même avec les deux dernières on trouve $a=c$. Ainsi $a=b=c$ et alors la première équation s'écrit $2a=0$ soit $a=0$ et donc finalement $a=b=c=0$.
On vient donc de montrer que la famille $\mathcal{F}_1$ est libre et qu'elle forme donc aussi une base de $E$.


On procède de même pour la troisième famille, soit trois coefficients $a$, $b$ et $c$ qui annulent la combinaison linéaire:
\[ax_1+b(x_1+x_2)+c(x_1+x_2+x_3)=0\]

soit aussi, en réordonnant,
\[(a+b+c)x_1+(b+c)x_2+cx_3=0\]

et comme famille $(x_1;x_2;x_3)$ est libre (car c'est une base), cette dernière combinaison linéaire nulle implique nécessairement que
\[\la\begin{array}{rcrcrcl}
a&+&b&+&c&=&0\\
&&b&+&c&=&0\\
&&&&c&=&0\enar\right.\]

Ce système triangulaire se résout très facilement en commençant par la dernière équation, et on trouve que $a=b=c=0$.
Ainsi, la famille $\mathcal{F}_3$ est libre et c'est donc une base de $E$


Tag:Espace vectoriel

Autres sujets au hasard: Lancer de dés
LongPage: h2: 3 - h3: 0