ATLAS Ouvrir dans l'atlas →

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

Exercice 10

ConjectureCalcul

1. Pour f(x)=3x+1f(x) = 3x + 1 et g(x)=x2−1g(x) = x^{2} - 1, définies sur ℝ\mathbb{R}, calculer f∘gf \circ g et g∘fg \circ f.

2. Écrire chacune des fonctions suivantes comme composée de deux fonctions plus simples, en précisant les ensembles de départ et d'arrivée : h1:x↦3x−1h2:x↦sin⁡(x+π2)h3:x↦1x+7h4:x↦e−x2.h_{1} : x \mapsto \sqrt{3x - 1} \qquad h_{2} : x \mapsto \sin\Big(x + \frac{\pi}{2}\Big) \qquad h_{3} : x \mapsto \frac{1}{x + 7} \qquad h_{4} : x \mapsto \mathrm{e}^{-x^{2}}.

3. Soit u:ℝ+⟶ℝ+x⟼xx+1\begin{array}{r|ccl} u : & \mathbb{R}_{+} & \longrightarrow & \mathbb{R}_{+} \\ & x & \longmapsto & \dfrac{x}{x + 1} \end{array}. Calculer u∘uu \circ u et u∘u∘uu \circ u \circ u, conjecturer une expression de l'itérée unu^{n}, puis la démontrer.

4. Soit v:ℝ∖{1}⟶ℝx⟼x+1x−1\begin{array}{r|ccl} v : & \mathbb{R} \setminus \{1\} & \longrightarrow & \mathbb{R} \\ & x & \longmapsto & \dfrac{x + 1}{x - 1} \end{array}. Vérifier que vv est à valeurs dans ℝ∖{1}\mathbb{R} \setminus \{1\}, puis calculer v∘vv \circ v.

Corrigé

1. On compose dans les deux ordres : (f∘g)(x)=3(x2−1)+1=3x2−2(g∘f)(x)=(3x+1)2−1=9x2+6x\boxed{(f \circ g)(x) = 3(x^{2} - 1) + 1 = 3x^{2} - 2 \qquad (g \circ f)(x) = (3x + 1)^{2} - 1 = 9x^{2} + 6x}

2. On repère l'opération faite en dernier :

• h1=r∘ah_{1} = r \circ a, avec a:[13 ,+∞[ →ℝ+a : [\frac{1}{3}\,,+\infty[ \ \to \mathbb{R}_{+}, x↦3x−1x \mapsto 3x - 1 et r:ℝ+→ℝr : \mathbb{R}_{+} \to \mathbb{R}, t↦tt \mapsto \sqrt{t} ;

• h2=sin⁡∘τh_{2} = \sin \circ \tau, avec τ:ℝ→ℝ\tau : \mathbb{R} \to \mathbb{R}, x↦x+π2x \mapsto x + \frac{\pi}{2} ; on reconnaît d'ailleurs h2=cos⁡h_{2} = \cos ;

• h3=i∘τ′h_{3} = i \circ \tau', avec τ′:ℝ∖{−7}→ℝ∗\tau' : \mathbb{R} \setminus \{-7\} \to \mathbb{R}^{*}, x↦x+7x \mapsto x + 7 et i:ℝ∗→ℝi : \mathbb{R}^{*} \to \mathbb{R}, t↦1tt \mapsto \frac{1}{t} ;

• h4=exp⁡∘ qh_{4} = \exp \circ\, q, avec q:ℝ→ℝq : \mathbb{R} \to \mathbb{R}, x↦−x2x \mapsto -x^{2}.

Pour h1h_{1} et h3h_{3}, le choix des ensembles n'est pas libre : il faut que l'image de la première application tombe dans l'ensemble de départ de la seconde.

3. Pour x⩾0x \geqslant 0 : (u∘u)(x)=xx+1xx+1+1=x2x+1,(u∘u∘u)(x)=x3x+1.(u \circ u)(x) = \frac{\frac{x}{x+1}}{\frac{x}{x+1} + 1} = \frac{x}{2x + 1}, \qquad (u \circ u \circ u)(x) = \frac{x}{3x + 1}. Montrons par récurrence que un(x)=xnx+1u^{n}(x) = \frac{x}{nx + 1} pour tout n⩾1n \geqslant 1. C'est vrai pour n=1n = 1, et si c'est vrai au rang nn, alors un+1(x)=u(un(x))=xnx+1xnx+1+1=xx+nx+1=x(n+1)x+1.u^{n+1}(x) = u\big(u^{n}(x)\big) = \frac{\frac{x}{nx+1}}{\frac{x}{nx+1} + 1} = \frac{x}{x + nx + 1} = \frac{x}{(n+1)x + 1}.

un(x)=xnx+1\boxed{u^{n}(x) = \frac{x}{nx + 1}} La formule reste vraie pour n=0n = 0, avec u0=idu^{0} = \mathrm{id}.

4. Si l'on avait v(x)=1v(x) = 1, alors x+1=x−1x + 1 = x - 1, ce qui est absurde. Donc vv est à valeurs dans ℝ∖{1}\mathbb{R} \setminus \{1\} et v∘vv \circ v a un sens. Pour x≠1x \neq 1, (v∘v)(x)=x+1x−1+1x+1x−1−1=(x+1)+(x−1)(x+1)−(x−1)=2x2=x.(v \circ v)(x) = \frac{\frac{x+1}{x-1} + 1}{\frac{x+1}{x-1} - 1} = \frac{(x + 1) + (x - 1)}{(x + 1) - (x - 1)} = \frac{2x}{2} = x.

v∘v=idℝ∖{1}\boxed{v \circ v = \mathrm{id}_{\mathbb{R} \setminus \{1\}}} L'application vv, vue de ℝ∖{1}\mathbb{R} \setminus \{1\} dans lui-même, est donc une involution : elle est bijective et égale à sa réciproque, comme le montrera l'exercice 17.

Dans l'édifice

Thèmes

composition, ensembles finis

Notions

ensemble fini

Ouvrir dans l'atlas interactif →