Chapitre 1

Ordinaux, Cardinaux, Axiome du

Choix
Ce cours traitera de thorie descriptive des ensembles, qui est une forme de
"combinatoire innie" ; avant de pouvoir faire de la combinatoire, il faut dj
apprendre compter. On va donc discuter quelques notions lmentaires de
thorie des ensembles avant de sattaquer au sujet du cours proprement dit. Je
nessaierai pas de prsenter le formalisme gnral de la thorie des ensembles ;
on va se placer dans le cadre gnral de la thorie dite de Zermelo-Fraenkel
(ZF), dont on ne sortira pas dans ce cours. Il est trs vraisemblable quil
sagisse du cadre axiomatique que vous avez toujours utilis, mme sans le
savoir, pour faire des mathmatiques.
Il est facile de compter le nombre dlments dun ensemble ni : on nu-
mre les lments, et on sarrte quand il ny en a plus. On associe ainsi
chaque ensemble ni un entier, qui est son nombre dlments. Mais comment
faire quand on considre un ensemble inni ? Il nest pas clair quon puisse
lnumrer ; plutt que de considrer tous les ensembles, on va considrer des
ensembles munis dun ordre permettant une numration.
1.1 Bons ordres et ordinaux
Dnition 1.1.1. Soit X un ensemble. Un bon ordre sur X est une relation
dordre sur X tel que tout sous-ensemble non vide de X a un plus petit
lment.
On dit que S X est un segment initial si
x, y X (y S et x y) (x S) .
1
2 CHAPITRE 1. ORDINAUX, CARDINAUX, AXIOME DU CHOIX
Si x X on notera S
x
le segment initial {y S: y < x}.
Lide, dans notre optique de comptage, est que pour numrer un ensemble
bien ordonn, on commence au plus petit lment, puis on prend le plus petit
des autres, etc. ; mais sarrte-t-on un jour ?
Lessentiel de la thorie des ensemble bien ordonns est fond sur le rsultat
suivant :
Proposition 1.1.2. Soit (X, ) un ensemble bien ordonn et f : X X une
application strictement croissante. Alors pour tout x X on a f(x) x.
Preuve.
Supposons quil existe x X tel que f(x) < x, et appelons x
0
le plus petit
lment ayant cette proprit. Alors on a, pour tout x < x
0
, f(x) x.
Puisque f est strictement croissante, on en dduit que pour tout x < x
0
on
a f(x
0
) > x.
Comme lordre est total, cela implique en particulier que f(x
0
) x
0
, ce
qui contredit la dnition de x
0
.
Ceci permet dobtenir un rsultat de rigidit des ensembles bien ordonns.
Proposition 1.1.3. Soit (X, ) un ensemble bien ordonn, W X un
segment initial et f : X W un isomorphisme. Alors W = X et pour tout
x X on a f(x) = x.
Par consquent, si deux segments initiaux de X sont isomorphes alors ils
sont gaux.
Preuve.
Montrons tout dabord que W = X. Pour cela, prenons x X. On a f(x)
W, et f(x) x daprs la proposition prcdente. Comme W est un segment
initial, on en dduit que W = X.
Pour conclure, il sut de remarquer qualors f est une bijection, dont linverse
f
1
est un isomorphisme de (X, ) sur (X, ). Par consquent on a f
1
(x)
x pour tout x, ce qui en composant par f donne x f(x) et donc f(x) = x
pour tout x X.
Notation. Si X, X

sont deux ensembles bien ordonns, on note X X

si X est isomorphe un segment initial de X

, et X X

si X et X

sont
isomorphes. On utilisera la notation X X

pour signier que X X

et
X X

, autrement dit si X est isomorphe un segment initial strict de X

.
Remarquons que le thorme 1.1.3 entrane que X X

si, et seulement si,

X X

et X

X.
1.1. BONS ORDRES ET ORDINAUX 3
On a dit quon souhaitait pouvoir enumrer tous les ensembles bien ordonns ;
mais quelle notion de "longueur" utiliser ?
Thorme 1.1.4. Soit X, Y deux ensembles bien ordonns. Alors une et une
seule des assertions suivantes est vraie :
(a) X Y
(b) Y X
(c) X Y
Ce thorme dit qu une notion de "longueur" possible dun ensemble bien
ordonn est lensemble lui-mme, o on compare deux longueurs par la re-
lation "tre isomorphe un segment initial". Restera ensuite choisir un
reprsentant dans chaque classe disomorphisme...
Preuve.
Notons

X lensemble des segments initiaux de X, ordonn par linclusion.
On vrie facilement que cest un ensemble bien ordonn. Si tout S

X est
isomorphe un segment initial de Y alors cest en particulier le cas de X,
et la preuve est nie. Sinon, appelons S le plus petit lment qui ne soit pas
isomorphe un segment initial de Y .
Soit x < x

