ATLAS Ouvrir dans l'atlas →

ExerciceMaths approfondies, chapitre 2 — Applications · Injectivité, surjectivité, bijectivité

Exercice 11

Calcul

On considère les cinq applications suivantes, qui se calculent toutes de la même façon.

1. f1:ℝ⟶ℝx⟼x2\begin{array}{r|ccl} f_{1} : & \mathbb{R} & \longrightarrow & \mathbb{R} \\ & x & \longmapsto & x^{2} \end{array}

2. f2:ℝ⟶ℝ+x⟼x2\begin{array}{r|ccl} f_{2} : & \mathbb{R} & \longrightarrow & \mathbb{R}_{+} \\ & x & \longmapsto & x^{2} \end{array}

3. f3:ℝ+⟶ℝx⟼x2\begin{array}{r|ccl} f_{3} : & \mathbb{R}_{+} & \longrightarrow & \mathbb{R} \\ & x & \longmapsto & x^{2} \end{array}

4. f4:ℝ+⟶ℝ+x⟼x2\begin{array}{r|ccl} f_{4} : & \mathbb{R}_{+} & \longrightarrow & \mathbb{R}_{+} \\ & x & \longmapsto & x^{2} \end{array}

5. f5:ℝ−⟶ℝ+x⟼x2\begin{array}{r|ccl} f_{5} : & \mathbb{R}_{-} & \longrightarrow & \mathbb{R}_{+} \\ & x & \longmapsto & x^{2} \end{array}

1. Pour chacune, déterminer si elle est injective, surjective, bijective.

2. Préciser la bijection réciproque lorsqu'elle existe.

3. Quelle conclusion générale tirer de cet exercice ?

Corrigé

1. et 2. On rassemble les résultats.

DeˊpartArriveˊeInjectiveSurjectiveReˊciproquef1ℝℝnonnon—f2ℝℝ+nonoui—f3ℝ+ℝouinon—f4ℝ+ℝ+ouiouiy↦yf5ℝ−ℝ+ouiouiy↦−y\begin{array}{|c|c|c|c|c|c|} \hline & \text{Départ} & \text{Arrivée} & \text{Injective} & \text{Surjective} & \text{Réciproque} \\ \hline f_{1} & \mathbb{R} & \mathbb{R} & \text{non} & \text{non} & \text{---} \\ \hline f_{2} & \mathbb{R} & \mathbb{R}_{+} & \text{non} & \text{oui} & \text{---} \\ \hline f_{3} & \mathbb{R}_{+} & \mathbb{R} & \text{oui} & \text{non} & \text{---} \\ \hline f_{4} & \mathbb{R}_{+} & \mathbb{R}_{+} & \text{oui} & \text{oui} & y \mapsto \sqrt{y} \\ \hline f_{5} & \mathbb{R}_{-} & \mathbb{R}_{+} & \text{oui} & \text{oui} & y \mapsto -\sqrt{y} \\ \hline \end{array}

Justifions les points essentiels.

• Défaut d'injectivité pour f1f_{1} et f2f_{2} : on a (−1)2=12(-1)^{2}=1^{2}, et −1-1 comme 11 appartiennent à ℝ\mathbb{R}.

• Injectivité de f3f_{3}, f4f_{4} et f5f_{5} : si x2=x′2x^{2}=x'^{2} avec xx et x′x' de même signe, alors x=x′x=x'.

• Défaut de surjectivité pour f1f_{1} et f3f_{3} : le réel −1-1 n'a pas d'antécédent.

• Surjectivité de f2f_{2}, f4f_{4} et f5f_{5} : pour y∈ℝ+y \in \mathbb{R}_{+}, le réel y\sqrt{y} (respectivement −y-\sqrt{y}) est un antécédent situé dans l'ensemble de départ.

3. On tire de ce tableau la conclusion générale : L’injectiviteˊ et la surjectiviteˊ ne deˊpendent pas de la formule, mais du triplet(deˊpart, arriveˊe, graphe). Restreindre l’arriveˊe peut creˊer la surjectiviteˊ,restreindre le deˊpart peut creˊer l’injectiviteˊ.\boxed{\begin{array}{l} \text{L'injectivité et la surjectivité ne dépendent pas de la formule, mais du triplet} \\[1mm] \text{(départ, arrivée, graphe). Restreindre l'arrivée peut créer la surjectivité,} \\[1mm] \text{restreindre le départ peut créer l'injectivité.} \end{array}} C'est exactement ce que le cours illustre avec la fonction sinus.

Ouvrir dans l'atlas interactif →