ATLAS Ouvrir dans l'atlas →

ExerciceMaths approfondies, chapitre 8 — Dimension finie · Formule de Grassmann et supplémentaires

Exercice 11

Calcul

Dans ℝ3\mathbb{R}^{3}, on pose : F={(x ;y ;z)  ∣  x+y+z=0}etG={(x ;y ;z)  ∣  x−y=0}F=\big\{(x\,;y\,;z) \;\big|\; x+y+z=0\big\} \qquad\text{et}\qquad G=\big\{(x\,;y\,;z) \;\big|\; x-y=0\big\}

1. Déterminer dim⁡F\dim F et dim⁡G\dim G.

2. Déterminer F∩GF \cap G et sa dimension.

3. À l'aide de la formule de Grassmann, calculer dim⁡(F+G)\dim(F+G), puis identifier F+GF+G.

4. Les sous-espaces FF et GG sont-ils supplémentaires dans ℝ3\mathbb{R}^{3} ? Justifier de deux façons.

Corrigé

1. Chacun des deux ensembles est le noyau d'une forme linéaire non nulle sur ℝ3\mathbb{R}^{3}, donc un plan vectoriel. On peut aussi le voir directement : F=Vect((1 ;−1 ;0) ;(1 ;0 ;−1))etG=Vect((1 ;1 ;0) ;(0 ;0 ;1))F=\mathrm{Vect}\big((1\,;-1\,;0)\,;(1\,;0\,;-1)\big) \qquad\text{et}\qquad G=\mathrm{Vect}\big((1\,;1\,;0)\,;(0\,;0\,;1)\big)

dim⁡F=dim⁡G=2\boxed{\dim F = \dim G = 2}

2. Un vecteur de F∩GF \cap G vérifie x=yx=y et x+y+z=0x+y+z=0, donc z=−2xz=-2x : F∩G=Vect((1 ;1 ;−2)), de dimension 1.\boxed{F \cap G=\mathrm{Vect}\big((1\,;1\,;-2)\big), \text{ de dimension } 1.}

3. La formule de Grassmann donne : dim⁡(F+G)=2+2−1=3=dim⁡ℝ3\dim(F+G)=2+2-1=3=\dim \mathbb{R}^{3} et la proposition 2 permet de conclure. F+G=ℝ3\boxed{F+G=\mathbb{R}^{3}}

4. Les deux critères du théorème 2 échouent : Non : F∩G≠{0E}, et par ailleurs dim⁡F+dim⁡G=4≠3=dim⁡ℝ3.\boxed{\text{Non : } F \cap G \neq \{0_{E}\}, \text{ et par ailleurs } \dim F+\dim G=4 \neq 3=\dim \mathbb{R}^{3}.} C'est la figure du cours : deux plans distincts de ℝ3\mathbb{R}^{3} engendrent tout l'espace, sans être supplémentaires pour autant. La somme n'est pas directe, et la décomposition d'un vecteur n'est pas unique.

Dans l'édifice

Thèmes

dimension, sous-espaces et dimension, formule de grassmann, supplémentaires

Notions

dimension, supplémentaire

Ouvrir dans l'atlas interactif →