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).