ATLAS Ouvrir dans l'atlas →

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

Exercice 28

Démonstration

Soit EE un espace de dimension finie et f∈ℒ(E)f \in \mathcal{L}(E) tel que f3=idEf^{3} = \mathrm{id}_{E}.

1. Montrer que Im⁡(f−idE)⊂Ker (f2+f+idE)\operatorname{Im}(f - \mathrm{id}_{E}) \subset \mathrm{Ker}\,(f^{2} + f + \mathrm{id}_{E}).

2. Montrer que Im⁡(f−idE)\operatorname{Im}(f - \mathrm{id}_{E}) et Ker (f−idE)\mathrm{Ker}\,(f - \mathrm{id}_{E}) sont supplémentaires.

Corrigé

1. Les polynômes en ff commutent, et (f2+f+id)∘(f−id)=f3−id=0(f^{2} + f + \mathrm{id}) \circ (f - \mathrm{id}) = f^{3} - \mathrm{id} = 0 : tout vecteur de Im⁡(f−id)\operatorname{Im}(f - \mathrm{id}) est annulé par f2+f+idf^{2} + f + \mathrm{id}.

2. Soit x∈Im⁡(f−id)∩Ker (f−id)x \in \operatorname{Im}(f - \mathrm{id}) \cap \mathrm{Ker}\,(f - \mathrm{id}). Alors f(x)=xf(x) = x, donc f2(x)=xf^{2}(x) = x, et la question 1 donne x+x+x=0x + x + x = 0, soit x=0x = 0. Le théorème du rang appliqué à f−idf - \mathrm{id} donne dim⁡Im⁡(f−id)+dim⁡Ker (f−id)=dim⁡E,\dim\operatorname{Im}(f - \mathrm{id}) + \dim\mathrm{Ker}\,(f - \mathrm{id}) = \dim E, et la proposition 4 conclut. E=Im⁡(f−idE)⊕Ker (f−idE)\boxed{E = \operatorname{Im}(f - \mathrm{id}_{E}) \oplus \mathrm{Ker}\,(f - \mathrm{id}_{E})}

Ouvrir dans l'atlas interactif →