3/13
Algèbre linéaire Vecteurs linéairement indépendants, parties libres, liées et génératrices
Bases, composantes et dimension
Démonstration - ⇐.
Démontrons la contraposée : Apas libre implique qu’il existe un élément
de Acombili d’autres éléments de A.
Si An’est pas libre, c’est qu’il existe une combinaison linéaire non-triviale
qui est égale au vecteur nul −→
0 , c’est-à-dire il existe des vecteurs
−→
v1,...,−→
vkde Aet des scalaires λ1, . . . , λktels que
λ1−→
v1+· · · +λk−→
vk=−→
0
avec au moins l’un des coefficients λiqui soit non-nul. Supposons que ce
soit λ16=0. Dans ce cas, on peut « isoler » −→
v1:
−→
v1=−λ2
λ1
−→
v2− · · · − λk
λ1
−→
vk
ce qui montre qu’alors, l’un des éléments de Aest combinaison linéaire des
autres éléments de A(le raisonnement est identique si ça avait été λ2ou
λ3ou un autre λi...)