1) Notions g´en´erales MP 2015-16 3
D´efinition I - 4 : Famille libre
Soit (xi)i∈Iune famille de vecteurs de E, on dit que (xi)i∈Iest une famille libre si
∀(λi)i∈I∈K(I),X
i∈I
λixi= 0 ⇒ ∀i∈I, λi= 0
Une famille non libre est dite li´ee.
Une famille est donc libre si toute sous famille finie de cette famille est libre.
On peut voir aussi qu’une famille est li´ee si il existe une combinaison lin´eaire X
i∈I
λixi= 0 telle que (λi)i∈I∈K(I)
n’est pas la famille nulle.
On peut aussi dire qu’il existe un vecteur non nul de la famille qui est combinaison lin´eaire des autres.
D´efinition I - 5 : Famille g´en´eratrice
On dit que (xi)i∈Iest une famille g´en´eratrice de E si
∀x∈E, ∃(λi)i∈I∈K(I)/ x =X
i∈I
λixi
C’est `a dire que la famille est g´en´eratrice si et seulement si tout vecteur de Eest combinaison lin´eaire
de la famille ou encore si et seulement si Vect (xi)i∈I=E
Propri´et´e I - 1 : des sur et sous familles
Toute sur famille d’une famille g´en´eratrice est g´en´eratrice.
Toute sous famille d’une famille libre est une famille libre.
D´efinition I - 6 : Base
– Soit Bune famille non vide de vecteurs de E. On dit que cette famille est une base de Esi elle est libre
et g´en´eratrice de E.
Une famille (ei)i∈Iest donc une base si et seulement si tout vecteur de Es’´ecrit de fa¸con unique
comme combinaison lin´eaire de vecteurs de la famille B.
– Soit B= (ei)i∈Iune base de E. Par d´efinition, pour tout vecteur x∈Eil existe une unique famille
(λi)i∈I∈K(I)telle que x=X
i∈I
λiei. On appelle coordonn´ees de xdans la base Bla famille (λi)i∈I.
Exemple : La famille (Xn)n∈IN est une famille libre et g´en´eratrice de IR [X], c’est donc une base de cet espace.
Exemple : La famille (x→eax)a∈IR
b) Sommes de sous espaces vectoriels
D´efinition I - 7 :
Soit Eun K−espace vectoriel. On consid`ere (Ei)i∈Iune famille finie de sous espaces vectoriels de E.
On appelle somme de ces sous espaces vectoriels l’ensemble
X
i∈I
Ei=(x∈E / ∃(xi)i∈I∈(Ei)i∈Itel que x=X
i∈I
xi)
C’est aussi le plus petit sous espace vectoriel contenant tous les Ei, c’est donc Vect [
i∈I
Ei!.