62
avec Jpartie finie de I.
Si i06∈ J, c’est fini, ~x ∈Vect( ~
fi, i ∈I\ {i0}).
Si i0∈J, on ´ecrit
~x =Pi∈J\{i0}λi·~
fi+λi0·~
fi0
=Pi∈J\{i0}λi·~
fi+λi0·Pi∈J0µi·~
fi
=Pi∈(J∪J0)\{i0}αi·~
fi
avec
αi=
λi+λi0µisi i∈J∩J0
λi0µisi i∈J0\J
λisi i∈(J\ {i0})\I
On conclut bien que ~x ∈Vect( ~
fi, i ∈I\ {i0}). cqfd
Th´eor`eme : Si un espace vectoriel Eposs`ede une famille g´en´eratrice `a n´el´ements, alors toute famille ayant au
moins n+ 1 vecteurs est li´ee et, par cons´equent, toute famille libre poss`ede au plus n´el´ements.
Ce th´eor`eme affirme qu’une famille libre a toujours moins d’´el´ements qu’une famille g´en´eratrice.
D´emonstration : On proc`ede par r´ecurrence sur n.
Si n= 1, on suppose que Eadmet pour famille g´en´eratrice {~g1}. Cela signifie que tout vecteur de Es’´ecrit λ·~g1
avec λ∈. Pour ~g16=~
0, Eest une droite vectorielle et si ~g1=~
0, E={~
0}. Toute famille de deux vecteurs
{~
f1,~
f2}est telle que ~
f1=λ1·~g1,~
f2=λ2·~g1. Si l’un des λ1, λ2est nul, la famille {~
f1,~
f2}contient ~
0 donc elle
est li´ee. Si λ16= 0 et λ26= 0, on a
1
λ1
~
f1−1
λ2
~
f2=~
0
et la famille {~
f1,~
f2}est li´ee. On constate donc que toute famille ayant au moins deux ´el´ements est li´ee.
Supposons maintenant que la propri´et´e soit vraie `a l’ordre n(n∈∗) c’est `a dire que l’on suppose que dans un
espace vectoriel Eayant une famille g´en´eratrice `a n´el´ements, toute famille de n+ 1 ´el´ements au moins est li´ee.
Essayons alors d’obtenir ce r´esultat au rang n+ 1. On se place donc dans un espace vectoriel Eayant une famille
g´en´eratrice `a n+ 1 ´el´ements {~g1, . . . ,~gn+1}. On consid`ere alors une famille `a n+ 2 ´el´ements {~
f1, . . . , ~
fn+2}et on
va prouver que cette famille est li´ee. Pour tout k∈ {1,...,n+ 2}, on peut ´ecrire ~
fkcomme combinaison lin´eaire
de {~g1,...,~gn+1}c’est `a dire
~
fk=λk,1·~g1+···+λk,n ·~gn+λk,n+1 ·~gn+1
avec λk,1,...,λk,n+1 ∈. Notons
~xk=λk,1·~g1+···+λk,n ·~gn
et
µk=λk,n+1
de sorte que
~
fk=~xk+µk·~gn+1
et on remarque que ~xk∈Vect(~g1,...,~gn).
•Si µ1=... =µn+2 = 0, cela signifie que ~
f1,..., ~
fn+2 sont n+ 2 vecteurs dans l’espace vectoriel
Vect(~g1, . . . , ~gn) qui admet une famille g´en´eratrice `a n´el´ements. En appliquant l’hypoth`ese de r´ecurrence,
on en d´eduit que la famille {~
f1,..., ~
fn+2}est li´ee.
•Supposons maintenant que les µ1,...,µn+2 ne sont pas tous nuls. Par exemple, on supposera que µ16= 0.
Alors