S. Alors f
y
f
1
x
(f
x
(S
x
)) = f
y
(S
x
), et comme f
y
f
1
x
est un iso-
morphisme entre deux segments initiaux de Y on en dduit que f
y
f
1
x
(y) = y
pour tout y f
x
(S
x
)) = f
y
(S
x
).
Si jamais il existe x S tel que f({x

: x

x}) = f(S
x
) = Y alors il ny
a rien dmontrer ; sinon pour tout x S il existe une injection crois-
sante f
x
: S
x
Y dimage un segment initial de Y . Mais alors, comme
S =

xS
S
x
, on peut utiliser lobservation prcdente pour dnir une
fonction strictement croissante f : S Y dimage
xS
f
x
(S
x
) (en posant
f(y) = f
x
(y) ds que y S
x
). Limage de f est une union de segments ini-
tiaux de Y , et est donc un segment initial de Y , ce qui contredit le choix de
S.
Corollaire 1.1.5. Soit X, Y deux ensembles bien ordonns. Alors X Y
si, et seulement si, il existe une injection croissante de X dans Y .
Thorme 1.1.6. Soit W = {W
i
: i I} une famille densembles bien or-
donns. Alors il existe W W tel que W W

pour tout W

W.
Preuve.
Soit W
0
W. Si W
0
W

pour tout W

W, il ny a rien dmon-
trer. Sinon, lensemble {x W
0
: S
x
est isomorphe un lment de W} est
non vide. Appelons w le plus petit lment de cet ensemble, et prenons
4 CHAPITRE 1. ORDINAUX, CARDINAUX, AXIOME DU CHOIX
W W qui soit isomorphe S
w
(vu dans W
0
). Pour tout W

W, il est
impossible par dnition que W

soit isomorphe un segment initial strict

de S
w
, par consquent on a W W

pour tout W

W.
Maintenant, il faudrait dnir rigoureusement les ordinaux ; lide est quon
veut compter partir de 0 jusqu linni, et au-del. Mais une dnition
formelle pose quelques dicults mtamathmatiques, qui ne correspondent
pas nos proccupations dans ce cours. On va donc se contenter dune pr-
sentation intuitive.
Lide est que les ordinaux doivent permettre de "reprsenter" les ensembles
bien ordonns, au sens o tout ordinal soit un ensemble bien ordonn et pour
tout ensemble bien ordonn il y ait un ordinal unique qui lui soit isomorphe ;
cest cet ordinal-l qui doit reprsenter la "longueur" dun ensemble bien or-
donn. Admettons que cela soit posssible (et pensons donc intuitivement
un ordinal comme une classe disomorphisme densembles bien ordonns).
Allons plus loin et notons que si est un ordinal, alors tout ordinal plus
petit que est isomorphe un (unique) segment initial de ; et les segments
initiaux stricts de sidentient naturellement aux lments de .
On a donc envie didentier les ordinaux strictement infrieurs aux l-
ments de , et donc deectuer notre choix de reprsentants de classes diso-
morphisme de bons ordres de telle faon que chaque ordinal soit gal
lensemble des ordinaux strictement infrieurs .
Ceci impose une contrainte : si < on doit en mme temps identier
les ordinaux strictement infrieurs aux lments de , ce qui amne
vouloir que lensemble des lments strictement infrieurs (cest--dire
) soit contenu dans . Finalement, on a donc envie que tout lment dun
ordinal soit en fait inclus dans cet ordinal.
On nest toujours pas tout fait satisfait : si on a une famille dordinaux, alors
on voudrait pouvoir "compter strictement plus loin" que tous les ordinaux de
cette famille, ce qui imposerait que la runion de notre famille dordinaux soit
un ordinal. On rajoute cela dans les conditions quon demande aux ordinaux.
Voil, on sait maintenant quelles proprits attendre dun ordinal, et on
sait mme comment eectuer leur construction : en eet, il ny a pas dle-
ment plus petit que 0, donc 0 doit tre lensemble vide. De mme, 1 =
{0} = {}, pour tout ordinal ni (i.e tout entier naturel !) on doit avoir
n = {0, 1, . . . , n1}, etc. On va se contenter dadmettre quune telle construc-
tion des ordinaux est possible dans le cadre de la thorie axiomatique de
Zermelo-Fraenkel, et reprendre le l de ce cours.
Les relations , correspondent des oprations sur les ordinaux notes
1.1. BONS ORDRES ET ORDINAUX 5
cette fois <, . On notera maintenant ON la classe
1
des ordinaux ; on utili-
sera dans la suite (entre autres) les proprits suivantes des ordinaux :
Tout ensemble bien ordonn est isomorphe un ordinal unique.
Pour tout ordinal , on a = { ON: < }.
La runion (resp. lintersection) dun ensemble dordinaux est un ordinal.
Avant de continuer, introduisons un peu de terminologie.
Dnition 1.1.7. Un ordinal est successeur sil existe un ordinal tel
que < et pour tout ordinal on ait soit soit ; sinon on dit
que est un ordinal limite .
On notera le plus petit ordinal inni, qui est aussi le plus petit ordinal
limite.
0 1 2 3 4
Lordinal
Vous tes habitus utiliser des dmonstrations par rcurrence pour montrer,
par exemple, que tous les entiers satisfont une certaine proprit ; le principe
de la dmonstration par rcurrence est de dire : si une proprit (P) est telle
que pour tout entier naturel n
(k < n P(k)) P(n)
alors P est vraie pour tout n (notons que lhypothse ci-dessus implique en
particulier que P(0) est vraie !). Ce principe sapplique dans tout ensemble
bien ordonn ( vous den faire une dmonstration, ce qui ne devrait pas tre
trop dicile) et on obtient le rsultat suivant :
Thorme 1.1.8. (Dmonstration par rcurrence transnie)
Soit P une proprit
2
des ordinaux telle que pour tout ordinal on ait
( < P()) P() .
Alors P() est vraie pour tout .
1. On dit classe parce que ce nest pas un ensemble, sinon sa runion serait un ordinal
plus grand que tous les ordinaux, or tout ordinal a un successeur, ce qui fait un point
commun entre les ordinaux et les hommes politiques (jespre)
2. L encore la notion de proprit est oue ; disons simplement quune proprit est
quelque chose quon peut exprimer par un nonc crit en utilisant le langage de la thorie
des ensembles.
6 CHAPITRE 1. ORDINAUX, CARDINAUX, AXIOME DU CHOIX
On sait maintenant, au moins en thorie, comment dmontrer des noncs
par rcurrence transnie ; il est aussi courant en analyse et en combinatoire
innie quon soit amen construire un objet par rcurrence transnie ; cest
une construction facile comprendre mais lnonc assez aride.
Thorme 1.1.9. Soit (X, ) un ensemble bien ordonn, Y un ensemble, et
F lensemble de toutes les fonctions dont le domaine est un segment initial
de X et dont limage est contenue dans Y . Pour toute fonction G: F Y ,
il existe une unique fonction f : X Y telle que lon ait, pour tout x X,
f(x) = G(f
|
S
x
) .
On nutilise jamais cet nonc sous cette forme trs abstraite ; mais on utlise
frquemment ce principe pour construire des objets. Lide est que construire
un objet par rcurrence transnie (en tapes, pour un certain ordinal),
cest dire ce quon fait au rang 0, puis donner une procdure pour passer
de ltape ltape + 1, et enn donner une procdure pour passer aux
ordinaux limites, jusqu ce quon atteigne . Cest le "cas limite" qui est
nouveau par rapport au schma de rcurrence classique.
Plutt que de donner une preuve du thorme de construction par rcurrence
transnie, donnons un exemple.
Exemple : la drivation de Hausdor.
Soit (X, ) un ensemble ordonn, et une relation dquivalence compatible
avec (cest--dire, telle que passe au quotient par ). Alors on peut
dnir une nouvelle relation, note D(), en posant
xD()y ( il existe un nombre ni de -classes entre x et y) .
Cette relation est nouveau une relation dquivalence, qui tend et est
compatible avec .
Soit maintenant un ordinal quelconque. Pour < , on dnit une relation
dquivalence

