2014/2015
MP, Lycée Berthollet
http://mpberthollet.wordpress.com
On appelle dimension de Ele cardinal de l’une quelconque de ses bases.
On dira qu’un espace vectoriel qui ne contient qu’un élément (son neutre pour +!) est de dimension nulle.
EXEMPLES
•Pour tout n∈N∗,Knest un K−espace vectoriel de dimension n.
•Pour tout n∈N,Kn[X]est un K−espace vectoriel de dimension n+ 1.
•C2est un C−espace vectoriel de dimension 2, mais c’est aussi un R−espace vectoriel de
dimension 4. De manière générale, un C−espace vectoriel de dimension nest un R−espace
vectoriel de dimension 2n(montrez-le).
•Pour tout n, p ∈N∗,Mn,p(K)est un K−e.v de dimension np.
•Pour tout vecteur Xnon nul de E, Vect(X)est de dimension 1, i.e c’est une droite. On la
note aussi K.X On appelle plan tout espace vectoriel de dimension 2.
•Si Eet Fsont deux K−espaces vectoriels de dimension finie, alors E×Fl’est aussi et
dim E×F= dim E+ dim F.
On peut traduire la liberté d’une famille avec le seule notion de rang :
Proposition .8 (Rang d’une famille de vecteurs)
Pour toute famille (e1, . . . , ep)de vecteurs de E, on appelle
Rang (e1, . . . , ep) = dim Vect (e1, . . . , ep).
On a alors
1. Rang (e1, . . . , ep)6p.
2. Rang (e1, . . . , ep) = p⇐⇒ (e1,...ep)est libre.
La dimension comme cardinal limite. Une famille libre de cardinal maximal est une base, et une
famille génératrice de cardinal minimal est une base :
Proposition .9
Soient k∈N∗,Eun K−ev de dimension finie et Fune famille de kvecteurs de E.
Si Fest libre, alors k6dim E
Si Fest libre et k= dim E, alors Fest une base. .
Si Fest génératrice, alors k>dim E
Si Fest génératrice et k= dim E, alors Fest une base. .
Enfin, un résultat très utile, qui permet de construire des bases dont les premiers vecteurs sont
prescrits :
Théorème .10 (Base incomplète)
Soit Eun K−espace vectoriel de dimension n∈N∗, et (e1, . . . , ep)une famille libre de vecteurs de
E. Alors il existe ep+1, . . . , en∈Etels que (e1, . . . , ep, ep+1, . . . , en)soit une base de E.
Résumé 01 : sous-espace vectoriel , famille Page 4/5