
Dimension d'un espace vectoriel - Rang d'une application linéaire 
 
© S. DUCHET   -   www.epsilon2000.fr.st  1/8
DIMENSION D'UN ESPACE VECTORIEL ADMETTANT UNE 
PARTIE GENERATRICE FINIE - RANG D'UNE APPLICATION 
LINEAIRE 
 
 
 
1) Dimension d'un espace vectoriel admettant une partie génératrice finie 
 
définition (famille génératrice, famille libre, famille liée, base) 
On dit qu'une famille  Iii
x∈
)(  d'éléments de E est une famille génératrice de E si : 
∈
∈α=∈α∃∈∀
Ii ii
I
Iii xxKEx ,)(,  (c'est-à-dire  ))(( Iii
xvectE ∈
. 
On dit qu'une famille  Iii
x∈
)(  d'éléments de E est une famille libre de E si : 
()
0,0,)( =α∈∀⇒
⎟
⎠
⎞
⎜
⎝
⎛=α∈α∀ ∑
∈
∈i
Ii ii
I
Iii IixK  où les  i
 sont des éléments de K. 
Une famille qui n'est pas libre est appelée famille liée. 
On dit qu'une famille  Iii
x∈
)(  d'éléments de E est une base de E si  Iii
x∈
)(  est à la fois une famille 
libre et génératrice de E. 
 
 
propriétés immédiates 
1) Toute sur-famille d'une famille génératrice est génératrice. 
2) Toute sous-famille d'une famille libre est libre. 
3) Toute sur-famille d'une famille liée est liée. 
 
 
théorème 
Soit E un K-espace vectoriel non nul de dimension finie. Si F est un sous espace de E admettant une 
famille génératrice de cardinal  *
Nn∈, alors toute famille de F de cardinal n + 1 est liée. 
 
démonstration 
Par récurrence sur n. Notons P(n) le théorème. 
• 1=n : 
On suppose que 
{}
e est une famille génératrice de F. Soient  21,gg  deux éléments de F. Il existe 
alors deux éléments de K,  21,αα  tels que  eg 11
 et  eg 22
. 
Si  0
1=g, alors 
{}
21,gg  est liée. 
Si  0
1≠g, alors  0
1≠α  donc  1
1
1ge α
= et donc  1
1
2
2gg α
=. Donc 
}
21,gg  est liée. 
 
• Soit  *
Nn∈. Supposons P(n) vraie. 
Supposons maintenant que F est un sous espace vectoriel admettant une famille génératrice de 
cardinal  1+n :  11
)( +≤≤ nii
e. Soit  21
)( +≤≤ nii
g une famille de F de cardinal  2
n. 
1
,21, +
+=+≤≤∀ niii exgnii , où 
)
niii gvectx ≤≤
∈1
)(. 
Soit 
()
nii
gvectG ≤≤
=1
)( . G est non nul de dimension finie n, admettant une famille génératrice de 
cardinal n. 
Si tous les  i
α sont nuls, alors 
{}
11 ...,, +n
gg  est liée donc  21
)( +≤≤ nii
g est liée (sur-famille d'une famille 
liée).