ATLAS Ouvrir dans l'atlas →

ExerciceMaths approfondies, chapitre 2 — Applications · Généralités

Exercice 2

Démonstration

Dans chacun des cas suivants, dire si les deux applications ff et gg sont égales. Justifier en examinant les trois composantes d'une application.

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

2. f:ℝ⟶ℝx⟼(x+1)2\begin{array}{r|ccl} f : & \mathbb{R} & \longrightarrow & \mathbb{R} \\ & x & \longmapsto & (x+1)^{2} \end{array} et g:ℝ⟶ℝx⟼x2+2x+1\begin{array}{r|ccl} g : & \mathbb{R} & \longrightarrow & \mathbb{R} \\ & x & \longmapsto & x^{2}+2x+1 \end{array}

3. f:ℝ⟶ℝx⟼∣x∣\begin{array}{r|ccl} f : & \mathbb{R} & \longrightarrow & \mathbb{R} \\ & x & \longmapsto & |x| \end{array} et g:ℝ⟶ℝx⟼x2\begin{array}{r|ccl} g : & \mathbb{R} & \longrightarrow & \mathbb{R} \\ & x & \longmapsto & \sqrt{x^{2}} \end{array}

4. f:ℝ+⟶ℝx⟼x\begin{array}{r|ccl} f : & \mathbb{R}_{+} & \longrightarrow & \mathbb{R} \\ & x & \longmapsto & x \end{array} et g:ℝ⟶ℝx⟼x\begin{array}{r|ccl} g : & \mathbb{R} & \longrightarrow & \mathbb{R} \\ & x & \longmapsto & x \end{array}

5. f:ℝ∗⟶ℝx⟼xx\begin{array}{r|ccl} f : & \mathbb{R}^{*} & \longrightarrow & \mathbb{R} \\ & x & \longmapsto & \dfrac{x}{x} \end{array} et g:ℝ∗⟶ℝx⟼1\begin{array}{r|ccl} g : & \mathbb{R}^{*} & \longrightarrow & \mathbb{R} \\ & x & \longmapsto & 1 \end{array}

Corrigé

Deux applications sont égales lorsque leurs trois composantes le sont : même ensemble de départ, même ensemble d'arrivée, et même image pour chaque élément.

1. Les ensembles de départ et les formules coïncident, mais les ensembles d'arrivée sont ℝ\mathbb{R} et ℝ+\mathbb{R}_{+} : f≠g\boxed{f \neq g} C'est exactement la distinction annoncée par le cours, et elle est loin d'être formelle : ff n'est pas surjective, alors que gg l'est.

2. Les ensembles coïncident, et pour tout réel xx on a (x+1)2=x2+2x+1(x+1)^{2}=x^{2}+2x+1 : f=g\boxed{f = g}

3. Les ensembles coïncident, et pour tout réel xx on a x2=∣x∣\sqrt{x^{2}}=|x| : f=g\boxed{f = g} On notera que x2=x\sqrt{x^{2}}=x serait faux pour x<0x<0.

4. Les ensembles de départ sont ℝ+\mathbb{R}_{+} et ℝ\mathbb{R} : f≠g\boxed{f \neq g}

5. Les ensembles coïncident, et pour tout réel non nul xx on a xx=1\dfrac{x}{x}=1 : f=g\boxed{f = g} L'exclusion de 00 est ici indispensable : sur ℝ\mathbb{R} tout entier, ff ne serait pas une application.

Dans l'édifice

Thèmes

applications, égalité de deux applications, composition

Notions

application

Ouvrir dans l'atlas interactif →