4CHAPITRE 20. ESPACES VECTORIELS DE DIMENSION FINIE
Démonstration On ne traite que la cas Lnon vide.
On note G= (g1, . . . , gm)et L= (g1, . . . , gp)(quitte à permuter l’ordre des vecteurs).
Puisque {Card I|[[1, p]] ⊂I⊂[[1, m]] et (gi)i∈Ilibre}est une partie de Nnon vide (contient p) et
majorée (par m), on peut trouver un plus grand élément nqui est donc associée à un certain ensemble
fini Iqui vérifie
Card I=n[[1, p]] ⊂I⊂[[1, m]] et B:= (gi)i∈I
Par définition Best libre, montrons qu’elle est génératrice.
En effet tout vecteur de Gest CL des vecteurs de B, puisque si gj∈ G avec j∈[[1, m]]
•Si j∈IAlors gj∈ B et donc gj∈V ect(B)
•Si j /∈IAlors B t (gj)est une sur-famille de la famille libre B, de cardinal n+ 1, et donc par
définition du plus grand élément Bt(gj)n’est plus une famille libre. On peut donc trouver (λi)i∈I
et µnon tous nuls tel que X
i∈I
λigi+µgj= 0
µne pouvant être nul (ce qui contredirait le caractère libre de B) on trouve
gj=1
µX
i∈I
λigi∈V ect(B)
Conclusion :
On a d’après ce qui précède (avec des notations abusives)
G ⊂ V ect(B)
et donc Gétant génératrice
E=V ect(G)⊂V ect(B)
et donc l’autre inclusion étant évidente E=V ect(B), i.e. Best génératrice
De façon plus particulière si Eest de dimension finie, il admet une famille génératrice (e1, . . . , eq)et
donc si (x1, . . . , xr)est une famille libre il suffit d’appliquer ce qui précède à
L= (x1, . . . , xr)et G= (x1, . . . , xr, e1, . . . , eq)
puisque tout sur-famille d’une famille génératrice est encore génératrice
Enfin la dernière assertion s’applique à partir d’une famille génératrice Gen regardant L=∅(ou
encore Lconstitué d’un vecteur non nul de G)•
Théorème 20.1.2 (Existence de bases) Tout espace vectoriel de dimension finie admet au moins une
base (de cardinal fini) ♣
Démonstration Soit Eest de dimension finie
•Si E={0}Alors B=∅est une base de E
•Si E6={0}Alors tout vecteur non nul xforme une famille libre (x)qui peut être complété en une
base de Ed’après le théorème de la base incomplète
•
Remarque: On a alors l’équivalence :
Eest de dimension finie si et seulement si Eadmet une base de cardinal fini
Théorème 20.1.3 (Existence d’un supplémentaire)
Soit Eun K-espace vectoriel de dimension finie.
Tout sous-espace vectoriel Aadmet (au moins) un supplémentaire ♣
Démonstration D’après 20.2.1 on sait que Aest de dimension finie.
Soit BA= (e1, . . . , ep)une base de A, cette basse est une famille libre de Equi peut donc être complétée
en une base B:= (e1, . . . , ep, ep+1, . . . , en)de E.
Posons B:= V ect(ep+1, . . . , en)et montrons que E=A⊕B
4
Lycée J-B. Say - Martin Del Hierro