ATLAS Ouvrir dans l'atlas →

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

Exercice 17

DémonstrationCalcul

Soient f:E→Ff : E \to F et g:F→Gg : F \to G deux applications bijectives.

1. Justifier que g∘fg \circ f est bijective. On pourra utiliser l'exercice 12.

2. Démontrer que (g∘f)−1=f−1∘g−1(g \circ f)^{-1} = f^{-1} \circ g^{-1}.

3. Application : on pose f(x)=2x+1f(x)=2x+1 et g(x)=x3g(x)=x^{3}, toutes deux de ℝ\mathbb{R} dans ℝ\mathbb{R}. Calculer (g∘f)−1(g \circ f)^{-1} de deux façons différentes, et vérifier que les résultats coïncident.

4. Pourquoi l'ordre des deux applications est-il inversé dans la formule de la question 2 ?

Corrigé

1. C'est exactement la question 5 de l'exercice 12 : g∘f est bijective.\boxed{g \circ f \text{ est bijective.}}

2. Il suffit de vérifier que f−1∘g−1f^{-1} \circ g^{-1} se comporte comme la réciproque de g∘fg \circ f. Pour tout z∈Gz \in G : ((g∘f)∘(f−1∘g−1))(z)=g(f(f−1(g−1(z))))=g(g−1(z))=z\big((g \circ f) \circ (f^{-1} \circ g^{-1})\big)(z) = g\Big(f\big(f^{-1}(g^{-1}(z))\big)\Big) = g\big(g^{-1}(z)\big) = z et pour tout x∈Ex \in E : ((f−1∘g−1)∘(g∘f))(x)=f−1(g−1(g(f(x))))=f−1(f(x))=x\big((f^{-1} \circ g^{-1}) \circ (g \circ f)\big)(x) = f^{-1}\Big(g^{-1}\big(g(f(x))\big)\Big) = f^{-1}\big(f(x)\big) = x Les deux composées valent donc IdG\mathrm{Id}_{G} et IdE\mathrm{Id}_{E} : (g∘f)−1=f−1∘g−1\boxed{(g \circ f)^{-1} = f^{-1} \circ g^{-1}}

3. Première méthode. On a (g∘f)(x)=(2x+1)3(g \circ f)(x)=(2x+1)^{3}. En résolvant y=(2x+1)3y=(2x+1)^{3}, il vient 2x+1=y1/32x+1=y^{1/3}, puis : x=y1/3−12x=\frac{y^{1/3}-1}{2}

Seconde méthode. On a f−1(y)=y−12f^{-1}(y)=\dfrac{y-1}{2} et g−1(y)=y1/3g^{-1}(y)=y^{1/3}, donc : (f−1∘g−1)(y)=f−1(y1/3)=y1/3−12\big(f^{-1} \circ g^{-1}\big)(y)=f^{-1}\big(y^{1/3}\big)=\frac{y^{1/3}-1}{2}

(g∘f)−1(y)=y1/3−12\boxed{(g \circ f)^{-1}(y)=\dfrac{y^{1/3}-1}{2}}

4. On répond en une phrase : Pour revenir en arrieˋre, on deˊfait les opeˊrations dans l’ordre inverse.\boxed{\text{Pour revenir en arrière, on défait les opérations dans l'ordre inverse.}} Dans g∘fg \circ f, c'est ff qui agit d'abord et gg ensuite ; pour remonter, il faut donc défaire gg d'abord, puis ff. L'image est celle d'un vêtement : on enfile la chaussette puis la chaussure, on retire la chaussure puis la chaussette.

Ouvrir dans l'atlas interactif →