Bijection réciproque

La réciproque de la bijection ƒ de X vers Y est la fonction ƒ⁻¹ qui de Y retourne vers X.

Si ƒ est une bijection d'un ensemble X vers un ensemble Y, cela veut dire (par définition des bijections) que tout élément y de Y possède un antécédent et un seul par ƒ. On peut donc définir une application g allant de Y vers X, qui à y associe son unique antécédent, c'est-à-dire que

ƒ(g(y)) = y.

L'application g est une bijection, appelée bijection réciproque de ƒ.

De façon plus générale, et en utilisant les notations fonctionnelles, si ƒ est une application d'un ensemble X vers un ensemble Y et s'il existe une application g de Y vers X telle que :

${\displaystyle g\circ f=\operatorname {Id} _{\mathrm {X} }}$ et ${\displaystyle f\circ g=\operatorname {Id} _{\mathrm {Y} }}$,

alors ƒ et g sont des bijections, et g est la bijection réciproque de ƒ.

La bijection réciproque de ƒ est souvent notée[2] ƒ⁻¹, en prenant garde à la confusion possible avec la notation des exposants négatifs, pour laquelle on a x⁻¹ = 1/x.

La double propriété :

${\displaystyle f^{-1}\circ f=\operatorname {Id} _{\mathrm {X} }}$ et ${\displaystyle f\circ f^{-1}=\operatorname {Id} _{\mathrm {Y} }}$

montre que ƒ est aussi la bijection réciproque de ƒ⁻¹, c'est-à-dire que

${\displaystyle \left(f^{-1}\right)^{-1}=f.}$

La réciproque de g ∘ ƒ est ƒ⁻¹ ∘ g⁻¹.

La réciproque de la composée de deux bijections est donnée par la formule

${\displaystyle (g\circ f)^{-1}=f^{-1}\circ g^{-1}.}$

On peut remarquer que l'ordre de ƒ et g a été inversé ; pour « défaire » ƒ suivi de g, il faut d'abord « défaire » g puis « défaire » ƒ.

Certaines bijections de E vers E sont leur propre réciproque, c'est le cas par exemple de l'application inverse

${\displaystyle {\begin{matrix}f:&\mathbb {R} ^{*}&\to &\mathbb {R} ^{*}\\&x&\mapsto &{\frac {1}{x}}\end{matrix}}}$

ou de toute symétrie orthogonale dans le plan.

De telles applications sont dites involutives.

Le théorème des valeurs intermédiaires et son corollaire, le théorème de la bijection, assurent que toute application continue strictement monotone sur un intervalle I détermine une bijection de I sur ƒ(I) = J et que J est aussi un intervalle. Cela signifie qu'une telle fonction possède une application réciproque définie sur J à valeurs dans I.

Cette propriété permet la création de nouvelles fonctions définies comme application réciproque de fonctions usuelles.

