MAT-22257

hhChapitre sur les ensembles infinisii

1. Introduction

Dans ce chapitre, nous nous intresserons aux en-

sembles de taille infinie.

Quest-ce qui est calculable en informatique ?

tant donn un problme, pourrons-nous toujours
dcider si ce problme a une solution ou non ?
propos des systmes qui interagissent avec le
monde rel.

Les structures infinies sont en gnral beaucoup

plus difficiles tudier que les structures finies.
Dans ce chapitre, nous nous intresserons plus par-
ticulirement au problme de la cardinalit des en-
sembles.

Nous savons dj que calculer la cardinalit dun

ensemble fini revient compter le nombre dl-
ments que cet ensemble contient.

Il est vident que dans le cas des ensembles infinis,

cette approche nest pas envisageable.
Nous aurons donc des rsultats du type :
un ensemble A a autant dlments quun ensemble
B

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

Nous sommes donc face ce problme un peu comme

un tout jeune enfant qui a dans une main des pierres
blanches et dans lautre des pierres noires, et qui se
demande si, oui ou non, chaque main a autant de
pierres...

Le problme survient avec une infinit de pierres...

Procdons autrement...

Thorme I.1 Deux ensembles finis A et B ont le

mme nombre dlments si et seulement sil existe
une application bijective f : A B.
Dfinition I.2 Soient A et B, deux ensembles. On dit
que A a autant dlments que B (ou ce qui est qui-
valent, que la cardinalit de A est gale la cardinalit
de B) ssi il existe une application bijective de A vers B.

Notation :

|A| = |B|
#A = #B
CARD(A) = CARD(B)
2.2 Notre dfinition est-elle correcte ?

quoi devrait ressembler une bonne dfinition dga-

lit entre des cardinalits ?
 la rflexivit Est-ce quavec cette dfinition, un en-
semble A a toujours la mme cardinalit que lui-
mme ?
Autrement dit, est-ce que pour tout ensemble A,
on a |A| = |A| ?
 la symtrie Avec cette dfinition, le fait quun en-
semble A ait la mme cardinalit quun ensemble
B implique-t-il toujours que B a la mme cardi-
nalit que A ?
Autrement dit, est-ce que pour tout A, B, on a
|A| = |B| |B| = |A| ?
 la transitivit Est-ce quavec cette dfinition, le
fait quun ensemble A ait la mme cardinalit
quun ensemble B combin au fait que ce B ait
la mme cardinalit quun troisime ensemble C
implique toujours que A a la mme cardinalit
que C ?
Autrement dit, est-ce que pour tout A, B, C,
on a (|A| = |B|)(|B| = |C|) (|A| = |C|) ?
2.2.1 La rflexivit de notre relation au-
tant dlments

Pour dmontrer la rflexivit, il faut dmontrer que

pour tout ensemble A, il existe une application bi-
jective de A vers A.

La rflexivit est donc une consquence de la pro-

position suivante :
Proposition I.3 Soit A un ensemble, la relation IA
est une application bijective.

Dmonstration Rappelons-nous que

IA : A A

est dfini par la rgle de correspondance IA(x) =

x, x X.

IA est une application car cest ce que signifie la

notation A A.
Dmontrons linjectivit, c.--d. :

(x, x0 : A| IA(x) = IA(x0) : x = x0)

Soient x, x0 : A, choisis tels que IA(x) = IA(x0).

Alors on a immdiatement x = x0.
h Car IA(x) = x et IA(x0) = x0. i

IA est bien une application injective.

Dmontrons la surjectivit, c.--d. :

(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

avec lensemble darrive. i

Alors on a bien IA(x) = y.

IA est bien une application surjective.

IA est bien une application bijective.

C.Q.F.D.
2.2.2 La symtrie de notre relation au-
tant dlments

Pour montrer la symtrie, il faut montrer que pour

toute paire densembles A et B : sil existe une ap-
plication bijective de A vers B, alors il existe une
application bijective de B vers A.
On y arrive laide du thorme suivant.

Thorme I.4 Soient A et B, deux ensembles, et

f A B. Alors la relation f est une application
bijective ssi la relation inverse f 1 B A est une
application bijective.
Dmonstration Rappelons que la relation inverse
de la relation f est : f 1 := {hb, ai| ha, bi f }

Il faudrait donc montrer

1. f est total f 1 est surjectif ;

est dterministe f 1 est injectif ;

2. f

3. f est injectif f 1 est dterministe ;

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

Pour dmontrer la transitivit, il faut dmontrer que

pour tout triplet densembles A, B et C :

sil existe une application bijective de A vers B et

une application bijective de B vers C, alors il existe
une application bijective de A vers C.
On y arrive laide du thorme suivant.

Thorme I.5 Soient A, B et C, trois ensembles,

et soient f A B et g B C. Si f et g sont
deux applications bijectives, Alors f g sera une
application bijective de A vers C.
Dmonstration Ce thorme est une consquence
directe de la dfinition dapplication bijective et des
lemmes C.4, C.5, C.6 et C.7 qui sont la fin du fasci-
cule Thorie des relations : notes complmentaires
et exemples de dmonstrations de type classique.
C.Q.F.D.
2.3 Autant dlments que lensemble
N : les ensembles infinis dnombrables.

Parmi les ensembles infinis, une certaine classe est

plus intressante que les autres, cest celle des en-
sembles infinis dnombrables :

Dfinition I.6 Un ensemble A est dit dnombrable sil

est fini ou de la mme cardinalit que lensemble N.
Faire une numration...

Faire une liste...

f (0) tant le 0ime lment de cet numration.

f (1) tant le 1er lment de cet numration
f (2) tant le 2ime lment de cet numration
etc.
Exemple I.7 Dmontrons la dnombrabilit de Z, en construi-
sant lapplication bijective f : N Z, qui est dfinie
en extension par :

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)

h1, 0i h1, 1i h1, 2i h1, 3i h1, 4i

k(1) k(4) k(8) k(13) k(19)

h2, 0i h2, 1i h2, 2i h2, 3i h2, 4i

k(3) k(7) k(12) k(18) k(25)

h3, 0i h3, 1i h3, 2i h3, 3i h3, 4i

k(6) k(11) k(17) k(24) k(32)

h4, 0i h4, 1i h4, 2i h4, 3i h4, 4i

k(10) k(16) k(23) k(31) k(40)

... ... ... ... ... ...

On a donc que |N| = |N N|.
N N est donc un ensemble dnombrable.
C.Q.F.D.
Remarquons qutant donn que la relation avoir
autant dlments est transitive (voir ), si nous avons
dj dmontr la dnombrabilit dun ensemble A,
nous pouvons alors dmontrer la dnombrabilit dun
nouvel ensemble B en utilisant le lemme suivant :

Lemme I.9 tant donn un ensemble infini B. Alors,

B est dnombrable

(A : ensemble | A est infini dnombrable : |A| = |B|)