Remarque : Deux familles de vecteurs différentes peuvent engendrer le même espace vectoriel. Par
exemple, R2peut être engendré par :
• F =(1,0),(0,1).
En effet, comme dit précédemment tout vecteur (x, y)de R2peut s’écrire (x, y) = x(1,0)+y(0,1).
• G =(1,1),(1,−1).
En effet, tout vecteur (x, y)de R2peut aussi s’écrire (x, y) = x+y
2(1,1) + x−y
2(1,−1).
Définition : Soit Eun espace vectoriel et Fune famille d’éléments de E. On dit que Fest une
famille génératrice de Esi l’espace vectoriel engendré par Fest égal à E.
Exemple : Les familles F=(1,0),(0,1)et G=(1,1),(1,−1)sont deux exemples de familles
génératrices de l’espace vectoriel R2.
Par contre, la famille (0,1),(0,2)n’est pas une famille génératrice de R2(en effet, on ne pourra
jamais obtenir tous les vecteurs de R2par combinaison linéaire de ces deux vecteurs là, par exemple
on ne peut jamais avoir le vecteur (1,0)).
Les trois familles suivantes sont aussi des familles génératrices de R2:
(1,0),(0,1),(1,1);(1,1),(1,−1),(0,1);(1,0),(0,1),(1,1),(1,−1)
Par rapport à Fet G, elles contiennent des vecteurs superflus. Si dans une famille de vecteurs, un
vecteur est combinaison linéaire des autres, on peut l’enlever de la famille sans changer l’espace engen-
dré. Une famille de laquelle on ne peut enlever aucun vecteur sans changer l’espace engendré est une
famille libre.
Définition : Soit F= (u1,· · · , un)une famille finie de vecteurs de l’espace E. On dit que Fest une
famille libre de Esi pour tous λ1,· · · , λn∈R:
(3)
n
X
i=1
λiui= 0 =⇒λi= 0,∀i= 1,· · · n
La famille est dite liée dans le cas contraire.
Exemples : Dans R2, la famille (0,1),(0,2)est liée (le deuxième vecteur est égal à 2 fois le premier).
A l’inverse, les familles F=(1,0),(0,1)et G=(1,1),(1,−1)sont deux familles libres de R2.
3 - Bases
Définition : On appelle base toute famille de vecteur à la fois génératrice et libre.
Exemples : Les familles F=(1,0),(0,1)et G=(1,1),(1,−1)sont deux bases de R2.
Dans Rn, la famille (1,0,· · · ,0),(0,1,· · · ,0),· · · ,(0,0,· · · ,1)est une base, que l’on appelle la base
canonique.
Définition : Soit Eun espace vectoriel différent de {0}et finiment engendré. On appelle dimension
de Ele nombre d’éléments commun à toute base de E.
Théorème : Dans un espace vectoriel Ede dimension n:
1. toute famille libre a au plus néléments
2. toute famille libre de néléments est une base de E