Fonction ƒ(x)	Départ et arrivée	Fonction réciproque	Départ et arrivée	Notes
${\displaystyle f(x)=x^{n}}$	${\displaystyle [0,+\infty [\to [0,+\infty [}$	${\displaystyle f^{-1}(x)={\sqrt[{n}]{x}}}$	${\displaystyle [0,+\infty [\to [0,+\infty [}$	${\displaystyle n}$ entier naturel non nul
${\displaystyle f(x)=e^{x}}$	${\displaystyle \mathbb {R} \to ]0,+\infty [}$	${\displaystyle f^{-1}(x)=\ln(x)}$	${\displaystyle ]0,+\infty [\to \mathbb {R} }$
${\displaystyle f(x)=a^{x}}$	${\displaystyle \mathbb {R} \to ]0,+\infty [}$	${\displaystyle f^{-1}(x)=\log _{a}(x)}$	${\displaystyle ]0,+\infty [\to \mathbb {R} }$	${\displaystyle a}$ réel strictement positif
${\displaystyle f(x)=x^{\alpha }}$	${\displaystyle ]0,+\infty [\to ]0,+\infty [}$	${\displaystyle f^{-1}(x)=x^{1/\alpha }}$	${\displaystyle ]0,+\infty [\to ]0,+\infty [}$	${\displaystyle \alpha }$ réel non nul
${\displaystyle f(x)=\sin(x)}$	${\displaystyle [-\pi /2,\pi /2]\to [-1,1]}$	${\displaystyle f^{-1}(x)=\arcsin(x)}$	${\displaystyle [-1,1]\to [-\pi /2,\pi /2]}$
${\displaystyle f(x)=\cos(x)}$	${\displaystyle [0,\pi ]\to [-1,1]}$	${\displaystyle f^{-1}(x)=\arccos(x)}$	${\displaystyle [-1,1]\to [0,\pi ]}$
${\displaystyle f(x)=\tan(x)}$	${\displaystyle ]-\pi /2,\pi /2[\to \mathbb {R} }$	${\displaystyle f^{-1}(x)=\arctan(x)}$	${\displaystyle \mathbb {R} \to ]-\pi /2,\pi /2[}$

À l'aide de ces fonctions, la recherche de l'application réciproque consiste à résoudre l'équation ƒ(x) = y, d'inconnue x :

La fonction ${\displaystyle f\colon x\mapsto x^{2}+3}$ est une bijection de ]–∞, 0] sur [3, +∞[ et possède une application réciproque que l'on cherche à déterminer en résolvant, pour y dans [3, +∞[, l'équation x² + 3 = y, ou encore x² = y – 3. Puisque y ≥ 3, cette équation possède deux solutions dont une seule appartenant à l'intervalle ]–∞, 0] : x = –√y – 3. Donc la réciproque de ƒ est ƒ⁻¹ définie par ƒ⁻¹(y) = –√y – 3.

Cette recherche peut se révéler infructueuse et nécessiter la création d'une fonction nouvelle. Ainsi, la fonction ${\displaystyle f:x\mapsto f(x)=xe^{x}}$ est une bijection de [0, +∞[ vers [0, +∞[ ; l'équation correspondante ${\displaystyle y=xe^{x}}$ n'a pas de solution exprimable à l'aide des fonctions usuelles, ce qui oblige, pour exprimer x = ƒ⁻¹(y), à définir une nouvelle fonction, la fonction W de Lambert.

Courbes d'équations y = ƒ(x) et y = ƒ⁻¹(x). la droite en pointillés a pour équation y = x.

Lorsque deux fonctions sont réciproques l'une de l'autre, alors leurs représentations graphiques dans un plan muni d'un repère orthonormal sont symétriques l'une de l'autre par rapport à la droite (D) d'équation y = x (appelée aussi première bissectrice).

En effet, si M(x, y) est un point du graphe de ƒ, alors y = ƒ(x) donc x = ƒ⁻¹(y) donc M'(y, x) est un point du graphe de ƒ⁻¹. Or le point M'(y, x) est le symétrique du point M(x, y) par rapport à la droite (D), pour les deux raisons suivantes :

Le milieu du segment [M, M'] est sur la droite (D), et d'autre part, le vecteur ${\displaystyle {\overrightarrow {\mathrm {MM} '}}}$ est orthogonal au vecteur de coordonnées (1, 1), qui est un vecteur directeur de la droite (D) (leur produit scalaire canonique est nul).

On sait donc que s(M) est un point du graphe de ƒ⁻¹. Un raisonnement analogue prouve que si M est un point du graphe de ƒ⁻¹, alors s(M) est un point du graphe de ƒ.

En général, la réciproque d'une fonction continue n'est pas continue mais la réciproque d'une fonction continue sur un intervalle I à valeurs dans un intervalle J est une fonction continue sur J, selon le théorème de la bijection.

Si ${\displaystyle f}$ est une fonction continue sur un intervalle ${\displaystyle I}$ à valeurs dans un intervalle ${\displaystyle J}$ et si ${\displaystyle f^{-1}}$ est sa réciproque, la fonction ${\displaystyle f^{-1}}$ est dérivable en tout point ${\displaystyle b}$ tant que ${\displaystyle f}$ admet en ${\displaystyle f^{-1}(b)}$ une dérivée non nulle.

La dérivée en ${\displaystyle b}$ de ${\displaystyle f^{-1}}$ est alors

${\displaystyle {\frac {1}{f'\left(f^{-1}(b)\right)}}}$.

Un moyen simple de comprendre, mais non de démontrer, ce phénomène est d'utiliser les notations différentielles et de remarquer que :

${\displaystyle {\frac {{\rm {d}}x}{{\rm {d}}y}}={\frac {1}{{\rm {d}}y/{\rm {d}}x}}{\text{.}}}$

On trouve une démonstration dans l'article Dérivée et opérations sur Wikiversité.

Il n'est pas toujours possible de déterminer la réciproque de manière analytique : on sait calculer ${\displaystyle f(x)}$, mais on ne sait pas calculer ${\displaystyle f^{-1}(y)}$. Il faut alors utiliser une méthode graphique ou numérique.

La méthode graphique consiste à tracer la courbe représentative ${\displaystyle y=f(x)}$. On trace la droite d'ordonnée ${\displaystyle y}$ concernée, on recherche l'intersection de cette droite avec la courbe, et l'on trace la droite parallèle à l'axe des ordonnées passant par cette intersection. Le point d'intersection de cette droite avec l'axe des abscisses donne la valeur ${\displaystyle x}$ recherchée. C'est le principe d'un grand nombre d'abaques.

Numériquement, rechercher ${\displaystyle f^{-1}(y)}$ revient à rechercher les racines de la fonction

${\displaystyle g(x)=f(x)-y.}$

Si l'on sait que le domaine de recherche — intervalle des x possibles — est « restreint » et que la fonction est dérivable sur cet intervalle, on peut linéariser la fonction, c'est-à-dire la remplacer par une fonction affine obtenue par un développement limité

${\displaystyle g(x)\simeq g(x_{0})+g'(x_{0})(x-x_{0}).}$

On a ainsi une approximation de la solution, si ${\displaystyle g'(x_{0})\neq 0}$ :

${\displaystyle f^{-1}(y)\simeq x_{0}-{\frac {g(x_{0})}{g'(x_{0})}}.}$

C'est la démarche de l'algorithme de Newton, mais avec une seule itération.

On peut également utiliser une fonction d'approximation plus complexe mais néanmoins inversible.