compatible avec par rcurrence transnie, en respectant

les trois points suivants :
(a) (x
0
y) (x = y)
(b) Si est le successeur de , alors

= D(

).
(c) Si = sup ({ : < }) alors

=
_
<

.
Intuitivement, on a "pluch X fois" : on a commenc par identier tous
les points tels que [x, y] est ni et form ainsi un nouvel ensemble ordonn,
auquel on a appliqu la mme construction, et on a rpt le procd pendant
tapes.
1.1. BONS ORDRES ET ORDINAUX 7
Par exemple, si on applique cette construction N muni de son ordre usuel,
on a
1
= X X ; par contre, si on lapplique Q muni de son ordre usuel,
on a
1
=
0
et donc

=
0
pour tout ordinal .
On est amen se poser un certain nombre de questions : est-ce quon peut
continuer plucher X indniment sans jamais sarrter ? Au contraire, est-
ce que X est "pluchable", autrement dit ne reste-il plus rien au bout dun
nombre assez grand dtapes ? Ou tombe-t-on sur un noyau, cest--dire est-
ce que
n
arrte de grossir au bout dun moment ? Nous reviendrons sur ces
questions aprs lintroduction des cardinaux.
Exercice 1.1.10. Montrer que si X nest pas pluchable du tout, cest--
dire si
1
=
0
, alors lordre de X est dense.
En dduire avec la mthode de va-et-vient que le seul ordre dnombrable
totalement non pluchable est Q, avec peut-tre un plus grand et un plus
petit lment. En dduire que si un ordre dnombrable contient un noyau
alors il contient un sous-ensemble isomorphe Q (en utilisant un peu de
thorie des cardinaux, on verra quun ordre dnombrable doit soit tre
pluchable soit contenir un noyau).
On pourrait dnir les oprations ordinales en dcrivant des oprations sur
les bons ordres ; pour gagner du temps dans ces notes, on va simplement
noncer une dnition par rcurrence transnie. On note s() le successeur
dun ordinal , cest--dire le plus petit ordinal strictement plus grand que
.
Dnition 1.1.11. (addition ordinale) Soit un ordinal. On pose +0 = 0,
puis on dnit par rcurrence transnie sur ON laddition ordinale +
en posant :
+ =
_
s( +) si = + 1
sup ({ + : < }) si est limite
0 1 2 3 4
Lordinal + 1
Par exemple, on a 1 + = sup{1 +n: n < } = . Intuitivement, laddition
de deux ordinaux correspond mettre bout bout et .
Exercice 1.1.12. Utiliser une dmonstration par rcurrence transnie pour
montrer que laddition est associative, et que si = alors pour tout on
a + = +.
8 CHAPITRE 1. ORDINAUX, CARDINAUX, AXIOME DU CHOIX
Dnition 1.1.13. (multiplication ordinale) Soit un ordinal. On pose
.0 = 0, puis on dnit par rcurrence transnie sur ON la multiplication
ordinale . en posant :
. =
_
(.) + si = + 1
sup ({. : < }) si est limite
Cette fois on a 2. = ; lide de la multiplication ordinale est que faire
le produit de par , cest mettre bout bout copies de . Le dessin
suivant essaie de justier graphiquement lgalit 2. = .
2. =
Exercice 1.1.14. Utiliser une dmonstration par rcurrence trasnnie pour
montrer que la multiplication est associative, et que si > 0 alors pour tout
> 1 on a . < ..
Les deux oprations dnies ci-dessus sont associatives, on a bien comme
attendu + = .2, par contre attention la non-commutativit : 1+ =
tandis que + 1 = puisque + 1 est successeur ; de mme 2. = tandis
que .2 = + > .
Exercice 1.1.15.
Dcrire des oprations sur les bons ordres qui donnent naissance laddi-
tion et la multiplication des ordinaux (pour la somme ordinale, on pourra
sinspirer du dessin ci-dessous).

