2 LES ENSEMBLES FINIS FONDEMENTS – 2
Supposons que m=n. Alors f: [[1, n + 1]] →[[1, n]] est une injection. Donc chaque ´el´ement de l’espace de
d´epart doit avoir sa propre image . C’est impossible car il y a plus d’´el´ements au d´epart qu’`a l’arriv´ee.
Corollaire 2.3 Soit f: [[1, n]] →[[1, m]] une bijection. Alors m=n.
Th´eor`eme 2.4 Soit Eune partie non vide de N. La partie Eest finie si et seulement si Eest major´ee.
Corollaire 2.5 1. Tout sous ensemble d’un ensemble fini est fini.
2. Toute intersection (et tout r´eunion finie) d’ensembles finis est finie.
3. Le compl´ementaire dans Nd’un ensemble fini est infini.
2.0.2 Propri´et´es des ensembles finis
D´efinition 2.6 Soient Eet Fdeux ensembles.
Eest ´equipotent `a Fsi et seulement si il existe une bijection entre Eet F.
Remarque 2.7 C’est une relation d’´equivalence sur les ensembles.
Th´eor`eme 2.8 Soit Fun ensemble. S’il existe une bijection de Fsur [[1, n]] et de F sur [[1,m ]] ; alors
m=n.
Preuve. : on construit une bijection de [[1, n]] sur [[1, m]], d’o`u m=n.
Th´eor`eme 2.9 Soient Eet Fdeux ensembles finis de mˆeme cardinal.
Soit f:E→Fune application.
Alors fest injective si et seulement si fest surjective si et seulement si fest bijective.
EXERCICE 1
Faire la preuve de ce th´eor`eme.
Th´eor`eme 2.10 Soient Eet Fdeux ensembles finis.
S’il existe f:E→Finjective alors card(E)≤card(F).
S’il existe f:E→Fsurjective alors card(E)≥card(F).
2.0.3 Disgression sur les Ensembles infinis
On dit qu’un ensemble Eest d´enombrable si et seulement si il existe un bijection de Nsur E.
On dit qu’un ensemble est non d´enombrable si et seulement si il est infini et non ´equipotent `a N.
En particulier, les ensembles d´enombrables sont infinis.
Tous les ensembles infinis ne sont pas d´enombrables.
Th´eor`eme 2.11 L’intervalle [0,1] est non-d´enombrable.
On ne discutera pas ici des preuves de ce th´eor`eme, ni mˆeme de la cardinalit´e des ensembles infinis. On
invite l’´etudiant passionn´e `a se plonger dans les livres sur les ensembles et les nombres, ainsi qu’`a la fiche de
TD ”Ensembles infinis”.
Camille Pl´enat Universit´e de Marseille-Provence