ATLAS Ouvrir dans l'atlas →

ExerciceMaths approfondies, chapitre 2 — Applications · Injectivité, surjectivité, bijectivité

Exercice 8

Calcul

Les applications suivantes sont-elles injectives ? surjectives ? bijectives ? On rédigera en suivant les deux schémas donnés dans le cours.

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

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

3. h:ℝ⟶ℝx⟼cos⁡(x)\begin{array}{r|ccl} h : & \mathbb{R} & \longrightarrow & \mathbb{R} \\ & x & \longmapsto & \cos(x) \end{array}

4. u:ℝ+⟶[0 ;1[x⟼x2x2+1\begin{array}{r|ccl} u : & \mathbb{R}_{+} & \longrightarrow & [0\,;1[ \\ & x & \longmapsto & \dfrac{x^{2}}{x^{2}+1} \end{array}

5. v:ℝℝ⟶ℝφ⟼φ(0)\begin{array}{r|ccl} v : & \mathbb{R}^{\mathbb{R}} & \longrightarrow & \mathbb{R} \\ & \varphi & \longmapsto & \varphi(0) \end{array}

6. w:𝒞([0 ;1] ,ℝ)⟶ℝφ⟼∫01φ(t) dt\begin{array}{r|ccl} w : & \mathcal{C}\big([0\,;1]\,,\mathbb{R}\big) & \longrightarrow & \mathbb{R} \\ & \varphi & \longmapsto & \displaystyle\int_{0}^{1} \varphi(t)\,\mathrm{d}t \end{array}

Dans les deux derniers cas, ℝℝ\mathbb{R}^{\mathbb{R}} désigne l'ensemble des applications de ℝ\mathbb{R} dans ℝ\mathbb{R}, et 𝒞([0 ;1] ,ℝ)\mathcal{C}\big([0\,;1]\,,\mathbb{R}\big) celui des fonctions continues de [0 ;1][0\,;1] dans ℝ\mathbb{R}.

Corrigé

1. L'application f:x↦x2f : x \mapsto x^{2} de ℝ\mathbb{R} dans ℝ\mathbb{R} vérifie f(−1)=f(1)=1f(-1)=f(1)=1, et le réel −1-1 n'a pas d'antécédent puisqu'un carré est positif. f n’est ni injective, ni surjective.\boxed{f \text{ n'est ni injective, ni surjective.}}

2. Injectivité. Soit (x ;x′)∈ℝ2(x\,;x') \in \mathbb{R}^{2} tel que x3=x′3x^{3}=x'^{3}. La fonction cube étant strictement croissante sur ℝ\mathbb{R}, elle est injective : x≠x′x \neq x' entraînerait x3≠x′3x^{3} \neq x'^{3}. Donc x=x′x=x'.

Surjectivité. Soit y∈ℝy \in \mathbb{R}. Posons x=y1/3x=y^{1/3}, qui est bien un réel. Alors g(x)=yg(x)=y. g est bijective, de bijection reˊciproque y↦y1/3.\boxed{g \text{ est bijective, de bijection réciproque } y \mapsto y^{1/3}.}

3. On a cos⁡(0)=cos⁡(2π)=1\cos(0)=\cos(2\pi)=1, et le réel 22 n'a pas d'antécédent puisque ∣cos⁡∣⩽1|\cos| \leqslant 1. h n’est ni injective, ni surjective.\boxed{h \text{ n'est ni injective, ni surjective.}}

4. Injectivité. Soit (x ;x′)∈ℝ+2(x\,;x') \in \mathbb{R}_{+}^{2} tel que u(x)=u(x′)u(x)=u(x') : x2x2+1=x′2x′2+1  ⟺  x2(x′2+1)=x′2(x2+1)  ⟺  x2=x′2\frac{x^{2}}{x^{2}+1}=\frac{x'^{2}}{x'^{2}+1} \iff x^{2}\big(x'^{2}+1\big)=x'^{2}\big(x^{2}+1\big) \iff x^{2}=x'^{2} Comme xx et x′x' sont positifs, il vient x=x′x=x'.

Surjectivité. Soit y∈[0 ;1[y \in [0\,;1[. Alors 1−y>01-y>0, et l'on peut poser : x=y1−yx=\sqrt{\frac{y}{1-y}} qui est bien un élément de ℝ+\mathbb{R}_{+}. On a x2=y1−yx^{2}=\dfrac{y}{1-y}, d'où : u(x)=y1−yy1−y+1=y1−yy+1−y1−y=yu(x)=\frac{\frac{y}{1-y}}{\frac{y}{1-y}+1}=\frac{\frac{y}{1-y}}{\frac{y+1-y}{1-y}}=y

u est bijective.\boxed{u \text{ est bijective.}}

5. L'application vv associe à une fonction sa valeur en 00. Les fonctions φ1:x↦0\varphi_{1} : x \mapsto 0 et φ2:x↦x\varphi_{2} : x \mapsto x sont distinctes et vérifient φ1(0)=φ2(0)=0\varphi_{1}(0)=\varphi_{2}(0)=0. En revanche, pour tout y∈ℝy \in \mathbb{R}, la fonction constante égale à yy a pour image yy. v est surjective, non injective.\boxed{v \text{ est surjective, non injective.}}

6. Les fonctions φ1:t↦0\varphi_{1} : t \mapsto 0 et φ2:t↦t−12\varphi_{2} : t \mapsto t-\dfrac{1}{2} sont continues sur [0 ;1][0\,;1], distinctes, et d'intégrales toutes deux nulles. En revanche, pour tout y∈ℝy \in \mathbb{R}, la fonction constante égale à yy a pour intégrale yy. w est surjective, non injective.\boxed{w \text{ est surjective, non injective.}} On remarque que les questions 5 et 6 se traitent exactement de la même façon : dans les deux cas, l'application « oublie » presque toute l'information contenue dans φ\varphi.

Dans l'édifice

Thèmes

applications, injectivité, surjectivité, bijectivité

Notions

application, injection, surjection, bijection

Ouvrir dans l'atlas interactif →