Expliciter une famille génératrice, puis une base, de l'image.
Choisissez une approche :
En calculant l'image d'une famille génératrice de EEE
Méthode par théorème : les images d'une famille génératrice engendrent Im f\mathrm{Im}\,fImf.