- 2 -
Si, pour tout i, on note (eij),1 ≤ j ≤ dim(Fi), une base de Fi, montrons qu'une base de ∏
i=1
p Fi est donnée
par l'ensemble des (0, 0, ..., eij, 0, ..., 0)
↓
i ème rang
. Cette famille comporte en effet ∑
i=1
p dim(Fi) vecteurs.
❑ La famille des (0, 0, ..., eij, 0, ..., 0) est libre. Si ∑
i=1
p ∑
j=1
dim(Ei)
λij (0, 0, ..., eij, 0, ..., 0) = (0, ..., 0), alors :
(0, 0, ..., ∑
j=1
dim(Ei)
λij eij, 0, ..., 0) = (0, ..., 0)
donc (∑
j=1
dim(E1)
λ1j e1j, ..., ∑
j=1
dim(Ei)
λij eij, ..., ∑
j=1
dim(Ep)
λij eij) = (0, ..., 0)
donc ∀ i, ∑
j=1
dim(Ei)
λij eij = 0
et comme pour tout i, (eij) est une base de Fi, les λij sont nuls.
❑ La famille est génératrice. Si (x1, ..., xp) appartient à ∏
i=1
p Fi, il suffit de décomposer chaque xi sous
la forme ∑
j=1
dim(Ei)
µij eij pour obtenir que (x1, ..., xp) = ∑
i=1
p ∑
j=1
dim(Ei)
µij (0, 0, ..., eij, 0, ..., 0)
Dans le cas particulier où F1 = ... = Fp = , on retrouve dim( p) = p.
2- Somme de p sous–espaces vectoriels
Si les Fi sont tous des sous-espaces vectoriels d'un même espace vectoriel E, on peut considérer
l'application Φ suivante :
Φ : ∏
i=1
p Fi → E
(x1, ..., xp) → x1 + ... + xp
Im(Φ) s'appelle somme des Fi, notée F1 + ... + Fp ou ∑
i=1
p Fi. On a donc :
DEFINITION :
Soit E un espace vectoriel, F1, F2, ..., Fp p sous–espaces vectoriels de E. On appelle somme des Fi
l'ensemble défini par :
F1 + F2 + ... + Fp = { z | ∃ xi ∈ Fi, z = x1 + x2 + ... + xp}.
F1 + F2 + ... + Fp est le sous–espace vectoriel engendré par la réunion des Fi. En effet, il contient
chaque Fi, et tout sous-espace contenant chaque Fi contient leur somme. C'est le plus petit sous–
espace vectoriel contenant les Fi.