suivant : 1.4 Equations remonter : 1.3 Applications précédent : 1.3.3 Classification des applications

1.3.4 Application réciproque

Soit $f : A \longrightarrow B$ une application bijective.

Théorème 1.3.1   Il existe une unique fonction $f^{-1}$, appelée application réciproque de f, telle que pour tous $x \in A$, $y \in B$ tels que $f(x) = y$, on ait $f^{-1}(y) = x$.

On remarque que $f \circ f^{-1} = f^{-1} \circ f = id$.