+
La somme de deux ordinaux
Exercice 1.1.16. Comment dniriez-vous

pour deux ordinaux , ?

Donner dabord une description par rcurrence transnie, puis essayer de
dcrire une opration sur les ordres qui donne naissance cette opration (ce
nest pas si facile !)
1.2. CARDINAUX ET AXIOME DU CHOIX. 9
Exercice 1.1.17. On reprend les notations introduites lors de la dnition de
la drivation de Hausdor. Montrer que, si on prend un ordinal dnombrable
et quon considre X =

, alors

est la relation grossire.

On nutilisera pratiquement pas dans la suite darithmtique des ordinaux ;
un exercice pour sentraner la rcurrence transnie :
Exercice 1.1.18. Montrer que tout ordinal peut scrire de faon unique
sous la forme = +n, o est un ordinal limite et n est ni.
1.2 Cardinaux et axiome du choix.
On a vu comment numrer des ensembles bien ordonns ; par contre, contrai-
rement aux ensembles nis, un ensemble peut admettre des bons ordres non
isomorphes : cest par exemple le cas de N.
Cela nempche pas dassocier un ensemble bien ordonnable un certain
nombre ordinal uniquement dtermin : le plus petit ordinal tel quil existe
un bon ordre < sur X avec (X, <) isomorphe . Cela permettrait de d-
velopper une thorie satisfaisante des cardinaux des ensembles bien ordon-
nables ; mais comment faire si on a sous la main un ensemble X qui ne
nous est pas fourni avec une structure de bon ordre ? La solution fournie par
laxiome de Zermelo est de dire : autorisons-nous munir tout ensemble dun
bon ordre. Dans ce cas, on saura dnir le cardinal dun ensemble en utilisant
des ordinaux, comme expliqu ci-dessus.
A premire vue, laxiome de Zermelo peut paratre excessif ; essayons de nous
en passer. On peut dnir le fait que X et Y ont "le mme nombre dlments"
sans utiliser de bon ordre, comme le montre la dnition suivante.
Dnition 1.2.1. On dit que X a un cardinal infrieur Y , et on note
|X| |Y |, sil existe une injection de X dans Y , et on dit que X et Y ont
mme cardinal, ou sont quipotents (not |X| = |Y |), sil existe une bijection
de X sur Y .
Ainsi, on cherche tendre les notions intuitives de comptage, qui marchent
pour les ensembles nis, tous les ensembles. Dj, il faut sassurer que ces
notions sont bien compatibles entre elles ; au dbut, tout se passe bien.
Thorme 1.2.2. (Schrder-Bernstein)
Si |X| |Y | et |Y | |X| alors |Y | = |X|.
Preuve.
Soit X, Y deux ensembles et f : X Y , g : Y X deux injections. Bien
10 CHAPITRE 1. ORDINAUX, CARDINAUX, AXIOME DU CHOIX
sr, on a X g(Y ) g(f(X)), et g f est une injection de X dans X.
On voit donc quil sut de prouver que, si X est un ensemble, f : X X une
injection et Y X est tel que f(X) Y X alors il existe une bijection
de X sur Y .
En rchissant ce cas, on est amen considrer le dessin suivant :
X \ Y
Y \ f(X)
f(X) \ f(Y )
. . .
On voit apparatre des "couronnes" : X \ Y , Y \ f(X), f(X) \ f(Y ), etc.
Les couronnes "dordre impair" (en blanc sur le dessin) sont toutes contenues
dans Y ; tandis que seule la premire couronne dordre pair nest pas contenue
dans Y , et f envoie chaque couronne dordre pair sur la couronne suivante.
Pour construire la bijection recherche, on na donc qu laisser tous les points
blancs xes, et dcaler les points gris dune couronne en utilisant f.
Formellement, on dnit une suite densembles disjoints X
i
X en posant
X
i
= f
i
(X \ Y ) (= f
i
(X) \ f
i
(Y )) ; puis on dnit une fonction g : X Y
en posant
g(x) =
_
f(x) si x

