Attention à bien définir tout ça correctement.
On considere les deux fonctions:

et
 \end{array})
(les domaines sont importants)
alors f et g sont des bijections (admis ici)
(voir article de wikipedia, pose des questions si tu cromprends pas)
Si h:E---> F est une bijection, on peut définir une application réciproque, que l'on note

C'est l'unique application definit de F dans E qui vérifie
Pour tout x dans E
=x)
et pour tout y dans F
=y)
L'application réciproque c'est en faite l'application qui fait "marche arriere"
Avec h on associe à x , un element y.

associe à cet element y=h(x) , l'element x
(réciproquement, l'existence d'une application réciproque à une application h
implique la bijectivité de h.)
Revenons alors aux fonctions f et g.
Soit x dans

, alors
=g\left(f(x)\right)=ln\left(e^{x} \right)=x)
Soit y dans

alors
=f\left(g(y)\right)=e^{ln(y)}=y)
donc

et

(Et cela démontre au passage la bijection de ces deux fonctions)
EDIT:
J'ai utilisé un coup application, un coup fonction , comprend fonction partout si tu préferes (application est plus generale)