ATLAS Ouvrir dans l'atlas →

ExerciceMaths approfondies, chapitre 2 — Applications · Bijection réciproque

Exercice 15

DémonstrationCalcul

Démontrer que chacune des applications suivantes est bijective, puis déterminer sa bijection réciproque. On vérifiera à chaque fois que f−1∘f=Idf^{-1} \circ f = \mathrm{Id}.

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

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

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

Corrigé

1. Injectivité. Si 3x−5=3x′−53x-5=3x'-5, alors 3x=3x′3x=3x' puis x=x′x=x'.

Surjectivité. Soit y∈ℝy \in \mathbb{R}. Posons x=y+53x=\dfrac{y+5}{3}, qui est un réel, et f(x)=3×y+53−5=yf(x)=3 \times \dfrac{y+5}{3}-5=y. f est bijective, et f−1(y)=y+53\boxed{f \text{ est bijective, et } f^{-1}(y)=\dfrac{y+5}{3}} Vérification : f−1(f(x))=(3x−5)+53=xf^{-1}\big(f(x)\big)=\dfrac{(3x-5)+5}{3}=x ✓

2. La fonction cube est strictement croissante sur ℝ\mathbb{R}, donc injective, et tout réel yy admet y1/3y^{1/3} pour antécédent. g est bijective, et g−1(y)=y1/3\boxed{g \text{ est bijective, et } g^{-1}(y)=y^{1/3}} Vérification : g−1(g(x))=(x3)1/3=xg^{-1}\big(g(x)\big)=\big(x^{3}\big)^{1/3}=x ✓

3. Vérifions d'abord que hh est bien à valeurs dans ℝ∖{1}\mathbb{R} \setminus \{1\}. Si x+1x−2=1\dfrac{x+1}{x-2}=1, alors x+1=x−2x+1=x-2, ce qui est absurde.

Injectivité. Soient xx et x′x' dans ℝ∖{2}\mathbb{R} \setminus \{2\} tels que h(x)=h(x′)h(x)=h(x') : x+1x−2=x′+1x′−2  ⟺  (x+1)(x′−2)=(x′+1)(x−2)  ⟺  −2x+x′=−2x′+x  ⟺  x=x′\frac{x+1}{x-2}=\frac{x'+1}{x'-2} \iff (x+1)(x'-2)=(x'+1)(x-2) \iff -2x+x'=-2x'+x \iff x=x'

Surjectivité. Soit y∈ℝ∖{1}y \in \mathbb{R} \setminus \{1\}. Posons x=2y+1y−1x=\dfrac{2y+1}{y-1}, bien défini car y≠1y \neq 1. Ce réel est différent de 22 : sinon 2y+1=2y−22y+1=2y-2, ce qui est absurde. Et l'on vérifie que h(x)=yh(x)=y. h est bijective, et h−1(y)=2y+1y−1\boxed{h \text{ est bijective, et } h^{-1}(y)=\dfrac{2y+1}{y-1}}

Ouvrir dans l'atlas interactif →