X
i
x sinon
Par dnition il est clair que g est une injection dont limage est conte-
nue dans Y , dautre part il est facile de vrier, en utilisant le fait que
g(X
i
) = f(X
i
) = X
i+1
pour tout i, que g(X) = Y .
Autrement dit, sil existe une injection de X dans Y et une injection de Y
dans X alors il existe une bijection de X sur Y . De plus, sil existe une injec-
tion de X dans Y alors il existe une surjection de Y sur X, donc toutes nos
dnitions possibles pour comparer les cardinaux densembles sentendent
bien, et on obtient ainsi un quasi-ordre sur les ensembles. Notre proccupa-
tion maintenant est de savoir si deux ensembles sont ncessairement compa-
rables pour ce quasi-ordre.
1.2. CARDINAUX ET AXIOME DU CHOIX. 11
On peut dj subodorer un problme : si X, Y sont deux ensembles, Y est
bien ordonnable et |X| |Y |, alors il existe une injection de X dans Y , quon
peut utiliser pour munir X dun bon ordre. Autrement dit, si les cardinalits
de deux ensembles sont toujours comparables, et sil existe un ensemble X
qui ne peut pas tre muni dun bon ordre, alors on doit avoir |X| > |Y | pour
tout ensemble bien ordonnable, et en particulier pour tout ordinal. Donc
tout ordinal sinjecte dans X ; mais alors on pourrait utiliser les axiomes de
la thorie des ensembles pour prouver que les ordinaux forment un ensemble,
et on sait que cela nest pas possible. Par consquent, avec nos mthodes, on
aura besoin de laxiome de Zermelo pour avoir une notion satisfaisante de
cardinal dun ensemble.
Exercice 1.2.3. Montrer (sans utiliser laxiome de Zermelo) que pour tout
ensemble X il existe un plus petit ordinal non quipotent une partie de X.
Montrer que cet ordinal est en fait un cardinal, appel cardinal de Hartogs
de X
Exercice 1.2.4. Donner une autre preuve du thorme de Schrder-Bernstein
dans le cas o X et Y sont des ensembles bien ordonnables.
Les discussions ci-dessus servaient de prologue la dnition suivante.
Dnition 1.2.5. Soit un ordinal. On dit que est un cardinal si aucun
ordinal strictement infrieur nest quipotent .
Il est alors immdiat que tout ensemble bien ordonnable X est quipotent
un unique cardinal (X) et que de plus si est un ordinal alors () .
Par exemple, tous les ordinaux nis sont des cardinaux, ainsi que ; par
contre, +1 nest pas un cardinal. Notons galement que par dnition deux
cardinaux distincts ne peuvent pas tre quipotents. Enn, dans la suite, si X
est un ensemble bien ordonnable, la notation |X| dsignera lunique cardinal
quipotent X.
Il existe pour tout des ordinaux qui ne sont pas quipotents une partie
de , et donc des cardinaux tels que < . On note
+
le plus petit tel
cardinal.
Dnition 1.2.6. (Alephs)
On dnit par rcurrence transnie

, pour tout ordinal , en posant

0
=
puis

=
_

si = + 1

<

si est limite
12 CHAPITRE 1. ORDINAUX, CARDINAUX, AXIOME DU CHOIX
Il est alors possible de vrier assez facilement que tous les

sont des
cardinaux, et rciproquement (avec laxiome du choix !) que tout cardinal est
gal

pour un certain . De plus

pour tout ordinal .

Exercice 1.2.7.
Montrer quil existe des ordinaux (donc des cardinaux !) tels que =

.
Les cardinaux nous permettent de prouver que soit un ensemble ordonn d-
nombrable est pluchable, soit il contient un noyau (et donc un sous-ensemble
isomorphe (Q, )).
Exercice 1.2.8. Soit (X, <) un ensemble dnombrable. On note

la -
ime relation dquivalence apparaissant dans la drivation de Hausdor de
X ; montrer quil existe
1
tel que

