Lexique

bijection
• Soit A et B deux ensembles. Une fonction f définie sur A est une bijection de A sur B si et seulement si tout élément de A a une image unique dans B et si tout élément de B a un antécédent unique dans A.
• Soit f une bijection de A sur B, x \in A et y \in B tels que y = f(x).
La fonction g définie pour tout élément y de B par x = g(y) est une bijection de B sur A appelée bijection réciproque de f et notée g = f 1−.
Ainsi, la fonction logarithme népérien est la réciproque de la fonction exponentielle.