Bases et dimension Une famille (u1,...,up) de vecteurs de E telle que Vect (u1,...,up) = E est appele famille gnratrice de E.

Autrement dit, la famille (u1,...,up) est une famille gnratrice de E si tout vecteur de E est une combinaison linaire de vecteurs de cette famille. Espace de dimension finie. On dit que E est de dimension finie s'il existe une famille gnratrice finie d'lments de E. Si E est de dimension finie et non rduit [0], il existe donc u1,...,up dans E tels que Vect (u1,...,up) = E. Famille libre. Proposition 1. Soit (u1,...,up) une famille finie de vecteurs d'un espace vectoriel E. 1) La famille est libre si et seulement si la seule criture de 0 comme combinaison linaire des ui est 0u1+...+0up. 2) Si la famille est lie, il existe des scalaires 1,...,p, non tous nuls, tels que la somme des iui =0 3) Si la famille est lie, l'un des vecteurs est combinaison linaire des autres. Thorme 1. Soit E un espace vectoriel de dimension finie. On peut extraire de toute famille gnratrice C de E une base B de E. Thorme de la base incomplte. Soit E un espace vectoriel de dimension finie. Toute famille libre C = (u1,...,up) de vecteurs de E peut tre complte en une base B = (u1,...,up,...,un) de E. Coordonnes d'un vecteur dans une base. Soient E un espace vectoriel de dimension finie n et B = (e1,...,en) une base de E. Tout vecteur u de E s'crit de manire unique u = x1e1 + + xnen (autrement dit x1,...,xn sont uniques pour chaque vecteur). Ces rels sont appels les coordonnes de u dans la base B. Dimension Proposition 1. Soient E un espace vectoriel de dimension finie et B = (e1,...,en) une base de E. Soit m > n. Toute famille de m vecteurs de E est lie. Thorme et dfinition. Dans un espace vectoriel E de dimension finie, toutes les bases ont le mme nombre d'lments appel dimension de l'espace vectoriel E et not dim (E).

Proposition 2. Dans un espace vectoriel E de dimension n : 1) Toute famille libre (u1,...,un) de n vecteurs de E est une base. 2) Toute famille gnratrice (u1,...,un) de n vecteurs est une base.

Proposition 3 : dimension d'un sous-espace. 1) Un sous-espace F d'un espace vectoriel E de dimension finie est de dimension finie. 2) On a alors dim (F) dim (E) 3) Si dim (F) = dim (E), on a F = E Proposition 4 : dimension de la somme. Soit E un espace vectoriel de dimension finie et soient F et G deux sous-espaces vectoriels de E. On a : dim (F+G) = dim (F) + dim (G) dim (FG) On sait que F,G, FG sont de dimension finie d'aprs la proposition 3. Soit B = (u1,...,uk) est une base de FG. On peut la complter, d'une en une base C = (u1,...,uk,v1,...,vs) de F et, d'autre part, en une base D = (u1,...,uk,w1,...,wt) de G. Montrons que C union D est une base de F + G ayant k + s + t lments. Comme un vecteur de F+G est somme d'un vecteur de F et d'un vecteur de G, on voit que C union D est une famille gnratrice de F+G. Il reste montrer que (u1,...,uk,v1,..,vs ,w1,...,wt) est une famille libre de F+G. Si : 0 = 1u1 + + kuk + k+1v1 +... + k+svs + k+s+1w1 + + k+s+twt On a une galit entre un vecteur de F : 1u1 + .. + kuk + k+1v1 + + k+svs et un vecteur de G : -(k+s+1w1+ + k+s+twt ) Ces deux vecteurs sont donc dans FG, ce qui implique 0 = k+1 = = k+s = k+s+1 = = k+s+t On en dduit que les autres coefficients sont aussi nuls. Donc, dim (F+G) = k +s + t Dim (F) = k + s, Dim(G) = k+t et Dim(FG) = k