Académique Documents
Professionnel Documents
Culture Documents
ou encore
un ensemble A a moins dlments quun ensemble
B
Un htel a un nombre infini de chambres (pour
chaque entier i > 0, il y a une chambre por-
tant le numro i). Lhtel est plein (il y a un
voyageur dans chaque chambre). Arrive un
nouveau voyageur qui voudrait bien dormir
lhtel lui aussi. Alors lhtelier lui dit quil va
lui trouver une chambre. Il ne mettra la porte
aucun voyageur, il ne mettra pas deux voya-
geurs dans une mme chambre et il ne fera
pas construire une nouvelle chambre. Alors
comment lhtelier fera-t-il ?
Le fait quil y ait une solution ce problme choque
notre intuition.
2 Avoir autant dlments
2.1 la recherche dune dfinition
Notation :
|A| = |B|
#A = #B
CARD(A) = CARD(B)
2.2 Notre dfinition est-elle correcte ?
IA : A A
(y : A| : (x : A| : IA(x) = y))
Soit y : A.
Et soit x := y.
h Un tel x existe et appartient bien A, car lensemble de dpart concide
2. f
4.
f est surjectif f 1 est total.
Or, nous avons dj fait cette dmonstration. (Voir
le thorme C.2 du fascicule Thorie des relations :
notes complmentaires et exemples de dmonstra-
tions de type "classique".
C.Q.F.D.
2.2.3 La transitivit de notre relation au-
tant dlments
4 3 2 1 0 1 2 3 4
f (8) f (6) f (4) f (2) f (0) f (1) f (3) f (5) f (7)
C.Q.F.D.
Les preuves de type classique... des preuves intui-
tives...
Proposition I.8 Lensemble N N est dnombrable.
Dmonstration Pour montrer la dnombrabilit de
N N, nous allons construire une application bijec-
tive k : N N N, en la dfinissant en extension
de la manire suivante :
h0, 0i h0, 1i h0, 2i h0, 3i h0, 4i
k(0) k(2) k(5) k(9) k(14)
B est dnombrable