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.
La fonction qui à une personne associe sa date de naissance n'est pas injective.
Avec des quantificateurs, on a la définition suivante : f:E→F f : E → F est injective si pour tous a,b de E , f(a)=f(b) f ( a ) = f ( b ) entraîne a=b .