CHAPITRE IV. APPLICATIONS LINÉAIRES 29
(i) IdEp est un projecteur.
(ii) Im p Ker IdEp .
(iii) Ker p Im IdEp .
(b) Soit p End E . Les conditions suivantes sont équivalentes :
(i) p est un projecteur de E.
(ii) IdEp est un projecteur de E.
(iii) E Ker p Ker IdEp .
Démonstration.
(a) (i) Soit pEnd Eun projecteur. Alors IdEpEnd Epar la Proposition 35(c). De plus,
IdEp2IdEpIdEpIdE2p p2IdE2p p IdEp.
(ii) Si xKer IdEp, alors p x x, d’où xIm p. Réciproquement, si xIm p, il existe y E
tel que p y x, donc x p y p2y p x , d’où xKer IdEp.
(iii) s’obtient par le (i) et en échangeant les rôles de pet IdEpdans le (ii).
(b) L’équivalence entre (i) et (ii) se déduit du (a). Montrons l’implication (i) (iii) : on a clairement que
Ker fIm f E. Réciproquement, si x E,
x x p x p x Ker fIm f, car p x p x p x p2x0E,
d’où EKer fIm fpar double inclusion. Ensuite, la somme Ker fIm fest directe : si x
Ker fIm f, il existe y E tel que p y x. Mais p x 0E, donc 0Ep x p2y p y x. On
a donc EKer pIm p, et le résultat se déduit du (a)(ii).
Montrons l’implication (iii) (i) : soit x E. Il existe alors yKer pet zKer IdEp(uniques)
tels que x y z. Par conséquent, p z z,p x p y z p z z, et p2x p z z p x .
L’endomorphisme pest donc un projecteur de E.
Comme nous allons voir maintenant, la notion de projecteur est fortement liée à celle de projection.
Définition. Soient Eun -espace vectoriel et F,Gdeux sous-espaces vectoriels de Etels que E F G.
On rappelle que tout x E s’écrit de façon unique sous la forme x y z, avec y F et z G. L’application
pF:E E
x y z y s’appelle projection sur F parallèlement à G (ou projection de base F et de direction G).
De même, l’application pG:E E
x y z z s’appelle projection sur G parallèlement à F.
Le théorème suivant caractérise les projecteurs de E.
Théorème 43 (Propriétés de projections).Soit E un -espace vectoriel.
(a) Soient F,G deux sous-espaces vectoriels de E tels que E F G.