ATLAS Ouvrir dans l'atlas →

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

Exercice 12

Calcul

Les deux figures ci-dessous représentent, dans ℝ3\mathbb{R}^{3}, un plan vectoriel PP et une droite vectorielle DD.

Figure
Figure

1. Pour chacune des deux configurations, déterminer dim⁡P\dim P, dim⁡D\dim D et dim⁡(P∩D)\dim(P \cap D).

2. En déduire dim⁡(P+D)\dim(P+D) dans chaque cas, puis dire si PP et DD sont supplémentaires.

3. Traduire par le calcul la configuration (a) : on prendra P={(x ;y ;z)  ∣  x=0}P=\big\{(x\,;y\,;z) \;\big|\; x=0\big\} et D=Vect((1 ;0 ;0))D=\mathrm{Vect}\big((1\,;0\,;0)\big).

4. Deux droites vectorielles de ℝ3\mathbb{R}^{3} peuvent-elles être supplémentaires ? Et deux plans ?

Corrigé

1. Dans les deux configurations, PP est un plan et DD une droite. En (a), la droite perce le plan : elles n'ont que l'origine en commun. En (b), la droite est contenue dans le plan, donc P∩D=DP \cap D = D. (𝐚)  :  dim⁡P=2,  dim⁡D=1,  dim⁡(P∩D)=0\boxed{\textbf{(a)} \;:\; \dim P = 2, \; \dim D = 1, \; \dim(P \cap D)=0}

(𝐛)  :  dim⁡P=2,  dim⁡D=1,  dim⁡(P∩D)=1\boxed{\textbf{(b)} \;:\; \dim P = 2, \; \dim D = 1, \; \dim(P \cap D)=1}

2. La formule de Grassmann donne : (𝐚)  :  dim⁡(P+D)=2+1−0=3(𝐛)  :  dim⁡(P+D)=2+1−1=2\textbf{(a)} \;:\; \dim(P+D)=2+1-0=3 \qquad\qquad \textbf{(b)} \;:\; \dim(P+D)=2+1-1=2

(𝐚)  :  P+D=ℝ3 et P∩D={0E} : P et D sont suppleˊmentaires.\boxed{\textbf{(a)} \;:\; P+D=\mathbb{R}^{3} \text{ et } P \cap D=\{0_{E}\} \text{ : } P \text{ et } D \text{ sont supplémentaires.}}
(𝐛)  :  P+D=P : ils ne le sont pas.\boxed{\textbf{(b)} \;:\; P+D=P \text{ : ils ne le sont pas.}}

3. On a P=Vect((0 ;1 ;0) ;(0 ;0 ;1))P=\mathrm{Vect}\big((0\,;1\,;0)\,;(0\,;0\,;1)\big), donc dim⁡P=2\dim P = 2, et dim⁡D=1\dim D = 1. Un vecteur de DD s'écrit (t ;0 ;0)(t\,;0\,;0), et appartient à PP si et seulement si t=0t=0 : donc P∩D={0E}P \cap D=\{0_{E}\}. Comme dim⁡P+dim⁡D=3=dim⁡ℝ3\dim P+\dim D=3=\dim \mathbb{R}^{3}, le théorème 2 conclut. ℝ3=P⊕D, avec la deˊcomposition (x ;y ;z)=(0 ;y ;z)+(x ;0 ;0).\boxed{\mathbb{R}^{3}=P \oplus D, \text{ avec la décomposition } (x\,;y\,;z)=(0\,;y\,;z)+(x\,;0\,;0).}

4. Le comptage des dimensions répond immédiatement : Deux droites : 1+1=2≠3, jamais suppleˊmentaires dans ℝ3.Deux plans : 2+2=4≠3, jamais suppleˊmentaires non plus.\boxed{\begin{array}{l} \text{Deux droites : } 1+1=2 \neq 3, \text{ jamais supplémentaires dans } \mathbb{R}^{3}. \\[1mm] \text{Deux plans : } 2+2=4 \neq 3, \text{ jamais supplémentaires non plus.} \end{array}} Le seul appariement possible dans ℝ3\mathbb{R}^{3} est donc « un plan et une droite », et encore faut-il que la droite ne soit pas contenue dans le plan.

Dans l'édifice

Thèmes

dimension, formule de grassmann, supplémentaires

Notions

dimension, supplémentaire

Ouvrir dans l'atlas interactif →