Adloun

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.