ATLAS Ouvrir dans l'atlas →

ExerciceMaths approfondies, chapitre 2 — Applications · Image directe et image réciproque

Exercice 22

Démonstration

Les propriétés 6 et 7 de l'exercice 21 sont des inclusions, et non des égalités. Cet exercice cherche à quelle condition ce sont des égalités. Soit f:E→Ff : E \to F une application.

1. Avec f:ℝ⟶ℝx⟼x2\begin{array}{r|ccl} f : & \mathbb{R} & \longrightarrow & \mathbb{R} \\ & x & \longmapsto & x^{2} \end{array}, déterminer f(A1∩A2)f(A_{1} \cap A_{2}) et f(A1)∩f(A2)f(A_{1}) \cap f(A_{2}) pour A1={−1}A_{1}=\{-1\} et A2={1}A_{2}=\{1\}. Conclure.

2. Démontrer que si ff est injective, alors f(A1∩A2)=f(A1)∩f(A2)f(A_{1} \cap A_{2}) = f(A_{1}) \cap f(A_{2}) pour toutes parties A1A_{1} et A2A_{2} de EE.

3. Soit AA une partie de EE. Démontrer que A⊂f−1(f(A))A \subset f^{-1}\big(f(A)\big), puis donner un contre-exemple à l'égalité.

4. Démontrer que si ff est injective, alors f−1(f(A))=Af^{-1}\big(f(A)\big) = A pour toute partie AA de EE.

5. Soit BB une partie de FF. Démontrer que f(f−1(B))=Bf\big(f^{-1}(B)\big) = B si et seulement si B⊂f(E)B \subset f(E). Que devient cette condition lorsque ff est surjective ?

Corrigé

1. On a A1∩A2=∅A_{1} \cap A_{2}=\varnothing, donc f(A1∩A2)=∅f(A_{1} \cap A_{2})=\varnothing. En revanche f(A1)={1}f(A_{1})=\{1\} et f(A2)={1}f(A_{2})=\{1\}, donc : f(A1)∩f(A2)={1}≠∅f(A_{1}) \cap f(A_{2}) = \{1\} \neq \varnothing

L’inclusion 6 de l’exercice 21 peut eˆtre stricte.\boxed{\text{L'inclusion 6 de l'exercice 21 peut être stricte.}} Le phénomène est clair : −1-1 et 11 sont distincts mais ont la même image, ce que l'intersection des images ne peut pas distinguer.

2. Supposons ff injective. L'inclusion directe est acquise. Réciproquement, soit y∈f(A1)∩f(A2)y \in f(A_{1}) \cap f(A_{2}). Il existe x1∈A1x_{1} \in A_{1} et x2∈A2x_{2} \in A_{2} tels que f(x1)=y=f(x2)f(x_{1})=y=f(x_{2}). Par injectivité, x1=x2x_{1}=x_{2} : ce point appartient donc à A1∩A2A_{1} \cap A_{2}, et y∈f(A1∩A2)y \in f(A_{1} \cap A_{2}). Si f est injective, f(A1∩A2)=f(A1)∩f(A2).\boxed{\text{Si } f \text{ est injective, } f(A_{1} \cap A_{2}) = f(A_{1}) \cap f(A_{2}).}

3. Soit x∈Ax \in A. Alors f(x)∈f(A)f(x) \in f(A) par définition de l'image directe, donc x∈f−1(f(A))x \in f^{-1}\big(f(A)\big) par définition de l'image réciproque. A⊂f−1(f(A))\boxed{A \subset f^{-1}\big(f(A)\big)} Contre-exemple à l'égalité : avec f:x↦x2f : x \mapsto x^{2} de ℝ\mathbb{R} dans ℝ\mathbb{R} et A={1}A=\{1\}, on a f(A)={1}f(A)=\{1\} et : f−1(f(A))=f−1({1})={−1  ;  1}≠Af^{-1}\big(f(A)\big)=f^{-1}\big(\{1\}\big)=\{-1 \;;\; 1\} \neq A

4. Supposons ff injective, et soit x∈f−1(f(A))x \in f^{-1}\big(f(A)\big). Alors f(x)∈f(A)f(x) \in f(A) : il existe a∈Aa \in A tel que f(x)=f(a)f(x)=f(a). Par injectivité, x=ax=a, donc x∈Ax \in A. Avec la question 3, on obtient la double inclusion. Si f est injective, f−1(f(A))=A.\boxed{\text{Si } f \text{ est injective, } f^{-1}\big(f(A)\big) = A.}

5. L'inclusion f(f−1(B))⊂Bf\big(f^{-1}(B)\big) \subset B est toujours vraie (question 7 de l'exercice 21).

Supposons B⊂f(E)B \subset f(E), et soit y∈By \in B. Comme y∈f(E)y \in f(E), il existe x∈Ex \in E tel que f(x)=yf(x)=y. Alors f(x)=y∈Bf(x)=y \in B, donc x∈f−1(B)x \in f^{-1}(B), et y=f(x)∈f(f−1(B))y=f(x) \in f\big(f^{-1}(B)\big). D'où l'égalité.

Réciproquement, si f(f−1(B))=Bf\big(f^{-1}(B)\big)=B, alors BB est une image directe par ff, donc B⊂f(E)B \subset f(E). f(f−1(B))=B  ⟺  B⊂f(E)\boxed{f\big(f^{-1}(B)\big) = B \iff B \subset f(E)}

Si f est surjective, f(E)=F et la condition est automatiquement veˊrifieˊe.\boxed{\text{Si } f \text{ est surjective, } f(E)=F \text{ et la condition est automatiquement vérifiée.}}
Ouvrir dans l'atlas interactif →