ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 15 — Dimension finie et rang · Sous-espaces et dimension

Exercice 21

Démonstration

Soit EE un espace de dimension finie.

1. Montrer que si FF et GG sont deux sous-espaces de EE tels que dim⁡F+dim⁡G>dim⁡E\dim F + \dim G > \dim E, alors F∩G≠{0}F \cap G \neq \{0\}.

2. Soit FF, GG, HH trois sous-espaces de EE. Donner une condition sur dim⁡F+dim⁡G+dim⁡H\dim F + \dim G + \dim H garantissant que F∩G∩H≠{0}F \cap G \cap H \neq \{0\}.

Corrigé

1. Par la formule de 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.

2. En appliquant deux fois la même inégalité, avec n=dim⁡En = \dim E, dim⁡(F∩G∩H)⩾dim⁡(F∩G)+dim⁡H−n⩾dim⁡F+dim⁡G+dim⁡H−2n.\dim(F \cap G \cap H) \geqslant \dim(F \cap G) + \dim H - n \geqslant \dim F + \dim G + \dim H - 2n.

dim⁡F+dim⁡G+dim⁡H>2dim⁡E  ⟹  F∩G∩H≠{0}\boxed{\dim F + \dim G + \dim H > 2\dim E \implies F \cap G \cap H \neq \{0\}}

Dans l'édifice

Thèmes

sous-espaces et dimension, dimension, formule de grassmann

Notions

dimension

Ouvrir dans l'atlas interactif →