ATLAS Ouvrir dans l'atlas →

ExerciceMaths approfondies, chapitre 8 — Dimension finie · Sous-espaces et dimension

Exercice 8

Démonstration

Soit FF un sous-espace vectoriel de ℝ3\mathbb{R}^{3}.

1. Justifier que dim⁡F\dim F appartient à {0 ;1 ;2 ;3}\{0 \,;1 \,;2 \,;3\}.

2. Décrire géométriquement FF dans chacun des quatre cas.

3. Combien ℝ3\mathbb{R}^{3} possède-t-il de sous-espaces de dimension 33 ? de dimension 00 ?

4. Énoncer le résultat analogue pour ℝ2\mathbb{R}^{2}.

Corrigé

1. L'espace ℝ3\mathbb{R}^{3} est de dimension 33, donc la proposition 2 donne dim⁡F⩽3\dim F \leqslant 3. Comme une dimension est un entier naturel : dim⁡F∈{0 ;1 ;2 ;3}\boxed{\dim F \in \{0 \,;1 \,;2 \,;3\}}

2. On décrit chaque cas.

• dim⁡F=0\dim F = 0 : F={0E}F=\{0_{E}\}, réduit au vecteur nul.

• dim⁡F=1\dim F = 1 : F=Vect(u)F=\mathrm{Vect}(u) avec u≠0Eu \neq 0_{E}, une droite vectorielle.

• dim⁡F=2\dim F = 2 : F=Vect(u ;v)F=\mathrm{Vect}(u\,;v) avec (u ;v)(u\,;v) libre, un plan vectoriel.

• dim⁡F=3\dim F = 3 : d'après la proposition 2, F=ℝ3F=\mathbb{R}^{3}.

3. La proposition 2 impose l'unicité dans les deux cas extrêmes : Un seul de dimension 3 (l’espace ℝ3 lui-meˆme), et un seul de dimension 0 ({0E}).\boxed{\text{Un seul de dimension } 3 \text{ (l'espace } \mathbb{R}^{3} \text{ lui-même), et un seul de dimension } 0 \text{ (}\{0_{E}\}\text{).}}

4. Le même raisonnement, avec dim⁡ℝ2=2\dim \mathbb{R}^{2}=2, donne : Les sous-espaces de ℝ2 sont {0E}, les droites vectorielles, et ℝ2.\boxed{\text{Les sous-espaces de } \mathbb{R}^{2} \text{ sont } \{0_{E}\}, \text{ les droites vectorielles, et } \mathbb{R}^{2}.}

Dans l'édifice

Thèmes

dimension, sous-espaces et dimension

Notions

dimension

Ouvrir dans l'atlas interactif →