On suppose f non bijective
soit E un Rev de dim n sup ou égal à 2 et f une application linéaire de E avec f^0=IdE, f^(q+1)=fof^q
on supp quil existe q nombre entier positif non nul tq E= ker(f^q)+Im(f^q) somme direct.
montrons que f:Im(f^q)-->Im(f^(q+1))
x-->f(x)
est bien définie et est un isomorphisme
b) montrer que Im(f^(q+1))=Im(f^q)
c) et que ker(f^q)=ker(f^(q+1))
-----