ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 2 — Applications et relations binaires · Injections, surjections, bijections

Exercice 15

DémonstrationCalcul

On considère l'application f:ℝ⟶ℝx⟼2x1+x2\begin{array}{r|ccl} f : & \mathbb{R} & \longrightarrow & \mathbb{R} \\ & x & \longmapsto & \dfrac{2x}{1 + x^{2}} \end{array}

1. L'application ff est-elle injective ? surjective ?

2. Montrer que f(ℝ)=[−1 ,1]f(\mathbb{R}) = [-1\,,1].

3. Montrer que l'application g:[−1 ,1]⟶[−1 ,1]x⟼f(x)\begin{array}{r|ccl} g : & [-1\,,1] & \longrightarrow & [-1\,,1] \\ & x & \longmapsto & f(x) \end{array} est bijective, et déterminer g−1g^{-1}.

Corrigé

1. On a f(2)=f(12)=45f(2) = f\big(\frac{1}{2}\big) = \frac{4}{5}, donc ff n'est pas injective. On verra à la question 2 que ff ne prend aucune valeur hors de [−1 ,1][-1\,,1]. f n’est ni injective ni surjective.\boxed{f \text{ n'est ni injective ni surjective.}}

2. Pour tout réel xx, (1−∣x∣)2⩾0(1 - |x|)^{2} \geqslant 0 donne 2∣x∣⩽1+x22|x| \leqslant 1 + x^{2}, donc ∣f(x)∣⩽1|f(x)| \leqslant 1. Réciproquement, soit y∈[−1 ,1]y \in [-1\,,1]. Si y=0y = 0, il est atteint en 00. Sinon, l'équation f(x)=yf(x) = y équivaut à yx2−2x+y=0yx^{2} - 2x + y = 0, de discriminant 4(1−y2)⩾04(1 - y^{2}) \geqslant 0 : elle a au moins une solution réelle. f(ℝ)=[−1 ,1]\boxed{f(\mathbb{R}) = [-1\,,1]}

3. Soit y∈[−1 ,1]∖{0}y \in [-1\,,1] \setminus \{0\}. Les racines de yx2−2x+yyx^{2} - 2x + y ont pour produit 11. Si ∣y∣<1|y| < 1, elles sont distinctes, et une seule est dans [−1 ,1][-1\,,1] ; si y=±1y = \pm 1, il y a la racine double ±1\pm 1. Dans tous les cas, l'équation g(x)=yg(x) = y a une unique solution dans [−1 ,1][-1\,,1], la racine de plus petit module : x=1−1−y2y=y1+1−y2.x = \frac{1 - \sqrt{1 - y^{2}}}{y} = \frac{y}{1 + \sqrt{1 - y^{2}}}. La seconde écriture, obtenue en multipliant par la quantité conjuguée, convient aussi pour y=0y = 0, dont l'unique antécédent dans [−1 ,1][-1\,,1] est 00. g−1(y)=y1+1−y2\boxed{g^{-1}(y) = \frac{y}{1 + \sqrt{1 - y^{2}}}} À retenir : restreindre à la fois l'ensemble de départ et l'ensemble d'arrivée permet de rendre bijective une application qui ne l'est pas. On reverra cette fonction dans le chapitre de trigonométrie, puisque f(tan⁡θ2)=sin⁡θf(\tan\frac{\theta}{2}) = \sin\theta.

Dans l'édifice

Thèmes

injections, surjections, bijections, injectivité, surjectivité, bijections

Notions

injection, surjection, bijection

Ouvrir dans l'atlas interactif →