Intersecter avec une partie fixée
Exercice d'entraînement · niveau 3 (difficile) · mathématiques appliquées (ECG 1re année), chapitre 1 — Raisonnement et vocabulaire ensembliste · Applications et bijections
Énoncé
Soit un ensemble et une partie de . On définit par . Montrer que est injective si et seulement si , puis qu'elle est surjective si et seulement si .
Corrigé
Le cas . Alors pour toute partie : est l'application identité de , donc à la fois injective et surjective. Les deux réciproques sont ainsi acquises.
Injective . Démontrons la contraposée : supposons . Comme , il existe alors avec . Considérons et . On a la première intersection étant vide précisément parce que . Or puisque et n'est pas vide. Deux parties distinctes ont la même image : n'est pas injective.
Surjective . Là encore par contraposée. Si , remarquons que pour toute partie , : toute image est incluse dans . Or est un élément de qui n'est pas inclus dans (sinon donnerait ). Donc n'a pas d'antécédent, et n'est pas surjective.
Conclusion. Injectivité, surjectivité et vont donc ensemble : chacune des trois entraîne les deux autres. Le mécanisme est à retenir — une application dont toutes les images vivent dans une partie stricte du but n'est pas surjective ; une application qui écrase deux parties distinctes sur la même image n'est pas injective.
Les autres exercices de ce chapitre Le cours du chapitre
Un blocage sur cet exercice ? Le tuteur d'Adloun guide par questions, sans donner la réponse.