IntroDesc Theorie Ensemble

Introduction la thorie descriptive des
ensembles
Texte rdig dans le but de fournir une introduction accessible

la thorie descriptive des ensembles, dans la mesure o la
situation politique actuelle permettrait dentretenir un espoir de
cette nature
ii
Avant-propos.
Ce document est destin accompagner un cours dcole doctorale donn
Lyon au semestre de printemps 2009. Ce cours tant perturb par une grve
dune dure indite, jai dcid de mettre les notes de cours en ligne ds
prsent. Elles ne sont pas encore finalises ; en particulier la bibliographie est
trs incomplte, et il est fort probable que le lecteur attentif trouvera bon
nombre derreurs plus ou moins graves. Si vous ne parvenez pas rsoudre
un exercice, prenez en considration lventualit que son nonc soit faux.
Notons enfin que la thorie descriptive des ensembles, tout au moins ce qui en
est prsent ici, na pas dapplication pratiques ; par suite le lecteur respecteux de la Stratgie Nationale de Recherche et dInnovation, et/ou dsireux
dobtenir de bons contrats de financement, ferait sans doute mieux de ne pas
sy intresser.
Table des matires

1 Ordinaux, Cardinaux, Axiome du Choix
1.1 Bons ordres et ordinaux . . . . . . . . . . . . . . . . . . . . .
1.2 Cardinaux et axiome du choix. . . . . . . . . . . . . . . . . . .
2 Espaces polonais et lemme de Baire
2.1 Rappels; espaces compacts, complets, sparables
2.2 Caractrisation des polonais; lemme de Baire . .
2.3 Schmas et thormes de transfert . . . . . . . .
2.4 Ensembles Baire-mesurables . . . . . . . . . . .
.
.
.
.
3 Groupes polonais
3.1 Dfinition, exemples . . . . . . . . . . . . . . . .
3.2 Distances invariantes gauche et groupe complt
3.3 Quotients et continuit automatique . . . . . . . .
3.4 Continuit des oprations de groupe. . . . . . . .
4 Ensembles borliens, analytiques, coanalytiques
4.1 La tribu borlienne . . . . . . . . . . . . . . . . .
4.2 Raffinement de topologies polonaises . . . . . . .
4.3 Ensembles analytiques; le thorme de sparation
4.4 Borliens standard; fonctions borliennes . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1
1
9
.
.
.
.
19
19
25
29
34
.
.
.
.
41
41
42
46
50
.
.
.
.
53
53
54
57
61
5 Uniformisations
65
5.1 Le thorme de Lusin-Novikov . . . . . . . . . . . . . . . . . . 65
5.2 Jeux topologiques et ensembles dunicit. . . . . . . . . . . . . 70
iii
iv
TABLE DES MATIRES
Chapitre 1
Ordinaux, Cardinaux, Axiome du
Choix
Ce cours traitera de thorie descriptive des ensembles, qui est une forme de
"combinatoire infinie" ; 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 fini : on numre les lments, et on sarrte quand il ny en a plus. On associe ainsi
chaque ensemble fini un entier, qui est son nombre dlments. Mais comment
faire quand on considre un ensemble infini ? 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
Dfinition 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
CHAPITRE 1. ORDINAUX, CARDINAUX, AXIOME DU CHOIX
Si x X on notera Sx 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.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 x0 le plus petit
lment ayant cette proprit. Alors on a, pour tout x < x0 , f (x) x.
Puisque f est strictement croissante, on en dduit que pour tout x < x0 on
a f (x0 ) > x.
Comme lordre est total, cela implique en particulier que f (x0 ) x0 , ce
qui contredit la dfinition de x0 .

Ceci permet dobtenir un rsultat de rigidit des ensembles bien ordonns.
Proposition 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 suffit 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 signifier que X X et
X 6 X , autrement dit si X est isomorphe un segment initial strict de X .
Remarquons que le thorme 1.3 entrane que X X si, et seulement si,
X X et X X.
1.1. BONS ORDRES ET ORDINAUX
On a dit quon souhaitait pouvoir enumrer tous les ensembles bien ordonns ;
mais quelle notion de "longueur" utiliser ?
Thorme 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 relation "tre isomorphe un segment initial". Restera ensuite choisir un
reprsentant dans chaque classe disomorphisme...
Preuve.
lensemble des segments initiaux de X, ordonn par linclusion.
Notons X
est
On vrifie facilement que cest un ensemble bien ordonn. Si tout S X
isomorphe un segment initial de Y alors cest en particulier le cas de X,
et la preuve est finie. Sinon, appelons S le plus petit lment qui ne soit pas
isomorphe un segment initial de Y .
Soit x < x S. Alors fy fx1 (fx (Sx )) = fy (Sx ), et comme fy fx1 est un isomorphisme entre deux segments initiaux de Y on en dduit que fy fx1 (y) = y
pour tout y fx (Sx )) = fy (Sx ).
Si jamais il existe x S tel que f ({x : x x}) = f (Sx ) = Y alors il ny
a rien dmontrer ; sinon pour tout x S il existe une injection croissante S
fx : Sx Y dimage un segment initial de Y . Mais alors, comme
S = xS Sx , on peut utiliser lobservation prcdente pour dfinir une
fonction strictement croissante f : S Y dimage xS fx (Sx ) (en posant
f (y) = fx (y) ds que y Sx ). Limage de f est une union de segments initiaux de Y , et est donc un segment initial de Y , ce qui contredit le choix de
S.

Corollaire 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.6. Soit W = {Wi : i I} une famille densembles bien ordonns. Alors il existe W W tel que W W pour tout W W.
Preuve.
Soit W0 W. Si W0 W pour tout W W, il ny a rien dmontrer. Sinon, lensemble {x W0 : Sx est isomorphe un lment de W} est
non vide. Appelons w le plus petit lment de cet ensemble, et prenons
W W qui soit isomorphe Sw (vu dans W0 ). Pour tout W W, il est

impossible par dfinition que W soit isomorphe un segment initial strict
de Sw , par consquent on a W W pour tout W W.

Maintenant, il faudrait dfinir rigoureusement les ordinaux ; lide est quon
veut compter partir de 0 jusqu linfini, et au-del. Mais une dfinition
formelle pose quelques difficults mtamathmatiques, qui ne correspondent
pas nos proccupations dans ce cours. On va donc se contenter dune prsentation 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 ordonn. 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 sidentifient naturellement aux lments de .
On a donc envie didentifier les ordinaux strictement infrieurs aux lments de , et donc deffectuer notre choix de reprsentants de classes disomorphisme 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 identifier
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 effectuer leur construction : en effet, il ny a pas dlement plus petit que 0, donc 0 doit tre lensemble vide. De mme, 1 =
{0} = {}, pour tout ordinal fini (i.e tout entier naturel !) on doit avoir
n = {0, 1, . . . , n1}, etc. On va se contenter dadmettre quune telle construction des ordinaux est possible dans le cadre de la thorie axiomatique de
Zermelo-Fraenkel, et reprendre le fil de ce cours.
Les relations , correspondent des oprations sur les ordinaux notes
cette fois <, . On notera maintenant ON la classe 1 des ordinaux ; on utilisera 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.
Dfinition 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 infini, qui est aussi le plus petit ordinal
limite.
0
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 difficile) et on obtient le rsultat suivant :
Thorme 1.8. (Dmonstration par rcurrence transfinie)
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 floue ; disons simplement quune proprit est
quelque chose quon peut exprimer par un nonc crit en utilisant le langage de la thorie
des ensembles.
On sait maintenant, au moins en thorie, comment dmontrer des noncs

