On considère un univers . Étant donnés les ensembles suivants
calculer
Rappel: Si est une fonction, et si est un sous-ensemble de , on note l’image inverse de par , c’est à dire l’ensemble des tels que .
Soit une fonction totale (une application). Soient et des sous-ensembles de et soient et des sous-ensembles de . A-t-on nécessairement:
Justifier chaque cas par une preuve ou par un contre-exemple.
Rappel: si est un nombre réel, la notation désigne la partie entière inférieure de , c’est à dire le plus grand entier plus petit ou égal à . La notation désigne la partie entière supérieure de , c’est à dire le plus petit entier plus grand ou égal à .
Déterminer si les fonctions suivantes sont injectives, surjectives ou aucune des deux.
définie par .
définie par .
définie par .
définie par .
définie par .
Interpréter les phrases suivantes en terme d’injectivité et de surjectivité.
Rappel: Si et sont deux fonctions, on note la composée de et de , i.e. la fonction définie par .
Soient et deux fonctions et . Montrer les propositions suivantes.
Les implications réciproques sont-elles vraies ?
Rappel : On note l’ensemble des parties de , c’est à dire l’ensemble de tous les sous-ensembles de .
Montrez que est dénombrable.
Montrez que est dénombrable.
Montrez que est dénombrable, en utilisant le fait que tout rationnel est de la forme , avec et .
Montrez que pour tout entier naturel , est dénombrable.
Montrez que si et , alors .
Montrez que .
On note l’ensemble des parties finies de . Quel est le cardinal de ?
On note l’ensemble des parties infinies de . est-il dénombrable ?
En raisonnant par l’absurde, et en utilisant l’écriture décimale d’un réel, montrer que n’est pas dénombrable.
On dit qu’un nombre complexe est « algébrique » s’il existe un polynôme non nul à coefficients dans tel que : .
Quel est le cardinal de ?