Si f ◦ g ◦ f est bijective de E sur E, alors f et g le sont aussi.
Démonstration Par hypothèse, f est injective car (f ◦ g) ◦ f l'est, mais aussi surjective car f ◦ (g ◦ f ) l'est, donc bijective.
Par conséquent, f possède une réciproque f −1 que nous pouvons exploiter pour « défaire » f .
Définition.
On dit qu'une application linéaire f : Rn → Rm est injective si deux vecteurs différents ont des images différents surjective Si Im(f ) atteint tout l'espace d'arrivée Rm. bijective (ou bien un automorphisme) si n = m et que f est inversible.
f est injective (si et) seulement si X est l'ensemble vide ou s'il existe une application g : Y → X telle que g∘f soit égale à l'application identité sur X, c. -à-d. si et seulement si X est vide ou f est inversible à gauche.