• Tout espace vectoriel non réduit à {0}possède au moins une base.
Attention à ne jamais dire la base de E, car il n'y a pas unicité.
1.3 Dimension d'un espace vectoriel
Si Epossède une base comportant un nombre fini nde vecteurs, on dit que Eest
de dimension finie.
Dans ce cas, toute base de Ecomporte aussi nvecteurs. On dit que nest la dimen-
sion de E; on la note dim E.
On convient que l'espace vectoriel {0}est de dimension nulle.
1.4 Recherche de bases
Soit Eun espace vectoriel de dimension finie n.
Toute famille libre de Ea au plus nvecteurs. Si elle comporte nvecteurs, c'est
une base.
Toute famille génératrice de Ea au moins nvecteurs. Si elle comporte nvecteurs,
c'est une base.
Si on connaît déjà la dimension nde E, et si on considère une famille
de nvecteurs, pour démontrer que c'est une base, il suffit de démon-
trer : soit que la famille est libre, soit que la famille est génératrice.
2. Autres dimensions
2.1 Dimension de E×F
Soit Eet Fdeux espaces vectoriels de dimensions finies.
Si (e1,...,en)est une base de E, et (f1,...,fp)une base de F, alors l'ensemble
des couples (ei,0)et (0,fj)où 1inet 1jp, est une base de E×F.
Par conséquent dim(E×F)=dim E+dim F.
2.2 Dimension d'un sous-espace vectoriel
Soit Eun espace vectoriel de dimension finie. Tout sous-espace vectoriel Fde E
est de dimension finie, et
dim Fdim E.
D'autre part, si dim F=dim E, alors F=E.
Dimension d’un espace vectoriel
53
170
à usage personnel toute photocopie non autorisée est punie par la loi.Dunod, Paris 2010.