ExerciceMaths approfondies, chapitre 2 — Applications · Image directe et image réciproque
Exercice 22
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 une application.
1. Avec , déterminer et pour et . Conclure.
2. Démontrer que si est injective, alors pour toutes parties et de .
3. Soit une partie de . Démontrer que , puis donner un contre-exemple à l'égalité.
4. Démontrer que si est injective, alors pour toute partie de .
5. Soit une partie de . Démontrer que si et seulement si . Que devient cette condition lorsque est surjective ?
Corrigé
1. On a , donc . En revanche et , donc :
Le phénomène est clair : et sont distincts mais ont la même image, ce que l'intersection des images ne peut pas distinguer.
2. Supposons injective. L'inclusion directe est acquise. Réciproquement, soit . Il existe et tels que . Par injectivité, : ce point appartient donc à , et .
3. Soit . Alors par définition de l'image directe, donc par définition de l'image réciproque. Contre-exemple à l'égalité : avec de dans et , on a et :
4. Supposons injective, et soit . Alors : il existe tel que . Par injectivité, , donc . Avec la question 3, on obtient la double inclusion.
5. L'inclusion est toujours vraie (question 7 de l'exercice 21).
Supposons , et soit . Comme , il existe tel que . Alors , donc , et . D'où l'égalité.
Réciproquement, si , alors est une image directe par , donc .