Colles de mathématiques
Famille construite à partir de n vecteurs libres
Sujet
Soit
une famille libre d'un
-espace vectoriel
.
Pour
, on pose
et
.
Etudier l'indépendance linéaire de la famille
.






Etudier l'indépendance linéaire de la famille

Corrigé de l'exercice de maths: Espaces vectoriels
Correction
Soit
tels que
![\[\lambda_1w_1+\dots +\lambda_nw_n=0\]](/Generateur-Devoirs/Colles/ev/exF3_c/2.png)
alors,
![\[\sum_{k=1}^{n-1}\lambda_k(v_k+v_{k+1})+\lambda_n (v_n+v_1)=0\]](/Generateur-Devoirs/Colles/ev/exF3_c/3.png)
ou encore
![\[(\lambda_1+\lambda_n)v_1+\sum_{k=2}^n(\lambda_k+\lambda_{k+1})v_k=0.\]](/Generateur-Devoirs/Colles/ev/exF3_c/4.png)
Comme le système
est linéairement indépendant,
on en déduit le système :
![\[\la\begin{array}{rcl}
\lambda_n&=&-\lambda_1\\
\lambda_k&=&-\lambda_{k-1}\textrm{ pour }2\leq k\leq n.
\enar\right.\]](/Generateur-Devoirs/Colles/ev/exF3_c/6.png)
La deuxième égalité donne facilement par récurrence, pour
,
.
En particulier, on a
.
On discute maintenant suivant la parité de
:

![\[\lambda_1w_1+\dots +\lambda_nw_n=0\]](/Generateur-Devoirs/Colles/ev/exF3_c/2.png)
alors,
![\[\sum_{k=1}^{n-1}\lambda_k(v_k+v_{k+1})+\lambda_n (v_n+v_1)=0\]](/Generateur-Devoirs/Colles/ev/exF3_c/3.png)
ou encore
![\[(\lambda_1+\lambda_n)v_1+\sum_{k=2}^n(\lambda_k+\lambda_{k+1})v_k=0.\]](/Generateur-Devoirs/Colles/ev/exF3_c/4.png)
Comme le système

![\[\la\begin{array}{rcl}
\lambda_n&=&-\lambda_1\\
\lambda_k&=&-\lambda_{k-1}\textrm{ pour }2\leq k\leq n.
\enar\right.\]](/Generateur-Devoirs/Colles/ev/exF3_c/6.png)
La deuxième égalité donne facilement par récurrence, pour




- Si
est impair, alors on a à la fois
et
. Ceci impose
, et par suite
pour tout
. Le système est libre.
- Si
est pair, la dernière équation est
, qui est la même que la première.
On a alors un système deéquations à
inconnues. Si on fixe par exemple
, on a
, et on a donc trouvé une combinaison linéaire nulle non triviale
.
La famille est liée.