ATLAS Ouvrir dans l'atlas →

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

Exercice 10

Démonstration

Soient FF et GG deux sous-espaces vectoriels d'un espace EE de dimension 66, avec dim⁡F=4\dim F = 4 et dim⁡G=5\dim G = 5.

1. Quelles sont les valeurs possibles de dim⁡(F+G)\dim(F+G) ?

2. En déduire les valeurs possibles de dim⁡(F∩G)\dim(F \cap G).

3. Démontrer que F∩GF \cap G n'est pas réduit au vecteur nul.

4. Généraliser : démontrer que si dim⁡F+dim⁡G>dim⁡E\dim F+\dim G > \dim E, alors F∩G≠{0E}F \cap G \neq \{0_{E}\}.

Corrigé

1. D'une part G⊂F+GG \subset F+G, donc dim⁡(F+G)⩾dim⁡G=5\dim(F+G) \geqslant \dim G = 5. D'autre part F+G⊂EF+G \subset E, donc dim⁡(F+G)⩽6\dim(F+G) \leqslant 6. dim⁡(F+G)∈{5 ;6}\boxed{\dim(F+G) \in \{5 \,;6\}}

2. La formule de Grassmann donne dim⁡(F∩G)=dim⁡F+dim⁡G−dim⁡(F+G)=9−dim⁡(F+G)\dim(F \cap G)=\dim F+\dim G-\dim(F+G)=9-\dim(F+G). dim⁡(F∩G)∈{3 ;4}\boxed{\dim(F \cap G) \in \{3 \,;4\}}

3. Dans les deux cas, dim⁡(F∩G)⩾3>0\dim(F \cap G) \geqslant 3 > 0. F∩G≠{0E}\boxed{F \cap G \neq \{0_{E}\}}

4. Comme F+GF+G est un sous-espace de EE, on a dim⁡(F+G)⩽dim⁡E\dim(F+G) \leqslant \dim E, d'où par Grassmann : dim⁡(F∩G)=dim⁡F+dim⁡G−dim⁡(F+G)⩾dim⁡F+dim⁡G−dim⁡E>0\dim(F \cap G)=\dim F+\dim G-\dim(F+G) \geqslant \dim F+\dim G-\dim E > 0

dim⁡F+dim⁡G>dim⁡E  ⟹  F∩G≠{0E}\boxed{\dim F+\dim G > \dim E \;\Longrightarrow\; F \cap G \neq \{0_{E}\}} Autrement dit, deux sous-espaces « trop gros » se rencontrent nécessairement ailleurs qu'en 0E0_{E}.

Dans l'édifice

Thèmes

dimension, sous-espaces et dimension, formule de grassmann

Notions

dimension

Ouvrir dans l'atlas interactif →