La somme F+Gest l’espace engendré par les vecteurs (1,0,−1),(0,1,−1),(0,1,0)et (0,0,1)c’est à dire R3.
Remarquons en effet, que l’on peut écrire
(1,0,0) = (1,0,−1)+(0,0,1)
par conséquent l’espace F+Gcontient les trois vecteurs (1,0,0),(0,1,0)et (0,0,1), il contient donc l’espace
engendré par ces trois vecteurs c’est à dire R3. Les espaces Fet Gne sont pas supplémentaires car ils ne sont pas en
somme directe.
3. Donnons toutes les décompositions du vecteur (1,1,1)sur Fet G. Il s’agit décrire
(1,1,1) = (x,y,−x−y)+(0,α,β)
avec x,y,α,βréels. Nécessairement on a
x=1,1=y+α,1=−x−y+β
c’est à dire x=1, y=1−α,β=1+x+y=3−α, par conséquent on a
(1,1,1) = (1,1−α,−2+α)+(0,α,3−α).
c’est à dire
(1,1,1) = [(1,1−2)+(0,−α,α)] + [(0,0,3)+(0,α,−α)]
On remarquera que la variable d’ajustement est le vecteur (0,−α,α)qui appartient à l’intersection de Fet G.
Reprenons les questions précédentes avec G={(x,y,z)∈R3|x=y=0}.
1. L’intersection de Fet Gest nulle, les sous-espaces Fet Gsont en somme directe.
2. Remarquons que le vecteur (0,0,1)appartient à G. Remarquons aussi que les vecteurs (1,0,0)et (0,1,0)appar-
tiennent à la somme F+G:
(1,0,0) = (1,0,−1)+(0,0,1)et (0,1,0) = (0,1,−1)+(0,0,1).
Par conséquent, la somme F+Gcontient l’espace engendré par (1,0,0),(0,1,0)et (0,0,1), c’est à dire R3, par
conséquent la somme obtenue est R3. Les sous-espaces Fet Gsont en somme directe.
3. La somme étant directe nous savons grâce au cours que le vecteur (1,1,1)se décompose de manière unique sur Fet
G. Trouvons cette décomposition. Par ce qui précède une décomposition est de la forme
(1,1,1) = (x,y,−x−y)+(0,0,λ) = (x,y,−x−y+λ),
ainsi x=1, y=1 et λ=3.
Cette fois-ci l’intersection de Fet Gest réduite à 0, il n’y a pas de variable d’ajustement.
Exercice 4. (Exercice type).
1. On considère les parties suivantes de R2
C= x
y∈R2;−|x|≤y≤|x|,D= x
y∈R; 2y=3x
Ces parties sont elles des sous-espaces vectoriels de R2?
Quel est leur sous espace vectoriel engendré ? Faire un dessin.
2. Montrer que les ensembles
F=
x
y
z
∈R3;x−y+z=0
,G=
x
y
z
∈R3;x+z=0
et
H=
λ
λ
λ
∈R3;λ∈R
sont trois sous-espaces vectoriels de R3.
4