Bijection réciproque

Bijection réciproque
Page d'aide sur l'homonymie Pour les articles homonymes, voir Réciproque (homonymie).

En mathématiques, la bijection réciproque d'une bijection f est l'application qui associe à chaque élément de l'ensemble d'arrivée son unique antécédent par f. On l'appelle parfois, par anglicisme, l'application inverse de f (voir Inverse (homonymie) Page d'aide sur l'homonymie).

Sommaire

Exemple

On considère[1] l'application f de R vers R définie par : f(x)=x3.

Pour chaque réel y, il y a un et un seul réel x tel que y=x3=f(x) (ainsi pour y = 8, le seul x convenable est 2, en revanche, pour y=-27 c'est -3). En termes mathématiques, on dit que x est l'unique antécédent de y et que f est une bijection.

On peut alors considérer l'application qui envoie y sur son antécédent, qu'on appelle dans cet exemple la racine cubique de y : c'est elle qu'on nomme la « réciproque » de la bijection f.

Si on tente d'effectuer la même construction pour la racine carrée et qu'on considère l'application g de R vers R définie par : g(x)=x2, les choses ne se passent pas si simplement ; en effet pour certaines valeurs de y il y a deux valeurs de x tels que g(x)=y (ainsi pour y=4, on peut choisir x=2 mais aussi x=-2, puisque 22=4 mais aussi (-2)2=4), tandis que pour d'autres choix de y aucun x ne convient (ainsi pour y=-1 l'équation x2=-1 n'a-t-elle aucune solution réelle). En termes mathématiques, on dit que g n'est ni injective ni surjective. Dans cet exemple, les définitions qui suivent ne permettent pas de parler de « bijection réciproque » (ni même d'« application réciproque ») de g.

Résultats généraux

Définition

La réciproque de la bijection ƒ de X vers Y, est la fonction ƒ–1 qui de Y retourne versX.

Si f 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 f. 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 f(g(y))=y. L'application g est une bijection, appelée bijection réciproque de f.

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

 g \circ f = Id_{X} et  f \circ g = Id_{Y} ,

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

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

Propriétés

Réciproque de la réciproque

La double propriété :  f^{-1} \circ f = Id_{X} et  f \circ f^{-1} = Id_{Y} montre que f est aussi la bijection réciproque de f − 1, c'est-à-dire que

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

Réciproque d'une composée

l'inverse de g o ƒ est ƒ–1 o g–1

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