=
+1
.
Pour dnir une notion satisfaisante du cardinal dun ensemble, on a eu
besoin dutiliser le thorme de Zermelo. Cet axiome rapparat quand on
essaie de traiter larithmtique des cardinaux, mais sous une forme dirente.
Il parat donc raisonnable de faire une pause dans notre exposition et de nous
arrter sur cet axiome, connu gnralement sous le nom daxiome du choix.
Lnonc intuitif de cet axiome, dans sa version la plus connue, est : "si on me
donne une famille densembles non vides, alors je peux choisir simultanment
un lement dans chaque ensemble de cette famille".
Avant de citer trois noncs quivalents de laxiome du choix , rappelons
quun ensemble ordonn ((X, ) est inductif si tout sous-ensemble totale-
ment ordonn admet un majorant. Nous dirons aussi quun ensemble X ad-
met une fonction de choix sil existe une fonction f : P(X) X telle que
pour toute partie A X non vide on ait f(A) A.
Dnition 1.2.9. On introduit les noncs suivants :
1. (Axiome du choix) Tout ensemble X admet une fonction de choix.
2. (Axiome de Zorn) Tout ensemble ordonn inductif non vide a au moins
un lment maximal.
3. (Axiome de Zermelo) Tout ensemble peut tre bien ordonn.
Ces trois noncs sont quivalents. Le premier dentre eux est lenonc "his-
torique" de laxiome du choix ; sous cette forme il a t introduit par Zermelo
en 1904. Cet axiome tait implicitement utilis par de nombreux mathma-
ticiens du dix-neuvime sicle et parat plutt "naturel". il est plus dicile
de se faire une ide intuitive du second nonc, dont on voit quil permet
dune certaine faon de faire de lanalyse en vitant la thorie des ordinaux
et la rcurrence transnie. Le dernier nonc parat, lui, assez arbitraire, et
1.2. CARDINAUX ET AXIOME DU CHOIX. 13
dit quen fait on peut ramener les raisonnements de thorie des ensembles
des raisonnements sur les ordinaux. Un rsum fameux, mais apocryphe
3
:
"il est clair que laxiome du choix est vrai et que laxiome de Zermelo est
faux ; quant au thorme de Zorn, qui sait ?"
Preuve que les trois noncs ci-dessus sont quivalents.
Toutes les implications entre les axiomes ci-dessus sont instructives d-
montrer, et cest un exercice vivement recommand ; ici on va se contenter
dexpliquer rapidement pourquoi (Zermelo) implique (Choix), (Choix) im-
plique (Zorn) et (Zorn) implique (Zermelo).
(Zermelo) (Choix) :
Cest limplication la plus facile des trois : en eet, si (X, ) est bien ordonn
alors on peut obtenir une fonction de choix sur P(X) en posant simplement
f(A) = min(A).
(Choix) (Zorn) :
Soit (X, ) un ensemble ordonn inductif, dont on suppose quil na pas dl-
ment maximal. Alors tout sous-ensemble totalement ordonn M X admet
un majorant strict not (M). Soit alors une fonction de choix sur X et
un ordinal non quipotent une partie de X. Soit x X ; par rcurrence
transnie, on peut construire une suite indexe par dlments de X en
posant, pour tout < :
(a) x
0
= x;
(b) x
+1
= ({y X: y > x

}) ;
(c) x

= ({x

: < } si = sup{ : < })

La suite quon vient de construire nous donne une injection de dans X, ce
qui est impossible par dnition de .
(Zorn) (Zermelo) :
Introduisons lensemble
A = {(A, ): A X et (A, ) est bien ordonn}
On peut munir A dune structure dordre en posant (A,
A
) (B,
B
) si, et
seulement si, A B et
B
tend
A
. Alors on peut vrier que (P(X), )
est un ensemble ordonn inductif, qui a par consquent un lment maximal
(A, ). Reste remarquer que la maximalit de (A, ) a pour consquence
que A = X.
Laxiome du choix a de nombreuses consquences en mathmatiques, dont
certaines paraissent pathologiques. Lexemple le plus connu est sans doute
3. Wikipedia lattribue un certain Jerry Bona.
14 CHAPITRE 1. ORDINAUX, CARDINAUX, AXIOME DU CHOIX
lexistence de parties non Lebesgue-mesurables dans R. Certains mathmati-
ciens refusent de ce fait laxiome du choix ; notons tout de mme que, contrai-
rement une ide reue, celui-ci nest pas quivalent lexistence de parties
non Lebesgue-mesurables ; autrement dit, supposer que toute partie de R
est Lebesgue-mesurable est plus fort que supposer que laxiome du choix est
faux. Il en va de mme du paradoxe de Banach-Tarski : cest une consquence
de laxiome du choix qui ne lui est pas quivalente. (REFS)
Par ailleurs, laxiome du choix a de nombreuses consquences qui, elles, pa-
raissent trs utiles : thorme de la bae incomplte ou lemme de Krull pour
les algbristes, thorme de Tychonov pour les analystes... Et bien sr on a
vu que la thorie des ensembles devient trs vite trs complique si on na pas
laxiome du choix, puisquil est dj dicile de compter le nombre dlments
dun ensemble quelconque. Un autre exemple de dicult lie labsence de
laxiome du choix se trouve dans lexercice suivant.
Exercice 1.2.10. Montrer que laxiome du choix est quivalent lnonc
suivant : si X, Y sont deux ensembles et f : X Y est une surjection, alors
il existe g : Y X telle que f(g(y)) = y pour tout y Y .
Dans la suite de ces notes, on utlisera sans vergogne laxiome du choix sous ses
direntes formes. En fait, comme on ne considrera jamais densembles de
trs grand cardinal, on pourrait tre tent de se contenter de laxiome du choix
dnombrable . Cet axiome, qui dit quun produit dnombrable densembles
non vides est non vide (ou, de manire quivalente, quon peut choisir de
manire simultane un point dans chaque lement dune famille dnombrable
densembles non vides), est fondamental pour le dveloppement de lanalyse.
Par exemple, montrer que les deux dnitions classiques de la continuit
pour des fonctions de R dans R (par les suites/image inverse dun ferm
est ferm) sont quivalentes recquiert laxiome du choix dnombrable... Plus
lmentairement, on peut noter le fait suivant, qui peut paratre surprenant
pour certains qui lutilisent tout en rcusant laxiome du choix :
Exercice 1.2.11. On dit quun ensemble inni est Dedekind-inni sil contient
un sous-ensemble inni dnombrable
4
. Montrer que laxiome du choix d-
nombrable est quivalent lnonc suivant :
Tout ensemble inni est Dedekind-inni ; de plus, toute runion dnombrable
densembles dnombrable est dnombrable..
En ralit, laxiome du choix dnombrable nest pas susant pour les raison-
nements que nous devrons eectuer dans ce cours.
4. ce nest pas la dnition habituelle, mais au-dessus de ZF cet nonc est quivalent
la dnition classique.
1.2. CARDINAUX ET AXIOME DU CHOIX. 15
En eet, on aura besoin de construire des suites en utilisant le principe sui-
vant : supposons qutant donn x
1
, . . . , x
n
tel que P({x
1
, . . . , x
n
}) est satis-
faite (o P est une certaine proprit des ensembles nis) jarrive trouver un
x tel que {x
1
, . . . , x
n
, x} a la proprit P; alors je suis capable de construire
une suite (x
n
)
nN
tel que pour tout n on ait P({x
1
, . . . , x
n
}).
Ce procd est la base de toutes les constructions par "approximation suc-
cessives" et devient lgal quand on sautorise appliquer laxiome des choix
dpendants.
Dnition 1.2.12. Laxiome des choix dpendants est lnonc suivant :
Soit X un ensemble et R une relation binaire sur X telle que pour tout a X
il existe b X satisfaisant aRb. Alors il existe une suite (x
n
)
nN
dlments
de X tels que x
n
Rx
n+1
pour tout n.
Avant de prsenter une autre forme de laxiome des choix dpendants, disons
quun ensemble T muni dune relation binaire R antisymtrique, sans cycles
et connexe (i.e deux points sont relis par une suite dlments en relation R)
est un arbre . Une branche innie de T est une suite injective (x
n
) dlments
de T telle que x
n
Rx
n+1
pour tout n.
Exercice 1.2.13. Montrer que laxiome des choix dpendants est quivalent
lnonc suivant :
Soit T un arbre inni tel que chaque lment a un nombre ni de voisins.
Alors T a une branche innie.
Pour nous, laxiome des choix dpendants sera particulirement important,
puisquil se trouve en fait tre quivalent (au dessus de ZF) lnonc "le
thorme de Baire est vrai dans tout espace complet", et le thorme de Baire
(dont lnonc sera rappel au prochain chapitre) est dune certaine faon la
pierre angulaire de la thorie descriptive des ensembles.
Notons que laxiome du choix implique laxiome des choix dpendants, qui
implique son tour laxiome du choix dnombrable ; on peut montrer quau-
cune des implications rciproques nest vraie. Enn, remarquons que laxiome
des choix dpendants, sil est susant pour dvelopper lanalyse classique, ne
permet pas de dmontrer lexistence densembles non Lebesgue-mesurables ;
on peut considrer que cet axiome est accept par une grande majorit des
mathmaticiens contemporains.
Revenons nos cardinaux ; laide de laxiome du choix, on peut vrier que
si (X

)
<
et (Y

)
<
sont tels que |X

| = |Y

| pour tout < alors on a

_
<
X

_
<
Y

et

<
X

<
Y

.
16 CHAPITRE 1. ORDINAUX, CARDINAUX, AXIOME DU CHOIX
De mme si |X| = |X
1
| et |Y | = |Y
1
| alors

X
Y

X
Y
1
1

. On peut alors
dnir les oprations arithmtiques cardinales :
Dnition 1.2.14. (arithmtique cardinale) Soit un ordinal et (

)
<
une suite de cardinaux indexe par un ordinal . On dnit

<

comme
lunique cardinal quipotent

.
De mme,

<

est lunique cardinal quipotent

.
Enn, si et sont deux cardinaux on dnit

comme lunique cardinal

quipotent lensemble des fonctions de dans ; en particulier

2
X

=
|P(X)| pour tout ensemble X.
La somme et le produit de cardinaux sont des oprations commutatives et
associatives ; attention au fait que la sommme/produit de deux cardinaux dif-
fre selon quon les considre comme des cardinaux ou comme des ordinaux...
Exercice 1.2.15. Montrer que |Q
2
| =
0
, puis montrer que |R| = 2

0
. Pour
la dernire question, on pourra considrer lapplication f : R P(Q
2
) dnie
par
f(x) =
_
(q, q

) Q
2
: q < x < q

_
.
Laddition et la multiplication dun nombre ni de cardinaux sont simples
comprendre, comme le montre le thorme suivant.
Thorme 1.2.16.
Soit , deux cardinaux innis. Alors on a + = . = max(, )
Preuve.
Il sut de montrer que pour tout cardinal inni on a . = , autrement
dit il nous faut montrer que tout ensemble inni X est quipotent XX
5
On raisonne par rcurrence transnie : soit donc un cardinal inni, dont
on suppose que pour tout cardinal inni < on a . = .
On va munir dun bon ordre dont tous les segments initiaux stricts se
plongent dans . Ce bon ordre sera isomorphe un certain ordinal, qui est
alors plus petit que (un ordinal est la runion de ses segments initiaux), et
permettra de dnir une injection de dans .
Pour dnir notre bon ordre, on pense lnumration classique de N N,
et on pose, pour (, ), (

)
2
:
_
(, ) (

)
_

_
( + <

) ou ( + =

et

)
_
On vrie que ceci dnit bien un bon ordre sur
2
; de plus, si (, )
2
alors le -segment initial associ (, ) se plonge dans ( + ) ( + ).
5. voil encore un nonc quivalent laxiome du choix !
1.2. CARDINAUX ET AXIOME DU CHOIX. 17
Par notre hypothse de rcurrence, et puisque , sont de cardinal < ,
on obtient que | + | est soit ni soit inni strictement infrieur ; par
consquent, |( ) ( )| < .
On voit donc que tous les segments initiaux du bon ordre sur sont
de cardinal strictement infrieur , ce qui termine la preuve.
Dune certaine faon, lopration arithmtique la plus mystrieuse sur les
cardinaux est lexponentiation ; le premier rsultat son sujet a t obtenu
par Cantor.
Thorme 1.2.17. (Cantor) Pour tout ensemble X il nexiste pas de sur-
jection f : X P(X).
Avec nos notations cela signie que pour tout cardinal on a < 2

.
Preuve.
Par labsurde, soit f : X P(X) une surjection, et soit
Y = {x X: x f(x)} .
On doit avoit Y = f(x
0
) pour un certain x
0
X, mais alors on vrie que
(x
0
Y ) (x
0
Y ), et on arrive donc une contradiction. .
On sait donc produire une classe strictement croissante et non borne de
cardinaux, en rptant lopration 2

. Y a-t-il des cardinaux qui ne sont

pas de cette forme ?
Dnition 1.2.18. Lhypothse du continu est lnonc 2

0
=
1
.
Lhypothse du continu gnralise est lnonc armant que pour tout or-
dinal on a 2

=
+1
.
Lide sous-jacente de lhypothse du continu est quon peut "voir" N, de
cardinal
0
, et R, de cardinal 2

0
, mais on ne voit pas densemble de rels
qui soit de ardinal intermdiaire. La question est donc : en existe-t-il ?
Pendant longtemps cette hypothse a paru naturelle ; Gdel a prouv quelle
tait consistante avec les axiomes de ZFC. Mais dans les annes 60, Paul
Cohen a montr, en utilisant la mthode du forcing, que la ngation de lhy-
pothse du continu tait aussi consistante avec ZFC, autrement dit (HC) est
indpendante de ZFC.
ujourdhui, la plupart des thoriciens des ensembles considrent quil ny a
aucune raison de limiter la richesse de la thorie en imposant arbitrairement
que lhypothse du continu soit vrie ; il existe des axiomes ("grands cardi-
naux") menant une thorie trs riche dans laquelle lhypothse du continu
est fausse.
18 CHAPITRE 1. ORDINAUX, CARDINAUX, AXIOME DU CHOIX
On nen dira pas plus sur lhypothse du continu dans ce cours ; pas plus
quon naura besoin de notions supplmentaires darithmtique cardinale.
Notons cependant que dans le cadre de ZFC peu de thormes "simples"
peuvent tre tablis, car beaucoup dnoncs sur les cardinaux se trouvent
tre indpendants de ZFC. Mais nous nallons pas manipuler des ensembles
quelconques, mais des ensembles munis dune topologie "sympathique", dont
nous ne manipulerons que des sous-ensembles "dnissables".
Notes bibliographiques.
Ce chapitre ne saurait constituer une introduction complte la thorie des
ensembles lmentaire ; ce sujet, le lecteur intress est invit consulter
[Hal74] sil cherche une prsentation intuitive de la thorie, et [Mos06] ou
[KM] pour une prsentation plus formelle et oriente vers les sujets qui ap-
paratront dans les chapitres suivants de ces notes.
Le lecteur anglophobe souhaitant se documenter sur le sujet pourra consulter
avec prot la traduction franaise du livre de Kuratowski sus-cit.
En ce qui concerne laxiome du choix, il existe une vritable encyclopdie
[HR98] prsentant ses multiples formes ; on pourra y trouver des rfrences
sur certains rsultats noncs sans rfrence dans le corps du chapitre ci-
dessus. Le livre de S. Wagon [Wag85] est galement trs instructif.
Enn, comme source bibliographique concernant les rsultats plus rcents de
thorie des ensembles (forcing, etc) le lecteur est invit consulter [Jec03].