ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 15 — Dimension finie et rang · Applications linéaires en dimension finie

Exercice 30

Démonstration

Soit EE un espace de dimension finie et uu, v∈ℒ(E)v \in \mathcal{L}(E) tels que Ker u+Ker v=Im⁡u+Im⁡v=E\mathrm{Ker}\, u + \mathrm{Ker}\, v = \operatorname{Im} u + \operatorname{Im} v = E.

1. Montrer que les deux sommes sont directes.

2. Montrer par un contre-exemple que le résultat cesse d'être vrai si EE n'est plus de dimension finie.

Corrigé

1. Notons n=dim⁡En = \dim E. Par la formule de Grassmann, les hypothèses donnent dim⁡Ker u+dim⁡Ker v⩾netdim⁡Im⁡u+dim⁡Im⁡v⩾n.\dim\mathrm{Ker}\, u + \dim\mathrm{Ker}\, v \geqslant n \qquad\text{et}\qquad \dim\operatorname{Im} u + \dim\operatorname{Im} v \geqslant n. Or le théorème du rang, appliqué à uu et à vv, montre que la somme de ces quatre dimensions vaut exactement 2n2n. Les deux inégalités sont donc des égalités, et la formule de Grassmann donne dim⁡(Ker u∩Ker v)=0\dim(\mathrm{Ker}\, u \cap \mathrm{Ker}\, v) = 0 et dim⁡(Im⁡u∩Im⁡v)=0\dim(\operatorname{Im} u \cap \operatorname{Im} v) = 0. E=Ker u⊕Ker v=Im⁡u⊕Im⁡v\boxed{E = \mathrm{Ker}\, u \oplus \mathrm{Ker}\, v = \operatorname{Im} u \oplus \operatorname{Im} v}

2. Dans E=𝕂[X]E = \mathbb{K}[X], on prend u=Du = D, la dérivation, et v:P↦P(0)v : P \mapsto P(0), à valeurs dans les constantes. On a Ker u=𝕂0[X]\mathrm{Ker}\, u = \mathbb{K}_{0}[X] et Ker v=X𝕂[X]\mathrm{Ker}\, v = X\mathbb{K}[X], de somme EE ; Im⁡u=𝕂[X]\operatorname{Im} u = \mathbb{K}[X], donc Im⁡u+Im⁡v=E\operatorname{Im} u + \operatorname{Im} v = E. Mais Im⁡u∩Im⁡v=𝕂0[X]≠{0}\operatorname{Im} u \cap \operatorname{Im} v = \mathbb{K}_{0}[X] \neq \{0\} : la seconde somme n'est pas directe.

Dans l'édifice

Thèmes

théorème du rang, dimension

Notions

rang, dimension

Ouvrir dans l'atlas interactif →