(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 ƒ.

Involution

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

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

ou de toute symétrie orthogonale dans le plan.

De telles applications sont dites involutives.

Réciproque d'une fonction numérique

Existence

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 un bijection de I sur f(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.

Exemples

Fonction f(x) Départ et arrivée Fonction réciproque Départ et arrivée Notes
f(x) = xn  [0;+\infty[ \to [0;+\infty[ f^{-1}(x)=\sqrt[n]x  [0;+\infty[ \to [0;+\infty[ n entier naturel non nul
f(x) = ex \R \to ]0;+ \infty[ f − 1(x) = ln(x) ]0;+ \infty[\to \R
f(x) = ax \R \to ]0;+ \infty[ f − 1(x) = log a(x) ]0;+ \infty[\to \R a réel strictement positif
f(x) = xα  ]0;+\infty[ \to ]0;+\infty[ f − 1(x) = x1 / α  ]0;+\infty[ \to ]0;+\infty[ α réel non nul
f(x) = sin(x) [-\pi/2;\pi/2] \to [-1;1] f − 1(x) = arcsin(x) [-1;1] \to [-\pi/2;\pi/2]
f(x) = cos(x) [0;\pi] \to [-1;1] f − 1(x) = arccos(x) [-1;1] \to [0;\pi]
f(x) = tan(x) ]-\pi/2;\pi/2[ \to \R f − 1(x) = arctan(x) \R \to ]-\pi/2;\pi/2[

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

La fonction  f \colon x \mapsto x^2+3 est une bijection de ]- \infty;0] sur [3;+\infty[ et possède une application réciproque que l'on cherche à déterminer en résolvant l'équation :

x2 + 3 = y

pour y dans [3;\infty[

x2 = y − 3

puisque y \ge 3, cette équation possède deux solutions dont une seule appartenant à l'intervalle ]- \infty;0] :

x=-\sqrt{y-3}

Donc la réciproque de f est f − 1 définie par :

f^{-1}(y)=-\sqrt{y-3}

Cette recherche peut se révéler infructueuse et nécessiter la création d'une fonction nouvelle.

Graphe

Courbes d'équations y = ƒ(x) et y = ƒ–1(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 f alors y = f(x) donc x = f − 1(y) donc M'(y ; x) est un point du graphe de f − 1. Or le point M'(y ; x) est le symétrique du point M(x ; y) par rapport à la droite(d) d'équation y = x (encore appelée première bissectrice), pour les deux raisons suivantes :

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

On sait donc que s(M) est un point du graphe de f − 1. Un raisonnement analogue prouve que si M est un point du graphe de f − 1 alors s(M) est un point du graphe de f.

Continuité

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. On trouve une démonstration dans l'article Théorème d'inversion locale.

Dérivabilité

Si f est une fonction continue sur un intervalle I à valeurs dans un intervalle J et si f − 1 est sa réciproque, la fonction f − 1 est dérivable en tout point b tant que f admet en f − 1(b) une dérivée non nulle. La dérivée en b de f − 1 est alors

\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 :

\frac{dx}{dy} = \frac{1}{dy / dx} .

On trouve une démonstration dans l'article Opérations sur les dérivées.

Exemple de réciproque de transformation du plan

Les transformations du plans sont les applications bijectives du plan, il est donc intéressant d'en connaitre les réciproques, du moins pour les transformations de références

Transformation Transformation réciproque
Translation de vecteur \vec u Translation de vecteur - \vec  u
Symétrie de centre O ou d'axe (d) Symétrie de centre O ou d'axe (d)
Homothétie de centre C et de rapport k Homothétie de centre C et de rapport 1/k
Rotation de centre C et d'angle θ Rotation de centre C et d'angle - θ
Similitude directe de centre C, de rapport k et d'angle θ Similitude directe de centre C, de rapport 1/k et d'angle - θ
Similitude indirecte de centre C, de rapport k et d'axe (d); Similitude indirecte de centre C, de rapport 1/k et d'axe (d);
symétrie glissée d'axe (d) et de vecteur \vec u symétrie glissée d'axe (d) et de vecteur - \vec u
affinité d'axe (d) de direction (d') et de rapport k affinité d'axe (d) de direction (d') et de rapport 1/k

Réciproques en algèbre

En algèbre linéaire un morphisme de groupe, d'anneau, de corps, d'espace vectoriel bijectif admet une application réciproque qui est aussi un morphisme de même type. L'application et sa réciproque sont appelés des isomorphismes.

Dans le cas d'une application f linéaire d'un espace vectoriel E vers un espace vectoriel F, tous deux de dimension finie et munis de bases, f est bijective si et seulement si sa matrice M dans les bases fixées est une matrice carrée inversible. La matrice dans ces bases de la réciproque de f est alors la matrice inverse de M, notée M − 1.

Quelques concepts apparentés

Lorsque l'application f n'est pas bijective, il est possible de définir une relation réciproque définie sur f(X) \subset Y qui à tout élément de f(X) associe ses antécédents par f. Si f n'est pas injective, la relation créée n'est pas une application, on parle alors de réciproque multiforme. Si f est injective, la relation ainsi créée est bien l'application réciproque de f restreinte à l'ensemble d'arrivée f(X).

Pour certaines fonctions f non surjectives, il existe une fonction g telle que g \circ f = Id_E. Il suffit pour cela que f soit injective. On dit alors que g est un inverse à gauche pour f.

Pour certaines fonctions f non injectives, il existe une fonction g telle que f \circ g = Id_F. Il suffit pour cela que f soit surjective (en admettant l'axiome du choix).

Théorème d'inversion locale

Le théorème d'inversion locale précise les conditions d'existence locale d'une application réciproque pour une fonction f. C'est une généralisation d'un théorème simple sur les fonctions de la variable réelle.

Si f est définie sur un intervalle I et si a est un élément de I, si f possède en a une dérivée continue non nulle alors il existe un intervalle autour de a, Ia, et un intervalle autour de f(a), Jf(a) et une fonction f − 1 définie sur Jf(a) qui soit l'application réciproque de f restreinte à Ia . Cette application réciproque est aussi dérivable en f(a).

Le théorème d'inversion locale généralise cette propriété à des fonctions définies sur des espaces vectoriels réels de dimension finie. La condition « f'(a) non nulle » est alors remplacée par « le jacobien de f en a est non nul ». De plus, si f est de classe Ck, l'application réciproque l'est aussi.


Notes et références

  1. L'exemple de la racine cubique est celui choisi par Jacques Dixmier dans son Cours de mathématiques du 1er cycle, Gauthier-Villars, 1967, p. 9
  2. Ce choix de notation s'explique parce que la loi de composition \circ a beaucoup de propriétés communes avec une multiplication. C'est cependant un abus de notation assez grave pour que les logiciels de calcul formel séparent ces deux notions ; ainsi, Maple note l'inverse f^(-1) et la bijection réciproque f@@(-1).

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Bijection réciproque de Wikipédia en français (auteurs)

Игры ⚽ Поможем решить контрольную работу

Regardez d'autres dictionnaires:

  • bijection — [ biʒɛksjɔ̃ ] n. f. • mil. XXe; de bi et (in)jection ♦ Math. Application qui, à tout élément de l ensemble de départ, associe un et un seul élément de l ensemble d arrivée. Bijection d un ensemble sur un autre (⇒ équipotent) . ● bijection nom… …   Encyclopédie Universelle

  • Bijection — En mathématiques, une bijection est une application bijective. Une application est bijective si et seulement si tout élément de son ensemble d arrivée a un et un seul antécédent, c est à dire est image d exactement un élément de son ensemble de… …   Wikipédia en Français

  • réciproque — [ resiprɔk ] adj. et n. • 1380; lat. reciprocus I ♦ Adj. 1 ♦ Qui s exerce à la fois d un premier terme à un second et du second au premier (d une même relation, d un même rapport). ⇒ symétrique. Relations réciproques. ♢ Spécialt Qui implique,… …   Encyclopédie Universelle

  • Bijection de Joyal — La bijection de Joyal consiste à déplier , à l aide de la correspondance fondamentale de Foata, la partie cyclique d une application de dans pour en faire un arbre de Cayley. La bijection de Joyal permet de donner une démonstration élégante de la …   Wikipédia en Français

  • Image réciproque — L image réciproque d une partie B d un ensemble Y par une application f : X → Y est le sous ensemble de X constitué des éléments dont l image par f appartient à B : Sommaire 1 Exemples 2 …   Wikipédia en Français

  • Theoreme de la bijection — Théorème de la bijection En analyse réelle, on appelle théorème de la bijection un corollaire du théorème des valeurs intermédiaires prouvant l existence d une bijection entre deux ensembles. Cette version se complète dans le supérieur par des… …   Wikipédia en Français

  • Théorème de la bijection — En analyse réelle, le théorème de la bijection est un corollaire du théorème des valeurs intermédiaires, affirmant qu une fonction continue et strictement monotone sur un intervalle constitue une bijection entre cet intervalle et son image. Cette …   Wikipédia en Français

  • Application Réciproque — Pour les articles homonymes, voir Réciproque (homonymie). En mathématiques, une application réciproque est en des termes simples une fonction qui « fait exactement l inverse de ce que fait une application donnée ». L application… …   Wikipédia en Français

  • Application reciproque — Application réciproque Pour les articles homonymes, voir Réciproque (homonymie). En mathématiques, une application réciproque est en des termes simples une fonction qui « fait exactement l inverse de ce que fait une application donnée » …   Wikipédia en Français

  • Application réciproque — Pour les articles homonymes, voir Réciproque (homonymie). En mathématiques, une application réciproque est en des termes simples une fonction qui « fait exactement l inverse de ce que fait une application donnée ». L application… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”