ATLAS Ouvrir dans l'atlas →

ExerciceMaths approfondies, chapitre 2 — Applications · Composition

Exercice 6

Démonstration

Une application f:E→Ef : E \to E est dite involutive lorsque f∘f=IdEf \circ f = \mathrm{Id}_{E}. Montrer que les applications suivantes le sont.

1. f:ℝ⟶ℝx⟼−x\begin{array}{r|ccl} f : & \mathbb{R} & \longrightarrow & \mathbb{R} \\ & x & \longmapsto & -x \end{array}

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

3. u:ℝ⟶ℝx⟼1−x\begin{array}{r|ccl} u : & \mathbb{R} & \longrightarrow & \mathbb{R} \\ & x & \longmapsto & 1-x \end{array}

4. v:ℝ∖{1}⟶ℝ∖{1}x⟼x+1x−1\begin{array}{r|ccl} v : & \mathbb{R} \setminus \{1\} & \longrightarrow & \mathbb{R} \setminus \{1\} \\ & x & \longmapsto & \dfrac{x+1}{x-1} \end{array}

Pour la dernière, on vérifiera d'abord que v(x)v(x) appartient bien à ℝ∖{1}\mathbb{R} \setminus \{1\} pour tout xx de ℝ∖{1}\mathbb{R} \setminus \{1\}.

Corrigé

1. Pour tout réel xx : (f∘f)(x)=f(−x)=−(−x)=x(f \circ f)(x) = f(-x) = -(-x) = x, donc : f∘f=Idℝ\boxed{f \circ f = \mathrm{Id}_{\mathbb{R}}}

2. Pour tout réel non nul xx, le nombre 1x\dfrac{1}{x} est encore non nul, et : (g∘g)(x)=11x=xdoncg∘g=Idℝ∗(g \circ g)(x) = \frac{1}{\frac{1}{x}} = x \qquad\text{donc}\qquad \boxed{g \circ g = \mathrm{Id}_{\mathbb{R}^{*}}}

3. Pour tout réel xx : (u∘u)(x)=1−(1−x)=x(u \circ u)(x) = 1-(1-x) = x, donc : u∘u=Idℝ\boxed{u \circ u = \mathrm{Id}_{\mathbb{R}}}

4. Vérifions d'abord que vv est bien à valeurs dans ℝ∖{1}\mathbb{R} \setminus \{1\}. Supposons v(x)=1v(x)=1 pour un x≠1x \neq 1 : x+1x−1=1  ⟺  x+1=x−1  ⟺  1=−1\frac{x+1}{x-1}=1 \iff x+1=x-1 \iff 1=-1 ce qui est absurde. Donc v(x)≠1v(x) \neq 1 pour tout xx de ℝ∖{1}\mathbb{R} \setminus \{1\}, et la composée v∘vv \circ v a bien un sens. On calcule alors : (v∘v)(x)=v(x)+1v(x)−1=x+1x−1+1x+1x−1−1=(x+1)+(x−1)x−1(x+1)−(x−1)x−1=2x2=x(v \circ v)(x) = \frac{v(x)+1}{v(x)-1} = \frac{\dfrac{x+1}{x-1}+1}{\dfrac{x+1}{x-1}-1} = \frac{\dfrac{(x+1)+(x-1)}{x-1}}{\dfrac{(x+1)-(x-1)}{x-1}} = \frac{2x}{2} = x

v∘v=Idℝ∖{1}\boxed{v \circ v = \mathrm{Id}_{\mathbb{R} \setminus \{1\}}}

Piège : la vérification préalable n'est pas une formalité. Sans elle, v(x)v(x) pourrait sortir de l'ensemble de départ de vv, et l'écriture v∘vv \circ v n'aurait aucun sens.

Ouvrir dans l'atlas interactif →