Les applications

Pour continuer à se familiariser : Injective, surjective et bijective - Exercice 1

30 min
45
Un deuxième exercice pour s'habituer à caractériser une application.
On considère l'application f:{ERFRxy=f(x)=x2f : \left\lbrace \begin{array}{rcl} E \subset \mathbb{R} & \longrightarrow & F \subset \mathbb{R} \\ x & \longmapsto & y = f(x) = x^2 \\ \end{array} \right..
Déterminer les plus grands intervalles EE et FF possibles qui permettent d'affirmer que cette application ff
Question 1

n'est pas injective.

Correction
Si nous choisissons E=F=RE = F = \mathbb{R} alors l'application ff n'est pas injective car une image peut conduire à deux antécédents distincts.
Par exemple, l'image y=x2=4y = x^2 = 4 va conduire à x=2x = 2 ou x=2x = -2.
Question 2

n'est pas surjective.

Correction
Si nous choisissons E=F=RE = F = \mathbb{R} alors l'application ff n'est pas surjective car des images peuvent ne pas avoir d'antécédent par ff.
Par exemple, l'image y=x2=4y = x^2 = -4 va conduire à aucun antécédent possible dans R\mathbb{R}.
Question 3

est injective et non surjective.

Correction
Si nous choisissons E=R+E = \mathbb{R}^+ (ou E=RE = \mathbb{R}^-) et F=RF = \mathbb{R} alors l'application ff est bien injective et n'est pas surjective.
En effet, sur E=R+E = \mathbb{R}^+, deux antécédents différents conduisent à des images différentes.
Puis, l'image y=x2=4y = x^2 = -4 va conduire à aucun antécédent possible dans R\mathbb{R}.
Question 4

est non injective et surjective.

Correction
Si nous choisissons E=RE = \mathbb{R} et F=R+F = \mathbb{R}^+ alors l'application ff est bien surjective et n'est pas injective.
Par exemple, l'image y=x2=4y = x^2 = 4 va conduire à x=2x = 2 ou x=2x = -2 donc ff est non injective.
Puis, si yF=R+y \in F = \mathbb{R}^+ alors il y toujours au moins un antécédent de possible par ff et de fait ff est bien surjective.
Question 5

est bijective.

Correction
Il y a deux possibilité pour que l'application ff soit bijective :
\bullet \,\, on peut choisir E=F=R+E = F = \mathbb{R}^+ ;
\bullet \bullet \,\, on peut également choisir E=RE = \mathbb{R}^- et F=R+F = \mathbb{R}^+.
En effet, avec ces deux choix, à chaque image yF=R+y \in F = \mathbb{R}^+ il y toujours un unique antécédent de possible par ff et de fait ff est bien bijective.