Posons u=α1·e1+...+αk·ek+α′
1·e′
1+...+α′
m−k·e′
m−k
=−α′′
1·e′′
1−...−α′′
n−k·e′′
n−k.
On a u∈ he1;... ;ek;e′
1;... ;e′
m−ki= F et u∈ he′′
1;... ;e′′
n−ki ⊂ G.
Puisque u∈F∩G, il existe des scalaires β1,...,βktels que
u=β1·e1+...+βk·ek.
Alors 0 = u−u=β1·e1+. . . βk·ek+α′′
1·e′′
1+α′′
n−k·e′′
n−k.
Comme B′′ = (e1;... ;ek;e′′
1;... ;e′′
n−k)est une base de G, on doit avoir
β1=...=βk=α′′
1=...=α′′
n−k= 0 .
Il reste ainsi α1·e1+...+αk·ek+α′
1·e′
1+...+α′
m−k·e′
m−k= 0 .
Mais B′= (e1;... ;ek;e′
1;... ;e′
m−k)étant une base de F, on obtient
α1=...=αk=α′
1=...=α′
m−k= 0 .
Puisque B⋆= (e1;... ;ek;e′
1;... ;e′
m−k;e′′
1;... ;e′′
n−k)est une base de F + G,
dim(F+G) = k+(m−k)+(n−k) = m+n−k= dim(F)+dim(G)−dim(F∩G) .
5.4 Soient Fet Gdeux sous-espaces vectoriels de dimension finie d’un espace
vectoriel E. Montrer que les affirmations suivantes sont équivalentes :
1) F∩G = {0};
2) dim(F + G) = dim(F) + dim(G) ;
3) la décomposition de tout élément de F + G en somme d’un élément de F
et d’un élément de Gest unique.
On dit que la somme F + G de deux sous-espaces vectoriels Fet Gd’un espace
vectoriel Eest directe si F∩G = {0}. Dans ce cas, on la note F⊕G.
Existence d’un sous-espace supplémentaire
Soit Eun espace vectoriel de dimension finie. Pour tout sous-espace vectoriel F
de E, il existe un sous-espace vectoriel Gde E(non unique) tel que E = F ⊕G.
On dit que Gest un sous espace supplémentaire de Fdans E.
5.5 Preuve de l’existence d’un sous espace supplémentaire
On pose n= dim(E) et k= dim(F).
Considérons une base (e1;... ;ek)de Fque nous complétons en une base
(e1;... ;ek;ek+1 ;... ;en)de E. Posons G = hek+1 ;... ;eni.
1) Montrer que E = F + G .
2) Montrer que F∩G = {0}.
Remarques :
Soit F = (v1;... ;vp)une famille de vecteurs d’un espace vectoriel E.
La matrice Aengendrée par la famille Fdans une base Best la matrice dont
les lignes sont les composantes des vecteurs de F.
1) L’espace engendré par la famille de vecteurs Fne change pas si l’on effec-
tue sur les vecteurs de la famille les opérations élémentaires suivantes :
Algèbre linéaire : sous-espaces vectoriels 5.2