ATLAS Ouvrir dans l'atlas →

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

Exercice 2

Calcul

Dans chacun des cas suivants, dire si les applications ff et gg sont égales, en justifiant à partir de la caractérisation de l'égalité de deux applications.

1.f:ℝ⟶ℝx⟼x2g:ℝ⟶ℝx⟼∣x∣2.f:ℝ⟶ℝx⟼x2g:ℝ⟶ℝ+x⟼x23.f:ℝ∗⟶ℝx⟼ln⁡(x2)g:ℝ∗⟶ℝx⟼2ln⁡∣x∣4.f:ℝ+⟶ℝx⟼(x)2g:ℝ⟶ℝx⟼x5.f:ℤ⟶ℤn⟼(−1)ng:ℤ⟶ℤn⟼cos⁡(nπ)\begin{array}{rll} \text{1.} & \begin{array}{r|ccl} f : & \mathbb{R} & \longrightarrow & \mathbb{R} \\ & x & \longmapsto & \sqrt{x^{2}} \end{array} & \begin{array}{r|ccl} g : & \mathbb{R} & \longrightarrow & \mathbb{R} \\ & x & \longmapsto & |x| \end{array} \\[5mm] \text{2.} & \begin{array}{r|ccl} f : & \mathbb{R} & \longrightarrow & \mathbb{R} \\ & x & \longmapsto & x^{2} \end{array} & \begin{array}{r|ccl} g : & \mathbb{R} & \longrightarrow & \mathbb{R}_{+} \\ & x & \longmapsto & x^{2} \end{array} \\[5mm] \text{3.} & \begin{array}{r|ccl} f : & \mathbb{R}^{*} & \longrightarrow & \mathbb{R} \\ & x & \longmapsto & \ln(x^{2}) \end{array} & \begin{array}{r|ccl} g : & \mathbb{R}^{*} & \longrightarrow & \mathbb{R} \\ & x & \longmapsto & 2\ln|x| \end{array} \\[5mm] \text{4.} & \begin{array}{r|ccl} f : & \mathbb{R}_{+} & \longrightarrow & \mathbb{R} \\ & x & \longmapsto & \big(\sqrt{x}\big)^{2} \end{array} & \begin{array}{r|ccl} g : & \mathbb{R} & \longrightarrow & \mathbb{R} \\ & x & \longmapsto & x \end{array} \\[5mm] \text{5.} & \begin{array}{r|ccl} f : & \mathbb{Z} & \longrightarrow & \mathbb{Z} \\ & n & \longmapsto & (-1)^{n} \end{array} & \begin{array}{r|ccl} g : & \mathbb{Z} & \longrightarrow & \mathbb{Z} \\ & n & \longmapsto & \cos(n\pi) \end{array} \end{array}
Corrigé

Deux applications sont égales si et seulement si elles ont le même ensemble de départ, le même ensemble d'arrivée et la même image en chaque point.

1. Mêmes ensembles, et x2=∣x∣\sqrt{x^{2}} = |x| pour tout réel xx, car ∣x∣|x| est l'unique réel positif dont le carré vaut x2x^{2}. f=g\boxed{f = g} 2. Les ensembles d'arrivée diffèrent : ℝ\mathbb{R} et ℝ+\mathbb{R}_{+}. f≠g\boxed{f \neq g} Ce n'est pas une subtilité : la seconde est surjective, la première ne l'est pas, puisque −1-1 n'a pas d'antécédent.

3. Mêmes ensembles, et pour x≠0x \neq 0 : ln⁡(x2)=ln⁡(∣x∣2)=2ln⁡∣x∣\ln(x^{2}) = \ln\big(|x|^{2}\big) = 2\ln|x|. f=g\boxed{f = g} On notera que x↦2ln⁡xx \mapsto 2\ln x ne serait même pas une application de ℝ∗\mathbb{R}^{*} dans ℝ\mathbb{R} : c'est la valeur absolue qui rend l'égalité possible.

4. Pour x⩾0x \geqslant 0, on a bien (x)2=x\big(\sqrt{x}\big)^{2} = x, mais les ensembles de départ diffèrent : ℝ+\mathbb{R}_{+} et ℝ\mathbb{R}. f≠g\boxed{f \neq g} 5. Mêmes ensembles, et pour tout entier nn, cos⁡(nπ)=(−1)n\cos(n\pi) = (-1)^{n}. f=g\boxed{f = g}

Dans l'édifice

Thèmes

applications

Notions

application

Ouvrir dans l'atlas interactif →