ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 2 — Applications et relations binaires · Image directe et image réciproque

Exercice 6

Calcul

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

1. Déterminer f([0 ,1])f([0\,,1]), f(ℝ−)f(\mathbb{R}_{-}), f(ℝ+)f(\mathbb{R}_{+}) et f([−2 ,2])f([-2\,,2]).

2. Déterminer f−1({1})f^{-1}(\{1\}), f−1({−1})f^{-1}(\{-1\}), f−1([0 ,1])f^{-1}([0\,,1]) et f−1([−2 ,1])f^{-1}([-2\,,1]).

3. On note Φ:𝒫(ℝ)→𝒫(ℝ)\Phi : \mathcal{P}(\mathbb{R}) \to \mathcal{P}(\mathbb{R}) l'application A↦f(A)A \mapsto f(A). Est-elle injective ? surjective ? On en déterminera l'image.

Corrigé

On met d'abord ff sous forme canonique : f(x)=2(x−1)2−1f(x) = 2(x - 1)^{2} - 1. La fonction ff est décroissante sur ]−∞ ,1]]-\infty\,,1], croissante sur [1 ,+∞[[1\,,+\infty[, et son minimum vaut f(1)=−1f(1) = -1.

1. On calcule les images en tenant compte des variations :

• sur [0 ,1][0\,,1], ff décroît de f(0)=1f(0) = 1 à f(1)=−1f(1) = -1 ;

• sur ℝ−\mathbb{R}_{-}, ff décroît de +∞+\infty à f(0)=1f(0) = 1, qu'elle atteint ;

• sur ℝ+\mathbb{R}_{+}, elle atteint son minimum −1-1 en 11 et tend vers +∞+\infty ;

• sur [−2 ,2][-2\,,2], le minimum est −1-1 et le maximum f(−2)=17f(-2) = 17, car f(2)=1f(2) = 1.

f([0 ,1])=[−1 ,1]f(ℝ−)=[1 ,+∞[f(ℝ+)=[−1 ,+∞[f([−2 ,2])=[−1 ,17]\boxed{f([0\,,1]) = [-1\,,1] \qquad f(\mathbb{R}_{-}) = [1\,,+\infty[ \qquad f(\mathbb{R}_{+}) = [-1\,,+\infty[ \qquad f([-2\,,2]) = [-1\,,17]}

2. On résout :

• f(x)=1  ⟺  (x−1)2=1  ⟺  x∈{0 ,2}f(x) = 1 \iff (x - 1)^{2} = 1 \iff x \in \{0\,,2\} ;

• f(x)=−1  ⟺  x=1f(x) = -1 \iff x = 1 ;

• 0⩽f(x)⩽1  ⟺  12⩽(x−1)2⩽1  ⟺  22⩽∣x−1∣⩽10 \leqslant f(x) \leqslant 1 \iff \frac{1}{2} \leqslant (x - 1)^{2} \leqslant 1 \iff \frac{\sqrt{2}}{2} \leqslant |x - 1| \leqslant 1 ;

• −2⩽f(x)⩽1  ⟺  (x−1)2⩽1-2 \leqslant f(x) \leqslant 1 \iff (x - 1)^{2} \leqslant 1, la première inégalité étant toujours vraie.

f−1({1})={0 ,2}f−1({−1})={1}f−1([−2 ,1])=[0 ,2]\boxed{f^{-1}(\{1\}) = \{0\,,2\} \qquad f^{-1}(\{-1\}) = \{1\} \qquad f^{-1}([-2\,,1]) = [0\,,2]}
f−1([0 ,1])=[0 ,1−22]∪[1+22 ,2]\boxed{f^{-1}([0\,,1]) = \Big[0\,,1 - \frac{\sqrt{2}}{2}\Big] \cup \Big[1 + \frac{\sqrt{2}}{2}\,,2\Big]}

3. L'application Φ\Phi n'est pas injective, puisque Φ({0})=Φ({2})={1}\Phi(\{0\}) = \Phi(\{2\}) = \{1\}. Elle n'est pas surjective, puisque toute image f(A)f(A) est contenue dans f(ℝ)=[−1 ,+∞[f(\mathbb{R}) = [-1\,,+\infty[ : la partie {−5}\{-5\} n'est pas atteinte. Inversement, toute partie BB de [−1 ,+∞[[-1\,,+\infty[ est atteinte : comme ff prend toutes les valeurs de [−1 ,+∞[[-1\,,+\infty[, on a f(f−1(B))=Bf\big(f^{-1}(B)\big) = B. Φ n’est ni injective ni surjective, et son image est 𝒫([−1 ,+∞[).\boxed{\Phi \text{ n'est ni injective ni surjective, et son image est } \mathcal{P}\big([-1\,,+\infty[\big).} On retrouve, au niveau des parties, les défauts de ff elle-même : l'exercice 22 montrera que c'est un fait général.

Dans l'édifice

Thèmes

image directe et image réciproque, images directes et réciproques, injectivité, surjectivité

Notions

image directe, image réciproque, injection, surjection

Ouvrir dans l'atlas interactif →