ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 15 — Dimension finie et rang · Hyperplans et systèmes d'équations

Exercice 44

Démonstration

Soit EE un espace de dimension nn.

1. Soit HH et H′H' deux hyperplans de EE. Montrer que dim⁡(H∩H′)∈{n−1,n−2}\dim(H \cap H') \in \{n - 1, n - 2\}, et donner une condition nécessaire et suffisante pour que dim⁡(H∩H′)=n−2\dim(H \cap H') = n - 2.

2. Quelle est la dimension du sous-espace de ℝ9\mathbb{R}^{9} défini par les deux équations a−7b+3c−2d+f−g+2h+42 i=0eta+2b+3c+4d+5e+6f+7g+8h+9i=0 ?a - 7b + 3c - 2d + f - g + 2h + \sqrt{42}\,i = 0 \qquad\text{et}\qquad a + 2b + 3c + 4d + 5e + 6f + 7g + 8h + 9i = 0 \ ?

3. Soit v=(2,1,−1,0)∈ℝ4v = (2, 1, -1, 0) \in \mathbb{R}^{4}. Écrire la droite Vect(v)\mathrm{Vect}(v) comme l'intersection de trois hyperplans.

Corrigé

1. On a H∩H′⊂HH \cap H' \subset H, donc dim⁡(H∩H′)⩽n−1\dim(H \cap H') \leqslant n - 1, et dim⁡(H∩H′)⩾n−2\dim(H \cap H') \geqslant n - 2 par le théorème 13. Si H=H′H = H', la dimension vaut n−1n - 1. Sinon, H∩H′H \cap H' est un sous-espace strict de HH, de dimension au plus n−2n - 2 (théorème 5). dim⁡(H∩H′)=n−2  ⟺  H≠H′  ⟺  les eˊquations de H et H′ ne sont pas proportionnelles\boxed{\dim(H \cap H') = n - 2 \iff H \neq H' \iff \text{les équations de } H \text{ et } H' \text{ ne sont pas proportionnelles}}

2. La première équation ne contient pas ee, et la seconde le contient avec le coefficient 55 : si la seconde forme était λ\lambda fois la première, on aurait 5=05 = 0. Les deux hyperplans sont distincts. dim⁡=9−2=7\boxed{\dim = 9 - 2 = 7}

3. Les formes x−2yx - 2y, y+zy + z et tt s'annulent en v=(2,1,−1,0)v = (2, 1, -1, 0), et elles sont libres, leurs coefficients (1,−2,0,0)(1, -2, 0, 0), (0,1,1,0)(0, 1, 1, 0), (0,0,0,1)(0, 0, 0, 1) étant échelonnés. L'intersection est de dimension 4−3=14 - 3 = 1 (proposition 9) et contient vv. Vect(v)={x−2y=0}∩{y+z=0}∩{t=0}\boxed{\mathrm{Vect}(v) = \{x - 2y = 0\} \cap \{y + z = 0\} \cap \{t = 0\}}

Dans l'édifice

Thèmes

hyperplans et systèmes, dimension, formule de grassmann, hyperplans

Notions

forme linéaire, dimension

Ouvrir dans l'atlas interactif →