Sens 2) ⇒ 1)
Supposons qu’il existe un projecteur p tel que
f=p∘f−f∘p. Nous allons montrer que cette relation entraîne f2=0.
Première étape : montrer que f(Ker p) ⊂ Im p
Montrons tout d’abord que
f(kerp)⊂Imp. Soit x∈kerp. La relation
f=p∘f−f∘p peut se réécrire
p∘f=f+f∘p. En évaluant cette égalité en x, on obtient
p(f(x))=f(x)+f(p(x)). Or x∈kerp, donc p(x)=0. Ainsi,
p(f(x))=f(x). Le vecteur f(x) est donc invariant par le projecteur p. Or les vecteurs invariants par un projecteur sont exactement les vecteurs de son image. Par conséquent,
f(kerp)⊂Imp. Deuxième étape : montrer que Im p ⊂ Ker f
Montrons maintenant que
Imp⊂kerf. Soit x∈Imp. Puisque p est un projecteur, tout vecteur de son image est invariant par p. On a donc
En utilisant de nouveau la relation
f=p∘f−f∘p, on obtient
f(x)=p(f(x))−f(p(x))=p(f(x))−f(x). Ainsi,
2f(x)=p(f(x)). Cette égalité montre en particulier que f(x)∈Imp, puisque p(f(x))∈Imp.
Comme f(x)∈Imp et que p est un projecteur, on a alors
p(f(x))=f(x). L’égalité précédente devient donc
2f(x)=f(x), d’où
Ainsi,
Imp⊂kerf. Troisième étape : en déduire f² = 0
En déduisons maintenant que f2=0.
Soit x∈E. Comme p est un projecteur, on peut écrire
x=p(x)+(x−p(x)). D’une part,
p(x)∈Imp⊂kerf, donc
f(p(x))=0. D’autre part,
p(x−p(x))=p(x)−p2(x)=p(x)−p(x)=0. Ainsi,
x−p(x)∈kerp. D’après la première inclusion démontrée précédemment,
f(x−p(x))∈Imp. Puis, grâce à la deuxième inclusion,
Imp⊂kerf, donc
f(x−p(x))∈kerf. Or
f(x)=f(p(x))+f(x−p(x))=f(x−p(x)). On en déduit que f(x)∈kerf, c’est-à-dire
f2(x)=0. Cette égalité étant vraie pour tout x∈E, on obtient finalement
f2=0. Nous avons donc démontré le sens
2)⟹1). Sens 1) ⇒ 2) : réciproque
Passons maintenant à la réciproque. Supposons
Première étape : utiliser Im f ⊂ Ker f
Pour tout x∈E, on a
f(f(x))=f2(x)=0. Ainsi, tout vecteur de Imf appartient à kerf. On a donc
Imf⊂kerf. Deuxième étape : construire le projecteur p
Puisque E est de dimension finie, on peut choisir un supplémentaire F de Imf dans E, de sorte que
E=Imf⊕F. Notons p le projecteur sur Imf parallèlement à F. On a alors
Imp=Imf. Troisième étape : vérifier f = p ∘ f − f ∘ p
Pour tout x∈E, le vecteur f(x) appartient à Imf=Imp. Il est donc invariant par le projecteur p. Ainsi,
p(f(x))=f(x). Autrement dit,
D’autre part,
Imp=Imf⊂kerf. Par conséquent, pour tout x∈E,
f(p(x))=0, c’est-à-dire
Finalement,
p∘f−f∘p=f−0=f. Il existe donc bien un projecteur p tel que
f=p∘f−f∘p. Nous avons ainsi démontré le sens
1)⟹2). Conclusion
Les deux implications étant démontrées, on obtient bien l’équivalence
f2=0⟺∃p projecteur tel que f=p∘f−f∘p.