alors si on prend une fonction f continue sur un intervalle I et qui est strictement monotone sur I alors on dit que cette fonction réalise une bijection de I dans I.
en d'autre termes, pour tout réel appartenant à f(I) (qui est un intervalle par la strcite monotonie de f) il existe un unique antécédent appartenant à I par f.
(on peut aussi définir la notion de bijectivité avec les application injective et surjective (une fonction est bijective si elle est à la fois injective et surjective)).
par conséquent on peut définir la fonction g qui à tout réel de f(I) associe un unique réel de I.
g est appelé bijection réciproque. et on note
on a : f(x)=y x=g(y).
on déduit facilement que gof=id.
exemple: la bijection réciproque de la fonction exponentielle est la fonction logarithme népérien.
pour tout réel x, exp(x)=y x=ln(y) .
aussi f une bijection dérivable de I sur J.
soit a un réel de I tel que
alors la fonction
est dérivable en f(a) et :
je t'invite à consulter les cours sur le site où tu es nouvelment inscris depuis hier