next up previous contents
suivant : B.3 Raisonnements par récurrence remonter : B.2 Ensembles précédent : B.2.8 Classification des applications

B.2.9 Application réciproque

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

Théorème B.2.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$.


next up previous contents
suivant : B.3 Raisonnements par récurrence remonter : B.2 Ensembles précédent : B.2.8 Classification des applications
Alexandre
2009-07-20