par rcurrence transfinie ; il est aussi courant en analyse et en combinatoire
infinie quon soit amen construire un objet par rcurrence transfinie ; cest
une construction facile comprendre mais lnonc assez aride.
Thorme 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|Sx ) .
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 transfinie (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 enfin 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
transfinie, donnons un exemple.
Exemple : la drivation de Hausdorff.
Soit (X, ) un ensemble ordonn, et une relation dquivalence compatible
avec (cest--dire, telle que passe au quotient par ). Alors on peut
dfinir une nouvelle relation, note D(), en posant
xD()y ( il existe un nombre fini 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 dfinit une relation
dquivalence compatible avec par rcurrence transfinie, 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 identifier tous

les points tels que [x, y] est fini et form ainsi un nouvel ensemble ordonn,
auquel on a appliqu la mme construction, et on a rpt le procd pendant
tapes.
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 indfiniment sans jamais sarrter ? Au contraire, estce 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 estce que n arrte de grossir au bout dun moment ? Nous reviendrons sur ces
questions aprs lintroduction des cardinaux.
Exercice 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 dfinir les oprations ordinales en dcrivant des oprations sur
les bons ordres ; pour gagner du temps dans ces notes, on va simplement
noncer une dfinition par rcurrence transfinie. On note s() le successeur
dun ordinal , cest--dire le plus petit ordinal strictement plus grand que
.
Dfinition 1.11. (addition ordinale) Soit un ordinal. On pose + 0 = ,
puis on dfinit par rcurrence transfinie sur ON laddition ordinale +
en posant :
(
s( + )
si = + 1
+ =
sup ({ + : < }) si est limite
0
Lordinal + 1
Par exemple, on a 1 + = sup{1 + n : n < } = . Par contre, + 1 6=
puisque + 1 a un plus grand lment. Intuitivement, laddition de deux
ordinaux correspond mettre bout bout et .
Exercice 1.12. Utiliser une dmonstration par rcurrence transfinie pour
montrer que laddition est associative, et que si 6= alors pour tout on
a + 6= + .
Dfinition 1.13. (multiplication ordinale) Soit un ordinal. On pose .0 =

0, puis on dfinit par rcurrence transfinie 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 justifier graphiquement lgalit 2. = .
2. =
Exercice 1.14. Utiliser une dmonstration par rcurrence transfinie pour
montrer que la multiplication est associative, et que si > 0 alors pour tout
> 1 on a . < ..
Les deux oprations dfinies ci-dessus sont associatives, on a bien comme
attendu + = .2, par contre attention la non-commutativit : 1+ =
tandis que + 1 6= puisque + 1 est successeur ; de mme 2. = tandis
que .2 = + > .
Exercice 1.15.
Dcrire des oprations sur les bons ordres qui donnent naissance laddition et la multiplication des ordinaux (pour la somme ordinale, on pourra
sinspirer du dessin ci-dessous).
+
La somme de deux ordinaux
Exercice 1.16. Comment dfiniriez-vous pour deux ordinaux , ? Donner dabord une description par rcurrence transfinie, 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.
Exercice 1.17. On reprend les notations introduites lors de la dfinition de

la drivation de Hausdorff. 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 transfinie :
Exercice 1.18. Montrer que tout ordinal peut scrire de faon unique
sous la forme = + n, o est un ordinal limite et n est fini.
1.2
Cardinaux et axiome du choix.
On a vu comment numrer des ensembles bien ordonns ; par contre, contrairement aux ensembles finis, 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 dvelopper une thorie satisfaisante des cardinaux des ensembles bien ordonnables ; 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 dfinir 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 dfinir le fait que X et Y ont "le mme nombre dlments"
sans utiliser de bon ordre, comme le montre la dfinition suivante.
Dfinition 1.19. 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 finis, tous les ensembles. Dj, il faut sassurer que ces
notions sont bien compatibles entre elles ; au dbut, tout se passe bien.
Thorme 1.20. (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
sr, on a X g(Y ) g(f (X)), et g f est une injection de X dans X.

On voit donc quil suffit 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 rflchissant ce cas, on est amen considrer le dessin suivant :
...
f (X) \ f (Y )
Y \ f (X)
X \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 fixes, et dcaler les points gris dune couronne en utilisant f .
Formellement, on dfinit une suite densembles disjoints Xi X en posant
Xi = f i (X \ Y ) (= f i (X) \ f i (Y )) ; puis on dfinit une fonction g : X Y
en posant
(
S
f (x) si x Xi
g(x) =
x
sinon
Par dfinition il est clair que g est une injection dont limage est contenue dans Y , dautre part il est facile de vrifier, en utilisant le fait que
g(Xi) = f (Xi ) = Xi+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 injection de X dans Y alors il existe une surjection de Y sur X, donc toutes nos
dfinitions possibles pour comparer les cardinaux densembles sentendent
bien, et on obtient ainsi un quasi-ordre sur les ensembles. Notre proccupation maintenant est de savoir si deux ensembles sont ncessairement comparables pour ce quasi-ordre.
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.21. 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.22. 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 dfinition suivante.
Dfinition 1.23. 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 finis sont des cardinaux, ainsi que ; par
contre, + 1 nest pas un cardinal. Notons galement que par dfinition deux
cardinaux distincts ne peuvent pas tre quipotents. Enfin, 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.
Dfinition 1.24. (Alephs)
On dfinit par rcurrence transfinie , pour tout ordinal , en posant 0 =
puis
(
+
si = + 1
= S
si est limite
<
12
Il est alors possible de vrifier 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.25.
Montrer quil existe des ordinaux (donc des cardinaux !) tels que = 3 .
Les cardinaux nous permettent de prouver que soit un ensemble ordonn dnombrable est pluchable, soit il contient un noyau (et donc un sous-ensemble
isomorphe (Q, )).
Exercice 1.26. Soit (X, <) un ensemble dnombrable. On note la ime relation dquivalence apparaissant dans la drivation de Hausdorff de
X ; montrer quil existe < 1 tel que =+1 .
Pour dfinir une notion satisfaisante du cardinal dun ensemble, on a eu
besoin dutiliser laxiome de Zermelo. Celui-ci rapparat quand on essaie
de traiter larithmtique des cardinaux, mais sous une forme diffrente. 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.
Son nonc intuitif, 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 totalement ordonn admet un majorant. Nous dirons aussi quun ensemble X admet 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.
Dfinition 1.27. 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 "historique" de laxiome du choix ; sous cette forme il a t introduit par Zermelo
en 1904. Cet axiome tait implicitement utilis par de nombreux mathmaticiens du dix-neuvime sicle et parat plutt "naturel". il est plus difficile
de se faire une ide intuitive du second nonc, dont on voit quil permet
3
Indication : considrer lapplication 7 ; en particulier, montrer que pour tout

ordinal lordinal = sup({f n () : n < }) est un point fixe de f
13
dune certaine faon de faire de lanalyse en vitant la thorie des ordinaux

et la rcurrence transfinie. Le dernier nonc parat, lui, assez arbitraire, et
dit quen fait on peut ramener les raisonnements de thorie des ensembles
des raisonnements sur les ordinaux. Un rsum fameux, mais apocryphe 4 :
"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 dmontrer, et cest un exercice vivement recommand ; ici on va se contenter
dexpliquer rapidement pourquoi (Zermelo) implique (Choix), (Choix) implique (Zorn) et (Zorn) implique (Zermelo).
(Zermelo) (Choix) :
Cest limplication la plus facile des trois : en effet, 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 dlment 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
transfinie, on peut construire une suite indexe par dlments de X en
posant, pour tout < :
(a) x0 = 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 dfinition 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 vrifier 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.

4
Wikipedia lattribue un certain Jerry Bona.
14
Laxiome du choix a de nombreuses consquences en mathmatiques, dont

certaines paraissent pathologiques. Lexemple le plus connu est sans doute
lexistence de parties non Lebesgue-mesurables dans R. Certains mathmaticiens refusent de ce fait laxiome du choix ; notons tout de mme que, contrairement 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.
Par ailleurs, laxiome du choix a de nombreuses consquences qui, elles, paraissent trs utiles : thorme de la base 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 difficile de compter le nombre dlments
dun ensemble quelconque. Un autre exemple de difficult lie labsence de
laxiome du choix se trouve dans lexercice suivant.
Exercice 1.28. 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
diffrentes 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 dfinitions classiques de la continuit
pour des fonctions de R dans R (par les suites/image inverse dun ferm
est ferm) sont quivalentes rcquiert laxiome du choix dnombrable... De
mme on a besoin dune forme daxiome du choix pour justifier quune union
dnombrable densembles dnombrables est dnombrable, comme le montre
lexercice suivant.
Exercice 1.29. Montrer que laxiome du choix dnombrable entrane que
toute runion dnombrable densembles dnombrables est dnombrable (rappelons quun ensemble est dnombrable sil est fini ou quipotent ).
Montrer que si toute runion dnombrable densembles dnombrables est dnombrable alors tout produit dnombrable de parties dnombrables non vides
est non vide.
15
En ralit, laxiome du choix dnombrable nest pas suffisant pour les raisonnements que nous devrons effectuer dans ce cours.
En effet, on aura besoin de construire des suites en utilisant le principe suivant : supposons qutant donn x1 , . . . , xn tel que P ({x1 , . . . , xn }) est satisfaite (o P est une certaine proprit des ensembles finis) jarrive trouver un
x tel que {x1 , . . . , xn , x} a la proprit P ; alors je suis capable de construire
une suite (xn )nN tel que pour tout n on ait P ({x1 , . . . , xn }).
Ce procd est la base de toutes les constructions par "approximation successives" et devient lgal quand on sautorise appliquer laxiome des choix
dpendants.
Dfinition 1.30. 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 (xn )nN dlments
de X tels que xn Rxn+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 infinie de T est une suite injective (xn ) dlments
de T telle que xn Rxn+1 pour tout n.
Exercice 1.31. Montrer que laxiome des choix dpendants est quivalent
lnonc suivant :
Soit T un arbre infini tel que chaque lment a un nombre fini de voisins.
Alors T a une branche infinie.
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 quaucune des implications rciproques nest vraie. Enfin, remarquons que laxiome
des choix dpendants, sil est suffisant 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 vrifier que
16
si (X )< et (Y )< sont tels que |X | = |Y | pour tout < alors on a

G
G
Y
Y

X =
Y et
X =
Y .

<
<
<
<

De mme si |X| = |X1 | et |Y | = |Y1 | alors X Y = X1Y1 . On peut alors
dfinir les oprations arithmtiques cardinales :
Dfinition 1.32. (arithmtique cardinale) Soit un ordinal

Pet ( )< une
suite de cardinaux indexe parF un ordinal . On dfinit
< comme
lunique cardinal
quipotent
Q
De mme, < est lunique cardinal quipotent au produit cartsien des
.
Enfin, si et sont deux cardinaux on dfinit comme lunique cardinal

quipotent lensemble des fonctions de dans ; en particulier 2X =
|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 diffre selon quon les considre comme des cardinaux ou comme des ordinaux...
Exercice 1.33. Montrer que |Q2 | = 0 , puis montrer que |R| = 20 . Pour la
dernire question, on pourra considrer lapplication f : R P(Q2 ) dfinie
par

f (x) = (q, q ) Q2 : q < x < q .
Laddition et la multiplication dun nombre fini de cardinaux sont simples

comprendre, comme le montre le thorme suivant.
Thorme 1.34.
Soit , deux cardinaux infinis. Alors on a + = . = max(, )
Preuve.
Il suffit de montrer que pour tout cardinal infini on a . = , autrement
dit il nous faut montrer que tout ensemble infini X est quipotent X X
5
On raisonne par rcurrence transfinie : soit donc un cardinal infini, dont
on suppose que pour tout cardinal infini < 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
5
voil encore un nonc quivalent laxiome du choix !
17
permettra de dfinir une injection de dans .

Pour dfinir notre bon ordre, on pense lnumration classique de N N,
et on pose, pour (, ), (, ) 2 :

(, ) (, ) ( + < + ) ou ( + = + et )
On vrifie que ceci dfinit bien un bon ordre sur 2 ; de plus, si (, ) 2

alors le -segment initial associ (, ) se plonge dans ( + ) ( + ).
Par notre hypothse de rcurrence, et puisque , sont de cardinal < ,
on obtient que | + | est soit fini soit infini 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.35. (Cantor) Pour tout ensemble X il nexiste pas de surjection
f : X P(X).
Avec nos notations cela signifie que pour tout cardinal on a < 2 .
Preuve.
Par labsurde, soit f : X P(X) une surjection, et soit
Y = {x X : x 6 f (x)} .
On doit avoit Y = f (x0 ) pour un certain x0 X, mais alors on vrifie que
(x0 Y ) (x0 6 Y ), et on arrive donc une contradiction.
.
On sait donc produire une classe strictement croissante et non borne de
cardinaux, en rptant lopration 7 2 . Y a-t-il des cardinaux qui ne sont
pas de cette forme ?
Dfinition 1.36. Lhypothse du continu est lnonc 20 = 1 .
Lhypothse du continu gnralise est lnonc affirmant que pour tout ordinal on a 2 = +1 .
Lide sous-jacente de lhypothse du continu est quon peut "voir" N, de
cardinal 0 , et R, de cardinal 20 , mais on ne voit pas densemble de rels
qui soit de cardinal 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
18
Cohen a montr, en utilisant la mthode du forcing, que la ngation de lhypothse du continu tait aussi consistante avec ZFC, autrement dit (HC) est
indpendante de ZFC.
Aujourdhui, 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 vrifie ; il existe des axiomes ("grands cardinaux") menant une thorie trs riche dans laquelle lhypothse du continu
est fausse.
On nen dira pas plus sur lhypothse du continu dans ce cours ; on naura
pas non plus 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 "dfinissables".
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 apparatront dans les chapitres suivants de ces notes.
Le lecteur anglophobe souhaitant se documenter sur le sujet pourra consulter
avec profit 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 cidessus. Le livre de S. Wagon [Wag85] est galement trs instructif.
Enfin, comme source bibliographique concernant les rsultats plus rcents de
thorie des ensembles (forcing, etc) le lecteur est invit consulter [Jec03].
Chapitre 2
Espaces polonais et lemme de
Baire
2.1
Rappels ; espaces compacts, complets, sparables
Dans ce chapitre, on va commencer par rappeler quelques dfinitions et proprits de base en topologie mtrique ; beaucoup de ces rappels se feront sous
forme dexercices. Ensuite nous nous concentrerons sur les espaces polonais,
cest--dire les espaces sparables compltement mtrisables.
Une pseudo-distance sur un ensemble X est une application d : X X R+
symtrique, satisfaisant lingalit triangulaire
x, y, z X d(x, y) + d(y, z) d(x, z) .
Une distance est une pseudo-distance d sur X telle que de plus
x, y X d(x, y) = 0 x = y .
Un espace mtrique est un ensemble muni dune distance.
La topologie engendre par une distance d est la famille des ensembles ouverts pour d, cest--dire qui sont runion dune famille de boules ouvertes ;
un espace topologique est dit mtrisable si sa topologie est engendre par
une distance d.
Dans la suite on utilisera B(x, r] (resp. B(x, r[) pour dsigner la boule ferme
(resp. ouverte) de centre x et de rayon r ; une isomtrie de (X, d) sur (Y, d )
est une bijection entre X et Y telle que d(x, x ) = d (f (x); f (x )) pour tout
(x, x ) X 2 ; une application non surjective mais prservant les distances
19
20
CHAPITRE 2. ESPACES POLONAIS ET LEMME DE BAIRE
sera appele plongement isomtrique (ou simplement isomtrie non surjective). On suppose connues les notions dadhrence et intrieur dans un espace
mtrique, ainsi que la notion de suite de Cauchy et de complt dun espace
mtrique.
Fixons notre terminologie :
Dfinition 2.1. Soit (X, d) un espace mtrique. On rappelle que
(X, d) est sparable ssi il a un sous-ensemble dnombrable dense.
(X, d) est complet si toute suite de Cauchy dlments de X est convergente.
(X, d) est compact si toute suite dlments de X a une sous-suite convergente ; de manire quivalente1 (X, d) est compact si de tout recouvrement
de X par des ouverts on peut extraire un sous-recouvrement fini.
(X, d) est prcompact si pour tout > 0 on peut recouvrir X par un
nombre fini de boules de rayon .
On utilisera sans dmonstration dans la suite des proprits lmentaires des
espaces mtriques ; certaines dentre elles sont regroupes dans les exercices
ci-dessous.
Exercice 2.2. Soit (X, d) un espace mtrique.
Rappelons quune famille douverts (Ui )iI est uneSbase douverts si pour
tout ouvert U X il existe J I tel que U = jJ Uj . Montrer alors
que (X, d) est sparable si, et seulement si, il admet une base dnombrable
douverts.
Si (Ui )iI est une base de la topologie de X, montrer que lapplication qui
x associe lensemble des i pour lesquels x Ui est injective. En dduire
que tout espace mtrique sparable X est de cardinal infrieur 20 .
Prouver que si (X, d) est sparable alors tout sous-ensemble de X, muni
de la distance induite, est sparable.
Montrer que X est complet si, et seulement si, toute suite dcroissante de ferms Fn X telle que diam(Fn ) 0 est dintersection non vide. Lhypothse
sur le diamtre des Fn est-elle ncessaire ?
Montrer que (X, d) est compact si, et seulement si, (X, d) est la fois
prcompact et complet.
1
on admet cette quivalence classique mais non triviale !
2.1. RAPPELS ; ESPACES COMPACTS, COMPLETS, SPARABLES 21

Montrer que tout compact mtrique est sparable. Que pensez-vous de la
rciproque ?
Montrer que si (X, d) est compact et f : (X, d) (Y, d ) est surjective alors
(Y, d) est compact ; en dduire quune bijection continue entre espaces
compacts mtriques est un homomorphisme, cest--dire que sa fonction
rciproque est aussi continue.
Exercice 2.5. Soit (X, d) un espace mtrique compact.
Montrer que tout plongement isomtrique f : X X est surjectif.
Les dmonstrations en thorie descriptive des ensembles utilisent souvent des
techniques de "codage" ; pour effectuer ces codages il est parfois plus simple
de manipuler des espaces borns, ce quon peut faire grce la construction
dcrite dans lexercice suivant.
y) = min(d(x, y), 1) est une distance qui
Montrer que d dfinie par d(x,
dfinit la mme topologie que d.
d
; prouver que dans ce cas d et d ont
Mme question avec cette fois d = 1+d
les mmes isomtries et les mmes applications uniformment continues.
Les espaces les mieux adapts pour appliquer les techniques de codage voques plus haut sont introduits dans la dfinition ci-dessous.
Dfinition 2.7. Un espace topologique (X, d) est zro-dimensionnel si X
admet une base douverts (Ui )iI tels que pour tout i Ui est la fois ouvert
et ferm dans X.
Exemple. Par exemple, (N, | |) est 0-dimensionnel ; peut-tre plus intressant est le fait que (Q, | |) lest aussi : si on fixe une numration (qi ) de
Q, alors la famille de boules B(qi , [ pour irrationnel est une base de la
topologie de Q constitue douvert-ferms.
La base ci-dessus nest pas dnombrable ; on voit facilement comment la
rendre dnombrable, mais est-ce le cas pour tout espace sparable ? Lexercice
suivant rpond cette interrogation.
Exercice 2.8. Soit (X, d) un espace sparable.
Montrer
S que pour tout ouvert U et toute famille douverts (Ui )iI telle
que
ii Uj = U, il existe un sous-ensemble dnombrable J I tel que
S
jJ Uj = U. En dduire que si (X, d) est 0-dimensionnel alors (X, d)
admet une base dnombrable douverts ferms.
Montrer que tout espace mtrique dnombrable est 0-dimensionnel.
22
Il nous reste introduire une dernire notion lmentaire, mais essentielle

pour nous, avant de discuter deux exemples trs importants ; pour rester
dans le contexte de ce cours, nous en donnons une dfinition ad hoc, sans
utiliser de topologie gnrale.
Dfinition 2.9. Soit (Xi , di )iI une
Qfamille dnombrable despaces mtriques.
On dfinit la topologie produit sur iI Xi comme la topologie engendre par
la distance d suivante :
X
d((xi ), (yi)) =
2i min(di (xi , yi ), 1) .
iI
Exercice 2.10.
Soit (Xi , di )iI une famille dnombrable despaces mtriques.
Q
On munit Xi de la topologie produit.
Q
Prouver quune suite (xn ) converge vers x dans Xi si, et seulement si,
on a pour tout i que xn (i) tend vers x(i). Q
En dduire que si les Xi sont complets alors Xi est complet.
En utilisant le procd diagonal, prouver quun produit dnombrable despaces mtriques compacts est compact 2 .
Pour tout J I fini et tout ensemble {Uj : j J} tel que chaque Uj Xj
est ouvert, on considre lensemble
Y
{x
Xi : j J x(j) Uj } .
Montrer que cesQensembles sont tous ouverts, puis quils forment une base
douverts pour Xi et en dduire quun produit dnombrable despaces
sparables est sparable.
Si (X, d) est un espace mtrique sparable, et (xn ) est une suite dense dans
X, donner explicitement une base douverts de la topologieQde X N .
Montrer que si tous les (Xi ) sont 0-dimensionnels alors
Xi est aussi
0-dimensionnel.
Exercice 2.11. Montrer que tout espace mtrique sparable est homomorphe un sous-ensemble de [0, 1]N .
Avant den finir avec ces rappels de topologie mtrique, on va introduire deux
espaces qui seront omniprsents dans la suite de ce cours.
Dfinition 2.12. Munissons 2 = {0, 1} et N de la distance discrte. Alors
on dfinit lespace de Cantor C = 2N et lespace de Baire N = NN , tous deux
munis de la topologie produit .
2
Pour pouvoir utiliser un procd diagonal, on a besoin de laxiome des choix dpendants...
2.1. RAPPELS ; ESPACES COMPACTS, COMPLETS, SPARABLES 23

Ces espaces sont tous deux 0-dimensionnels, complets, et C est mme compact. Par contraste, on voit facilement que tout compact K de N est dintrieur vide : pour tout n lapplication x 7 x(n) est continue sur N et donc
borne sur K. Ceci tant vrai pour tout n, on voit daprs la dfinition de la
topologie produit que K est dintrieur vide.
Notation.
Dans la suite, si A est un ensemble, et s An est une suite finie dlments
de A, on notera
Ns = {x AN : x|n = s} .
Les Ns forment une base de la topologie de AN .
On notera A<N lensemble des suites finies dlments de A ; si s AN on
notera |s| la longueur de s.
Exercice 2.13. Soit A un ensemble au plus dnombrable, muni de la distance discrte.
Montrer que la famille (Ns ) dfinie ci-dessus est une base dnombrable douvertsferms pour la topologie produit sur AN .
On a introduit les espaces de Baire et de Cantor sous forme despaces de
suites, propice au codage ; mais vous les avez dj rencontrs en tudiant la
topologie de R.
Exercice 2.14. On peut construire un sous-ensemble de [0, 1] de la faon
suivante : on pose K0 = [0, 1], puis on enlve le segment ouvert du milieu,
cest--dire quon dfinit K1 = [0, 1/3] [1/3, 2/3], puis on applique la mme
construction lintrieur de chacun des segments, et on continue jusqu ;
autrement dit, on construit K = Kn . Cet ensemble sappelle lensemble
triadique de Cantor.
K0
K1
K2
Construction de lensemble triadique de Cantor.
Montrer que lensemble triadique de Cantor est homomorphe C (indication : si x K, alors chaque tape de la construction de K x est soit
gauche soit droite du segment qui est enlev, ce qui doit pouvoir se coder
avec une suite de 0 et de 1...
24
Exercice 2.15. A laide dun raisonnement de type va-et-vient, montrer que

si deux sous-ensembles K1 , K2 de R sont homomorphes C alors il existe
un homomorphisme de R qui envoie K1 sur K2 3 .
Exercice 2.16. En utilisant le dveloppement en fractions continues, montrer que N est homomorphe R \ Q.
Remarquons enfin que chacun de ces espaces contient un sous-ensemble homomorphe lautre ; puisquil est clair que N contient un sous-ensemble
homomorphe C, il nous suffit de produire un sous-ensemble de C homomorphe N . Pour cela, considrons lensemble
N = {x 2N : x prend une infinit de fois la valeur 1} .
A tout x = n0 a n1 a . . . , de N , associons f (x) = 0n0 a 1 a 0n1 a 1 a . . . ;
cette fonction est bien dfinie sur N , clairement continue, et valeurs dans
N. On laisse en exercice le fait de vrifier que f 1 : N N est continue.
Enfin, notons la proposition technique suivante, qui nous sera trs utile par
la suite.
Proposition 2.17. Soit A un ensemble muni de la distance discrte, et X =
AN muni de la topologie produit. Alors tout ferm F X est un rtract de X,
cest--dire quil existe une fonction continue r : X F telle que r|F = idF .
Dans la pratique, on appliquera le thorme prcdent avec A = 2 ou A = N.
Preuve.
Pour tout s tel que Ns F 6= , fixons ys Ns F . Pour tout x AN , soit
x F soit il existe un plus grand n = nx tel que Nx|n F 6= . Dans le
premier cas, on pose f (x) = x, dans le second cas on introduit s = x|nx +1 et
on pose f (x) = ys .
La fonction f est bien dfinie, valeurs dans F , et on a bien f (x) = x pour
tout x F . Reste vrifier que f est continue en x pour tout x AN :
si x F : Alors pour tout n et tout y AN on voit que si x et y ont les
mmes n premires coordonnes il en va de mme de f (x) et f (y), et donc f
est continue en x.
x 6 F : Alors pour tout y tel que y|nx +1 = x|nx +1 on a f (x) = f (y), par
consquent f est localement constante au voisinage de x et donc continue en
x.

3
indication : si K est homomorphs C, alors le complmentaire de K est ouvert, donc

runion dnombrable dintervalles ouverts ; on peut dfinir un ordre sur ces intervalles par
I J sup(I) inf(J). Montrer que cet ordre est dense et na pas de plus grand ni de
plus petit lment.
2.2. CARACTRISATION DES POLONAIS ; LEMME DE BAIRE
25
Lide de la dmonstration prcdente est que, si lon a un ouvert U AN

et quon construit un lment x de AN , alors on va tre oblig de dcider en
temps fini si x U (autrement dit : si on construit x en essayant de toujours
se donner le choix entre finir dans U et finir dans son complmentaire, alors
llment construit appartiendra forcment au complmentaire de U).
2.2
Caractrisation des polonais ; lemme de Baire
Dfinition 2.18. Un espace mtrisable X est polonais si X est sparable et

il existe une distance complte induisant la topologie de X.
Par exemple, R avec sa topologie usuelle est un espace polonais ; tout compact mtrisable est polonais. Lespace de Cantor et lespace de Baire sont
tous deux polonais. Plus gnralement, notre travail de la section prcdente
nous permet daffirmer que tout produit dnombrable despaces polonais est
polonais.
Dfinition 2.19.
On dira dans la suite quun ensemble est G sil scrit comme une intersection
dnombrable douverts. Un F est un ensemble dont le complmentaire est
G , cest--dire une runion dnombrable de ferms.
Exercice 2.20. Montrer que dans un espace mtrique tout ouvert (ou tout
ferm !) est la fois F et G .
Thorme 2.21. (Alexandrov)
Si (X, d) est polonais alors tout G de X, muni de la topologie induite, est
un espace polonais.
Preuve.
Commenons par traiter le cas dun ouvert O X ; si d est une distance
compatible sur X, alors on peut dfinir une nouvelle distance dO sur O en
posant

1
1
.
dO (x, y) = d(x, y) +
d(x, X \ O) d(y, X \ O)
Cette distance dfinit bien sur O la mme topologie que d, puisquon a, pour
tout x O et toute suite (xn ) dlments de O, que
d(xn , x) 0 dO (xn , x) 0 .
Il nous reste montrer que (dO ) est complte ; si (xn ) est une suite dO -Cauchy,
alors xn tend vers x X, et il est facile de vrifier par labsurde quon doit
26
avoir x O (sinon d(xn , X \ O) tend vers 0 et (1/d(xn , X \ O)) ne peut pas

tre de Cauchy dans R 4 ).
Si maintenant O = n0 On , alors on peut utiliser la mme ide et dfinir
cette fois

X

1
1
n

dO (x, y) = d(x, y) +
min 2 ,

d(x,
X
\
O
)
d(y,
X
\
O
)
n
n
n0
On laisse au lecteur le soin de vrifier que ceci dfinit bien une distance complte compatible avec la topologie de O.

On va voir quen fait le thorme dAlexandrov admet une rciproque. Avant
cela, il nous faut analyser les prolongements par continuit de fonctions continues.
Dfinition 2.22. Soit X, Y deux espaces mtriques, A X et f : A Y
une fonction. Pour tout x A on dfinit loscillation de f en x par la formule
(f, x) = inf (sup ({dY (f (x1 ), f (x2 )) : xi A et dX (x, xi ) < }))
>0
On vrifie immdiatement que f est continue en x A si, et seulement si,

(f, x) = 0 ; de mme, si x A \ A alors si Y est complet f se prolonge par
contiuit en x si, et seulement si, (f, x) = 0.
Thorme 2.23. (Kuratowski)
Soit X, Y deux espaces mtriques, A X, et f : A Y une fonction continue. On suppose que Y est complet ; alors il existe une partie B de X telle que
A B, B soit G dans X et f stende en une fonction continue f: B Y .
Preuve.
Il nous suffit de prouver que B = {x A : (f, x) = 0} est G dans A, car
alors B sera aussi G dans X et f se prolonge par continuit B.
Fixons r > 0 ; par dfinition, on voit que si (f, x) < r alors il existe > 0
tel que lon ait d(f (x1 ), f (x2 )) < r pour tout x1 , x2 B(x, [.
En utilisant lingalit triangulaire, on voit donc que pour tout x B(x, [
on a (f, x) < r.
Autrement dit, pour tout r lensemble
Ar = {x A : (f, x) < r} est ouvert
T
dans A ; par consquent, B = n A1/n est G dans A, donc aussi dans X.
4
Ici on utilise la compltude de R.
2.2. CARACTRISATION DES POLONAIS ; LEMME DE BAIRE
27
Thorme 2.24. (Laverentiev) Soit X, Y deux espaces mtriques complets,

A X et f : A X un homomorphisme sur son image. Alors il existe
Y tels que A A,
B B,
et f stende en un
deux G A X, B
homomorphisme de A sur B.
Preuve
Soit f : A Y une fonction prolongeant par continuit f un G de X, et
g : B X une fonction prolongeant par continuit f 1 un G de Y .
B
en posant :
Dfinissons maintenant A,
= {y B : g(y) A et f (g(y)) = y}
A = {x A : f (x) B et g(f (x) = x} ; B
B B,
et dautre part f (A)
= B,
g(B)
= A.
Par
On a bien sr A A,
consquent f est un homomorphisme de A sur B, qui prolonge f .

sont G ; par symtrie, il suffit de
Ne reste dmonter que le fait que A et B
montrer que A est G dans X.
Cela vient du fait que = {(g(y), y) : y B} est ferm dans X B, donc
G dans X Y ; si lon note lapplication de A dans X Y dfinie par
(x) = (x, f (x)) alors on a
A = 1 () .
Comme limage rciproque dun G par une fonction continue est un G , ceci
termine la dmonstration.

Corollaire 2.25. Soit X un espace mtrique complet. Alors A X, muni
de la topologie induite, est compltement mtrisable si, et seulement si A est
G dans X.
Preuve.
On a dj vu une des implications ; pour lautre, supposons que A est compltement mtrisable eet appliquons le thorme de Laverentiev avec Y = A
et f : A A gale lidentit. Alors f doit stendre en un homomorphisme
dun G de X sur un G de A contenant A, cest--dire... A. Donc il ny a
pas de place pour tendre f et, par consquent, A est G dans X.

Exercice 2.26. Soit X un espace mtrisable. Montrer que X est compltement mtrisable ssi X est G dans tout sur-espace mtrique ssi X est G
dans son complt.
Thorme 2.27. (Thorme de Baire) . Soit (X, d) un espace mtrique complet et (On )nN X des ouverts denses. Alors On est dense dans X.
28
Preuve.
Soit U un ouvert de X. Par rcurrence, on peut, en utilisant la densit des Oi
et le fait quune intersection finie douverts est ouverte, construire une suite
douverts Vn tels que :
(a) Vn On U ;
(b) Vn+1 Vn ;
(c) diam(Vn ) 0.
Alors par compltude de X on sait que Vn = Vn 6= , ce qui produit donc
un lment de Vn U On U ; par consquent Vn est dense.

Remarquons que le thorme de Baire st souvent nonc sous la forme "soit
X un espace mtrique complet ou localement compact ; alors toute intersection dnombrable douverts denses est dense". Si lon se place dans le
contexte mtrique 5 , lhypothse "localement compact" napporte rien : en
effet, tout espace mtrisable et localement compact admet une distance compatible complte, ce qui est une consquence de lexercice suivant.
Exercice 2.28. (cf Srivastava p62).
Soit X un espace mtrisable et Y X un sous-ensemble localement compact
et dense. Alors Y est ouvert dans X.
En particulier, si d est une distance quelconque induisant la topologie dun
espace localement compact X, alors X est ouvert dans son d-complt et par
consquent il existe une distance compatible complte sur X.
Le thorme de Baire est frquemment utilis sous la forme suivante : si
(X, d) est complet et (Fn )nN est une famille dnombrable de ferms telle
que Fn = X, alors lun des Fn est dintrieur non vide. Pour voir que
les deux versions du thorme sont quivalentes, il suffit de remarquer quun
ferm est dintrieur vide si et seulement si son complmentaire est un ouvert
dense.
Exercice 2.29. Soit X un espace dans lequel le thorme de Baire sapplique.
Montrer qualors le thorme de Baire sapplique tout ouvert de X.
Exercice 2.30. Soit (X, d) un espace mtrique complet.
Utiliser la remarque ci-dessus pour prouver la version suivante du thorme
de Baire : si (On ) est une famille dnombrable douverts denses dans (X, d),
alors pour tout ouvert O de X O (n On ) est dense dans O.
5
Savez-vous construire un espace localement compact mais non mtrisable ?
2.3. SCHMAS ET THORMES DE TRANSFERT
29
Soit (Fn ) une famille dnombrable de ferms telle que Fn = X. Prouver

que la runion des intrieurs des Fn est dense dans X.
Ce thorme est particulirement utile pour prouver lexistence dobjets satisfaisant certaines proprits ; cest la "mthode de la catgorie",qui permet
en particulier dobtenir une "inversion des quantificateurs" : transformer un
nonc de la forme "Quel que soit (...) il existe (...)" en un nonc "Il existe
(...) quel que soit (...)".
Exemple. On va prouver que tout compact dnombrable et mtrisable 6 est
homomorphe un compact de R.
Soit K = {kn }nN un tel compact ; considrons lensemble X des fonctions
continues de K dans R, muni de la distance du sup. Cet espace est complet
(exercice classique).
Pour toute paire (i 6= j) peut dfinir Xi,j = {f X : f (ki ) = f (kj )}. Cest
un sous-espace vectoriel ferm de X, et on vrifie facilement, puisque K est
mtrique, que Xi,j 6= X. Donc Xi,j est pour tout i 6= j un ferm dintrieur
vide, ce dont on dduit en appliquant le thorme de Baire X quil existe
f X \ Xi,j .
Une telle fonction f vrifie f (ki) 6= f (kj ) pour tout i 6= j, autrement dit f
est une injection continue de K dans R. Par consquent f est un homomorphisme sur son image.

Exercice 2.31. Montrer quun espace vectoriel sparable, norm, complet
sur R est de dimension (algbrique) finie ou non dnombrable.
Soit f : C C une fonction holomorphe telle que pour tout x il existe n
tel que f (n) (x) = 0. Montrer qualors f est un polynme 7 .
2.3
Schmas et thormes de transfert
Dfinition 2.32. Soit X un espace topologique. On dit que x X est un

point isol si {x} est ouvert dans X, et X est dit parfait si X na pas de
points isols.
On dit que x X est un point de condensation si tout ouvert contenant x
est non dnombrable.
6
lhypothse "mtrisable" est redondante, mais on na pas les outils de topologie pour
le montrer simplement.
7
Le rsultat est encore valide si lon suppose f : R R de classe C , mais cest
nettement plus dur tablir !
30
Thorme 2.33. (Cantor-Bendixson) Soit X un espace polonais. Alors X

scrit de manire unique X = P D, o P est parfait et D est ouvert
dnombrable.
Preuve.
Dfinissons P = X = {x X : x est un point de condensation}, D = X \P .
Fixons une base dnombrable (Un ) douverts de X ; on voit que D est la
runion des Un qui sont dnombrables. Donc D est ouvert et dnombrable.
De plus, si x P , alors tout ouvert contenant x est non dnombrable, donc
contient un lement qui nappartient pas D. Ceci prouve quaucun lment
de P nest isol, et donc P est parfait.
Pour voir que la dcomposition est unique, notons que si un polonais Y a
un ouvert U dnombrable, alors U scrit comme une runion dnombrable
de singletons, qui sont ferms. Daprs le thorme de Baire, U contient un
singleton ouvert, autrement dit un point isol. Par consquent si P est un
polonais parfait alors tous les ouverts de P sont non dnombrables, ce qui
permet de voir que P = P . Soit alors X = P1 D1 une dcomposition
comme dans lnonc du thorme ; on a X = P = P1 , ce qui permet de
conclure.

On a dj dit que les espaces de Baire et de Cantor taient frquemment
utiliss pour tablir les thormes de thorie descriptive ; dans cette section,
on va maintenant expliquer loutil qui permet de passer de rsultats tablis
pour lespace de Baire ou de Cantor des rsultats valides pour tous les
espace polonais : ce sont les schmas.
Dfinition 2.34. Un schma de Cantor sur un ensemble X est une famille
(Fs )s2<N de sous-ensembles non vides de X tels que :
(a) Fsa0 Fsa1 = pour tout s 2<N .
(b) Fsai Fs pour tout s 2<N et tout i {0, 1}.
(c) diam(Fx|n ) 0 pour tout x 2N .
Comme leur nom lindique, ces schmas sont trs utiles pour travailler avec
lensemble de Cantor. Par exemple :
Thorme 2.35. Soit X un espace polonais parfait et non vide. Alors il
existe une injection continue de C dans X.
Remarquons, avant de prouver ce thorme, quon en dduit que tout polonais parfait est de cardinal suprieur 20 , et donc de cardinal gal 20 . En
utilisant le thorme de Cantor-Bendixson, on obtient quun espace polonais
est soit au plus dnombrable soit de cardinal 20 , autrement dit lhypothse
...
...
...
...
A01
A00
...
31
...
...
A10
A0
...
A11
A1
Dbut dun schma de Cantor

du continu est "vraie pour les polonais".
Preuve.
Soit d une distance complte sur X ; on peut construire un schma de Cantor
(Us ) sur X tel que Us soit ouvert-ferm, non vide, et de diamtre 2|s| pour
tout s (remarquons que dans un espace parfait tout ouvert est parfait !).
Alors on peut utiliser le schma pour dfinir une injection de C dans X en
dfinissant
\
{f (x)} =
Ux|n .
Cette fonction est bien dfinie puisque lintersection dune suite dcroissante
de ferms dont le diamtre tend vers 0 est un singleton. Pour voir que f est
continue, il suffit de remarquer que si x, y C ont leurs n premires coordonnes gales alors d(f (x), f (y)) 2n .

Thorme 2.36. (Brouwer) Soit K un espace compact mtrisable, parfait,
non vide et zro-dimensionnel. Alors K est homomorphe lespace de Cantor (et rciproquement, C a bien ces proprits !)
Preuve.
Soit K un espace comme dans lnonc du thorme. Alors on peut construire
par rcurrence un schma de Cantor (KS )s2N tel que
K = K.
Ks est ouvert-ferm pour tout s.
Ks = Ksa0 Ksa1 .
32
Cest un bon exercice de se convaincre que tout ce dont on a besoin pour

pouvoir effectuer cette construction, cest la proprit suivante : tant donn
un ouvert-ferm non vide U K et > 0, il existe n > 1 et des ouvertsferms non vides U1 , . . . , Un de diamtre et dont la runion est gale
U.
La proprit ci-dessus est une consquence du fait que, comme U est parfait
et 0-dimensionnel, tout ouvert-ferm non vide est la runion de ses ouvertsferms de diamtre , et en est donc une runion finie par compacit.
On laisse en exercice le fait de justifier prcisment la construction du schma ;
une fois celui-ci construit, on peut, pour tout x C, dfinir f (x) par {f (x)} =
nN Kx|n . Les conditions sur le schma assurent que f est bijective et continue. Donc K est homomorphe C.

Pour tudier lespace de Baire, on utilise une notion de schma adapte :
Dfinition 2.37. Un schma de Lusin sur un ensemble X est une famille
(Fs )sN<N de sous-ensembles (ventuellement vides) de X tels que :
(a) Fsai Fsaj = pour tout s N<N et tout i 6= j N.
(b) Fsai Fs pour tout s N<N et tout i N.
On dit que le schma est convergent sil satisfait de plus :
(c) diam(Fx|n ) 0 pour tout x NN .
Etant donn un schma de Lusin convergent (Fs ), notons
D = {x N : n Fx|n 6= } .
Cet ensemble est ferm, et on peut dfinir une fonction f : D X en posant
\
{f (x)} =
Fx|n .
nN
Cette fonction est continue, et la dfinition dun schma impose de plus que
f est injective.
A laide dun schma de Lusin, on peut tablir le rsultat suivant :
Thorme 2.38. Soit X un espace polonais. Alors il existe un ferm de N
et une bijection continue f : F X. Par consquent, il existe une surjection
continue de N sur X.
Preuve.
Etant donn ce quon a dit plus haut sur les schmas de Lusin, il suffit de
33
prouver quon peut construire un schma de Lusin convergent (Fs ) satisfaisant de plus F = X et, pour tout s N<N :
Fs =
Fsan .
nN
Pour assurer la condition (b) de la dfinition dun schma de Lusin, il serait

agrable de travailler avec des ferms ; malheureusement, il nest en gnral
pas possible de construire un ferm dun polonais comme runion dnombrable de "petits" ferms, comme le montre par exemple le cas de R.
On va donc construire notre schma avec des ensembles F , et pour cela
il suffit
F de prouver qutant donn un F F X et > 0 on peut crire
F = Fi , o chaque Fi est un F (ventuellement vide) de diamtre et
tel que Fi F .
Commenons par expliquer comment grer la condition (c) : fixons une suite
(xi ) dense dans F , et posons Bi = B(xi , ]F . Chaque Bi est F , de diamtre
, et si on pose
[
Ci = Bi \ Bj
j<i
alors on a crit F comme une runion disjointe de F de diamtre .

Pour assurer enS
mme temps la condition (b) et la condition (c), commenons
par crire F = An , o chaque An est ferm. Puis posons
Bn = An \
Ai .
i<n
Alors chaque Bn est F , les Bn sont disjoints et recouvrent F , et de plus

Bn An = An F .
On sait que chaque Bn peut scrire comme une runion dnombrable de F
disjoints Cn,i, o chaque Cn,i est de plus de diamtre . On a alors
F =
Cn,i .
n,iN
Les Cn,i remplissent toutes les conditions recherches, ce qui termine la preuve
du thorme.

De mme que pour lespace de Cantor, on peut obtenir laide de schmas
une caractrisation topologique de lespace de Baire.
34
Exercice 2.39. (Alexandrov-Urysohn)

Lespace de Baire est, homomorphisme prs, lunique espace polonais zrodimensionnel dont tous les compacts sont dintrieur vide. 8
2.4
Ensembles Baire-mesurables
Dfinition 2.40. Soit X un ensemble. Un -idal est une famille I de parties

de X ne contenant pas {X} telle que
A, B X (A I et B A) (B I)
(An ) P(X)N : (n An I) (An I).
Un exemple instructif de -idal est donn par la famille des ensembles de
mesure nulle pour une mesure donne sur X (par ex, la mesure de Lebesgue
sur R). On pense en gnral un -idal comme une notion de "petitesse" :
un ensemble est petit (selon I) sil appartient I. Bien sr, la notion de petitesse considre dpend de lidal !
Si I est un -idal, on dira que A et B sont gaux modulo I si AB I.
Ainsi, un ensemble est gal modulo I si, et seulement si, il appartient
I. On voit aussi que lgalit modulo I est une relation transitive.
On ntudiera pas dans limmdiat les -idaux en gnral, mais on va constamment utiliser un -idal particulier : celui qui est form par les ensembles
maigres.
Dfinition 2.41. Soit X un espace topologique. On dit que Y X est
maigre si Y est contenu dans une runion dnombrable de ferms dintrieur
vide ; on dit que Y est comaigre si le complmentaire de Y est maigre.
Par exemple, un ensemble dnombrable est maigre dans X ds que X est
spar ; lensemble triadique de Cantor est maigre dans R, lensemble des
irrationnels est comaigre dans R.
Il est clair que les ensembles maigres forment un -idal ; remarquons que
dans un espace polonais un ensemble ne peut pas tre la fois maigre et
comaigre : si X = Y1 Y2 o Y1 et Y2 sont maigres tous les deux, alors X
est recouvert par une runion dnombrable de ferms dintrieur vide, ce qui
contredit le thorme de Baire.
Dans la suite on notera A = B pour signifier que AB est maigre. Tout
comme dans la thorie de Lebesgue, on a besoin de se restreindre certains ensembles "sympathiques" (lanalogue des ensembles mesurables) pour
utiliser le -idal form par les ensembles maigres.
8
il sagit de construire un schma de Lusin, en utilisant (et dmontrant) le fait que

tout ouvert-ferm dun espace vrifiant les conditions du thorme peut scrire comme
une runion dnombrable douvert-ferms de petit diamtre.
2.4. ENSEMBLES BAIRE-MESURABLES
35
Dfinition 2.42. Soit X un polonais. Un sous-ensemble A est Baire-mesurable

sil existe un ouvert O X tel que A = O (de manire quivalente, A \ O
et O \ A sont tous les deux maigres).
Proposition 2.43. Soit X un espace topologique. Alors la famille des sousensembles Baire-mesurables de X est une -algbre ; plus prcisment, cest
la -algbre engendre par les ouverts et les ensembles maigres.
Rappelons que la tribu borlienne sur X est la -algbre engendre par les
ouverts ; cette proposition entrane donc en particulier que tout borlien est
Baire-mesurable.
Preuve.
Supposons que A = O pour un certain ouvert O. Notons dj que O \ O est
maigre, donc X \ O = X \ O. De plus (X \ A)(X \ O) = AO est maigre
donc on a X \ A = X \ O = X \ O. Comme X \ O est ouvert, on vient de
montrer que X \ A est Baire-mesurable.
Soit maintenant une suite (An ) de sous-ensembles Baire-mesurables de X, et
(On ) une suite douverts tels que An = On pour tout n N. Alors On est
ouvert, et
[ [ [

An
On
(An On ) .
Comme une runion dnombrable densembles maigres est maigre, on vient

de prouver que An = On , et donc en particulier que An est Bairemesurable.
Exercice 2.44. Soit X un polonais, et B X une partie non maigre et

Baire-mesurable. Montrer quil existe un ouvert non vide O tel que B soit
comaigre dans O.
Exercice 2.45. (Premire loi du 0 1 topologique)
Soit X un polonais, et G un groupe dhomomorphismes agissant topologiquement transitivement, cest--dire que pour tous ouverts U, V X il existe
g G tel que g(U) V 6= . Montrer qualors tout ensemble G-invariant et
Baire-mesurable est soit maigre soit comaigre.
Avant de pousser plus loin notre tude des ensembles Baire-mesurables, notons tout de suite que, comme dans le contexte mesur, laxiome du choix
permet de construire des ensembles nyant pas cette proprit (il est dailleurs
consistant avec ZF que tout ensemble de rels soit Baire-mesurable).
Proposition 2.46. Il existe un sous-ensemble B R qui nest pas Bairemesurable.
36
Preuve.
On peut prouver de diffrentes faons lexistence dun tel ensemble ; nous
allons tablir lexistence dun ensemble de Bernstein, cest--dire un sous ensemble B de R tel que ni B ni son complmentaire ne contiennent densemble
parfait et ferm dans R.
Un tel ensemble ne peut tre Baire-mesurable : en effet, B ou R \ B est non
maigre ; supposons sans perte de gnralit que B est non maigre. Alors il
existe un intervalle ouvert non vide I R tel que B I soit comaigre dans I,
et par consquent B I contient un G dense de I, qui est un sous-ensemble
polonais non maigre (donc non dnombrable) de I contenu dans B.
Donc B contient un sous-ensemble polonais non dnombrable, et on a vu
que cela implique que B contient une copie de C, donc B contient un sousensemble ferm parfait, ce qui contredit sa dfinition.
Reste voir comment construire B ; remarquons tout dabord que tout ouvert de R est une union dnombrable dintervalles ouverts extrmits rationnelles, donc il y a au plus 20 ouverts dans R. Lingalit rciproque tant
vidente, on en dduit quil y a exactement 20 ouverts dans R, donc aussi
20 ferms, et donc au plus 20 ferms parfaits. Comme pour tout x, y R2
[x, x + 1] est ferm parfait, il y a donc exactement 20 ferms parfaits dans
R.
A laide de laxiome du choix, numrons les ferms parfaits de R sous la
forme (P )<20 puis construisons deux suites transfinies de rels deux deux
distincts a , b vrifiant a , b P pour tout < 20 (on peut continuer
chaque tape puisque chaque P est de cardinal 20 et on a choisi strictement moins de 20 lments). Alors B = {a : < 20 } est un ensemble de
Bernstein.

Exercice 2.47. Montrer que tout polonais non dnombrable contient un
sous-ensemble qui nest pas Baire-mesurable.
Exercice 2.48. Soit X et Y deux polonais et A X un sous-ensemble
Baire-mesurable. Montrer que A Y est Baire-mesurable dans X Y .
Lanalogie mesure/catgorie se prolonge, puisquon peut dmontrer un analogue du thorme de Fubini ; si X, Y sont deux ensembles et A X Y ,
alors pour tout x X on pose Ax = {y Y : (x, y) A} et de mme on dfinit pour tout y Y Ay = {x X : (x, y) A}. On appelle x : X Y X
la projection sur X, et Y la projection sur Y .
Thorme 2.49. (Kuratowski-Ulam)
Soit X, Y deux espaces polonais, et A X Y un ensemble Baire-mesurable.
Alors :
37
(1) Les proprits suivantes sont quivalentes :

(a) A est comaigre.
(b) Lensemble {x X : Ax est comaigre} est comaigre dans X.
(c) Lensemble {y Y : Ay est comaigre} est comaigre dans Y .
(2) Lensemble {x X : Ax est Baire-mesurable} est comaigre dans X.
(3) Lensemble {y Y : Ay est Baire-mesurable} est comaigre dans Y .
Une consquence immdiate de ce thorme est que, si A X Y est maigre,
alors Ax (resp. Ay ) est maigre pour un ensemble comaigre de x X (resp.
y Y ).
Preuve.
Il suffit de montrer que (2) et (a) (b) sont vraies. On va commencer par
prouver que (a) (b).
(a) (b) :
Commenons par traiter le cas o A est ouvert. Fixons une base douverts
(Un ) de la topologie de Y et dfinissons pour tout entier n un ouvert Vn par
Vn = X (A (X Un )) = {x X : Ax Un 6= } .
On va montrer que Vn est dense pour tout n ; comme par dfinition on a
Un Ax 6= pour tout x n Vn , ceci implique que pour tout x Vn Ax
est un ouvert dense. Par consquent prouver que chaque Vn est dense suffira
tablir (a) (b) dans le cas particulier o A est ouvert.
Soit donc n un entier, et U un ouvert de X tel que Vn U = ; la dfinition
de Vn assure alors que
x U y Un (x, y) 6 A .
Ainsi, louvert U Un est disjoint de louvert dense A, ce qui nest possible
que si U Un = , cest--dire si U = . Donc Vn est dense dans X.
Traitons maintenant le cas gnral. Soit donc A X Y une partie comaigre, et fixons une suite douverts denses (Un ) de X Y tels que Un A.
Alors pour tout n lensemble {x X : (Un )x est comaigre} est comaigre,
et donc lensemble {x X : (Un )x est comaigre} est comaigre. Puisque
(Un )x Ax , on en dduit que {x X : Ax est comaigre} est comaigre,
ce qui prouve que (a) (b).
On dduit de (a) (b) que si A X Y est Baire-mesurable et maigre,
alors {x X : Ax est maigre} est comaigre.
(b) (a) :
Il existe un ouvert U tel que AU soit maigre ; supposons par labsurde que
U nest pas dense. Alors il existe des ouverts non vides V X, W Y tels
que U (V W ) = .
38
On sait, daprs (a) (b), que lensemble {x X : Ux Ax est maigre} est

comaigre, donc est en particulier comaigre dans V ; puisque pour tout x V
Ux W = , on en dduit que {x V : Ax est maigre dans W } est comaigre
dans V . Mais alors par hypothse sur A il doit exister x V tel que Ax soit
la fois comaigre et maigre dans W , ce qui contredit le thorme de Baire.
Preuve de (2) :
Soit U X Y un ouvert tel que AU soit maigre. Alors on a que
{x X : (AU)x est maigre} est comaigre. Puisque Ux est ouvert pour tout
x et (AU)x = Ax Ux , ceci prouve que (1) est vraie.

Soit maintenant X un espace polonais, et P X un sous-ensemble de X.
On notera dans la suite
x X P (x)
pour signifier que lensemble des x satisfaisant P est comaigre, et
x X P (x)
pour signifier que lensemble des x satisfaisant P est non-maigre.
Alors le thorme de Kuratowski-Ulam peut se rsumer ainsi : si P X Y
est Baire-mesurable, alors
x Px est Baire-mesurable
( (x, y) P (x, y)) ( x yP (x, y)) ( y xP (x, y))
( (x, y) P (x, y)) ( x yP (x, y)) ( y xP (x, y))
On utilisera ces proprits sans plus de justification dans la suite.
On a vu dans le chapitre 1 que, modulo laxiome du choix, R peut tre bien
ordonn ; on se doute quun bon ordre sur R est assez trange. Le thorme
suivant justifie cette intuition.
Thorme 2.50. Soit < un bon ordre sur R. Alors <, vu comme sousensemble de R2 , nest pas Baire-mesurable.
Preuve.
Commenons par traiter le cas o < est maigre ; alors daprs le thorme de
Kuratowski-Ulam appliqu {(x, y) : x < y} on a que
x y (x < y) et y x (x < y).
Par consquent,
x y y = x
39
Ceci entranerait quil existe x tel que {x} est comaigre, ce qui parat somme
toute relativement peu raisonnable.
Supposons maintenant que < est non-maigre ; alors il existe un ensemble non
maigre de x tels que {y : y < x} est non maigre et Baire-mesurable.
Appelons x0 le plus petit tel x et notons Y = {y : y < x0 }, puis posons
< =<|Y = {(y, y ) Y 2 : y < y }.
Notons que Y 2 = (X Y ) (Y X), ce dont on dduit que Y 2 , et donc < ,
est Baire-mesurable.
Par dfinition de < , on a
x y (y < x)
Donc aussi
y x (y < x) .
Comme Y est non maigre, on obtient quil existe x Y tel que {y Y : y <
x} et {y Y : x < y} sont tous deux maigres, mais alors Y lui-mme est
maigre, ce qui est une contradiction.

Q
Exercice 2.51. Soit (Xn ) une suite de polonais. On dit que A Xn est
un ? si
Y
x, y
Xn (x A et y(n) = x(n) sauf pour un nombre fini de n) y A
Prouver quun ensemble ? Baire-mesurable est soit maigre soit comaigre.
Exercice 2.52. Soit U un ultrafiltre non principal sur N, quon peut voir
comme une partie de 2N . Montrer que U na pas la proprit de Baire.
Exercice 2.53. Montrer quun bon ordre sur R nest pas Lebesgue-mesurable.
Notes bibliographiques.
Ce chapitre sinspire essentiellement du livre de A.S Kechris [Kec95], et un
peu du livre de S.M Srivastava [Sri98] . En ce qui concerne les notions et
rsultats de topologie mtrique qui sont utiliss sans dmonstration dans le
cours, le Cours de topologie de G. Choquet [Cho69] est une bonne rfrence,
ainsi que le cours de Kuratowski [KM] ou celui de Moschovakis [Mos06] dj
mentionns en fin de premier chapitre.
Enfin, le lecteur curieux dexplorer les liens entre mesure et catgorie est
appel consulter le trs beau livre de J. Oxtoby [Oxt80] sur le sujet.
40
Chapitre 3
Groupes polonais
3.1
Dfinition, exemples
Dfinition 3.1. Un groupe topologique (G, .) est un groupe muni dune topologie pour laquelle les oprations (g, h) 7 g.h et g 7 g 1 sont continues.
Un groupe polonais est un groupe topologique dont la topologie est polonaise.
On sintressera dans la suite essentiellement aux groupes polonais.
Exemple. (R, +), (C, +), les espaces vectoriels norms complets sont des
groupes polonais abliens.
Exemple. Soit S NN le groupe des permutations de N. Munissons S de
la topologie induite par la topologie produit, cest--dire voyons S comme
un sous-ensemble de N . Alors :
x N (x S ) ((n 6= m x(n) 6= x(m)) et (nm x(m) = n))
A m, n fixs les ensembles {x N : x(n) 6= x(m)} et {x N : x(m) = n}
sont ouverts-ferms, ce dont on dduit que S est G dans N et donc S est
polonais ; on vrifie facilement que les oprations de groupe sont continues,
donc S est un groupe polonais.
On vrifie facilement quun produit de groupes polonais est un groupe polonais ; on verra plus tard comment traiter les quotients.
Exercice 3.2. Montrer quun produit dnombrable de groupes polonais est
un groupe polonais.
Exercice 3.3. Si x 6= y S , on dfinit nx,y comme le plus petit n tel que
x(n) 6= y(n) et on pose d(x, y) = 2nx,y . Montrer que d est une distance invariante gauche qui induit la topologie de S mais que d nest pas complte
41
42
CHAPITRE 3. GROUPES POLONAIS
(on pourra mme montrer que le complt de (S , d) sidentifie naturellement lensemble des injections de N dans N).
y) = d(x, y)+d(x1, y 1).
Avec les mmes notations que ci-dessus, on pose d(x,
Montrer que d est une distance complte sur S et que d nest pas invariante
gauche.
Exercice 3.4. Si M est une structure du premier ordre dunivers N, on peut
considrer Aut(M) comme un sous-groupe de S . Montrer que Aut(M) est
ferm dans S , et que tout sous-groupe ferm de S est de cette forme. 1
Exercice 3.5. Soit K un mtrique compact. Montrer que Homeo(K), muni
de la topologie de la convergence uniforme, est un groupe polonais.
Soit X un polonais localement compact. En utilisant la compactification
dAlexandrov, montrer que Homeo(K), muni de la topologie compacte-ouverte,
est un groupe polonais.
Comme dhabitude, le thorme de Baire nous permet dobtenir des rsultats
intressants sur les groupes polonais.
Thorme 3.6. Soit G un groupe polonais et H G un sous-groupe qui est
polonais pour la topologie induite. Alors H est ferm dans G.
Les sous-groupes polonais de G sont donc exactement ses sous-groupes ferms.
Preuve.
La fermeture H de H est un sous-groupe ferm (donc polonais) de G, et H
est un G dense de H. Pour tout g H, gH est aussi un G dense de H
(puisque x 7 g.x est un homomorphisme qui laisse H stable). Daprs le
thorme de Baire, on a donc H gH 6= , cest--dire g H.
3.2
Distances invariantes gauche et groupe

complt
Commenons par tablir un rsultat fondamental sur la mtrisabilit des

groupes topologiques.
Thorme 3.7. (Birkhoff-Kakutani)
Soit G un groupe topologique. Alors G est mtrisable si et seulement si G est
1
indication : on peut rajouter notre structure des relations correspondant aux orbites
dans Nn sous laction diagonale de G.
3.2. DISTANCES INVARIANTES GAUCHE ET GROUPE COMPLT43

spar et base dnombrable de voisinages de 1. De plus tout groupe mtrisable admet une distance invariante gauche (cest--dire que ls translations
gauche sont des isomtries).
On va prsenter rapidement la preuve, dont une version plus dtaille se
trouve dans [Gao09].
Preuve.
Soit G un groupe spar et (Un )nN une base dnombrable de voisinages de
1 ; sans perte de gnralit on suppose que chaque Un est ouvert, symtrique
(en considrant Un Un1 ) et U = G. Lide maintenant pour dfinir une
distance est la suivante : g = h si et seulement si g 1 h Vn pour tout n,
par consquent il est tentant de poser n(g, h) = min({n : g 1h Un }), puis
d(g, h) = 2n(g,h) pour tout g 6= h. Cette fonction est symtrique, invariante
gauche et spare les points mais ne satisfait pas a priori lingalit triangulaire. On va donc devoir faire un peu de combinatoire pour remdier cela.
A partir de (Un ), on peut dfinir en utilisant la continuit des oprations
de groupe un nouvelle famille douverts (Vn ) satisfaisant les proprits suivantes :
1. V = G ; Vn+1 Vn ;
2. n Vn Un :
3
3. n Vn+1
Vn et Vn = Vn1 .
La famille (Vn )nN est encore une base de voisinages de 1 ; on pose maintenant

(g, h) = inf {2n : g 1h Vn }
Notons que est invariante par translation gauche, symtrique, positive,

spare les points et que pour tout > 0 et tout g0 , g1 , g2 , g3 G on a
((g0 , g1 ) et (g1 , g2 ) et (g2 , g3 ) ) (g0 , g3 ) 2
()
Maintenant, on peut dfinir notre distance d : disons quune suite finie

(g0 , . . . , gn ) dlments de g est un chemin de P
g0 gn ; pour tout chemin
n1
(gi , gi+1 ) et enfin po = (g0 , . . . , gn ) dfinissons sa longueur l() = i=0
sons, pour g, h G :
d(g, h) = inf ({l() : est un chemin de g h}) .
Il est immdiat que d est une pseudo-distance. Pour voir que d est une distance qui induit notre topologie, on va prouver que
1
g, h G d(g, h) (g, h) .
2
44
Ceci montrera que d est une distance ; de plus, comme gn tend vers G si et
seulement si gn1 g tend vers 1 si et seulement si (gn , g) tend vers 1 si et
seulement si d(gn , g) tend vers 0, on aura aussi montr que d induit bien la
topologie de G.
Finalement, il nous suffit de dmontrer que si = (g0 , . . . , gn ) est un chemin
de g = g0 jusqu h = gn , on a 2l() (g, h). Raisonnons par rcurrence sur
n : pour n = 1 il ny a rien montrer, et pour n = 2, 3 cest la proprit ()
ci-dessus qui nous donne le rsultat souhait. Supposons maintenant n 4
et le rsultat dmontr pour tout chemin de cardinal k < n.
Si 2(g0 , g1 ) l() alors en appliquant lhypothse de rcurrence au chemin
= (g1 , . . . , gn ), on obtient (g1 , gn ) 2l() l(). Comme il est bien clair
que (g0 , g1) l() , la proprit (*) nous donne bien (g0 , gn ) 2l(). On
conclut de mme si 2(gn1 , gn ) l().
Maintenant, si 0 m n 1, appelons n le chemin (g0 , . . . , gm ) et n le
chemin (gm+1 , . . . , gn ). Choisissons le plus grand entier m tel que l(m ) l()
.
2
Etant donn ce quon a vu plus haut, on a 1 m n 2. De plus on doit
avoir
1
1
l(m ) l() et l(m

) l() .
2
2
En appliquant notre hypothse de rcurrence, on en dduit que
l()
l()
(g0 , gm )
et (gm+1 , gn )
2
2
2
Comme il est clair que l(gm , gm+1 ) l() ; la proprit (*) donne finalement
bien l(g0 , gn ) 2l().

Il est maintenant tentant de penser que, si G est un groupe polonais, alors
G admet une distance compatible d qui soit en mme temps invariante
gauche et complte ; comme on va le voir, ce nest pas le cas.
Lemme 3.1. Soit G un groupe mtrisable, (gn ) une suite dlments de G
et d, deux distances invariantes gauche induisant la topologie de G. Alors
(gn ) est d-Cauchy si, et seulement si, (gn ) est -Cauchy.
Preuve.
Il suffit videmment de montrer que si (gn ) est d-Cauchy alors (gn ) est Cauchy. Fixons donc > 0 ; puisque d et induisent la mme topologie,
il existe r tel que Bd (id, r[ B (id, [. Puisque (gn ) est d-Cauchy, il existe
un N N tel que d(gn , gm) r pour tout n, m N. Mais alors pour
tout n, m M on a d(id, gn1gm ) < r donc (id, gn1 gm ) < , ou encore
3.2. DISTANCES INVARIANTES GAUCHE ET GROUPE COMPLT45

(gn , gm) < .
En particulier, si G est un groupe topologique mtrisable, G admet une distance la fois complte et invariante gauche si, et seulement si, toutes les
distances compatibles et invariantes gauche sur G sont compltes.
On a vu plus haut une distance invariante gauche et non complte sur S ;
par consquent S nadmet pas de distance complte et invariante gauche.
On va maintenant voquer une construction qui aboutit un analogue pour
un groupe mtrisable du complt dun espace mtrique. Si G est un groupe
mtrisable, on a daprs ce qui prcde une notion de "suite de Cauchy
gauche dans G" ; on peut lutiliser pour construire le complt de G, mais il
faut faire attention ce que ce complt soit bien un groupe ! Il est bon ici
de mditer lexemple de la distance invariante gauche sur S , et prendre
les inverses en compte.
Soit G un groupe topologique, et d une distance compatible invariante
gauche. On note G, le complt de G pour la distance D dfinie par D(x, y) =
d(x, y) + d(x1 , y 1). Remarquons tout de suite que lespace G ainsi obtenu
ne dpend pas du choix de d, comme le montre le lemme 3.1.
Thorme 3.8.
Soit G un groupe topologique mtrisable, et G son complt. Alors (G, d) est
un groupe toplogique (et donc un groupe polonais si G est sparable). On
lappelle le groupe complt de G.
Preuve.
Il sagit essentiellement de montrer que que si (gn ) et (hn ) sont deux suites
D-Cauchy dans G alors (gn hn ) est D-Cauchy.
Soit donc (gn ), (hn ) deux suites D-Cauchy dlments de G. Etant donne la
dfinition de D (et en particulier le fait que g 7 g 1 est une D-isomtrie) il
suffit de vrifier que (gn hn ) est d-Cauchy. Notons que pour tout n, m, p on a
d(gn hn , gm hm ) d(gn hn , gn hp ) + d(gn hp , gm hp ) + d(gm hp , gm hm ) .
Autrement dit, d(gn hn , gm hm ) d(hn , hp ) + d(hm , hp ) + d(gn hp , gm hp ).
Fixons > 0, et choisissons N tel que d(hn , hm ) pour tout n, m N.
Par continuit de la multiplication droite par hN , il existe > 0 tel que
d(ghN , g hN ) pour tout g, g tels que d(g, g ) . Si lon prend N
tel que d(gn , gm ) soit infrieur pour tout n, m N , et quon pose
M = max(N, N ), alors on obtient d(gn hn , gm hm ) 3 pour tout n, m M.
46
On sait donc que si (gn ) tend vers g G et (hn ) tend vers h G alors (gn hn )
converge dans G. Reste vrifier que cette limite est la mme pour dautres
suites (gn ) et (hn ) tendant respectivement vers g et h. Le mme raisonnement
que dans le dbut de la preuve du thorme sapplique pour montrer quon
a dans ce cas d(gn hn , gn hn ) 0 (cest un bon exercice !).
Il est maintenant facile de vrifier que les oprations de groupe stendent
continment G ; de plus D stend par dfinition du complt en une distance compatible complte sur G, donc G est un groupe polonais si G est
sparable.

Corollaire 3.9.
Soit G un groupe polonais et d une distance invariante gauche sur G. Alors
la distance D dfinie par D(g, h) = d(g, h) + d(g 1, h1 ) est une distance
complte engendrant la topologie de G.
Preuve.
Par continuit des oprations de groupe, il est clair que D engendre la topologie de G ; de plus, on a vu que le complt (mtrique) de (G, D) est en fait
un groupe polonais, dans lequel G est un sous-groupe polonais, dense par
dfinition du complt. Par consquent (G, D) concide avec son complt,
autrement dit (G, D) est complet.

Exercice 3.10. Soit G un groupe polonais et d une distance bi-invariante
(c..d invariante par translations droite et gauche) et compatible avec la
topologie de G. Montrer que d est complte. Une telle distance existe-t-elle
toujours ?
Exercice 3.11. Soit G un groupe polonais. Montrer que G admet une distance bi-invariante si, et seulement si, il existe une base dnombrable (Un )
de voisinages de 1 telle que gUn g 1 = Un pour tout g dans G2 .
En dduire quil existe une distance invariante par conjugaison compatible
avec la topologie de G si, et seulement si, il existe une distance bi-invariante
compatible avec la topologie de G.
3.3
Quotients et continuit automatique
Dans cette section, on va sintresser aux morphismes entre groupes polonais ;

avant de comprendre les morphismes, il faut comprendre leurs noyaux, et
2
Indication : reprendre la preuve du thorme de Birkhoff-Kakutani...
3.3. QUOTIENTS ET CONTINUIT AUTOMATIQUE
47
savoir si on peut former un quotient. Pour cela, on a besoin du rsultat

suivant.
Thorme 3.12. Soit G un groupe polonais, et H G un sous-groupe
ferm. Soit dl une distance compatible et invariante sur G, et G/H le quotient
de G par laction de H par translation gauche. On dfinit une distance d
sur G/H par
d (Hg1, Hg2 ) = inf ({d(h1 g1 , h2 g2 : h1 , h2 H})
Alors d est une distance compatible avec la topologie quotient sur G/H.
Preuve.
Commenons par vrifier que d est une distance ; il est clair que d est
symtrique, et facile de vrifier lingalit triangulaire. Supposons maintenant
quon ait d (Hg1 , Hg2) = 0. Alors il existe deux suites an , bn dlments de H
telles que d(an g1 , bn g2 ) tend vers 0. Comme d est invariante gauche, on en
1 1
dduit que d(g21 b1
n an g1 , 1) tend vers 0, autrement dit g2 bn an g1 tend vers
1. Comme G est un groupe topologique, ceci entrane que b1
n an (qui est une
1
suite dlments de H) converge vers g2 g1 . On en dduit que g2 g11 H,
cest--dire g2 H = g1 H.
Montrons maintenant que d induit la topologie quotient sur G/H. Pour cela,
notons quil suffit de dmontrer quune suite (Hgn ) converge vers Hg pour
la topologie quotient si et seulement si d (Hgn , Hg) 0 ; en effet, les deux
topologies sont base dnombrable de voisinages (la topologie quotient a
manifestement une base dnombrable douverts).
Supposons que d (Hgn , Hg) 0, et fixons un ouvert V invariant sous laction
de H par translation gauche et contenant g ; fixons tel que B(g, [ V . Il
existe un entier N tel que pour tout n N on ait hn H tel que d(hn gn , g) <
, ce dont on dduit successivement hn gn V puis gn V . Par consquent
gn H tend vers gH pour la topologie quotient.
Rciproquement, si (Hgn ) tend vers Hg pour la topologie quotient, fixons
> 0 et posons
V = {Hk : Hk B(g, [6= }
Cest un ouvert pour la topologie quotient, par consquent il existe N tel que
pour tout n N on ait Hgn V , ce qui entrane d (Hgn , Hg) < pour
tout n N

Si H est de plus distingu, on sait maintenant que G/H est un groupe topologique sparable, mtrisable, et que G/H est limage dun espace polonais
par une application ouverte.
48
Thorme 3.13. Soit G un groupe polonais et H G un sous-groupe ferm.

Le groupe G/H, muni de la topologie quotient, est un groupe polonais.
Plus gnralement, lespace des classes droite modulo un sous-groupe ferm,
muni de la topologie quotient, est un espace polonais.
Pour obtenir ce rsultat, il nous reste prouver que la topologie quotient
sur G/H est polonaise ; on va se contenter pour le moment dadmettre le
thorme suivant..
Thorme 3.14. (Sierpinski) Soit X un espace polonais, Y un espace mtrisable et f : X Y une surjection continue et ouverte. Alors Y est polonais.
On nen a pas fini avec les quotients : si on a un morphisme continu surjectif entre groupes polonais : G H, le morphisme obtenu en passant au
quotient est-il un isomorphisme de groupes topologiques entre G/Ker() et
H ? Il est clair que le morphisme en question est un isomorphisme algbrique
continu, mais pourquoi son inverse serait-il continu ?
On voudrait donc omprendre comment assurer quun morphisme est continu ;
faisons un dtour par le problme suivant, pos par Cauchy : que peut-on
dire des applications : R R telles que (x + y) = (x) + (y) pour tout
(x, y) R2 ? Cauchy savait dj que si une telle fonction est continue en 0
alors il existe a R tel que (x) = ax pour tout x R. La question tait de
savoir sil existe des morphismes de groupe de R non continus.
Aujourdhui, avec laxiome du choix, on sait facilement construire des morphismes de (R, +) qui ne sont pas continus : par exemple, considrons R
comme un espace vectoriel sur Q, et choisissons un hyperplan H R et une
forme Q-linaire dont le noyau est H. Si tait continue, alors H serait
ferm, et dintrieur vide sans quoi serait nulle partout par linarit. Mais
R est la runion disjointe dun nombre dnombrable de copies de H, donc R
serait maigre, ce qui nest pas sans poser quelques problmes.
Par contre, un rsultat classique de thorie de la mesure entrane que si un
morphisme : R R est Lebesgue-mesurable, alors est continu en 0 ;
dans la suite, on va prouver un analogue de ce thorme dans le contexte des
morphismes Baire-mesurables entre groupes polonais.
Lemme 3.2. (Pettis)
Soit G un groupe polonais. Si A X on appelle U(A) le plus grand ouvert
dans lequel A est comaigre (i.e la runion des ouverts dans lesquels A est
comaigre).
Alors, si A, B G on a U(A).U(B) A.B .
3.3. QUOTIENTS ET CONTINUIT AUTOMATIQUE
49
Preuve.
Notons que, par continuit des oprations de groupe, on a gU(A) = U(g.A)
et U(A)1 = U(A1 ) pour tout g G et tout A G. Plaons nous
maintenant dans le cadre du thorme, fixons g U(A).U(B) et posons
V = gU(B)1 U(A) = U(gB 1 ) U(A). Cest un ouvert non vide, et par
dfinition gB 1 et A sont tous les deux comaigres dans V ; par consquent il
existe h gB 1 A, ce qui prouve que g A.B.

Ce lemme a en particulier pour consquence que, si A G est Bairemesurable et non-maigre, alors A.A1 contient un voisinage du neutre de
G : en effet, alors U(A) et U(A1 ) sont tous deux ouverts non vides, donc
leur produit est un ouvert contenant 1 et, daprs le lemme de Pettis, cet
ouvert est contenu dans A.A1 . On va rpter cet argument dans la preuve
ci-dessous.
Thorme 3.15. Soit G, H deux groupes polonais. Alors tout morphisme
Baire-mesurable : G H est continu.
Preuve.
Il suffit bien sr de montrer que est continu en 1G ; cest--dire que pout
tout V contenant 1H 1 (V ) contient un voisinage de 1G . Fixons donc un
ouvert V contenant 1H ; par continuit des oprations de groupe on peut
trouver W tel que W.W 1 V . Alors 1 (W ) est Baire-mesurable et non
maigre, par consquent U(1 (W )) est un ouvert non vide et, daprs le
lemme de Pettis :
1H U(1 (W )).U(1 (W ))1 1 (W ).(1 (W ))1 1 (W.W 1 ) 1 (V ) .
Donc 1 (V ) contient bien 1H dans son intrieur.

Comme toute fonction borlienne est Baire-mesurable, on voit en particulier
que tout morphisme borlien entre groupes polonais est continu ; en particulier, si 1 te 2 sont deux topologies de groupe polonais sur le mme groupe
G et si 1 et 2 ont les mmes borliens, alors 1 = 2 .
Exercice 3.16. Soit G un groupe polonais et H G un sous-groupe non
maigre et Baire-mesurable. Montrer que H est ouvert-ferm.
Exercice 3.17. On admet (ce sera justifi plus tard) que si f : X Y est
une fonction borlienne injective entre les polonais X et Y , alors limage de
tout borlien de X est borlien dans Y . Montrer alors le thorme suivant :
Soit G, H deux groupes polonais et un morphisme continu et surjectif
de G sur H. Alors passe au quotient en un isomorphisme (de groupes
topologiques) de G/Ker() sur H.
50
3.4
Continuit des oprations de groupe.
Thorme 3.18. Soit X, Y, Z trois espaces mtriques, et f : X Y Z

une fonction sparablement continue. Alors il existe un ensemble comaigre
X Y tel que f soit continue en tout point de et, pour tout y, y soit
comaigre dans X.
Preuve.
Pour tout n, k N, on introduit

Fn,k = (x, y) : u, v B(y, 2k [ d(f (x, u), f (x, v)) 2n .
Puisque f est sparablement continue, on a
\ [
Fn,k
X Y =
nN kN
Montrons que chaque Fn,k est ferm : si (xm , ym ) Fn,k et (xm , ym) (x, y),
alors pour tout u, v B(y, 2k [ il existe un rang M partir duquel u, v
B(ym , 2k [, et par consquent d(f (xm , u), f (xm , v)) 2n . En utilisant la
continuit de x 7 f (x, y), on obtient en faisant tendre m vers + que
d(f (x, u), f (x, v)) 2n .
Alors, introduisons
[

y
y
(x, y) : x Fn,k
\ Int(Fn,k
) .
A=
n,k
Comme chaque Fn,k \ Int(Fn,k ) est maigre, et que A est contenu dans la
runion de ces ensembles, A est maigre. Si lon pose = X Y \ A, est
comaigre et on voit que y est comaigre dans X pour tout y Y ; il reste
prouver que f est continue en tout point de .
Fixons
(x, y) et > 0, puis choisissons n tel que 2n . Puisque
S donc
y
X = Fn,k , il existe un k N et un ouvert U X tel que U {y} Fn,k .
Par continuit de x 7 f (x, y), on peut, quitte rduire U, supposer que
pour tout x U on a d(f (x, y), f (x, y)) .
Soit alors (x , y ) U B(y, 2n[ ; on sait que (x , y) Fn,k et on a donc
la fois d(f (x, y), f (x, y)) et d(f (x , y), f (x, y )) .
Lingalit triangulaire donne donc d(f (x, y), (x, y )) 2 pour tout (x , y )
U B(y, 2k [.

Ce thorme est particulirement intressant dans la contexte des actions de
groupes polonais ; on va tablir un rsultat sur des groupes plus gnraux,
dont lintrt sera justifi par ses applications.
3.4. CONTINUIT DES OPRATIONS DE GROUPE.
51
Thorme 3.19. Soit G un groupe muni dune topologie polonaise telle que
h 7 gh soit continue pour tout g G. Supposons que X soit un espace
mtrique et (g, x) 7 g.x une action sparablement continue de G sur X.
Alors laction est continue.
Preuve.
Soit g0 G, x0 X. Daprs le thorme prcdent, on sait que (g, x) 7 g.x
est continue en (g, x0 ) pour un ensemble comaigre de g et donc, puisque G
est polonais, il existe h0 tel que (g, x) 7 g.x est continue en (h0 , x0 ).
Fixons g0 G et x0 X ; on a, pour tout (g, x) :
1
g.x = (g0 h1
0 ).(h0 g0 g.x) .
Quand g tend vers g0 on a, par continuit de g 7 g01 g, que h0 g01 g tend vers
h0 ; la continuit de (g, x) 7 g.x en (h0 , x0 ) assure que si (g, x) tend vers
(g0 , x0 ) alors h0 g01 g.x tend vers h0 .x0 . Laction tant sparablement continue, g.x tend vers g0 x0 .

Thorme 3.20. Si G est un groupe muni dune topologie polonaise pour
laquelle (g, h) 7 g.h est sparablement continue alors G est un groupe polonais.
Ce thorme est une consquence immdiate des deux lemmes suivants.
Lemme 3.3.
Soit G est un groupe muni dune topologie polonaise pour laquelle g 7 g 1 est
continue et (g, h) 7 g.h est sparablement continue. Alors G est un groupe
polonais.
Ce lemme est un corollaire du thorme 3.19, en considrant laction de G
sur lui-mme par translation gauche.
Lemme 3.4.
Soit G un groupe topologique mtrisable. Si g 7 gh est continue pour tout
h G, alors g 7 g 1 est continue.
Preuve du Lemme 3.4.
Soit d une distance invariante gauche sur G. Fixons une suite (gn ) dlments de G tendant vers g G. Alors on a pour tout n d(gn1, g 1) =
d(id, gn g 1 ). Par continuit de la multiplication droite par g 1, (gn g 1 )
tend vers id, par consquent lgalit prcdente entrane que (gn1 ) tend vers
g 1 .
52
Chapitre 4
Ensembles borliens, analytiques,
coanalytiques
4.1
La tribu borlienne
Dfinition 4.1. Rappelons quun sous-ensemble A dun espace topologique

X est un borlien si A appartient la -algbre engendre par les ouverts de
X.
Ces ensembles sont fondamentaux en thorie descriptive ; ce sont ceux quon
peut "dfinir" partir des ouverts en utilisant un nombre (au plus) dnombrable de fois les oprations dunion/intersection dnombrable et de passage
au complmentaire. Remarquons quavec les ordinaux, on peut dcrire le
nombre de telles oprations qui est ncessaire pour dfinir A ; ceci amne
dfinir la hirarchie borlienne .
Dfinition 4.2.
Soit X un espace topologique. On dfinit par rcurrence transfinie des familles
0 (X) et 0 (X) (indexes par les ordinaux compris entre 1 et 1 ) de sousensembles de X en posant :
1. 01 (X) = {O X : O est ouvert} ;
2. 0 (X) = {B X : X \ B 0 (X)} ;
3. 0+1 = {B X : B = iN Ai , avec Ai 0 (X) pour tout i} ;
[
4. Si = sup{ < } alors 0 (X) =
0 (X).
<
Par exemple, 02 (X) est lensemble des F de X, tandis que 02 est lensemble des G de X. En regardant la dfinition, on voit que la famille
53
54CHAPITRE 4. ENSEMBLES BORLIENS, ANALYTIQUES, COANALYTIQUES

[
0 (X) =
<1
0 (X) contient les ouverts, est contenue dans toute -
<1
algbre contenant ceux-ci et est-elle mme une -algbre. On obtient donc le

rsultat suivant.
Thorme 4.3. Soit X un espace topologique. Alors une partie A X est
borlienne si, et seulement si, il existe < 1 tel que A 0 (X).
Rappelons que, par dfinition, tout borlien a la proprit de Baire et toute
fonction borlienne entre espaces topologiques est Baire-mesurable.
A propos de fonction borlienne, notons tout de suite la proprit suivante :
Proposition 4.4. Soit X un espace topologique, et Y un espace topologique
base dnombrable douverts. Si f : X Y est borlienne, alors son graphe
est borlien.
Preuve.
Fixons une base (Vn )nN douverts de Y . Alors, notons quon a, pour tout
x X et tout y Y :
(f (x) = y) (n y Vn f (x) Vn )
Autrement dit, le graphe de f , not f , satisfait
\

f =
X (Y \ Vn ) f 1 (Vn ) Vn
n
Comme f est par hypothse borlienne, lgalit ci-dessus montre que f est
borlien dans X Y

On a dj dit quon ne sintressait pas vraiment dans ces notes aux espaces
topologiques gnraux, mais plutt aux espaces polonais ; on verra plus tard
que dans ce cadre une fonction est borlienne si, et seulement si, son graphe
est borlien.
Avant de pouvoir dgager les proprits fondamentales des fonctions borliennes entre espaces polonais, il nous faut tudier les ensembles borliens ;
les rsultats fondamentaux leur sujet sont bass sur des mthodes de raffinement de topologies.
4.2
Raffinement de topologies polonaises
Le but de cette section sera dtablir le thorme suivant, et dexposer quelquesuns de ses corollaires.
4.2. RAFFINEMENT DE TOPOLOGIES POLONAISES
55
Thorme 4.5. Soit (X, ) un espace polonais. Alors pour tout borlien
B X il existe une topologie polonaise plus fine B sur X telle que B est
ouvert-ferm par rapport B et, de plus, et B ont les mmes borliens.
Pour prouver ce thorme, on appelle A lensemble des parties de X satisfaisant la conclusion du thorme. Il est clair que A est stable par passage
au complmenaire. On va montrer que A est une -algbre qui contient les
ouverts.
Commenons par expliquer pourquoi A contient les ferms ; soit donc F un
ferm de X. Il existe une distance complte d0 engendrant la topologie de
F , et une distance complte d1 engendrant la topologie de O = X \ F . On
peut sans perte de gnralit supposer que d0 , d1 sont bornes par 1. Alors,
on peut dfinir une distance d sur X en posant
d0 (x, y) si (x, y) F
d(x, y) = d1 (x, y) si (x, y) O 2
1
sinon
On vrifie facilement que la topologie engendre par d est polonaise, et F est
ouvert-ferm pour cette topologie. De plus, si dsigne la topologie de X,
la topologie dfinie par d est engendre par {F } et a en donc les mmes
borliens que .
Expliquons maintenant pourquoi A est stable par union dnombrable. Commenons par dmontrer le lemme suivant.
Lemme 4.1.
Soit X un ensemble, une topologie polonaise sur X et (n )nN une suite de
topologies polonaises
sur X telles que n pour tout n, et B(n ) = B( ).
[
Alors =
n est une topologie polonaise, et B( ) = B( ).
nN
Preuve.
S
Notons que B( ) est engendr par n ; pour chaque n, n a une base dnombrable douverts Vn,m , qui sont tous -borliens. La -algbre engendre
par les Vn,m est gale B( ), ce qui prouve que B( ) = B( ).
Q
Notons Xn lespace X muni de la topologie n , et considrons Y =
Xn .
Alors Y est polonais.
Maintenant, dfinissons une fonction : (X, ) Y en posant (x) =
(x, x, . . . , x, . . . , ). Par dfinition de , cette fonction est un homomorphisme sur son image. On va prouver que (X) est ferm dans Y , ce qui
suffira tablir le lemme.
Soit donc (xn ) Y \ (X) ; il existe n tel que xn 6= x1 . Mais alors, il existe

deux -ouverts U, V tels que x1 U, xn V et U V = . Ces deux ensembles sont ouverts la fois pour 1 et n , par consquent {(yn ) Y : y1
U et yn V } est ouvert dans Y ; cet ouvert contient (xn ) et est disjoint de
(X).
lemme
Soit maintenant (An ) une suite densembles de A. On peut produire une
suite de topologies polonaises n , contenant et ayant les mmes borliens,
telles que An est ouvert-ferm pour n ; le lemme ci-dessus nous donne une
topologie polonaise
, contenant et avec les mmes borliens, pour laS
quelle A = An est ouvert. Il existe donc une topologie polonaise aayant les
mmes borliens que et pour laquelle A est ouvert-ferm.

On voit donc que tout borlien peut tre rendu ouvert-ferm, quitte affiner
la topologie, mais en ne touchant pas la tribu borlienne ; on verra plus
tard quil sagit-l dune caractrisation des borliens.
Corollaire 4.6. Soit X un polonais. Lhypothse du continu est vraie pour
les borliens de X.
Remarquons quon peut utiliser les lemmes prcdents pour montrer que,
pour tout polonais X et toute famille dnombrable de borliens de X, il existe
une topologie polonaise sur X, ayant les mmes borliens que la topologie
de dpart, pour laquelle tous les membres de la famille sont ouverts-ferms.
Ceci permet dobtenir le corollaire suivant.
Corollaire 4.7.
Soit (X, X ) un polonais, (Y, Y ) un espace base dnombrable douverts et
f : X Y une fonction borlienne. Alors il existe une topologie polonaise
sur X qui raffine X , a les mmes borliens, et pour laquelle f est continue.
Preuve.
Soit (Vn ) une base douverts de Y ; on peut simultanment rendre ouvertsferms tous les f 1 (Vn ).

Concluons cette section par un dernier thorme, qui nous ramne aux origines de la thorie descriptive des ensembles.
Corollaire 4.8. Soit X un polonais. Tout borlien de X est image continue
injective dun ferm de N .
Preuve.
Soit (X, ) un polonais et B X un borlien. Il existe une topologie raffinant la topologie de X pour laquelle B est ouvert-ferm, et donc (B, ) est
4.3. ENSEMBLES ANALYTIQUES ; LE THORME DE SPARATION57

polonais ; alors on sait quil existe un ferm F N et une bijection continue
f : F B. Alors f , vue comme une fonction de F dans (X, ), est continue,
injective, et f (F ) = B.
4.3
Ensembles analytiques ; le thorme de sparation
On a vu dans la section prcdente que tout borlien dun polonais X peut

scrire comme limage dune certaine fonction continue f : N X. Mais
limage de N par une fonction continue est-elle un borlien ? Plus gnralement, si B X est borlien, f : X Y est une fonction continue entre
espaces polonais, alors f (B) est-il borlien dans Y ?
Dfinition 4.9.
Soit X un espace polonais. Une partie A X est dite analytique sil existe
un polonais Y et une application continue f : Y X telle que A = f (Y ).
Une partie est dite coanalytique si son complmentaire est analytique.
Notons que dans la dfinition ci-dessus on pourrait se contenter de considrer
Y = N.
Notons tout de suite que tout borlien est analytique ; si X, Y sont polonais,
A X est analytique et f : X Y est continue alors f (A) est analytique ;
en fait cest encore vrai si lon suppose simplement f dfinie (et continue)
sur A, grce au thorme de Kuratowski.
Exercice 4.10. Soit X un polonais,
S
Tet (An )nN une suite densembles analytiques de X. Montrer que An et An sont analytiques.
Notons que si f : Y X est continue alors son graphe f est ferm dans
Y X ; la projection de f sur la deuxime coordonne est f (Y ). Par consquent, si A X est analytique alors il existe un polonais Y et un ferm
F Y X tels que A = X (F ), o X dsigne la projection sur X.
On sait que Y = g(N ), o g est une fonction continue ; on peut alors considrer
B = {(, x) N X : (g(), x) F }
Cet ensemble est ferm dans N X, et sa projection sur X est gale f (X).
Par consquent, tout analytique de X est la projection dun ferm de N X.
Thorme 4.11.
Soit X un espace polonais non dnombrable. Alors il existe une partie A X
qui est analytique mais pas borlienne.

Ce thorme est en fait une consquence, dans notre contexte, du paradoxe
du barbier. Notons dj quil suffit de le prouver pour X = N (tout polonais
non dnombrable contient un G homomorphe N ). On va utiliser la notion
densemble universel pour une classe donne.
Dfinition 4.12. Soit une des classes densembles quon a introduite jusqu prsent (ouverts, borliens, analytiques, 0 ...) et X un polonais.
Une partie A N X est universelle pour la classe (X) si A (N X)
et, pour tout B (X), il existe x N tel que B = Ax .
Thorme 4.13. Il existe un ensemble universel pour 11 (N ).
On peut voir quun tel ensemble est ncessairement non borlien : si A tait
borlien, lensemble B = {x : (x, x) 6 A} serait aussi borlien, donc il devrait
exister x0 tel que Ax0 = B. Alors x0 B (x0 , x0 ) A x0 6 B.
Par consquent le thorme 4.13 entrane quil existe un sous-ensemble analytique non borlien dans N 2 , qui est homomorphe N .
Preuve du thorme 4.13
Commenons par montrer quil existe un ensemble universel pour 01 (N ) :
tant donne une base douverts (Vn ) de N , on peut considrer
[
Vx(n) }
A = {(x, y) N N : y
nN
On voit facilement que A est ouvert dans N 2 , et comme tout ouvert est
runion dnombrable dun sous-ensemble de {Un }, A est universel.
Par consquent, il existe aussi (en considrant le complmentaire de A) un
ensemble 01 -universel.
Pour finir la preuve du thorme, il nous suffit de coder la caractrisation
dun analytique de N comme projection dun ferm de N N .
Commenons par prendre un ferm P N N 2 tel que pour tout ferm
F N 2 il existe y N tel que F = Py ; ensuite dfinissons
A = {(x, y) N N : z (x, y, z) P }
Cet ensemble est analytique ; de plus, si B N est analytique, alors B est
la projection dun ferm FB , pour lequel on sait par universalit de P quil
existe x N tel que
y, z (y, z) FB (x, y, z) P .
Mais alors on voit que
b B y (b, y) FB y(x, b, y) P b Ax .
4.3. ENSEMBLES ANALYTIQUES ; LE THORME DE SPARATION59

Ceci conclut la preuve du thorme.
Thorme 4.14. Soit A et B deux sous-ensembles analytiques disjoints dun

espace polonais X. Il existe un borlien C de X tel que A C et B C = .
Preuve.
Dans cette preuve on dira que deux parties A, B X sont sparables sil
existe un borlien C tel que A C et B C = .
Lemme 4.2. Soient (An )nN , (Bn )nN deuxSsuites de
S parties telles que An
et Bm sont sparables pour tout n, m. Alors An et Bn sont sparables.
Preuve du lemme : Choisissons pour toute paire (n, m) un borlien Cn,m tel
que An Cn,m et Bm Cn,m = . Posons
[ \
C=
Cn,m .
nN mN
Alors C est borlien,
An C et
Bn C = .
lemme
Maintenant, fixons deux surjections continues f : N A et g : N B. En

reprenant les notations habituelles, on a, pour toute suite finie s N<N , que
[
[
f (Ns ) =
f (Nsn ) et g(Ns ) =
g(Nsn ) .
n
Supposons que A et B ne peuvent pas tre spars.

Alors, en utilisant lgalit ci-dessus ainsi que le lemme prcdent, on peut
construire par rcurrence x, y N tel que pour tout n f (Nx|n ) et g(Ny|n )
ne peuvent pas tre spars. Mais ceci est impossible : en effet, f (x) 6= g(y),
donc il existe deux ouverts U, V dintersection vide et tels que f (x) U,
g(y) V . Par continuit de f et g en x et y, ces deux ouverts montrent que
pour n assez grand f (Nx|n ) et g(Ny|n ) peuvent tre spars.

En considrant la paire (A, X \ A) on obtient une caractrisation fondamentale des borliens.
Corollaire 4.15. Un sous-ensemble A de X est borlien si, et seulement si,
A est la fois analytique et coanalytique.
Exercice 4.16. Soit X un polonais et (An ) une suite de sous-ensembles
analytiques de X deux deux disjoints. Montrer quil existe une famille de
sous-ensembles borliens (Bn ) de X deux deux disjoints et tels que An Bn
pour tout n.

On peut maintenant caractriser les fonctions borliennes entre polonais par
leur graphe.
Thorme 4.17. Soit X, Y deux espaces polonais et f : X Y une fonction. Les assertions suivantes sont quivalentes :
(i) f est borlienne.
(ii) Le graphe de f est un sous-ensemble borlien de X Y .
(iii) Le graphe de f est un sous-ensemble analytique de X Y .
Preuve.
Il est clair que (i) (ii) (iii). Supposons maintenant que f satisfasse
(iii), et soit U un ouvert de Y . Alors on a
x f 1 (U) y Y ((x, y) f et y U) .
Ceci permet de voir que f 1 (U) est analytique, puisque cest la projection
dun ensemble analytique de X Y .
Par ailleurs, on a
x f 1 (U) y Y ((x, y) f y U)
Autrement dit,
x 6 f 1 (U) y Y ((x, y) f et y 6 U)
Ainsi, le complmentaire de f 1 (U) est lui aussi analytique dans X, et ceci
nest possible que si f 1 (U) est borlien.

Corollaire 4.18. Si , sont deux topologies polonaises sur un mme ensemble X telles que , alors et ont les mmes borliens.
Exercice 4.19. Soit G un groupe polonais pour deux topologies , . Montrer que si alors = .
Une application aux groupes polonais.
On a dj vu que la topologie de la convergence simple (notons-la dans la
suite) dfinissait une structure de groupe polonais sur S . Soit maintenant
une autre topologie de groupe polonais sur S . On va montrer qualors
= , ce qui prouvera quil existe une unique topologie de groupe polonais
sur S ; par consquent, cette structure polonaise est en fait "code" par
la structure algbrique. Ce phnomne est li des proprits de continuit
automatique tendant ce quon a vu au chapitre 3.
4.4. BORLIENS STANDARD ; FONCTIONS BORLIENNES
61
Pour montrer que = , il suffit de montrer que id : (S , ) (S , ) est

borlienne, et pour cela il suffit (grce la structure de groupe) de prouver
que tout -voisinage ouvert de 1 est -borlien. En fait, il suffit mme de
montrer cela pour une base douverts contenant 1 ; une telle base est donne
par les ensembles de la forme Vn = { : i n (i) = i}.
Fixons maintenant n N, et notons An = { : i > n (i) = i}. On vrifie
facilement que
Vn An = .
Notons que la condition de droite est une condition -ferme puisque (S , )
est un groupe topologique. Par consquent, pour tout n Vn est -ferm, ce
qui prouve que id : est un isomorphisme borlien, et donc est un
isomorphisme de groupes polonais (par continuit automatique).
4.4
Borliens standard ; fonctions borliennes
On a vu que limage continue dun borlien nest pas ncessairement un

borlien ; quen est-il si lon suppose de plus lapplication injective ?
Thorme 4.20. Soit X, Y deux polonais, f : X Y une fonction borlienne injective et A X un borlien. Alors f (A) est borlien dans Y . De
plus f 1 : A Y est borlienne.
Avant de dmontrer ce rsultat, notons quil fournit la pice qui nous manquait pour finir de justifier les proprits des quotients de groupes polonais.
Preuve.
Notons que, si lon sait prouver que la premire phrase est vraie, alors on
obtient facilement que f 1 est borlienne.
Passons maintenant la preuve du premier nonc ; quitte raffiner la topologie de X on peut supposer que A est ferm dans X, et que f est continue.
Tout ferm de X tant limage continue bijective dun ferm de N , on peut
finalement supposer que X = N .
Reprenons les notations usuelles relatives la topologie de N , et posons,
pour tout s N<N :
Bs = f (A Ns ) .
Comme f est injective, les Bs forment un schma de Lusin, et chaque Bs est
analytique. En utilisant le thorme de sparation des ensembles analytiques,
on peut construire un schma de Lusin (Bs ) tel que chaque Bs soit borlien
et Bs Bs Bs pour tout s.
On va maintenant montrer, par double inclusion, que
\ [
f (A) =
Bs .
kN sNk

Ceci permettra de conclure que f (A) est borlien dans Y .
f (A) k sNk Bs :
Si x = f (a) pour un certain a A, alors on a, pour tout k, x f (A Na|k ),
et donc x Ba|k , par consquent x sNk Bs .
k sNk Bs f (A) :
Si x k sNk Bs , alors il existe un unique a N tel que, si lon note
sk = a|k , on ait pour tout k que x Bsk . Par consquent, on a pour tout k
que x Bsk . Si jamais f (a) 6= x, alors il existe des ouverts U, V disjoints tels
que f (a) U, x V . Par continuit de f en a on a, pour k suffisamment
grand :
f (Nsk A) U .
Par consquent pour k suffisamment grand Bsk V = , et donc x 6 B sk , ce
qui est absurde.

Maintenant, intressons-nous la tribu borlienne dun espace polonais ;
cest, comme on va le voir, un objet canonique, dans un sens trs fort ; cest
sans doute lobjet quon rencontre le plus souvent en analyse.
Thorme 4.21. Soit X, Y deux espaces polonais tels quil existe une injection borlienne f : X Y et une injection borlienne g : Y X. Alors il
existe une bijection borlienne de X sur Y .
Preuve.
La preuve quon a donne du thorme de Schrder-Bernstein dans le premier chapitre sadapte parfaitement ici.
Tout dabord, notons que si X, Y sont deux polonais et f : X Y , g : Y
X sont des injections borliennes, alors on a X g(Y ) g f (X), et
X, g(Y ), g f (X) sont tous trois borliens (puisquune image borlienne injective de borlien est borlien).
Il suffit donc, comme dans le cas "classique", de montrer que si X est polonais, Y X est borlien et il existe une injection borlienne f : X X
telle que f (X) Y alors il existe une bijection borlienne f : X Y .
Pour conclure, il suffit de regarder la suite de la preuve du thorme de
Schrder-Bernstein et de sassurer que la fonction ainsi construite est bien
borlienne (ce quon laisse comme un exercice simple mais instructif).

Corollaire 4.22. Si X et Y sont deux polonais de mme cardinal, alors il
existe une bijection borlienne de X sur Y .
Preuve.
Si X, Y sont au plus dnombrables il ny a rien de nouveau montrer (toutes
les fonctions sont borliennes, puisque les singletons sont ferms !).
4.4. BORLIENS STANDARD ; FONCTIONS BORLIENNES
63
Supposons maintenant que X est un polonais non dnombrable. On a vu

quil existe une injection continue de C dans X. Le problme est maintenant
de trouver une injection dans lautre sens. Mais on sait quil existe une bijection continue dun ferm de N dans X, et par consquent une injection
borlienne de X dans N , dont on a vu quil tait homomorphe un sousensemble de C. Par consquent il existe une bijection borlienne de C sur X.
Dfinition 4.23.
Soit (X, B) un espace mesur. On dit que X est un borlien standard si X
est isomorphe un espace polonais (muni de sa tribu borlienne).
Exercice 4.24. En gnralisant les thormes de Kuratowski et Laverentiev
au cadre des espaces borliens, prouver quun espace mesur (X, B) est borlien standard ssi il est borlien dans son complt ssi il est homomorphe
un borlien dun polonais.
Chapitre 5
Uniformisations
5.1
Le thorme de Lusin-Novikov
Un des problmes originels de la thorie descriptive des ensembles est le

suivant : soit X, Y deux polonais et B X Y un borlien. Est-il possible
de trouver une section borlienne de la projection X : B X ? On appelle
une telle section une uniformisation borlienne de B .
Sil existe une uniformisation, alors la projection de B (qui est le domaine
de notre section) est borlienne et on sait que ce nest pas toujours possible,
puisquil existe des ensembles analytiques non borliens. Mais alors, peuton trouver des conditions qui permettent dassurer quune uniformisation
borlienne existe ? Il y a de nombreux thormes de ce type (et des variantes,
par exemple en cherchant une section mesurable pour une autre -algbre que
les borliens) ; nous allons en voir un qui est historiquement trs important,
le thorme de Lusin-Novikov.
Avant cela, faisons un petit dtour technique.
Dfinition 5.1. Soit X, Y deux polonais. Une application I : X P(P(Y ))
est Borel-Borel si pour tout borlien B X Y lensemble
{x X : Bx I(x)}
est borlien.
On va voir lutilit de cette notion avec le thorme duniformisation cidessous, quon peut voir comme sappliquant des parties de X Y avec de
grandes sections.
Thorme 5.2. Soit X, Y deux polonais. Supposons que I est Borel-Borel
et pour tout x Ix est un -idal de Y . Soit B un sous-ensemble de X Y
65
66
CHAPITRE 5. UNIFORMISATIONS
tel que pour tout x X (B), Bx 6 Ix . Alors B admet une uniformisation

borlienne (et donc X (B) est borlien).
Avant de commencer cette preuve, introduisons un peu de notation : une
partie T de N<N est un arbre si pour tout t T tous les segments initiaux
de t sont dans T . Une branche infinie est une suite x NN telle que x|n
appartient T pour tout n. Cette notion combinatoire est fondamentale en
thorie descriptive des ensembles.
Dans la suite on va utiliser lordre lexicographique, not lex , dfini de la
faon usuelle sur NN ; cest un ordre borlien. Lintrt de cet ordre ici est
que si un arbre T a une branche infinie, alors il en a une qui est minimale
pour lordre lexicographique ; on appelle cette branche la branche la plus
gauche de T . Si lon a une application x 7 Tx qui x associe un arbre Tx
tel que Tx a une branche infinie, alors on obtient grce la branche la plus
gauche une application dfinissable qui x aassocie une branche infinie de
Tx .
Preuve du thorme 5.2.
Soit B un borlien de X Y , et d une distance complte sur X Y . En utilisant les techniques habituelles, on peut trouver un schma de Lusin (B s )sNN
avec les proprits suivantes :
1. B = B ;
2. s N<N B s =
3. Si pour tout n B
kN
|n
B sk ;
est non vide, alors B := n B |n est non vide ;
4. diam(B s ) 2|s|.
Pour tout x X (B), notons Tx = {s N<N : B s 6 Ix }. ALors Tx est un
arbre non vide dont tout noeud a un successeur (parce que Ix est un -idal).
Par consquent Tx a des branches infinies ; appelons ax sa branche la plus
gauche. Par construction de notre schma, Bxax est rduit un lment, quon
appelle f (x). Il est clair que la fonction f est une uniformisation de B ; reste
voir que f est borlienne.
a
Soit U un ouvert de Y . Si f (x) U, alors puisque le diamtre de Bxx|n tend
a
vers 0, il existe un rang m partir duquel Bxx|n est contenu dans U. Par
consquent, si f (x) U, alors la proprit suivante est vraie :

m n m t Nn Bxt 6 Ix s Nn (s lex t et Bxs 6 Ix et Bxs U)
On voit facilement (en utilisant le fait que chaque lment de Tx a un succeseur strict dans T )x que la proprit ci-dessus est en fait quivalente au fait
que f (x) U. Comme x 7 Ix est Borel-Borel, on en dduit que la condition
5.1. LE THORME DE LUSIN-NOVIKOV
67
f (x) U est coanalytique.

Il nous reste voir que cette condition est analytique ; pour cela, on fixe une
base douverts (Un ) de Y et, en utilisant un raisonnement similaire celui
quon vient demployer, on obtient que f (x) U si, et seulement si, il existe
k tel que Uk U et

m n m t Nn Bxt 6 Ix s Nn (s lex t et Bxs 6 Ix et Bxs Uk 6= )
Cette condition est analytique, et finalement on a obtenu que la condition

f (x) U est borlienne pour tout ouvert U de Y .

Le thorme principal de ce chapitre est le suivant.
Thorme 5.3. (Lusin-Novikov)

Soit X, Y deux polonais et B un borlien sections dnomrables. Alors B
peut scrire comme une runion dnombrable de graphes borliens.
De plus P peut scrire comme une runion dnombrable de graphes borliens
(i.e de borliens Pn tels que si on a la fois (x, y) Pn et (x, y ) Pn alors
y = y ).
Pour montrer le thorme de Lusin-Novikov, on aura besoin du rsultat suivant, quon admet pour le moment.
Thorme 5.4. Soit X, Y deux Borliens standard et A XY un borlien.
Alors lensemble
{x X : !y (x, y) A}
est coanalytique.
Dans la suite de cette section, nous allons essayer de dmontrer le thorme
5.3 partir du rsultat ci-dessus (quon rsume en disant "lensemble dunicit dun borlien est coanalytique"). Commenons par un lemme.
Lemme 5.1. Soit X, Y deux Borliens standard et P X Y un borlien
tel que Px est dnombrable pour tout x X. Alors la projection de P sur X
est borlienne.
Preuve.
On peut supposer que X, Y sont polonais. Il existe un ferm F N et
f : N X Y une fonction continue et injective telle que f (N ) = P .
Introduisons alors la partie Q X N dfinie par
Q(x, ) F et X (f (z)) = x .
68
Alors Q est ferm dans X N , et la projection de Q sur X est la mme que

celle de P ; autrement dit il suffit de dmontrer le lemme ci-dessus dans le
cas o P est ferm.
Mais alors le thorme de Baire pointe le bout de son nez : chaque Px est
dnombrable et ferm, donc a un point isol ds quil est non vide. Fixons
une base douverts (Un ) de Y , et posons
An = {x : !y ((x, y) P et y Vn )}
On vient dexpliquer que la projection de P sur X est gale n An , et dautre
part le thorme 5.4 nous permet de voir que chaque An est coanalytique.
Par consquent la projection de P sur X est coanalytique, et le thorme de
Souslin nous permet de voir quelle est en fait analytique.

Preuve du thorme de Lusin-Novikov.
Tout dabord, notons quil est suffisant de prouver quon a B n Bn , o
chaque Bn est un graphe borlien. Quitte agrandir artificiellement B, on
peut donc supposer que chaque section Bx est dnombrable et infinie. Notre
but est de construire une application borlienne e : X Y N telle que pour
tout x ex numre Bx . Une telle application permet bien sr dobtenir une
uniformisation de B, par exemple en posant g(x) = e(x)(0).
Pour cela, commenons par dfinir un ensemble E X Y N en posant
(x, e) C (n(x, e(n)) B) et (y Bx n y = e(n)) .
Cet ensemble est borlien ; en effet, il est clair que la condition n(x, e(n))
B est borlienne ; appelons C(x, e) la condition y Bx n y = e(n) .
Alors on a
(x, e) 6 C y Bx n e(n) 6= y
On voit donc que le complmentaire de C est la projection dun borlien de
X Y N Y sections dnombrables, par suite le lemme 5.1 montre que le
complmentaire de C est borlien, donc C est borlien.
On a dplac notre problme : pour conclure, il nous faut obtenir une uniformisation borliene de E... Lavantage, cest quon va arriver trouver un
-idal tmoignant que Ex est gros pour tout x dans x (E).
Notre idal est en fait tout trouv : pour tout x, Ex est une sous-partie de
BxN , qui est naturellement homomorphe N (en le munissant de la topologie
produit de la topologie discrte). De plus, on a
Ex = {e BxN : y Bx n e(n) = y}
Par consquent Ex est un G dense dans BxN , et on envie de dfinir un -idal
Ix en posant, pour tout A Y N ,
A Ix A Ex est maigre dans BxN .
5.1. LE THORME DE LUSIN-NOVIKOV
69
Il est clair que Ix est un -idal pour tout x, et que Ex 6 Ix pour tout x X.
Finalement, il nous reste montrer que I est Borel-Borel. Soit donc A un
borlien de X Y ; on peut supposer que A E. Alors on voit que
Ax Ix
e Y N (x, e) E et
n 6= m e(n) 6= e(m) et
{ N : (x, e ) A} est maigre
Dfinissons maintenant une partie Q de X Y N en posant

(x, e) Q
(x, e) E et n 6= m e(n) 6= e(m) et

{ N : (x, e ) A} est maigre
Admettons pour le moment que Q soit borlien ; alors on a vu que

Ax Ix e (x, e) Q .
Par consquent, {x : Ax Ix } est analytique. Comme le choix de la bijection
e nimporte pas, on voit aussi que
Ax Ix e ((x, e) E et n 6= m e(n) 6= e(m)) (x, e) Q .
Ceci prouve que {x : Ax Ix } est coanalytique, et donc borlien daprs le
thorme de Suslin et ce quon a vu prcdemment.

Pour que cette partie de la preuve soit tout fait complte, il nous faut
expliquer pourquoi lensemble Q ci-dessus est borlien. Cest une consquence
directe du lemme ci-dessous, qui est un cas particulier dun thorme d
Montgomery et Novikov. Notez que, avec notre terminologie, ce lemme dit
que lapplication x 7 Ix , o Ix est le -idal form par les parties maigres,
est Borel-Borel.
Lemme 5.2. Soit X, Y deux polonais, A X Y un borlien et U Y un
ouvert. Alors {x X : Ax U est maigre} est borlien.
Preuve.
On va montrer que la famille A forme par les sous-parties de X Y pour
lequelles le lemme ci-dessus est vrai pour tout ouvert de Y contient les ouverts, et est stable par union dnombrable et passage au complmentaire. Les
deux premiers points sont trs faciles ; pour voir le troisime point, prenons
A A et notons B son complmentaire. Fixons aussi un ouvert U de Y
Pour tout x X, Bx est maigre dans U si et seulement si Ax est comaigre
70
dans U ; si lon se fixe une base (Un ) douverts de Y on sait que Ax est comaigre dans U si et seulement si il nexiste pas de n tel que Un U et Ax
soit maigre dans Un , Autrement dit, Bx est maigre dans U si, et seulement
si,
\
x
(X \ {x : Ax Un est maigre })
Un U
Comme lintersection ci-dessus est dnombrable et chacun des ensembles qui

y a apparaissent est borlien, ceci achve la preuve du lemme.

Pour finir la preuve du thorme de Lusin-Novikov, il nous faudrait prouver
que lensemble dunicit dun borlien est coanalytique. Pour cela nous allons
utiliser la mthode des jeux topologiques.
5.2
Jeux topologiques et ensembles dunicit.
Commenons par remarquer quil est suffisant de prouver le thorme 5.4

dans le cas o X = Y = N , et A est ferm.
On va utiliser une reprsentation combinatoire des ferms de N N ; disons
quune partie T de 2<N 2<N est un arbre sur NN si les proprits suivantes
sont vrifies :
(i) (t, u) T |t| = |u|
(ii) (t, u) (t , u ) et (t , u ) T (t, u) T .
Une branche infinie dans un tel arbre est dfinie de la faon usuelle ; on note
[T ] lensemble des branches infinies de T . On dit que larbre T est tt si
tout lment de T a une extension stricte dans T .
Il est facile de voir que les ferms de N N sont les parties de la forme [T ],
o T est un arbre tt sur N N. En effet, si A est un ferm de N N , on
dfinit T en disant quune paire (u, s) est dans T si, et seulement si, (u, s) est
un segment initial dun lment de A (on voit mme que cette application est
une bijection de lensemble des ferms de N N sur lensemble des arbres
tts sur N N).
Lintrt de cette reprsentation est que les sections dun ferm A N
N sont maintenant reprsentes comme des ensembles de branches infinies
darbres sur N (si x N on note Tx larbre correspondant ; formellement,
y Tx si et seulement si (x|n , y|n ) T pour tout n).
<N
Notons T r lensemble des arbres sur N ; il sidentifie une partie de 22 ,
qui est homomorphe C, et cette partie est G . Dans la suite on munit T r
de cette topologie ; on introduit enfin lensemble BU des arbres sur N ayant
une unique branche infinie.
5.2. JEUX TOPOLOGIQUES ET ENSEMBLES DUNICIT.
71
Lintrt de tout ce travail est que, si A est un ferm de N N et T est

larbre tt sur N N associ A, alors on a pour tout x N :
!y (x, y) A Tx BU .
De plus, lapplication qui x associe Tx est continue de N dans T r ; pour
prouver le thorme 5.4, il nous suffit donc de prouver que BU est coanalytique dans T r (puisque limage rciproque dun ensemble coanalytique par
une fonction continue est coanalytique).
Si un arbre T nest pas dans BU, il y a deux possibilits : larbre a au moins
deux branches infinies, ou bien larbre na pas de branches infinies.
Dans le second cas, on dit que larbre T est bien fond On dfinit un ordinal
dnombrable appel rang dun lment s et not (s) dans un arbre bien
fond T en posant :
(s) = sup{(s a) + 1 : s a T } .
En particulier, si s est terminal, on a (s) = 0 ; intuitivement, la fonction
mesure la profondeur de larbre T en-dessous de llment s. On note
(T ) lordinal (). cest un bon exercice de vrifier que (T ) est un ordinal
dnombrable pour tout T bien fond (pensez un analogue de la drivation
de Hausdorff).
Finalement, introduisons lensemble L form par les arbres sur N ayant
pour tout n un lment de longueur n ; pour tout arbre T bien fond dans
L on a (T ) , et par consquent on doit avoir (T ) = + n, o est
un ordinal limite et n .
Tout ceci tant (enfin) pos, on introduit un jeu topologique deux joueurs
(nots I et II) ; on commene par fixer un arbre T sur N, et alors une partie
du jeu GT est rsume par le schma suivant :
I
n0
x(0)
x(1)
...
II
y(0)
y(1)
Tous les lments jous par I, II sont des entiers ; I commence la partie en
jouant un entier n0 , puis II rpond en jouant un entier y(0), puis I rpond
par un entier x(0), etc. A la fin dune partie, I a jou un entier n0 et construit
un lment x de N , tandis que II a construit un lment y de N (n0 sert
rendre lensemble W ci-dessous borlien). On dit que I gagne la partie si la
condition suivante est satisfaite :
n 1(y|n T x|n T ) et n < n0 x(n) 6= y(n) .
72
Si lon oublie n0 pour linstant, on voit que lors dune partie II essaie de
construire une branche infinie de T tandis que I cherche produire une
branche infinie de T diffrente de celle joue par II (sil en existe une) ou
sinon, sil ny a pas de branche infinie, choisit un lment diffrent de celui
jou par II ds que celui-ci est sorti de larbre.
On dit que I a une stratgie gagnante sil existe une faon pour I de gagner
quelle que soit la suite joue par II ; formellement, une stratgie pour I est
un arbre non-vide sur N tel que
(i) Si s est de longueur impaire (i.e cest II de jouer) alors s n
pour tout n (i.e II peut jouer ce quil veut) ;
(ii) Si s est de longueur paire (i.e cest I de jouer) alors il existe un
unique n tel que s n (i.e la stratgie impose le coup que I doit
jouer).
On dit quune stratgie est gagnante pour I si toute partie au cours de
laquelle I suit est gagnante pour I. La raison combinatoire pour laquelle
BU est coanalytique est alors la proposition suivante :
Proposition 5.5. Soit T L .
T 6 BU I a une stratgie gagnante dans GT .
Cette proposition, modulo un calcul de complexit lmentaire, nous permet
enfin de conclure la preuve du thorme 5.4 ; en effet, si lon introduit un
ensemble W T r T r en disant que (, T ) W si est une stratgie
gagante pour I dans le jeu GT alors on voit que W est borlien (voir cidessous), et que
T 6 BU T 6 L ou (T L et (, T ) W ) .
Par consquent, BU est bien coanalytique.
Pour voir que W est borlien, notons que (, T ) W si et seulement si
6= et
m s Nm (s et m est impair n s n ) et
m s Nm (s et m est pair !n s n ) et
n s Nn t Nn n0 (n0 , t0 , s0 , . . . , tn1 , sn1)
(t T s T ) et (n n0 i < n0 si 6= ti )
Cette formule complique permet de voir que W est G .
5.2. JEUX TOPOLOGIQUES ET ENSEMBLES DUNICIT.
73
Preuve de la proposition 5.5.

Fixons un arbre T ; si T est dans BU alors il est clair que II a une stratgie
gagnante dans GT , qui consiste jouer lunique branche infinie de T . Il est
alors bien sr impossible que I ait une stratgie gagnante, ce qui prouve une
des deux implications qui nous intressent ici.
Pour dmontrer lautre implication, fixons un arbre T L \ BU. Il nous
faut dcrire une stratgie gagnante pour I. Si T a deux branches infinies,
cest facile : soit n le plus petit entier o deux branches x1 , x2 diffrent ; I
commence par jouer n0 = n + 1, puis I joue ses n 1 premiers coups en
numrant le dbut commun de x1 et x2 ; au n-ime coup, quoi que II joue, il
est possible pour I de jouer un lment qui soit le dbut dune branche infinie
de T et soit diffrent de ce que II a jou. I na alors plus qu continuer
jouer cette branche infinie.
Il nous reste traiter le cas o T na pas de branche infinie ; comme T L
on sait que (T ) = + n, o est un ordinal limite et n un entier naturel.
La stratgie de I est alors la suivante : il commence par jouer n0 = n + 1.
Disons maintenant quune position (n0 , y(0), x(0), . . . , y(k), x(k)) ave k < n0
est dcisive si
(A) x|k T , y|k T , y|(k+1) 6 T et x(k) 6= y(k), ou
(B) y|(k+1) T , x|(k+1) T , et (y|(k+1) ) < (x|(k+1) ).
Si I parvient atteindre une position dcisive, alors il lui est facile de continuer de faon gagner la partie : dans le cas (A), I peut jouer nimporte quoi
partir du rang k + 1 ; dans le cas (B), il est possible pour I de ragir aux
coups y(k + 1), y(k + 2),etc de II en jouant x(k + 1), x(k + 2), etc de telle
faon que pour tout m k on ait
y|(m+1) T x|(m+1) T et (y|(m+1) ) (x|(m+1) ) .
Il nous reste justifier le fait que I puisse atteindre une position dcisive.
Disons que II commence par y(0). Si (y(0)) 6 T alors I joue nimporte quel
autre entier et il a atteint une position dcisive. Sinon I essaie de trouver x(0)
tel que x|1 = (x(0)) T et (x|1 ) < (y|1 ). Si cest possible, I a atteint une
position dcisive ; sinon, on doit avoir n > 0, et (y|1 ) = + n 1. Dans ce
cas I joue x(0) = y(0). I ressaie de faire la mme chose au deuxime coup,
troisime coup, etc ; si I na pas atteint une position dcisive avant n 1
coups il doit alors arriver que (y|n ) = , et dans ce cas quoi que II joue au
rang n I peut atteindre une position dcisive.

Pour conclure ces notes, citons deux corollaires des rsultats que nous avons
obtenus dans ce chapitre, que nous laissons en exercice.
74
Exercice 5.6. Soit X, Y deux borliens standard et P X Y un borlien

tel que Px est dnombrable pour tout x. Montrer quil existe une famille
dnombrable de fonctions borliennes fn , dont le domaine est inclus dans la
projection de P , et telles que Px = {fn (x) : n N} pour tout x.
Pour i = 1, 2, . . . , 0 on note maintenant Pi lensemble des x tels que le
cardinal de Px soit exactement gal i. Montrer que tous les Pi sont borliens.
Exercice 5.7. (Feldman-Moore)
Soit X un borlien standard et E X X une relation dquivalence borlienne et classes dnombrables. Montrer quil existe un groupe dombrable
G dautomorphismes borliens de X tel que
x, y X (xEy) (g G g(x) = y) .
Bibliographie
[Cho69] Gustave Choquet. Cours danalyse. Tome II : Topologie. Espaces
topologiques et espaces mtriques. Fonctions numriques. Espaces
vectoriels topologiques. Deuxime dition, revue et corrige. Masson
et Cie, diteurs, Paris, 1969.
[Gao09] Su Gao. Invariant descriptive set theory. Pure and Applied Mathematics (Boca Raton). CRC Press, Boca Raton, FL, 2009.
[Hal74] Paul R. Halmos. Naive set theory. Undergraduate Texts in Mathematics. Springer-Verlag, New York, 1974. Reprint of the 1960
edition.
[HR98] Paul Howard and Jean E. Rubin. Consequences of the axiom of
choice, volume 59 of Mathematical Surveys and Monographs. American Mathematical Society, Providence, RI, 1998.
[Jec03] Thomas Jech. Set theory : The third millennium edition, revised and
expanded. Springer Monographs in Mathematics. Springer-Verlag,
Berlin, 2003.
[Kec95] Alexander S. Kechris. Classical descriptive set theory, volume 156 of
Graduate Texts in Mathematics. Springer-Verlag, New York, 1995.
[KM]
Kazimierz Kuratowski and Andrzej Mostowski. Set theory, with
an introduction to descriptive set theory. Studies in Logic and the
Foundations of Mathematics.
[Mos06] Yiannis Moschovakis. Notes on set theory. Undergraduate Texts in
Mathematics. Springer, New York, second edition, 2006.
[Oxt80] John C. Oxtoby. Measure and category, volume 2 of Graduate Texts
in Mathematics. Springer-Verlag, New York, second edition, 1980.
[Sri98] S.M Srivastava. A Course on Borel Sets, volume 180 of Graduate
Texts in Mathematics. Springer-Verlag, New York, 1998.
[Wag85] Stan Wagon. The Banach-Tarski paradox, volume 24 of Encyclopedia of Mathematics and its Applications. Cambridge University
Press, Cambridge, 1985.
75
Index
G , 25
f , 57
0 , 53
0 , 53
, 5
-idal, 34
S , 41
arbre, 15, 66
arbre bien fond, 71
arithmtique cardinale, 16
arithmtique ordinale, 7
axiome de Zermelo, 9
axiome des choix dpendants, 15
axiome du choix, 12
axiome du choix dnombrable, 14
Baire-mesurable, 35
base douverts, 20
bon ordre, 1
borlien standard, 63
Borel-Borel, 65
branche infinie, 15
branche infinie dans un arbre, 66
cardinal, 11
cardinal de Hartogs, 11
distance, 19
egalit modulo un idal, 34
ensemble analytique, 57
ensemble coanalytique, 57
ensemble comaigre, 34
ensemble de Bernstein, 36
ensemble inductif, 12
ensemble maigre, 34
espace compact, 20
espace complet, 20
espace de Baire, 22
espace de Cantor, 22
espace mtrique, 19
espace parfait, 29
espace polonais, 25
espace prcompact, 20
espace sparable, 20
espace topologique, 19
espace zro-dimensionnel, 21
expace mtrisable, 19
fonction de choix, 12
groupe complt, 45
groupe polonais, 41
groupe topologique, 41
hirarchie borlienne, 53
homomorphisme, 21
hypothse du continu, 17
ingalit triangulaire, 19
isomtrie, 19
jeu topologique, 71
Lemme de Zermelo, 12
lemme de Zorn, 12
ordinal, 4
ordinal limite, 5
ordinal successeur, 5
76
INDEX
ordre lexicographique, 66
oscillation, 26
plongement isomtrique, 20
point isol, 29
rcurrence transfinie, 5
rtract, 24
schma de Cantor, 30
schma de Lusin, 32
segment initial, 1
stratgie gagnante, 72
Thorme de Baire, 27
thorme de Laverentiev, 27
thorme de Lusin-Novikov, 67
thorme de sparation, 59
thorme de Suslin, 59
topologie produit, 22
uniformisation, 65
77

IntroDesc Theorie Ensemble

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

IntroDesc Theorie Ensemble

Transféré par

Droits d'auteur :

Formats disponibles

Introduction la thorie descriptive des

Texte rdig dans le but de fournir une introduction accessible

Table des matires

TABLE DES MATIRES

Bons ordres et ordinaux

CHAPITRE 1. ORDINAUX, CARDINAUX, AXIOME DU CHOIX

Si x X on notera Sx le segment initial {y S : y < x}.

1.1. BONS ORDRES ET ORDINAUX

CHAPITRE 1. ORDINAUX, CARDINAUX, AXIOME DU CHOIX

W W qui soit isomorphe Sw (vu dans W0 ). Pour tout W W, il est

1.1. BONS ORDRES ET ORDINAUX

CHAPITRE 1. ORDINAUX, CARDINAUX, AXIOME DU CHOIX

On sait maintenant, au moins en thorie, comment dmontrer des noncs

Intuitivement, on a "pluch X fois" : on a commenc par identifier tous

1.1. BONS ORDRES ET ORDINAUX

Par exemple, si on applique cette construction N muni de son ordre usuel,

CHAPITRE 1. ORDINAUX, CARDINAUX, AXIOME DU CHOIX

Dfinition 1.13. (multiplication ordinale) Soit un ordinal. On pose .0 =

1.2. CARDINAUX ET AXIOME DU CHOIX.

Exercice 1.17. On reprend les notations introduites lors de la dfinition de

Cardinaux et axiome du choix.

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 apparatre des "couronnes" : X \ Y , Y \ f (X), f (X) \ f (Y ), etc.

1.2. CARDINAUX ET AXIOME DU CHOIX.

On peut dj subodorer un problme : si X, Y sont deux ensembles, Y est

CHAPITRE 1. ORDINAUX, CARDINAUX, AXIOME DU CHOIX

Indication : considrer lapplication 7 ; en particulier, montrer que pour tout

1.2. CARDINAUX ET AXIOME DU CHOIX.

dune certaine faon de faire de lanalyse en vitant la thorie des ordinaux

Wikipedia lattribue un certain Jerry Bona.

CHAPITRE 1. ORDINAUX, CARDINAUX, AXIOME DU CHOIX

Laxiome du choix a de nombreuses consquences en mathmatiques, dont

1.2. CARDINAUX ET AXIOME DU CHOIX.

CHAPITRE 1. ORDINAUX, CARDINAUX, AXIOME DU CHOIX

si (X )< et (Y )< sont tels que |X | = |Y | pour tout < alors on a

Dfinition 1.32. (arithmtique cardinale) Soit un ordinal

Laddition et la multiplication dun nombre fini de cardinaux sont simples

voil encore un nonc quivalent laxiome du choix !

1.2. CARDINAUX ET AXIOME DU CHOIX.

permettra de dfinir une injection de dans .

On vrifie que ceci dfinit bien un bon ordre sur 2 ; de plus, si (, ) 2

CHAPITRE 1. ORDINAUX, CARDINAUX, AXIOME DU CHOIX

Rappels ; espaces compacts, complets, sparables

CHAPITRE 2. ESPACES POLONAIS ET LEMME DE BAIRE

on admet cette quivalence classique mais non triviale !

2.1. RAPPELS ; ESPACES COMPACTS, COMPLETS, SPARABLES 21

CHAPITRE 2. ESPACES POLONAIS ET LEMME DE BAIRE

Il nous reste introduire une dernire notion lmentaire, mais essentielle

2.1. RAPPELS ; ESPACES COMPACTS, COMPLETS, SPARABLES 23

CHAPITRE 2. ESPACES POLONAIS ET LEMME DE BAIRE

Exercice 2.15. A laide dun raisonnement de type va-et-vient, montrer que

indication : si K est homomorphs C, alors le complmentaire de K est ouvert, donc

2.2. CARACTRISATION DES POLONAIS ; LEMME DE BAIRE

Lide de la dmonstration prcdente est que, si lon a un ouvert U AN

Caractrisation des polonais ; lemme de Baire

Dfinition 2.18. Un espace mtrisable X est polonais si X est sparable et

CHAPITRE 2. ESPACES POLONAIS ET LEMME DE BAIRE

avoir x O (sinon d(xn , X \ O) tend vers 0 et (1/d(xn , X \ O)) ne peut pas

On vrifie immdiatement que f est continue en x A si, et seulement si,

Ici on utilise la compltude de R.

2.2. CARACTRISATION DES POLONAIS ; LEMME DE BAIRE

Thorme 2.24. (Laverentiev) Soit X, Y deux espaces mtriques complets,

consquent f est un homomorphisme de A sur B, qui prolonge f .