ATLAS Ouvrir dans l'atlas →

ExerciceMaths approfondies, chapitre 6 — Espaces vectoriels · Opérations sur les sous-espaces

Exercice 8

DémonstrationCalcul

Dans ℝ3\mathbb{R}^{3}, on considère les trois parties suivantes : F={(x ;y ;z)∈ℝ3  ∣  x+y+z=0}G=Vect((1 ;1 ;1))H={(x ;y ;z)∈ℝ3  ∣  z=0}F=\big\{(x\,;y\,;z) \in \mathbb{R}^{3} \;\big|\; x+y+z=0\big\} \qquad G=\mathrm{Vect}\big((1\,;1\,;1)\big) \qquad H=\big\{(x\,;y\,;z) \in \mathbb{R}^{3} \;\big|\; z=0\big\}

1. Justifier que FF, GG et HH sont des sous-espaces vectoriels de ℝ3\mathbb{R}^{3}.

2. Déterminer F∩GF \cap G, puis F∩HF \cap H.

3. L'ensemble F∪GF \cup G est-il un sous-espace vectoriel de ℝ3\mathbb{R}^{3} ? On exhibera un contre-exemple explicite.

4. Démontrer que F+G=ℝ3F+G=\mathbb{R}^{3}, en donnant pour tout (x ;y ;z)(x\,;y\,;z) une décomposition explicite.

Corrigé

1. Les ensembles FF et HH sont définis par une équation linéaire homogène : le calcul de l'exercice 5 s'applique. Quant à GG, c'est un Vect\mathrm{Vect}, donc un sous-espace d'après l'exercice 7. F,  G et H sont des sous-espaces vectoriels de ℝ3.\boxed{F, \; G \text{ et } H \text{ sont des sous-espaces vectoriels de } \mathbb{R}^{3}.}

2. Un élément de GG s'écrit (t ;t ;t)(t\,;t\,;t). Il appartient à FF si et seulement si 3t=03t=0, c'est-à-dire t=0t=0. Pour F∩HF \cap H, on résout le système x+y+z=0x+y+z=0 et z=0z=0, qui donne y=−xy=-x. F∩G={(0 ;0 ;0)}etF∩H=Vect((1 ;−1 ;0))\boxed{F \cap G=\big\{(0\,;0\,;0)\big\} \qquad\text{et}\qquad F \cap H=\mathrm{Vect}\big((1\,;-1\,;0)\big)}

3. Le vecteur (1 ;−1 ;0)(1\,;-1\,;0) appartient à FF et (1 ;1 ;1)(1\,;1\,;1) appartient à GG. Leur somme vaut (2 ;0 ;1)(2\,;0\,;1), dont la somme des coordonnées vaut 3≠03 \neq 0 : elle n'appartient pas à FF. Et elle n'est pas colinéaire à (1 ;1 ;1)(1\,;1\,;1), donc n'appartient pas à GG. F∪G n’est pas stable par addition : ce n’est pas un sous-espace vectoriel.\boxed{F \cup G \text{ n'est pas stable par addition : ce n'est pas un sous-espace vectoriel.}}

4. Soit (x ;y ;z)∈ℝ3(x\,;y\,;z) \in \mathbb{R}^{3}. Posons s=x+y+z3s=\dfrac{x+y+z}{3} et écrivons : (x ;y ;z)=(x−s ; y−s ; z−s)⏟∈ F+(s ;s ;s)⏟∈ G(x\,;y\,;z)=\underbrace{(x-s \,;\, y-s \,;\, z-s)}_{\in \, F}+\underbrace{(s\,;s\,;s)}_{\in \, G} Le premier vecteur appartient bien à FF, puisque la somme de ses coordonnées vaut x+y+z−3s=0x+y+z-3s=0. F+G=ℝ3\boxed{F+G=\mathbb{R}^{3}}

Dans l'édifice

Thèmes

espaces vectoriels, sous-espaces vectoriels, opérations sur les sous-espaces

Notions

espace vectoriel, sous-espace vectoriel

Ouvrir dans l'atlas interactif →