Fiche Dénombrabilité:

Rappel:

Surjection:
Une surjection ou application surjective est une application pour laquelle tout élément de
l'ensemble d'arrivée a au moins un antécédent, c'est-à-dire est image d'au moins un élément de
l'ensemble de départ.

Injection:
Une application f est dite injective ou est une injection si tout élément de son ensemble
d'arrivée a au plus un antécédent par f, ce qui revient à dire que deux éléments distincts de
son ensemble de départ ne peuvent pas avoir la même image par f.

Une bijection:
Application à la fois surjective et injective. Une bijection est une application d'un ensemble sur
un autre qui s'applique exactement une fois sur chacun des éléments du deuxième ensemble.

Attention: une application est di érent d’une fonction, en e et une application est dé ni sur tout
son ensemble de départ contrairement à une fonction qui est dé ni sur une partie de son
ensemble ( ou sur tout l’ensemble).

Illustration:

Equipotents:
Deux ensembles E et F sont dits équipotents si et seulement s’il existe au moins une bijection de
E sur F.

Dénombrable:
Un ensemble E est dit dénombrable s’il est en bijection avec ℕ

Au plus dénombrable:
Un ensemble E est dit au plus dénombrables il est en bijection avec une partie de ℕ

ff
ff
 

fi
.

fi
Théorèmes importants

THEOREMES sur les parties de ℕ

1.Toute partie de ℕ est au plus dénombrable.
2.Une partie in nie de ℕ est dénombrable.
3.Un ensemble est ni ou dénombrable si et seulement s’il est en bijection avec une partie de ℕ

THEOREMES sur les injections dans ℕ

Soit E un ensemble.
E est au plus dénombrable si et seulement s’il existe une injection j : E —> ℕ
E est dénombrable si et seulement s’il existe une injection j : E —> ℕ et E est in ni.

THEOREMES sur les surjections de ℕ

Soit E un ensemble.
S’il existe une surjection de ℕ sur E alors E est au plus dénombrable.

THEOREMES sur les surjections de ℕ

Soit E un ensemble.
S’il existe une surjection de ℕ sur E alors E est au plus dénombrable.

EXEMPLES:

- Ensembles dénombrables:

ℕ : L’ensemble des entiers naturels par dé nition

ℕ²: L’ensemble des couples d’entiers naturels
ℕ pairs (resp.impairs): L’ensemble des entiers naturels pairs (resp.impairs) (Démonstration en
exhibant une suite permettant d’énumérer chaque entier naturel pair

È
- Ensembles non-dénombrables:

ℝ : l’ensemble des réels (Démonstration sur [0,1[ avec la diagonale de Cantor)

fi
fi
:

fi
.

fi
.