Rapport Peada2

Stage 2015, Des Ordres et des Dichotomies, Borliens et de
Gandy-Harrington
Paul-Elliot Angls dAuriac sous la direction de Todor Tsankov
18 septembre 2015
1
Table des matires
I Thorie descriptive effective des ensembles 3
1 Bases 3
1.1 Rcursivit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2 Thorie descriptive effective . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.3 Bons ordres et calculabilit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.4 Codages et ensembles universels . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
2 Topologie de Gandy-Harrington 7
2.1 Dfinition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
2.2 Jeux de Choquet . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
3 Outils de dmonstration 9
3.1 Lemmes de rflexion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
3.2 Topologie produit de Gandy-Harrington et largument du tiers-tmoin . . . . . . . 11
3.3 Thorme de Mycielski . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
3.4 Exemple : Thorme de Silver . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
II Les ordres borliens en dichotomie 15
4 Une famille dordres cofinale 16

4.1 Prliminaires techniques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
4.2 Un thorme la Mycielski . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
4.3 Dmonstration du rsultat . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
5 Dcomposition dordres 23
6 Des ordres conscutifs 27

6.2 Encore un thorme la Mycielski . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
2
Introduction
Une question qui a motiv de nombreuses avances en thorie des ensembles est celle du continu :
existe-t-il un ensemble de cardinal strictement entre le dnombrable et le continu ? Nous savons que
cet nonc est indmontrable avec les axiomes habituellement utiliss en mathmatiques. Cepen-
dant, nous pouvons nous poser la mme question pour beaucoup de classes densembles, et dans
nombre dentre elles lhypothse du continu est vrifie. Mais rpondre ces questions a demand
de dvelopper de nombreux outils pour prouver des thormes de dichotomie.
Un de ces thormes est le thorme de Silver, qui nous dit quun ordre borlien possde un
nombre de classes dquivalence soit dnombrable, soit du cardinal du continu. La premire preuve,
par Silver en 1980 utilisait un nombre non dnombrable de fois la suite laxiome des parties.
Puis, plus tard, Harrington en donna une preuve qui utilisait un nouvel outil : le forcing de Gandy-
Harrington, un outil qui peut de faon quivalente tre utilis sous le formalisme dune topologie.
Cependant, cet outil peut nous permettre de montrer de nombreux autres thormes de dichoto-
mies, diffrents du traditionel problme du continu. Par exemple, Harrington, Kechris et Louveau en
font une nouvelle utilisation dans [HKL90] pour un thorme de dichotomie sur les relations dqui-
valence. Mais en sloignant encore un peu du thorme de Silver, la topologie de Gandy-Harrington
trouve de nombreuses applications sur les ordres borliens. Ainsi, les dichotomies montres dans
[HMS88] et [Lou89] ne sont pas du type de lhypothse du continu.
Dans ce rapport de stage, nous tentons de mettre en vidence la mthode de preuve par la
topologie de Gandy-Harrington. Pour ce faire, nous reprenons les dmonstrations des thormes
en utilisant le formalisme de la topologie (au lieu du forcing comme utilis dans [HMS88]), et en
exhibant leur structure commune.
La premire partie sera ddie lxpos de tout le bagage technique ncessaire aux preuves,
ainsi que la structure dune preuve de Gandy-Harrington. Elle se terminera par un exemple mettant
les diffrents outils ensemble : la preuve du thorme de Silver. La deuxime partie utilisera cette
mthode pour montrer trois rsultats sur les ordres borliens.
Premire partie
Thorie descriptive effective des ensembles
1 Bases
La thorie descriptive des ensembles tudie les sous-ensembles de rels en terme de complexit.
Elle part dune base douverts, qui seront considrs comme les ensembles les plus simples. En
gnral, nous prenons les ouverts de la topologie usuelle de R. Ainsi, par exemple, tout singleton
de rel est un ferm, un ensemble trs simple. Cependant, en thorie de la calculabilit, on fait
une diffrence entre les rels : certains sont calculables, dautres non, et dans le cas incalculable
beaucoup de niveaux sont possibles.
Cela nous amne repenser nos ouverts de bases de thorie descriptive pour prendre en compte
cette ide de calculabilit dans nos mesures de complexit : cest la thorie descriptive effective
des ensembles. Nous allons ici y prsenter les bases sans nous tendre sur les dmonstrations, afin
davoir une batterie de rsultats pour dmontrer des thormes sur les ordres borliens.
1.1 Rcursivit
Avant dattaquer la partie thorie descriptive effective, nous empruntons le passage oblig de
la dfinition de la calculabilit. Il en existe beaucoup : machines de Turing, fonctions rcursives,
-calcul, -calcul, automates cellulaires, circuits boolens, Random Access Machine... Toutes ces d-
finitions nous donnent les mmes fonctions calculables : elles sont toutes Turing-compltes. Comme
3
nous ne nous intresserons pas de prs la calculabilit, nimporte laquelle de ces dfinitions nous
suffira.
Dfinition 1.1. Une fonction est calculable si elle lest par une machine de Turing. Une machine
de Turing tant un quintuplet, on peut lui associer un code entier de manire effective. On notera
Me la machine de code e, et Me (x) le rsultat de Me appliqu lentre x.
Une des proprits intressantes de ces modles de calcul est quils sont dnombrables, et que
lon peut facilement manipuler le code (lindex) de fonctions pour en crer dautres. Cest ce que
nous disent les rsultats suivants :
Thorme 1.2 (Thorme s-m-n). Il existe une fonction rcursive s(x, y) tel que Ms(x,y) (z) =
Mx (y, z).
Thorme 1.3 (Thorme du point fixe). Pour toute fonction rcursive f , il existe un x
appel point fixe de f telle que Mf (x) = Mx .
Les preuves de ces thormes se trouvent dans le [CL03].
Il reste une dernire chose dire sur la calculabilit avant dattaquer la thorie descriptive des
ensembles, trs importante car elle nous permettra de passer de rsultats effectifs des rsultats
classiques trs facilement. Cest la relativisation : la mme dfinition de calcul avec en plus laccs
un oracle.
Dfinition 1.4. Une machine de Turing avec oracle est une machine de Turing avec une bande
de plus, remplie au dbut du calcul par la fonction caractristique dun ensemble. On dira que f
est calculable avec oracle A sil existe une machine de Turing avec oracle qui calcule f si sa bande
supplmentaire est remplie de la fonction caractristique de A.
Cette dernire dfinition va nous tre utile pour passer de rsultats effectifs des rsultats
classiques : en effet, on verra quen gnral rajouter un oracle permet de passer dun nonc classique
un nonc effectif.
Nous allons nous arrter l pour ce qui est de la calculabilit. Pour qui est intress par rester
dans le domaine de la calculabilit tout en passant un niveau plus lev, on pourra se rfrer
[Sac90].
1.2 Thorie descriptive effective

Le ct effectif change la thorie descriptive sa base : les ouverts. Nous allons donc devoir
repartir au tout dbut et parcourir sensiblement le mme chemin que celui parcouru pour la thorie
descriptive des ensembles classique : la hirarchie borlienne, les analytiques et coanalytiques, toutes
les proprits de base... Cependant, notre but tant principalement de rendre le texte le plus
autosuffisant possible, nous passerons assez rapidement sur ces notions et nous limiterons aux
rsultats dont nous aurons besoin dans les preuves sur les ordres borliens. Pour des introductions
plus compltes aux thories descriptives classique et effective, on pourra se rfrer respectivement
[Kec12] et [Mos09].
On peut sintresser la thorie effective de nimporte quel espace polonais qui admet une
prsentation rcursive, mais dans notre cas nous allons nous limiter aux espaces de la forme
k N l , appels de type 1, pour l 1. On va commencer par dfinir les ouverts effectifs, la base
de tout.
Dfinition 1.5. Les ouverts effectifs sont dfinis partir douverts de base (mais ne forment pas
proprement parler une topologie) :
1. Dans k N l , les ouverts ferms de base sont les ensembles de la forme ik {ai } jl Nsj
Q Q
o ai et s < et Ns = {x N : x s}, que lon note Nha1 ,...,ak ,s1 ,...,sl i .
S
2. Les ouverts effectifs sont les ensembles U de la forme U = n Nf (n) o f est une fonction
rcursive. On note la classe des ouverts effectifs 01
4
3. Un ferm effectif est le complmentaire dun ouvert effectif. Leur classe est note 01 .
4. On appelle rcursif un ouvert-ferm. Cette dfinition correspond avec celle des machines de
Turing (tendue aux ensembles inclus dans N ). Leur classe est note 01 .
Les ouverts effectifs ne forment pas proprement parler une topologie : ils ne sont pas stables
par union quelconque, seulement par union calculable. Cependant, ils sont dnombrables, ce qui
est un avantage majeur. Les ouverts effectifs (ainsi, comme vu plus tard, que les premiers paliers
de la hirarchie des borliens effectifs) admettent aussi une caractrisation de forme logique.
Proprit 1.6. U est un ouvert effectif si et seulement si il existe R rcursif tel que x U
n, R(x, n).
La caractrisation suivante (qui existe aussi en thorie classique), nous sera utile pour dmontrer
que la topologie de Gandy-Harrington est de Choquet fort (voir plus tard).
Proprit 1.7. Soit F N l un ferm effectif. Alors F = [T ] o T ( < )l est un arbre rcursif
et [T ] est lensemble de ses branches infinies.
Nous ne nous attarderons pas plus sur la hirarchie des borliens effectifs. Elle peut tre
construite aussi bien que celle classique, tant que lordinal est calculable. Nous allons passer au
premier niveau de la hirarchie projective effective.
Dfinition 1.8. Un ensemble 11 de X est la projection dun ferm effectif de X N . Un ensemble

11 est le complmentaire dun ensemble 11 . Et un ensemble 11 est un ensemble la fois 11 et 11 .
Une fois de plus, ces classes sont dnombrables.
Thorme 1.9 (Reprsentation des 11 par projection darbre). Tout ensemble 11 X est de la
forme X = p[T ] o T est un arbre rcursif.
Ceci est un corollaire direct de la caractrisation des ferms.

Afin de pouvoir passer des rsultats effectifs aux rsultats classiques, nous avons besoin de ce
thorme :
Thorme 1.10. [
11 = 11 ()
2
[
11 = 11 ()
2
[
11 = 11 ()
2
Nous sommes loin davoir nonc toutes les proprits des ensembles 11 et 11 qui nous int-
ressent, cependant avant de continuer nous devons faire un dtour par les bons ordres, ceux-ci tant
fondamentaux dans notre tude de cette couche de complexit.
1.3 Bons ordres et calculabilit

Beaucoup de dfinitions en thorie descriptive reposent sur des ordinaux. Cependant, nous
voulons maintenant que tous nos objets soient effectifs... Il va donc nous falloir nous limiter aux
ordinaux calculables.
Dfinition 1.11. 1. Un ordinal est calculable sil existe () un bon ordre rcursif tel
que type() = . On note 1CK = sup{type() : () bon ordre rcursif} le premier ordinal
non rcursif.
2. On note W O les bons ordres, W O0 les bons ordres rcursifs.
5
Dans la suite nous allons relier les ensembles 11 et les ensembles dordinaux calculables pour
voir quil y a un lien fort entre les deux.
Thorme 1.12 (Thorme de reprsentation). W O est 11 , mais pas 11 . De plus, il est complet
dans le sens que pour tout ensemble A X 11 , il existe une fonction 11 f : X LO telle que
A = f 1 (W O). Rciproquement, lexistence dune telle fonction assure que A soit 11 .
Corollaire 1. Si W O est 11 , alors < 1CK
Thorme 1.13 (Thorme de la bornitude). Soit P X, f 11 tel quon ait
x X, P (x) f (x)
Alors P est 11 si et seulement si
sup{|f (x)| : P (x)} < 1CK
Toutes les preuves et les exemples de ces thormes sont dans [Mos09].
Dfinition 1.14 (Normes). Une norme sur A est une fonction : A Ord. Si est une classe
de complexit, une -norme est une norme : P Ord telle quil existe et < dans telle
que pour tout y P et pour tout x X :
[P (x) (x) (y)] x y x 6> y
Dfinition 1.15. Une classe de complexit est norme si tout P admet une -norme.
Thorme 1.16. 11 est norm.
Cette proprit fondamentale, aussi appele proprit du pr-bon ordre, sera utile pour montrer
les lemmes de rflexion.
1.4 Codages et ensembles universels

Dfinition 1.17 (Bon ensemble universel). Soit une classe dnombrable. Un ensemble P X
est dit universel pour les lments de si pour tout A X avec A dans , il existe n tel que
A = Pn .
Un ensemble universel P est bon si pour tout ensemble Q X, il existe une fonction
rcursive telle que Qn = Pf (n) .
Un bon ensemble universel fournit un codage pour les ensembles de la classe de complexit
dune telle faon que les codes sont manipulables. En particulier, les index standards des fonctions
rcursives nous permettent de dfinir de bons ensembles universels.
Proprit 1.18. Si (We ) est la numrotation standard des ensembles rcursivement numrables,
U N = {(e, x) : yn(x n, y y, n) We } est un bon ensemble 11 universel.
Les ensembles 11 et 11 sont dnombrables et on possde un indexage qui rend pratique leur
utilisation via les bon ensembles universels. Les ensembles 11 possdent-ils eux aussi un indexage
avec de bonnes proprits ? Sans atteindre un ensemble 11 universel, qui nexiste pas, nous avons
le thorme suivant :
Thorme 1.19. Pour tout X, il existe des ensembles 11 D , P + , P X, tels que n

P + et P sont complmentaires et A 11 il existe n D tel que A = Pn+ .
Dmonstration. Page 31 de [Kan08] ou 35 de [Gao08]
Corollaire 2. f 11 est 11 f 11 est 11
6
Le corollaire prcdent et sa preuve dans un style informel, montrent lintrt de ce codage dans
ltude de complexit de formules.
Preuve par lexemple. Par exemple, si A est 11 , alors P (y) dfini par E 11 , x, x E
(x, y) A est 11 : P (y) est aussi n : n D x, P (n, x) (x, y) A (x, y) A P + (n, x)
qui est 11 .
De mme, P (y) dfini par E 11 , x, x E (x, y) A est 11 : P (y) est aussi n : n 6
D [x, P + (n, x) (x, y) A (x, y) A P (n, x)].
2 Topologie de Gandy-Harrington
2.1 Dfinition
Dfinition 2.1. Soit X un espace de type 1 (de la forme k N l ). La topologie de Gandy-
Harrington est la topologie engendre par les ensembles 11 . X tant donn, on note sa topologie
de Gandy-Harrington, n celle Xn . On notera aussi n,m = n m .
Commes les ensembles 11 sont clos par intersection, un ouvert de la topologie de Gandy-
Harrington est une union densembles 11 . On remarque que n est diffrent de n = ,
la topologie produit n fois de . En effet, {(x, x) : x X} est un ouvert de 2 , mais pas de 2 , car
il nest pas de la forme A B o A et B seraient des ouverts.
Cette topologie a aussi la bonne proprit dtre engendr par un nombre dnombrable douvert :
en effet, il existe un nombre dnombrable densembles 11 . X muni de sa topologie de Choquet a
aussi une proprit trs importante : tre un espace de Choquet fort.
2.2 Jeux de Choquet

Dfinition 2.2 (Jeux de Choquet [fort]). Soit X un espace topologique. Les jeux de Choquet et jeu
de Choquet fort sont des jeux topologiques qui se jouent 2 joueurs (entre 9 et 99 ans).
Dans le jeu de Choquet, les deux joueurs jouent tour de rle des ouverts de la topologie, inclus
les uns dans les autres. Les joueurs 1 et T suites (Un ) et (Vn ) avec
T 2 dfinissent respectivement des
Un+1 Vn Un . Le joueur 1 gagne si Un = , le joueur 2 gagne si Un 6= .
Dans le jeu de Choquet fort, le joueur 1 se voit accord un peu plus de puvoir. Les deux joueurs
jouent aussi tour de rle, mais le joueur 1 dans X et le joueur 2 dans . Ils dfinissent ainsi
des suites (xn , Un ) et (Vn ). Les rgles pour un coup sont les suivantes :
1. Le joueur 1, tant donn Vn , doit jouer (xn+1 , Un+1 ) tel que xn+1 Un+1 Vn
2. Le joueur 2, tant donn (xn , Un ), doit jouer Vn tel que xn Vn Un
T T
Le joueur 1 gagne si Un = , le joueur 2 gagne si Un 6= . On note GX le jeu de Choquet fort
dans lespace topologique X.
Dfinition 2.3 (Stratgie gagnante). Une stratgie est une fonction qui tant donn le droulement
fini du cours dune partie (dun jeu de Choquetfort ou non fort) retourne le prochain coup jouer.
Elle est gagnante pour le joueur i si quelque soit ce que joue lautre joueur, le joueur i gagne en
suivant cette stratgie.
Remarquons que tous les espaces topologiques nadmettent pas forcment de stratgie gagnante,
ni pour un joueur ni pour lautre. En gnral, lexistence dune stratgie gagnante pour un des
deux joueurs dans un espace le qualifie de dtermin. Dans le cas du jeu de Choquet, il est pratique
lorsque lon veut construire par une mthode de schma la Cantor une injection de 2 davoir
une stratgie gagnante pour le 2me joueur : on peut alors forcer une intersection tre non vide.
Les espaces polonais sont de tels espaces : il suffit davoir V n Un , ce qui est toujours possible,
pour que la compltude assure que lintersection est non vide. Cette classe despace a un nom : les
espaces de Choquet forts.
7
Dfinition 2.4 (Espace de Choquet [fort]). Un espace de Choquet est un espace topologique qui
admet une stratgie gagnante pour le deuxime joueur au jeu de Choquet. Un espace de Choquet
fort est un espace topologique qui admet une stratgie gagnante pour le deuxime joueur au jeu de
Choquet fort.
Pour dmontrer nos thormes de dichotomies, nous allons utiliser la topologie de Gandy-
Harrington. Celle-ci se trouve tre de Choquet fort, ce qui va nous tre trs utile pour forcer des
intersections ne pas tre vides dans des schmas la Cantor.
Thorme 2.5. Lespace (N n , n ) est un espace de Choquet fort.
Dmonstration. Tout dabord, il nous suffit de le montrer pour le cas n = 1. En effet, tous ces
ensembles sont homomorphes. Introduisons avant de commencer une notation gnrale sur les
arbres sur :
T(s,t) = {(s0 , t0 ) T : (s s0 ou s0 s) et (t t0 ou t0 t)}

cest bien un arbre, et il est rcursif ds que T lest.
Dcrivons maintenant une stratgie gagnante pour le joueur 2 jouant dans (N , ).
Notons (x0 , U0 ) le premier coup du joueur 1, et soit A0 U0 un ouvert de base, cest dire
11 , avec x0 A0 . Rappelons que par le thorme 1.9, tout ensemble 11 est la projection des
branches dun arbre rcursif sur : soit donc T0 un arbre rcursif tel que A0 = p[T0 ].
Comme x0 A0 , soit y0 N tel que (x0 , y0 ) [T0 ]. On pose alors s0 = x0 1 et t00 = y0 1. La
rponse du joueur 2 au premier coup de la partie sera V0 = p[(T0 )(s0 ,t00 ) ]. On a bien x0 V0 car
(x0 , y0 ) (T0 )(s0 ,t00 ) , et V0 A0 U0 .
Le joueur 1 joue alors en rponse (x1 , U1 ). Comme x1 U1 V0 , il existe y00 tel que (x1 , y00 )
p[(T0 )(s0 ,t00 ) ]. Posons alors s1 = x1 2 et t01 = y00 2. On a s0 x1 donc s0 s1 et de mme t00 t01 .
Soit A1 U1 un ouvert de base, avec x1 A1 , et soit T1 un arbre rcursif tel que A1 = p[T1 ], puis
y1 N tel que (x1 , y1) [T1 ]. Posons t10 = y1 1, et remarquons que x1 p[(T1 )(s0 ,t10 ) ]. Le joueur
2 va jouer V1 = p[(T0 )(s1 ,t01 ) ] p[(T1 )(s0 ,t10 ) ], et on a bien x1 V1 A1 U1 .
La partie se continue ainsi : au moment o le joueur 2 vient de finir de jouer son coup n, sont
donc dfinis : les ensembles Vn , des arbres Ti pour i n et des suites finies si pour i n, et tij
pour i + j n, vrifiant les conditions suivantes :
1. i n, si est de taille i + 1 et si si+1
2. k, i, si k + i n, alors tki est de taille i + 1 et tki tki+1
3. k, i, si k + i n, alors (sk , tik ) Ti
4. sn = xn n
5. An = p[Tn ] Un
6. Vn = p[(T0 )(sn ,t0n ) ] p[(T1 )(sn1 ,t1n1 ) ] p[(Tn )(s0 ,tn0 ) ]
7. La suite (x0 , U0 ), V0 , (x1 , U1 ), V1 , . . . (xn , Un ), Vn est bien une partie du jeu de Choquet fort.
cela le joueur 1 joue (xn+1 , Un+1 ). Il nous faut dfinir la raction de la stratgie du joueur
2, cest dire construire Vn+1 , Tn+1 , sn+1 , et tij pour i + j = n + 1, qui continuent vrifier les
conditions de 1 7. On sait que xn+1 Vn , donc en posant sn+1 = xn+1 n + 1, par les conditions
(4) et (1) on a bien la condition (1). De plus, pour tout k n, xn+1 p[(Tk )(snk ,tk ) ]. Soit donc
nk
yk0 tel que (xn+1 , yk0 ) [(Tk )(snk ,tk ]. On pose tkn+1k = y 0 k (n + 1 k) (qui vrifie (2) car
nk )
yk0 tknk par dfinition de T(s,t) ). On a bien la condition (3) car sn+1 xn+1 , tkn+1k yk0 , et
(xn+1 , yk0 ) [(Tk )(snk ,tk ) ] [Tk ].
nk
Il nous reste Tn+1 , tn+1
0 et Vn+1 dfinir. Comme Un+1 est ouvert, soit An+1 Un+1 un ouvert
0
de base qui contient xn+1 , et soit Tn+1 tel que An = p[Tn+1 ]. Comme xn+1 An , soit yn+1 tel que
0 n+1 0
(xn+1 , yn+1 ) [Tn+1 ]. On pose t0 = yn+1 (n + 1) qui vrifie les conditions (2) et (3). Ensuite,
8
en posant Vn+1 = [(T0 )(sn+1 ,t0n+1 ) ] [(T1 )(sn ,t1n ) ] [(Tn+1 )(s0 ,tn+1 ) ], on a bien dfini le coup
0
suivant, qui est valide car xn+1 est bien dans chacun des ensembles.
Maintenant, montrons quune partie du jeuTde Choquet o le joueur S 2 suit cette stratgie est
gagnante pour ce joueur : il faut montrer que n Un 6= . Soit x = s , x 2 par (1) ; on va
n n
montrer que n , x Un . Soit n , et posons yn = k tnk , qui existe par (2). Pour tout k,
S
par (3) on a (x k, yn k) = (sk , tnk ) Tn , donc (x, yn ) [Tn ] et donc x p[Tn ] = An Un . Ceci
montre que lintersection est non vide et on a bien montr que lespace est de Choquet fort.
Mais le fait que (N , ) soit de Choquet fort nest pas utile que pour les schmas la Cantor :
dautres proprits des espaces de Choquet fort vont nous tre utiles.
Thorme 2.6. Soit X un espace topologique de Choquet fort. Soit Y X, G et muni de la

topologie de X restreinte Y . Alors Y est de Choquet fort.
Dmonstration. Il faut dfinir une stratgie gagnante pour le joueur 2, dans leTjeu GY , en profitant
de celle existante pour GX . Tout dabord, soit Wn des ouverts tels que Y = n Wn .
Dfinissons la stratgie du joueur 2 Celui-ci va simuler dans sa tte (il jouera les deux joueurs)
une partie de GX (les deux joueurs seront nots 1X et 2X ) et donnera ses coups en fonction de
ce que dira la stratgie gagnante sur GX . Au tout premier coup, le joueur 1 joue (x0 , U0 ), avec
x0 U0 et U0 un ouvert de Y . Soit donc U00 un ouvert de X tel que U0 = U00 Y . Dans le jeu GX
qui est dans la tte du joueur 2, le joueur 1X joue x0 , U0 = U00 W0 . Suivant sa stratgie gagnante,
le joueur 2X joue VO , un ouvert de X avec x0 V0 . Le joueur 2 va alors rpondre au premier coup
par V0 = V0 Y , et on a bien x0 V0 .
Les parties se continuent, supposons que nous en sommes au joueur 2 : (x0 , U0 ), V0 , . . . , (xn , Un )
ont t jous dans GY , et (x0 , U0 ), V0 , . . . , (xn1 , Un1
), V
n1 ont ts jous dans GX . Le joueur 1
vient donc de jouer (xn , Un ), soit donc Un un ouvert de X tel que Un0 Y = Un . Quitte prendre
0
Un0 Vn , on peut supposer Un0 Vn . Le joueur 1X joue alors xn , Un = Un0 Wn , ce quoi le joueur
2X rpond Vn . Et le coup du joueur 2 est Vn Y . Nous avons bien dfini la stratgie du joueur
2 dans le cas gnral. Montrons maintenant que cetteTstratgie T est gagnante : comme dans GX le
stratgie gagnante, soit x Un . Un = n (Un0 Wn ), donc x Y , et
T
joueur 2X Ta appliqu sa T
donc x (Un0 Y ) = Un , donc lintersection est non vide et le joueur 2 a gagn. Nous avons
bien montr que cette stratgie est gagnante.
Donc Y est bien de Choquet fort.
Thorme 2.7. Soit X un espace topologique de Choquet fort. Alors X est un espace de Baire.
T
Dmonstration. Soit (Wn ) une quantit dnombrable douverts denses. On va montrer que n Wn
est dense. Soit donc A un ouvert. On va dfinir un jeu de Choquet, o le joueur 2 jouera ses coups
selon une stratgie gagnante. Il nous reste dfinir les coups du premier joueur : son premier coup
sera A et son n-ime coup sera Un = Vn1 Wn1 .TVn1 est un ouvert T donc Un T est non vide.
T
Comme
T le joueur 2 suit
T sa stratgie gagnante,
T n U n 6
= . Or n Un = A n V n n Wn
A ( n Wn ) donc A ( n Wn ) 6= et n Wn est bien dense : on a montr que X est un espace
de Baire.
3 Outils de dmonstration
Les dmonstrations de dichotomies qui se basent sur la topologie de Gandy-Harrington fonc-
tionnent toutes en se basant sur un petit nombre doutils spcifiques qui forment les parties tech-
niques du raisonnement. Ces outils ne peuvent pas tous tre rigs au rang de lemme car ils sont
chaque fois adapter au contexte. Ces outils sont les deux lemmes de rflexion, largument que je
nommerai du tiers-tmoin, et le thorme de Mycielski et ses drivs.
9
Toutes les preuves des rsultats de dichotomie de ce rapport fonctionneront sur le schma
suivant :
1. Dfinition dun ensemble dit chaotique et not Z (son complmentaire sera dit structurel)
aux proprits appropries.
2. Premier cas : si Z est vide, nous avons le premier cas de la dichotomie.
3. Deuxime cas : si Z est non vide, nous avons le deuxime cas de la dichotomie, en gnral
nous construisons une injection de 2 dans Z laide dun thorme la Mycielski.
3.1 Lemmes de rflexion

Les lemmes de rflexion nous permettent de trouver des ensembles 11 qui vrifient une certaine
proprit partir dun ensemble 11 qui la vrifie. Il faut pour cela que la condition vrifier ne
soit pas trop complexe.
Dfinition 3.1 (11 en les codes). Soit U N un bon ensemble 11 universel. On dit quun
ensemble A de sous-ensembles de N est 11 en les codes si {e : Ue A } est 11 (o Ue = {x :
(e, x) U }). Cela ne dpend pas du choix de U bon 11 -universel.
Cela veut simplement dire que, tant donn un code dun ensemble 11 , vrifier sil appartient
A se fait de manire 11 .
Lemme 3.2 (Premier lemme de rflexion). Soit A qui soit 11 en les codes. Alors, pour tout Y A ,
ensemble 11 , il existe D Y 11 tel que D A . De plus, si a est un code de {e : Ue A }, et y
un code de Y , on peut trouver un code dun tel D de manire 11 .
Dmonstration. Posons U comme dans la proprit 1.18. Ici, on utilise le fait que la classe 11 est
norme. Soit donc : U 1 une norme 11 . Soit n et m tels que {e : Ue A } = Un et Y = Um ,
ces deux ensembles tant 11 . Pour e , on pose Ve = {y Y : (m, y) < (n, e)}.
Chaque Ve est 11 car la norme lest, et de plus comme U est bon universel, on peut trouver
une fonction rcursive telle que Ve = Uf (e) . De plus, par le thorme du point fixe de Kleene, on
peut trouver un point fixe e de f cest dire tel que We = Wf (e) , et on aura alors par dfinition de
U : Ve = Uf (e) = Ue.
Montrons que Ue A : sinon, on aurait (n, e) = , et donc par la dfinition des Ve , Ve =
Y A . Or Ve = Ue. Donc on a Ue A . Finalement, en posant = (n, e) < 1CK , on a
Ve = {y Y : (m, y) < } = {y : (m, y) < }, car si (m, y) < , alors (m, y) < et y Y .
Finalement, Ve est un ensemble 11 , dans A et inclus dans Y : cest bien lensemble recherch.
La proprit de sparation peut alors se prouver en utilisant la rflexion :
Exemple 3.3. Soit X un espace polonais effectif. Si X est 11 , et Y X est 11 , alors il existe D
11 tel que Y D X.
Dmonstration. On pose A = {A X : Y A}. A est bien 11 en les codes car Ue A

x, x Y x Ue }. Par hypothse, X A donc il existe par le lemme de rflexion D X 11
tel que D A , cest dire tel quon ait Y D X.
Un autre exemple dutilisation du lemme de rflexion :
Exemple 3.4. Si X est 11 et linairement ordonn par , un ordre 11 , alors il existe un 11

Y X tel que Y est linairement ordonn par .
Dmonstration. On pose A (Y ) x0 , x1 6 Y, x0 x1 x1 x0 . A est bien 11 en les codes, et

on a A (X) par hypothse. Donc on peut appliquer le lemme de rflexion pour trouver Y X
11 tel que A (Y ) cest dire Y X 11 et Y linairement ordonn par .
10
Cependant ce lemme de rflexion ne suffit pas toujours : on va en dmontrer un autre qui nous
permettra plus de choses (en gnral il nous servira sparer deux ensembles par un ensemble 11 ).
Dfinition 3.5. Soit A P(N )2 qui soit 11 en les codes (cest dire tel que {(e, e0 ) : (Ue , Ue0 )
A } est 11 ),
1. A est monotone vers le haut si pour tout (Y, Z) A et Y 0 Y , Z 0 Z, on a (Y 0 , Z 0 ) A ;
2. A est continu vers le bas T tout Y0 Y1 et Z0 Z1 tel que (Yi , Zi ) A
T si pour
pour tout i, alors on a ( Yn , Zn ) A .
Lemme 3.6 (Deuxime lemme de rflexion). Si A P(N )2 est 11 en les codes, monotone vers
le haut et continu vers le bas, alors pour Y 11 tel que (Y, Y ) A , il existe D Y 11 tel que
(D, D) A .
Dmonstration.
1 tel que Y X
Fait 3.1. Si X Y est 11 , il existe un X X) A
X et (X,
1
Preuve du fait. Considrons B = {Z : (Z, X A et X Z}. B est 11 en les codes car

{e : Ue B} = {e : (e, e0 ) A x, x X x Ue } qui est bien 11 . De plus, comme
(Y, Y ) A et Y X, et A monotone vers le haut, on a (Y, X) A et donc Y B. On
peut donc appliquer le premier lemme de rflexion B et Y pour trouver un X
Y tel que X X

et (X, X) A .

Soit X0 un sous ensemble de Y 11 (par exemple ). tant donn Xn , le fait 3.1 nous donne
Xn+1 , tel que Y Xn+1 XnSet (Xn+1 , Xn ) A . Comme le code de Xn+1 se trouve de manire
11 en le code de Xn , X = Xn est 11 . De plus X Y . Comme (Xn+1 T , Xn ) A et par
monotonicit vers le haut, (X, Xn ) A , et par continuit vers le bas, (X, Xn ) A . Or comme
X = Xn , on a (X, X) A , ce qui conclut la dmonstration.
T
3.2 Topologie produit de Gandy-Harrington et largument du tiers-tmoin

Rappelons ici la dfinition de la topologie de Gandy-Harrington :
Dfinition 3.7. Si (X, ) est polonais, la topologie de Gandy-Harrington associe est la topologie
engendre par les ensembles 11 de X. Si de plus X = N n , on la note n .
Si X = N n et Y = N m , on remarque quon peut munir X Y = N n+m de la topologie n+m ,

mais aussi de la topologie produit plus classique n m , que lon notera n,m . Ces deux topologies
sont bien diffrentes : par exemple, pour n = m = 1, {(x, x) : x N } est bien un ensemble 11
pour la topologie usuelle (donc un ouvert de 2 ), mais il nest pas un ouvert deS 2 = 1,1 : en effet,
il existe x0 N tel que {x0 } nest pas 11 , donc comme {(x, x) : x N } = xN {x} {x}, et
que cest la seule dcomposition en union de produits de deux ensembles, il nest pas ouvert pour
2 = 1,1 .
Cette topologie produit nous sera trs utile pour des arguments de maigreur sur des relations.
Cependant nous ne pourrons pas profiter de ces arguments sur tous les ensembles 11 , car certains
ne sont pas de la forme A B... Nous allons dvelopper une technique qui va nous permettre
dtendre la porte de ces arguments de maigreur plus densembles, en utilisant des proprits
spcifiques la topologie de Gandy-Harrington.
0
Dfinition 3.8 (Projections). Soit n n0 . Une projection de N n dans N n est une fonction de la
0 0
forme (x1 , . . . , xn ) = (xi1 , . . . , xin0 ) o i1 < . . . < in0 . Une projection de N n N m dans N n N m
est une fonction de la forme (x1 , . . . , xn , y1 , . . . , ym ) = 1 (x1 , . . . , xn ), 2 (y1 , . . . , ym ), o 1 et 2
0 0
sont des projections de N n dans N n et de N m dans N m .
Proprit 3.9 (Continuit et ouverture de la projection). Soit n n0 et m m0 . Toute projection

0 0
de (N n N m , n,m ) dans (N n N m , n0 ,m0 ) est ouverte et continue.
11
Dmonstration. Pour simplifier les notations, nous allons dmontrer le rsultat pour n = m = 2,
n0 = m0 = 1 et (x, 2 2
S y, z, t) = (x, z). Soit G N N un ouvert de 2 2 , S cest dire
de la S forme G = n (Un Vn ) o Un et Vn sont des ouvertsSde S 2 . Donc Un = S m Un,m et
V 1
Sn = m Vn,m o Un,m et Vn,m sont des ensembles S 1 . Donc G = n (( m0 S Un,m0 )( m1 Vn,m1 )) =
n,m0 ,m1 (U n,m 0 V n,m 1 ). Et donc (G) = n,m0 ,m1 (U n,m 0 V n,m 1 ) = n,m0 ,m1 An,m0 Bn,m1
o x An,m0 y : (x, y) Un,m0 et x Bn,m1 y : (x, y) Vn,m1 sont des ensembles 11 .
Donc (G) est bien un ouvert de 2 . On a montr que est ouverte. est continue car si A et B
11 , 1 (A B) = A N B N qui est ouvert pour 2 2 .
Le fait que les projections soient ouvertes nous est utile pour conserver des proprits (par
exemple de densit) quand on rajoute des dimensions un ensemble. Par exemple, limage rci-
N (x , . . . , x ) = (x , x )
proque dun ensemble dense est dense. Nous utiliserons la notation n,m 1 N n m
pour n < m N . Nous pouvons ainsi donner le premier exemple dun argument du tiers-tmoin :
Exemple 3.10. Si E est une relation transitive et symtrique 11 , comaigre dans X Y pour la
topologie 1,1 , alors E est dense dans A B pour 2 .
Dmonstration. Soit A un ouvert de 2 tel que A X Y 6= , cest un ensemble 11 . Soit B =

{(x, y, z, t) X Y X Y : (x, y) A zEt}. Comme la projection 1 : x, y, z, t 7 x, t est
ouverte et continue pour 2,2 dans 1,1 , et que E est comaigre dans X Y pour 1,1 , 1 1 (E) =
{(x, y, z, t) : xEt} est comaigre dans X Y X Y pour 2,2 , et de mme {(x, y, z, t) : yEz} est
comaigre. Et comme lespace est de Baire (pour 2 , car il est en particulier de Choquet Fort), on a
{(x, y, z, t) : xEt yEz} dense. Et donc il existe (x, y, z, t) B tel que xEt et yEz, donc (x, y) A
et zEt donc xEtEzEy, on a bien montr que E est dense pour 2 .
Cependant, cet argument ne suffira pas dans tous les cas, car nous considrerons restreinte
X Y E... On cherche adapter le rsultat prcdent de continuit. Posons Ek = {(x1 , . . . , xk ) :
x1 Ex2 E . . . Exk }.
Proprit 3.11 (Continuit et ouverture de la projection restreinte Ek ). Soit n n0 et m m0 .

Toute projection de (En+m , n,m ) dans (En0 +m0 , n0 ,m0 ) est ouverte et continue.
Dmonstration. Pour simplifier les notations, nous allons dmontrer le rsultat pour n = m = 2 et
n0 = S m0 = 1 et (x, y, z, t) = (x, z). Soit G N 2 N 2 un ouvertSde 2 2 , cest Sdire de la forme
G = n (Un Vn ) o Un et Vn sont des ouverts Sde S2 . Donc Un = Sm Un,m et Vn =S m Vn,m o Un,m
et Vn,m sont des ensembles 11S. Donc G = n (( m0 Un,m0 ) ( Sm1 Vn,m1 )) = n,m0 ,m1 (Un,m0
Vn,m1 ). Et donc (G E4 ) = n,m0 ,m1 (Un,m0 Vn,m1 E4 ) = n,m0 ,m1 An,m0 Bn,m1 E2 . Si
x An,m0 y : (x, y) Un,m0 E et x Bn,m1 y : (x, y) Vn,m1 E (qui sont des ensembles
11 ), comme E est uneS relation dquivalence, on a bien (Un,m0 Vn,m1 E4 ) = An,m0 Bn,m1 E2 .
Donc (G E4 ) = n,m0 ,m1 An,m0 Bn,m1 E2 est bien un ouvert de 2 pour E2 . On a montr
que est ouverte. est continue car si A et B 11 , 1 (A B E2 ) = A N B N E4 qui
est ouvert pour 2 2 dans E4 .
Exemple 3.12. Si R est une relation dquivalence G pour 2 et E est une relation transitive
symtrique 11 et comaigre dans X Y E pour la topologie 1,1 , alors E est dense pour 2 .
Dmonstration. Soit A un ouvert de 2 tel que A X Y R 6= , cest un ensemble 11 . Soit B =

{(x, y, z, t) (X Y X Y ) R4 : (x, y) A zEt}. Comme la projection 1 : x, y, z, t 7 x, t est
ouverte et continue pour 2,2 dans 1,1 avec comme espace de base R4 et comme espace darrive R
(proprit 3.11), et que E est comaigre dans X Y R pour 1,1 , 1 1 (E) = {(x, y, z, t) R4 : xEt}
est comaigre dans X Y X Y R4 pour 2,2 , et de mme {(x, y, z, t) R4 : yEz} est comaigre.
Et comme lespace R est de Baire (pour 2 , car comme R est G , R est de Choquet fort par 2.6 et il
est donc de Baire par 2.7), lespace R4 est de Baire pour 2 2 , on a {(x, y, z, t) R4 : xEt yEz}
12
dense. Et donc il existe (x, y, z, t) B tel que xEt et yEz, donc (x, y) A et zEt donc xEtEzEy,
on a bien montr que E est dense pour 2 .
Il va donc nous tre utile davoir des relations dquivalence qui soient G . On va montrer quune
classe assez grosse de relations dquivalence est G : les relations dquivalence reprsentables.
Dfinition 3.13 (Relations dquivalence reprsentables). E une relation dquivalence 11 sur X

est reprsentable si x, y X tels que xEy, il existe C 11 satur pour E (x C xEy y C)
tel que x C et y 6 C.
Lemme 3.14. Si E est une relation dquivalence reprsentable, alors En est G .
Dmonstration. Si E est reprsentable, nous avons E = {Dn (D)n : D 11 et E-invariant}.

T
En effet, si x1 Ex2 E . . . Exn alors pour tout D E-invariant, si x1 D alors xk D et si x1 6 D
alors xk 6 D, donc (xi ) Dn (D)n , et si xi Exj alors il existe D 11 et E-satur tel que xi D
et xj 6 D car E est reprsentable, donc (xi ) 6 Dn (D)n .
Comme Dn (D)n est ouvert-ferm pour D 11 , E est bien une intersection dnombrable
douverts : cest un ensemble G .
lavenir, il nous suffira donc de montrer quune relation est reprsentable pour utiliser un
argument du tiers-tmoin.
Dfinition 3.15 (Informel, largument du tiers-tmoin). On dira : par un argument du tiers-

tmoin, en tant quabrviation de : en utilisant le fait que E est reprsentable donc les projections
continues, que lensemble de base est G donc de Choquet fort et donc de Baire, nous avons que...
3.3 Thorme de Mycielski

Le dernier outil quil nous reste montrer est le thorme de Mycielski, qui, tant donn une
relation et sous certaines conditions, nous permet de trouver des ensembles de cardinal du continu
et dont les lments sont deux deux incomparables. En ralit, nous nallons jamais utiliser le
thorme de Mycielski directement, mais redmontrer des rsultats la forme adapte notre but,
que nous appelerons thormes la Mycielski. Cependant la base de la dmonstration reste la
mme et il est donc intressant de commencer par sintresser ce thorme.
Pour tre prcis, le thorme de Mycelski traite despaces polonais classiques, et ce que nous
allons montrer en est un corollaire. Nous prsentons donc ici la preuve du gnral, adapte au cas de
la topologie de Gandy-Harrington. On trouvera la preuve gnrale et son corollaire dans [Gao08].
Thorme 3.16. Soit X un espace polonais rcursivement prsent, E une relation dquivalence
et Z 11 (cest dire un ouvert pour ) telle que E soit maigre dans Z Z pour . Alors il
existe une injection f de 2 dans Z telle que limage de f soit compose dlments deux deux
dans E.
Dmonstration. CommeT E est maigre dans Z Z, soit (Wn ) une famille dcroissante douverts
denses tel que E n Wn . On va construire une famille (Us )s2< et une famille (Vs )s2<
vrifiant les proprits suivantes :
1. U = Z,
2. n, s 6= t 2n , Us Ut Wn
3. pour tout s 2 , pour tout n, U , V , Us1 , Vs1 , . . . Usn , Vsn forme une instance dun jeu de
Choquet o le deuxime joueur suit sa stratgie gagnante.
4. diam(Us ) 2|s| pour la topologie usuelle,
13

T Supposons que lon ait construit de telles familles. Alors, par la proprit (3), pour s 2 ,
n Usn est non vide, par la proprit (4) cest un singleton. On notera lunique lment de ce
singleton F (s). Soit s 6= t 2 , etTsoit n0 tel que s n0T6= t n0 . Par la proprit (2), pour tout
n n0 , Usn Utn TWn . Donc nn0 Usn Utn nn0 Wn . Par dcroissance de (Wn ), on
a donc (F (s), F (t)) n Wn E et donc F (s) et F (t) ne sont pas E-quivalents. Nous avons
trouv une famille parfaite dlments chacun dans une classe dquivalence : cest le rsultat.
Maintenant prcisons la construction de la famille. Pour s = , on pose U = Z et V la rponse
du joueur 2 suivant sa stratgie. Supposons quon ait construit Us et Vs pour tout s 2n . Quitte
prendre Vs = Vs B2|s| (xs ) o xs Vs , on peut supposer que Vs vrifie dj (4). Vs Vs
est un ouvert de , donc Vs Vs Wn 6= et est un ouvert, et donc il existe un ouvert de
0 0
Us1 Wn avec Us0 0 , U0 n+1 ,
base inclus dedans : Us0 s1 Vs . Pour chaque couple s, t 2
on peut appliquer le mme raisonnement pour que la condition (2) soit respecte : formellement,
on construit Usi+1 pour s 2+1 de la manire suivante : on prend le plus petit (pour un ordre
canonique) couple (s, t) tel que Usi Uti 6 Wn (on dira mauvais couple), et on choisit Usi+1 et Uti+1
tels que Usi+1 Uti+1 Wn (possible car Usi+1 Uti+1 Wn est un ouvert non vide). Pour u 2n+1
tel que u 6= s, t, on pose Uui+1 = Uui . (s, t) nest plus un mauvais couple pour cette nouvelle famille.
Cela nous dfinit donc une famille ((Usi )s2n+1 )i dont le plus petit mauvais couple est strictement
croissant : partir dun certain moment, ltape i0 , il ny en a plus.
On pose alors Us = Usi0 et Vs la rponse par la stratgie du joueur 2. On a bien les conditions
(1), (2) et (3) vrifies, ce qui conclut la construction et la dmonstration.
3.4 Exemple : Thorme de Silver

Une fois toutes ces cls en main, prouver le thorme de Silver devient plus facile. Cependant,
la dmonstration tant la version simple des dmonstrations qui vont suivre, elle est trs int-
ressante pour mieux comprendre la suite. Nous allons ici le dmontrer en utilisant le formalisme
de la topologie de Gandy-Harrington, la manire de [Gao08]. Il existe un autre formalisme pour
appliquer les mmes ides : le forcing de Gandy-Harrington. Le thorme de Silver est montr dans
[Kan08] en utilisant ce formalisme de forcing.
Thorme 3.17 (Thorme de Silver). Soit X polonais et E une relation dquivalence sur X
co-analytique. Lensemble des classes dquivalence est de cardinal soit 0 , soit 20 .
Dmonstration. On peut supposer sans perte de gnralit que X = N . Puis, montrons le rsultat
donc E un relation
dans le cas effectif, nous en dduirons la fin le rsultat par relativisation. SoitS
dquivalence 1 . Commenons par dfinir lensemble chaotique. On pose S = {A 11 : x, y
1
A, xEy}, et Z = X \ S sera notre ensemble chaotique.

Bien que ce ne soit pas ncessaire pour un des deux cas, montrons en premier que Z est 11 :
en effet,
x Z U 11 (x U y, z U, y Ez)
En utilisant le codage donn par le thorme 1.19, on obtient :
x Z n D((x Pn+ y, z 6 Pn , y Ez)
Ce qui prouve bien que Z est 11 .

Nous distinguons maintenant les deux cas suivants :
1. Si Z = . Alors toute classe dquivalence de E contient donc un ensemble non vide 11 . Ces
ensembles sont donc tous distincts, et comme on na quun nombre dnombrable densembles
11 , on a un nombre au plus dnombrable de classes dquivalence. Le premier cas de la
dichotomie est montr.
2. Si Z 6= . Le but est de montrer que E est maigre dans Z Z pour pour utiliser le
thorme de Mycielski.
14
Commenons par montrer que si Y Z est 11 , alors il possde deux lments non E-
quivalents. En effet, en supposant le contraire, on a B = {x : y Y, xEy} qui est non vide
et 11 , qui contient Y on peut donc appliquer lexemple 3.3 du premier lemme de rflexion et
on obtient un ensemble D 11 tel que Y D B. Comme D B, x, y D on a xEy et
comme Y D on a D Z 6= : impossible par dfinition de Z.
Maintenant, supposons par labsurde que E ne soit pas maigre dans Z Z pour .
Montrons que E possde la proprit de Baire : en effet, E est 11 , donc E est le rsultat de
lopration de Suslin appliqu une suite de ferms de la topologie usuelle. Or le fait dtre
de Baire est stable par cette opration, et est plus fine que la topologie usuelle, donc E
possde bien la proprit de Baire. Soit donc A, B 11 tels que E soit comaigre dans A B
pour . Maintenant, comme A est 11 , il existe x0 , x1 A tels que x0 Ex1 , et donc si
y B, il existe x parmi x0 et x1 tel que xEy. Et donc C = {(x, y) A B : xEy} est un
ensemble 11 . Par lexemple 3.10 de largument du tiers-tmoin, on trouve (x, y) C tel que
xEy : cest une contradiction avec la dfinition de C.
Ceci conclut bien la dmonstration que E est maigre dans Z Z pour . Nous avons
montr au dbut que Z est 11 . Maintenant, une simple application du thorme de Mycielski
nous permet de trouver un ensemble parfait aux lments deux deux dans E, cest dire
incomparables : le deuxime cas de la dichotomie.
Maintenant, remarquons que cette preuve ne pose aucun problme lajout dun oracle. On
utilise donc le rsultat 1.10 : Si E est 11 , soit tel que E est 11 (). E possde donc soit 0 ,
soit 20 classes dquivalences : ceci conclut la preuve.
Remarquons que le schma de la dmonstration du thorme de dichotomie de Silver suit

exactement le schma prdit au dbut de la section sur les mthodes de dmonstration.
Cette topologie de Gandy-Harrington a donc t beaucoup utilis pour tudier la structure
des relations dquivalence borliennes. Ainsi, un autre rsultat de dichotomie sur les relations
dquivalences borliennes est prouv dans [HKL90] en utilisant la mme mthode de manire un
peu plus complique. [Ka10] reprend cette dmonstration, en y ajoutant le fait que, plus rcemment,
ces rsultats ont ts dmontrs sans utiliser de thorie effective par Benjamin Miller.
Deuxime partie
Les ordres borliens en dichotomie
Maintenant que nous avons une mthode et des outils pour dmontrer des thormes de dicho-
tomies, nous allons tenter de les appliquer sur les ordres borliens, et non comme dans lexemple sur
des relations dquivalences. Cette mthode va se montrer efficace, et va nous permettre de mieux
comprendre la structure des ordres borliens dits fins pour la relation de plongement. Par ordres
borliens, nous entendons en ralit un plus grand nombre de relations : en effet dans la suite, nous
relaxerons les ordres de leur hypothse dantisymtrie.
Dfinition 3.18 (Ordre). () X X sera dit un ordre sur X sil est transitif et rflexif.
Dfinition 3.19. Soit (X, ) un ordre borlien. On dfinit par x y si et seulement si x y
et y x. On dfinit x < y par x y et x 6 y.
Nos thormes commenant la plupart du temps par : pour tout ordre borlien, on montre
quelque chose de plus gnral que si on se limitait aux relations transitives, rflexives et antisym-
triques.
Dfinition 3.20. Soit (X, ) un ordre borlien et E une relation dquivalence sur X. On dit que
f est croissante modulo E si x, y X, x y xEy f (x) f (y).
On dit que A <E B si a A, b B, aEb a < b.
15
Les diffrents thormes que nous allons montrer vont nous permettre de comprendre cette
structure des ordres borliens fins pour la relation de plongement vis vis dordres particuliers :
lordre lexicographique dfinit sur 2 , o est un ordinal calculable. On va voir que ces ordres l
sont cofinaux, et que certains dentre eux forment des noeuds conscutifs dans les ordres linaires,
cest dire quun ordre borlien linaire est soit plongeable dans le plus petit, soit le plus grand se
plonge dedans.
Dfinition 3.21 (Ordres fins, larges). (X, ) est dit fin sil nexiste pas dinjection de 2 dans
A X o les lments de A sont deux deux incomparables. Sil nest pas fin, on dira quil est
large.
Attaquons nous donc dabord au premier rsultat : les ordres (2 , ) o < 1CK et est
lordre lexicographique.
Dfinition 3.22 (Plongement). Un plongement f : (X, ) (Y, ) est une fonction strictement
croissante, cest dire qui prserve lordre : x y f (x) f (y) et x < y f (x) < f (y).
Il est important de noter que cette dfinition ne correspond pas un plongement en thorie des
modles. En effet, si a et b sont incomparables, on peut avoir f (a) < f (b). Plus tard, lorsque nous
nous intresserons aux ordres linaires, les deux dfinitions correspondront.
4 Une famille dordres cofinale

Les plongements nous permettent dtablir une hirarchie sur les ordres. Si un ordre se plonge
dans un autre, le premier est plus petit au sens de cette hirarchie, la relation R1 p R2 ssi R1 se
plonge dans R2 tant transitive et rflexive. On va donc sintresser la structure des ordres fins
induite par les plongements 11 . Le premier rsultat que nous allons montrer exhibe une famille
cofinale dordres. Il a t prouv dans [HMS88] en utilisant le formalisme du forcing, nous donnerons
ici la preuve en utilisant celle de la topologie de Gandy-Harrington.
Thorme 4.1. Si (X, ) est un ordre borlien fin, alors il existe < 1 et f : X 2 un
plongement borlien..
Il nous reste encore quelques dfinitions et dtails techniques rgler avant de sattaquer la
dmonstration.
4.1 Prliminaires techniques

On va dfinir des relations 11 qui nous permettront dapprocher la relation de comparabilit
pour lordre borlien.
Dfinition 4.2. Soit (X, ) un ordre borlien. On dfinit : F = {f : f est 11 et < 1CK ,
f : X 2 et f est croissante}. Pour x, y X, on pose xEy ssi f F , f (x) = f (y).
Afin de mesurer des complexit de formules faisant intervenir E et F , nous allons nous intresser
trouver une bonne manire de coder dans les lments de F . Comme limage des lments de
F nest pas constante, nous devons inclure lordinal dans le codage.
Pour n , et x, y , on crira x n y pour n (x, y) = 1, o n est la n-ime machine de
Turing. On dira que n est le code dun bon ordre si n est un bon ordre. Lensemble {n : n
est le code dun bon ordre} est 11 car n est un ordre total si et seulement si x, y, z , on a
1. n (x, y) termine,
2. n (x, y) n (y, z) n (x, z),
3. n (x, y) n (y, x) x = y,
4. n (x, y) n (y, x), et
16
5. X N , m , X(m) = 1 k , X(k) = 1 (n, k)
Les 4 premires conditions tant 11 et la dernire 11 , lensemble des codes des bons ordres est
bien 11 . Si n est le code dun bon ordre, on note n lordinal associ au bon ordre n .
Soit un codage des ensembles 11 de X comme dans 1.19, cest dire des ensembles 11
D , P + X et P . On notera Fa+ (x) = y pour P + (a, x, y) et Fa (x) = y
pour P (a, x, y), qui sont des relations respectivement 11 et 11 . On pose
DY = {hf, i : f D, est le code rcursif dun bon ordre,

o
x X, !n , Ff+ (x) = n et x, y X, x y Ff+ (x) Ff+ (y)
D est bien lensemble des codes des lments de F . De plus, D est bien 11 par la forme de sa
dfinition. Si n = hf, i D, on notera Ff la fonction code par n.
Lemme 4.3. E est 11 et reprsentable.
Dmonstration. On a :
xEy (n , n D z , Fn (x) = z Fn (y) = z)

Comme D est 11 , comme la relation F est 11 , E est bien 11 .
Montrons que E est reprsentable, soit donc x, y X tel que xEy. Soit donc f F tel que
f (x) 6= f (y), et n tel que f (x)(n) 6= f (y)(n). On pose D = {z : f (z)(n) = f (x)(n)}. D est bien 11
car f lest, et x D tandis que y 6 D. Donc E est bien reprsentable.
Cela va nous permettre dutiliser des arguments du tiers-tmoin sans plus de crmonies.
Les lemmes suivants sont des outils techniques pour la preuve du rsultat, qui utilise cette
relation dquivalence E.
Lemme 4.4 (Lemme de concatnation). Soit D0 D un ensemble 11 . Alors il existe hn0 , i D

qui soit la concatnation de toutes les fonctions codes par D0 , cest dire en particulier, pour tout
x, y X, on a Fn0 (x) = Fn0 (y) si et seulement si hn, i D0 , Fn (x) = Fn (y).
Dmonstration. D0 donn, nous allons construire f0 comme la concatnation des fonctions codes
par les lments de D0 . Posons :
la fonction constante en la chane vide,
1. g1
(x) F (x) et = .
2. Si n = hf, i D0 , on pose gn (x) = gn1 f n
3. Sinon, n 6 D0 , et on pose gn (x) = gn1
(x) et = 0.
n
P
Montrons tout dabord que = nD0 n est bien un ordinal rcursif. On va construire un bon
ordre 11 de type dordre . On pose donc hm, ki hn, li si et seulement si m < n ou (m = n et
k d l) o d est le n-ime lment de D0 (dans lordre usuel de ). Cet ordre est 11 car tant
donn n, trouver n est 11 . Donc est 11 , par le corollaire 1 il est donc rcursif.
Posons f0 = limn gn . On va montrer que f0 F , en utilisant le bon ordre du paragraphe
prcdent comme code de . On a que f0 (x)(hm, ni) = i si et seulement si gm (x)(n) = i, ce qui
1 1 CK
est une condition 1 , donc f0 est 1 , valeur dans < 1 . Pour finir, f0 est croissante comme
concatnation de fonctions croissantes.
Lemme 4.5. Soit (X, ) un ordre 11 , et E tel que xEy f F , f (x) = f (y). Soit A un
ensemble 11 et clos par le bas le long des classes dquivalences de E, cest dire x A, y
X, (xEy y x) y A. Soit B 11 tel que A B = .
Alors il existe C A 11 tel que B C = et C est satur pour E.
17
Dmonstration. On va appliquer un argument de rflexion pour trouver un ensemble C 11 qui
spare A et B, puis construire encore par rflexion et par le lemme 4.4 une fonction dans F qui
spare C de son complmentaire. Ainsi, on ne pourra avoir x C, y 6 C et xEy.
Le premier argument de rflexion nous permet juste de trouver un ensemble qui admet les mmes
proprits que A, savoir tre clos vers le bas le long de E, et disjoint de B, mais qui est 11 .On
pose donc A (X, Y ) x, y(x 6 X y 6 Y xEy y 6 x) z(z 6 Y z 6 B). On voit que A
est bien 11 en les codes la forme de la formule, B tant 11 . De plus, A est continu vers le haut
et monotone vers le bas, car A est de la forme x 6 X, y 6 Y, P (x, y). En crivant cette formule
pour X et X, on a A (X, X) x, y(x X xEy y x y X) z(z X z B),
cest dire en franais on a A (X, X) si et seulement si X est clos par le bas le long de chaque
classe dquivalence E et X B = , ce que nous voulions. On a donc clairement A (A, A) et
donc par rflexion forte 3.6, il existe C 11 tel que A C, B C = et C clos vers le bas sur E.
Cela tant fait, il nous reste maintenant sparer A0 et B0 par une fonction de F , cest dire
trouver une fonction de F qui ne prenne aucune valeur en commun sur A0 et B0 .On va commencer
par le sparer par un ensemble F0 F 11 , puis utiliser le lemme 4.4 pour se ramener une seule
fonction. On pose donc A (X) x, y, (y x x C y 6 C) (hf, i X, Ff+ (x) 6= Ff+ (y)).
Comme C est clos par le bas le long de E, si x C et y x et y 6 C, on ne peut avoir xEy, et donc
il existe f F tel que f (x) 6= f (y), et il existe un code dans D correspondant. On a donc A (D),
et donc il existe par le thorme de rflexion 3.2 D0 D 11 tel que, si on note F0 lensemble des
fonctions codes par D0 , pour x C et y x, on a soit y C soit f F0 tel que f (x) 6= f (y).
Cet ensemble D0 tant 11 , par le lemme 4.4 il existe un code dans D et donc une fonction
f F , f : X 2 , < 1CK tel que pour tout x, y, f (x) = f (y) ssi f F0 , f (x) = f (y).
Par la proprit de F0 , si x C et y x, alors on a soit y C, soit f (x) 6= f (y).
On pose maintenant (
f (x) 0, si x C
f (x) =
f (x) 1, si x 6 C
Dabord, montrons que f F : en effet, f est bien 11 valeur dans 2+1 car f et C sont
11 . Maintenant, soit y x, montrons f (y) f (x). Si f (y) < f (x), alors f (y) < f (x). Si
f (y) = f (x), alors, si x C, on a y C (proprit de F0 chaine la proprit de f ), et
donc f (y) f (x), et si y 6 C on a f (y) = f (y) 1 f (x).
4.2 Un thorme la Mycielski

Le thorme de Mycielski quon a utilis pour le thorme de Silver nest plus assez puissant
pour ce que lon souhaite dmontrer. On va montrer un autre thorme, d Harrington, Marker
et Shelah, dans [HMS88] nonc avec le formalisme du forcing, qui aboutit aux mmes conclusions
pour dautres hypothses. Il ne nous servira que dans une forme amoindrie dans cette partie, mais
pour la preuve du rsultat dcomposition dordres, nous lutiliserons sa pleine puissance.
Thorme 4.6 ( la Mycielski). Soit I une relation 11 sur R irreflexive, Y un ensemble 11 et
(EA ) une famille de relations dquivalence indexes par les ensembles A Y 11 , tels quon ait :
Hyp1 si A, B 11 , B A EB EA .
Hyp2 B Y 11 , I est non maigre dans B B EB pour 1,1 .
Alors il existe un ensemble parfait inclus dans Y dlments deux deux incomparables.
Dmonstration. On pose (s, t) comme la plus grande chane initiale commune de s et t. On va
construire des familles densembles (Us ), (Vs ), (Wns ), et une famille dlments (xs ), pour s 2<
qui vrifient les conditions suivantes :
Init U = Y
Conv Vs est une rponse du joueur 2 suivant sa stratgie gagnante au jeu de Choquet fort linstance
1
((Usn , xsn ), Vsn )n<|s| , (Us , xs ) ; et diam(Us ) < |s|+1 pour la topologie usuelle de X.
18
Comaig pour tout s, n Wns I, la famille (Wns )n est dcroissante et Wns est ouvert dense dans
T
Us0 Us1 EUs pour
(s,t)
Incomp Pour tout n, et s 6= t 2n , on a Us Ut Wn
Cons pour tout n, pour tout s, t 2n , xs EU(s,t) xt et xs Us
Vrification
Supposons quon ait construit ces ensembles. Soit s 2 . (Usn , Vs )n forme une instance
(infinie)
T dun jeu de Choquet fort o le joueur 2 suit sa stratgie gagnante par Conv. On a donc
U
n sn 6
= , cest donc un singleton
T par Conv car le diamtre tend vers 0. On pose donc f qui
s associe lunique lment de n Usn . f est valeur dans Y par Init.
Montrons que si s 6= t alors (f (s), f (t)) I. Pour tout n suffisament grand (cd tel que
(s,t) T (s,t)
s n 6= t n), on a par Incomp, (f (s), f (y)) Wn donc (f (s), f (t)) n Wn par la
(s,t)
dcroissance de (Wn )n (Comaig), donc (f (s), f (t)) I par Comaig. Comme I est irrflexive,
f est bien injective et limage par f de 2 est parfaite. La condition Cons nous sert la construction.
Construction
Il ne nous reste plus qu construire ces ensembles. On a U = Y . La construction va se faire en
trois tapes : la premire consiste sparer chaque ensemble en deux en sassurant de Comaig, la
deuxime consiste restreindre ces ensembles pour que Incomp soit vrifi, et pour la troisime
il ne nous reste plus qu raliser Cons en fixant (xs ), chose que lon aura pris garde rendre
possible au cours des tapes prcdentes. Conv et les Vs sont donns tout simplement par la
stratgie du joueur 2 une fois les (Us , xs ) dfinis.
Supposons quon ait construit (Us ), (Vs ) et (xs ) pour tout s 2n et (Wms ) pour tout m
<n
et s 2 . Il nous suffit de construire Us , xs pour s 2 n+1 et (Wm )m pour s 2n .
s
Comaig
Ordonnons les lments de 2n par (si ). On va sparer les Vs en deux ensembles, As0 et As1 ,
un par un en suivant lordre des si . Pour faciliter les notations, on pose As = Vs pour s 2n .
Supposons qu ltape i on a spar tous les Asj pour j < i. On pose alors Li = {sj 0; sj 1 :
j < i} {sj : j i}. Au cours de la construction, on va vrifier qu chaque tape i on ait :
(ys )sLi tel que ys E(s,t) yt et ys As (Pi )
cest dire la proprit Cons adapte entre les ensembles dj spars en deux et ceux qui ne le
sont pas encore.
ltape 0, aucun des As nest spar, As = Vs et on a P0 par Cons de lhypothse de rcurrence
associ au fait que xs Vs : Conv nous le dit car cest un jeu de Choquet fort.
ltape i, on pose Asi = {x Asi : (ys )sLi , ys As ys EU(s,t) yt }, non vide par Pi . On
applique maintenant la proprit Hyp2 Asi (qui est ouvert donc a la proprit de Baire) : on
trouve donc Asi 0 ,Asi 1 Asi 11 tels que I soit comaigre dans Asi 0 Asi 1 Esi 6= . Par ce
dernier point, on peut trouver (Wnsi )n vrifiant Comaig pour peu que Usi j Asi j .
Soit (ysi 0 , ysi 1 ) Asi 0 Asi 1 EUsi . Comme ysi 0 Asi , il existe une famille (ys )sLi
avec ysi 0 = ysi et ys EU(s,t) yt et ys As . Comme ysi 0 EUsi ysi 1 , et (si j, t) = (si , t) si
pour t Li , (et par transitivit des relations dquivalence), par Hyp1, rajouter ysi 1 la famille
(ys )sLi fait de cette famille un tmoin de Pi+1 .
Incomp
Nous avons fini la premire tape : Comaig est vrifi si Us As . Pour la deuxime tape,
on va assurer Incomp pour chaque couple (s, t) un par un en restreignant les ensembles As , et
19
en sassurant toujours quon peut raliser Cons. On va donc dfinir, ltape i, Bsi As . Soit
(s,t)
Li = {(s, t) : s 6= t et Bsi Bti 6 Wn+1 }. On pose ti = card(Li ), qui reprsente le nombre de
couples qui violent Incomp, et on veut que :
Inv1i ti1 > ti (avec t1 = )
Inv2i (xs ) tel que xs Bsi et xs EU(s,t) xt .
i = {x B i : (bs ), bs B i bs = x bs EU
Si ti 6= 0, soit (s0 , s1 ) Li . On pose B b }, non
sj sj s j (s,t) t
(s ,s )
vide par Inv2i . Comme Wn+10 1 est un ouvert dense de U(s0 ,s1 )0 U(s0 ,s1 )0 EU(s0 ,s1 ) pour
si B
, et que B si EU 6= , il existe Bsi+1 et Bsi+1 tel que Bsi+1 Bsi+1 EU(s0 ,s1 ) 6=
0 1 (s0 ,s1 ) 0 1 0 0
(s ,s )
et Bsi+1
0
Bsi+1
0
Wn+10 1 . Pour s 6= s0 , s1 , on pose Bsi+1 = Bsi .
De la mme manire que dans la premire partie, comme Bsi+1 0
Bsi+1
0
EU(s0 ,s1 ) 6= , soit
i
(xs0 , xs1 ) un lment de cet ensemble. Comme xs0 Bs0 , il appartient une famille dlments
deux deux quivalents pour la bonne relation, et comme xs0 EU(s0 ,s1 ) xs1 et Hyp1, on peut rajouter
xs1 cette famille et on a bien Inv2i+1 . De plus, (s0 , s1 ) 6 Li+1 donc ti+1 < ti et on a Inv1i+1 .
Si ti = 0, on a fini cette tape, et si Us Bsi alors on a Incomp.
Cons et Conv
Il nous suffit maintenant de prendre (xs ) vrifiant Cons (existe par Inv2i de ltape prcdente),
puis de poser Us = Bsi B 1 (xs ), et de poser Vs comme la rponse du joueur 2 au jeu de Choquet
n+2
fort, et nous avons termin la construction, et donc la dmonstration du thorme.
4.3 Dmonstration du rsultat

Nous allons dans cette partie dmontrer le rsultat suivant, prouv encore dans [HMS88] en
utilisant le formalisme du forcing :
Thorme 4.7. Si (X, ) est un ordre 11 fin, alors il existe < 1CK et f : X 2 un
plongement 11 .
nonc ainsi, cela ne semble pas tre un thorme de dichotomie. Cependant, nous pouvons
aussi le voir comme : soit (X, ) nest pas fin, soit il se plonge dans un certain 2 . Ce nest toujours
pas proprement parler une dichotomie car les deux cas ne sont pas forcment disjoints, mais nous
allons tout de mme pouvoir utiliser nos outils. Selon notre mthode de dmonstration de Gandy-
Harrington, nous allons trouver un ensemble dans lequel on pourra sil nest pas vide, construire
notre injection deux deux incomparable, et sil est vide nous aurons notre et notre plongement.
Dmonstration. Montrons le thorme classique par relativisation du thorme effectif : soit (X, )
un ordre borlien fin, par le thorme 1.10 soit tel que (X, ) 11 (), on a par le thorme
CK()
effectif quil existe < 1 et f : X 2 un plongement 11 () : ce plongement et cet ordinal
conviennent pour le rsultat classique. Il nous reste montrer le thorme dans le cas effectif.
Construction de lensemble chaotique

Soit x, y X. Si on a x y, alors on a xEy : pour f F , on a f (x) f (y) car x y et
de mme f (y) f (x), donc f (x) = f (y). Ce sont les lments tmoins de 6= E qui vont nous
intresser :
Z = {x X : y X, xEy x 6 y}
et lon va voir que dans cet ensemble les lments incomparables sont en majorit. Cest cet ensemble
qui sera notre ensemble chaotique, il est 11 . Cest lensemble des tmoins du fait que E 6=, et sil
est vide alors E =.
20
Si lensemble chaotique est vide
Pour cette partie de la preuve, nous avons E = (car on suppose Z = ), et nous cherchons
montrer que < 1CK et un plongement 11 f : X 2 .
On voudrait trouver f0 F tel que si x 6 y alors f0 (x) 6= f0 (y). En effet, f0 sera alors un
plongement. Comme pour x 6 y, on a xEy et il existe donc f F tel que f (x) 6= f (y), on
pourrait penser prendre la concatnation de tous les f F pour f0 mais cela ne fonctionne pas
car le f0 obtenu ne serait pas dans F . On va donc trouver un F0 F 11 tel que on ait encore
x 6 y f F0 , f (x) 6= f (y), et on prendra pour f0 la concatnation des lments de F0 . Le
petit paragraphe qui arrive est la construction de F0 , celui qui suit celle de f0 , et le dernier montre
que f0 convient.
On va construire F0 par rflexion. Soit A tel que A (X) x, y(x 6 y hf, i F
1 , Ff+ (x) 6= Ff+ (y)). On a par E = que A (D), et de plus D est 11 . A est 11 en les codes.
1
Par le thorme de rflexion 3.2 on trouve D0 F 11 tel que A (D0 ). On pose F0 lensemble des
fonctions codes par les lments de D0
Utilisons maintenant le lemme 4.4 pour construire f0 : X 2 comme concatnation des
lments de F0 . En effet, on applique 4.4 avec D0 , ce qui nous donne le code hn0 , i dune fonction
f0 F . Montrons que f0 est strictement croissante : si x < y, il existe n tel que gn (x) 6= gn (y) par
la proprit sur F0 , et donc f0 (x) 6= f0 (y). Par croissance de f0 , f0 (x) < f0 (y). Mais alors f0 est
un plongement 11 de X dans 2 et on a bien montr le premier cas de la dichotomie.
Si lensemble chaotique est non vide

Maintenant, nous allons montrer que dans le cas o Z 6= , nous avons lautre cas de la di-
chotomie, ie quil existe un ensemble parfait dlments incomparables. Nous allons construire cet
ensemble lintrieur de Z, en utilisant le thorme la Mycielski 4.6. Il nous faut donc montrer
que lensemble
I = {(x, y) : x 6< y y 6< x x 6 y} = {(x, y) : x incomparable avec y}
est comaigre dans Z Z E pour . Pour cela, on va montrer que < et sont maigres dans
Z Z E muni de . On aura alors (<) (>) () maigre et donc I comaigre. Une fois I
comaigre, le thorme la Mycielski 4.6 nous donnera le rsultat.
Fait 4.1. (<) est maigre dans Z Z E muni de la topologie .
Dmonstration. Supposons par labsurde que (<) soit non maigre, soit donc A, B Z, 11 , tel que
A B E 6= et (<) comaigre dans A B E ((<) possde la proprit de Baire car, tant
borlien pour la topologie usuelle, il est borlien pour ). On va aboutir des contradictions,
en sparant par cas suivant les proprits de A et B.
1. Premier cas : si a A, b B(aEb a 6 b)
On va aboutir une contradiction en montrant quune classe dquivalence de E est pourtant
spare par une fonction croissante 11 . Pour cela, nous allons trouver deux ensembles en lien
par E, les sparer par un ensemble 11 , puis les sparer par une fonction 11 croissante, ce
qui sera notre contradiction.
Soit A0 = {x : y A, yExy x}, comme x x, on a bien A A0 , et de plus A0 B = :
sinon, soit b A0 B, soit a A tel que aEb et b a, nous sommes en contradiction avec
lhypothse du premier cas. A0 est 11 , cest une clture par le bas de A le long des classes
dquivalences de E.
Par le lemme 4.5, on trouve C A0 11 et satur tel que C B = . Ceci est une contradiction
avec le fait que A B E 6= , car si x A, y B, on a x C et y 6 C donc xEy.
2. Deuxime cas : il existe a A, b B tels que aEb et b a.
On sait que (<) est comaigre dans A B E pour . Soit U = {(a, b, c, d) E4 :
a, c A b, d B b a d c}. Cest un ouvert de la topologie 2,2 restreinte
21
A B A B E4 , car on a U = {(a, b) : b a} {(a, b) : b a} (A B A B) E4 , et
{(a, b) : b a} est bien un ouvert de 2 . Il est non vide car si a et b sont donns par lhypothse
du deuxime cas, (a, b, a, b) U . Or, si < est comaigre dans AB E, il en est de mme pour
{(a, b, c, d) A B A B : a < d} dans A B A B E4 pour 2 2 (par un argument
du tiers tmoin, proprit 3.11) et de mme pour {(a, b, c, d) A B A B : b < c}. Donc
lintersection de ces deux ensembles est comaigre, elle est dense car lespace est de Baire (car
comme E est reprsentable, Z 4 E4 est G et donc de Choquet fort et donc de Baire) et U
doit donc sintersecter avec {(a, b, c, d) : a < d, c < b}. On a alors a < d c < b a ce qui
tablit la contradiction.
Fait 4.2. () est maigre dans Z Z E muni de la topologie .
Dmonstration. Supposons que ce ne soit pas le cas, et soit donc A, B Z 11 tel que () soit
comaigre dans A B E 6= . On va nouveau sparer le raisonnement en plusieurs cas suivant
la forme des ensembles A et B.
1. Si a A, b B tel que aEb et a < b,
Soit U = {(a, b, c, d) A B A B E4 , a < b c < d} qui est un ouvert non vide
de A B A B E4 muni de 2,2 restreinte, et donc sintersecte avec {(a, b, c, d) : a
d} {a, b, c, d : c b} (par le mme argument que prcdement, largument du tiers-tmoin),
on a alors a < b c < d a ce qui est une contradiction.
2. Si a A, b B, aEb a|b,
Soit U = {(a, b, c, d) ABBAE4 : a|b} qui est un ouvert non vide de ABBAE4
muni de 2,1,1 = 2 restreinte. Par largument du tiers-tmoin, {(a, b, c, d) : a c}
est dense dans A B B A E4 pour 2,2 (donc pour 2,1,1 ), {a, b, c, d : c d} lest pour
2,1,1 et {a, b, c, d : d b} aussi, on a alors a|b mais aussi a c d b ce qui est une
contradiction.
3. Si a A, b B, aEb a b,
Soit X = {x A : y B, xEy}, X est 11 , et x, y X, xEy x y, cest dire
EX 2 = ()X 2 . De plus X A Z, donc x X, y(xEy x 6 y).
Soit B + = {x : y X, xEy (x > y x|y)} et B = {x : y X, xEy (x < y x|y)}. Au
moins lun de ces deux l est non vide, car si y X, il existe x Z tel que x 6 y. On a donc soit
x < y, soit y < x, soit x|y, cest dire soit x B , soit x B + , soit x B + B . Supposons
donc par exemple que B + soit non vide. On pose aussi A0 = {x : y X, xEy x y} X.
On a donc que A0 est 11 et clos vers le bas le long de E, que A0 B + = . On peut donc par
le lemme 4.5 trouver C A0 satur avec C B + = . Mais on a alors C B + E = (sinon,
soit (x, y) C B + E, on a par saturation de C y C B + , impossible), contredisant la
dfinition de B + : si x B + , il existe y X C tel que xEy et donc C B + E 6= .
Une fois que lon a ces deux faits, cest dire que (<) et () sont maigres, on sait que (<) (>
) () = I est maigre, et donc que I est comaigre dans Z Z E. On va appliquer le thorme
la Mycielski 4.6, vrifions quon a bien toutes les hypothses. I est bien 11 et irreflexif, et on
prend EA = E (on a bien B A EB EA ). On a bien que B Z, I est non maigre dans
B B E car il est comaigre dans Z Z E. Donc on peut appliquer le thorme, qui nous donne
une famille parfaite dlments deux deux incomparables. nest alors pas fin, cest le deuxime
cas de la dichotomie.
22
5 Dcomposition dordres
Le deuxime thorme de dichotomie que nous allons montrer est lanalogue dun thorme de
thorie de combinatoire finie. Il nous dit que pour tout ordre fini, le cardinal de la plus grande
antichaine est gal au cardinal du plus petit ensemble couvrant de chaines. Dans le cas infini,
ce thorme marche moins bien : pour tout , il existe des ordres tel que sup{|S| : S est une
antichaine} = , mais ne pouvant tre couvert quavec chaines. On pourra en trouver la preuve
dans Ordered Sets, de Egbert Harzheim, mais cela nous loigne trop de notre domaine.
Cependant, en nous restreignant au cas o lordre est 11 , nous retrouvons plus de rgularit.
Le rsultat suivant est prouv dans [HMS88] avec le formalisme du forcing de Gandy-Harrington.
Thorme 5.1. Soit (X, ) un ordre S partiel borlien. Sil est fin, alors il existe des chanes bor-
liennes hXn : n i telles que X = n Xn

Dfinition 5.2. Soit (X, ) un ordre Delta11 , et Y un ensemble 11 . On dfinit :
FY = {f : f est 11 et < 1CK , f : X 2 et x, y Y, f (x) < f (y) x < y}
et la relation associe xEY y ssi f FY , f (x) = f (y).

Afin de mesurer des complexit de formules faisant intervenir EY et FY , nous allons nous
intresser coder dans les lments de FY . Nous allons procder exactement de la mme manire
que dans la partie 4.1 sur la famille dordre cofinale. Nous avons dj dfini dans cette partie 4.1
ce quest un code de bon ordre.
DY = {hf, i : f D, est le code rcursif dun bon ordre,

o
x X, !n , Ff+ (x) = n et x, y Y, Ff (x) Ff (y) x y
DY est bien lensemble des codes des lments de FY . De plus, DY est bien 11 par la forme de sa
dfinition. Si n = hf, i DY , on notera Ff la fonction code par n.
Lemme 5.3. Soit Y un ensemble 11 . EY est 11 et reprsentable.
xEY y (n , n DY z , Fn (x) = z Fn (y) = z)

donc EY est bien 11 .
Soit x, y tel que xE Y y. On a alors f FY tel que f (x) 6= f (y), et un i < (o f : X 2 )
tel que (f (x))i 6= (f (y))i . On pose C = {z : (f (z))i = (f (y))i }. C est bien 11 et x C et
y 6 C. De plus, C est EY satur car si a C et aEY b alors f (a) = f (b) et b C. Donc EY est
reprsentable.
Cela va nous permettre dutiliser largument du tiers-tmoin, sans plus de crmonie.

Lemme 5.4 (Lemme de concatnation). Soit Y X 11 et D0 DY un ensemble 11 . Alors il
existe hf, i DY qui soit le code de la concatnation de toutes les fonctions de code un lment
de D0 , cest dire en particulier, pour tout x, y X, on a Ff (x) = Ff (y) si et seulement si
hg, i D0 , Fg (x) = Fg (y).
Dmonstration. D0 donn, nous allons construire f0 comme la concatnation des fonctions codes
par les lments de D0 . Posons :
23
la fonction constante en la chane vide,
1. g1
(x) F (x) et = .
2. Si n = hf, i D0 , on pose gn (x) = gn1 f n
3. Sinon, n 6 D0 , et on pose gn (x) = gn1 (x) et = 0.
n
P
Montrons tout dabord que = nD0 n est bien un ordinal rcursif. On va construire un bon
ordre 11 de type dordre . On pose donc hm, ki hn, li si et seulement si m < n ou (m = n et
k d l) o d est le n-ime lment de D0 (dans lordre usuel de ). Cet ordre est 11 car tant
donn n, trouver n est 11 . Donc est 11 , par le corollaire 1 il est donc rcursif.
Posons f0 = limn gn . On va montrer que f0 F , en utilisant le bon ordre du paragraphe
prcdent comme code de . On a que f0 (x)(hm, ni) = i si et seulement si gm (x)(n) = i, ce qui
est une condition 11 , donc f0 est 11 , valeur dans < 1CK . Il nous reste la dernire condition
vrifier : soit x, y Y , et si f0 (x) < f0 (y), soit hn, i D0 tel que Fn (x) < Fn (y), on a donc x < y
car Fn FY , et donc f0 FY .
Lemme 5.5. Soit (X, ) un ordre borlien, Y X 11 et EY tel que xEY y f FY , f (x) =
f (y). Soit A un ensemble 11 et tel que x A, y 6 A, xEY y x < y. Soit B 11 tel que A B = .
Alors il existe C A0 tel que B C = et C est satur pour EY .
Dmonstration. On va appliquer un argument de rflexion pour trouver un ensemble C 11 qui

spare A et B, puis construire encore par rflexion et par le lemme 5.4 une fonction dans FY qui
ne prend pas les mmes valeurs sur C et son complmentaire. Ainsi, on ne pourra avoir x C,
y 6 C et xEY y.
Le premier argument de rflexion nous permet juste de trouver un ensemble C qui admet les
mmes proprits que A, savoir x C y 6 C x < y, et disjoint de B, mais qui est 11 . On
pose donc A (X, Y ) x, y(x 6 X y 6 Y xE Y y x < y) z(z 6 Y z 6 B). On voit
que A est bien 11 en les codes la forme de la formule, B tant 11 . crit pour X et X, on a
A (X, X) x, y(x X xEY y y 6 X x < y) z(z X z B). On a donc clairement
A (A, A) et donc par rflexion forte, il existe C 11 tel que A C, B C = et si x C, y 6 C
alors x < y.
Cela tant fait, il nous reste maintenant montrer que C est satur, en le sparant de son
complmentaire par une fonction de FY (spar au sens des valeurs prises par cette fonction). Soit
D(U ) x, y Y (f 11 , f U, (f (x) 6= f (y) x 6 C y C x < y)). D est 11 en les
codes et on a D(FY ) donc par rflexion soit F0 FY 11 tel que x, y Y (x C y 6 C f
F0 , f (x) = f (y)) x < y.
Cet ensemble F0 tant 11 , par le lemme 5.4 il existe f FY , f : X 2 , < 1CK tel que
pour tout x, y, f (x) = f (y) ssi f F0 , f (x) = f (y). Par la proprit de F0 , si f (x) = f (y)
et x C et y 6 C, alors x < y
On pose maintenant (
f (x) 0, si x C
f (x) =
f (x) 1, si x 6 C
Montrons que f FY : en effet, f est bien 11 valeur dans 2+1 car f et C sont 11 .
Soit x, y Y , supposons que f (x) < f (y). Si f (x) < f (y) alors x < y car f FY . Sinon
f (x) = f (y) et x C et y 6 C. Et donc x < y.
Finalement, si x C et y 6 C alors f (x) 6= f (y) et donc comme f FY , xE Y y et donc C est
bien satur pour EY .

1 1
S ) un ordre partiel 1 . Sil est fin, alors il existe des chanes 1 hXn :
Thorme 5.6. Soit (X,
n i telles que X = n Xn
24
Dmonstration. Une fois de plus, on va traiter ce thorme comme une S dichotomie : soit lordre
nest pas fin, soit il existe des chanes 11 hXn : n i telles que X = n Xn .

Nous allons appliquer le mme procd de dmonstration : dfinir un ensemble chaotique, mon-
trer que sil est vide on a le deuxime cas de la dichotomie, et que sil est non vide, alors on peut
utiliser le thorme la Mycielski 4.6 pour montrer que lordre est non fin.
La preuve repose donc sur le fait de bienSchoisir cet ensemble. Soit W = {Y X, Y 11 et
est un ordre linaire sur Y }. On pose Z0 = W qui sera notre ensemble structurel, et Z = Z0
sera notre ensemble chaotique.
Mesurons la complexit de Z0 . On a x Z0 Y W ; x Y . Or cela veut dire, par lexemple
3.4, quil existe X Y 11 avec X W . On a donc maintenant :
z Z0 Y 11 , z Y (x, y Y, x y y x)
Par le corollaire 2 sur la complexit de Y 11 , cela nous implique que Z0 est 11 , et donc Z
est 11 .

Si Z = , cest que Z0 = X et chaque lment de X appartient une chaine 11 . Montrons
quen ralit chaque lment appartient une chane 11 .
Soit x X = Z0 , soit donc Y 11 un chane. Soit A (A, B) a, b 6 A, a b b a. On a
bien A (Y, Y ) donc par rflexion forte il existe Y0 Y 11 tel que A (Y0 , Y0 ), cest dire Y0
est une chaine et Y0 Y donc x Y0 .
On a bien montr que Z0 est gal lunion des chaines 11 , et comme X = Z0 on a bien lun
des cas de la dichotomie (le deuxime...).
Si lensemble chaotique nest pas vide

Si Z 6= , on va utiliser le thorme la Mycielski 4.6, cette fois-ci de manire plus complte
(les relations EB seront a priori distinctes). Ainsi nous aurons le premier cas de la dichotomie. Il
va donc nous falloir dfinir des relations dquivalence telles que lon tombe dans les conditions qui
nous permettent de lutiliser, cest dire telles que I = {(x, y) : x et y sont incomparables} soit
comaigre dans Y Y EY pour . Cest ce que nous allons commencer par faire.
Soit A, B Z 11 , avec B A. Comme FA FB (comme B A, la condition est plus forte
pour que f FA ), si xEB y, alors xEA y, donc EB EA . Pour utiliser le thorme la Mycielski
4.6, il ne nous reste plus qu montrer la condition de maigreur de I.
Condition de Maigreur. Si Y Z est 11 , alors I est non maigre dans Y Y EY muni de 2 .
Preuve de la condition de maigreur. Supposons par labsurde que I soit maigre dans Y Y EY
(hypothse quon va noter Abs). On va aboutir une contradiction en montrant qualors () et
(<) sont maigres (et donc I est non maigre car I = < >).
I () est maigre dans Y Y EY muni de 2
Supposons le contraire, soit donc U = B0 C0 EY , avec B0 , C0 Y tel que soit comaigre
dans U . On pose B = {x B0 : y C0 , xEY y} et C = {x C0 : y B0 , xEY y}, qui sont
non vides car U est non vide, et on a U = B C EY .
Commenons par montrer :
b B, c C, bEY c c b
Supposons que D = {(b, c, d, e) B C B C (EY )4 : b < c d < e} soit non vide. Cest
alors un ouvert non vide de AB AB (EY )4 pour 2 2 . Comme est comaigre dans U ,
25
et par un argument du tiers-tmoin, on a en particulier D {(b, c, d, e) : b e} {(b, c, d, e) :
d c} non vide, ses lments vrifiants b < c d < e b, une contradiction.
Maintenant si b, b0 B et bEY b0 , alors b b0 : en effet, c C tel que bEY cEY b0 , et donc
b c b0 . Or, on a alors B 11 et B Z, tel que x, y B, xEB y xEY y x y. Mais
alors B est totalement ordonn (si xE B y alors x et y sont comparables, et si xEB y ils sont
comparables aussi), ce qui est une contradiction avec B Z 6= .
II (<) est maigre dans Y Y EY muni de 2
Par labsurde, soit B et C tels que (<) soit comaigre dans B C EY . On va aboutir une
contradiction en utilisant le lemme 5.5 pour trouver un ensemble satur qui contient B et soit
disjoint de C. Il faut pour appliquer ce lemme 5.5 trouver un ensemble B tel que si x B
et
alors x < y. Cest ce quon va faire, aprs avoir dmontr un premier rsultat.
y 6 B
Fait 5.1. Si (<) est comaigre dans B C EY , alors B <EY C
Dmonstration. Supposons que ce ne soit pas le cas. On pose alors B 0 = {b B : c

C, bEY c b 6< c} 6= . On a que I (6) = (<) (>) est comaigre (par Abs et I) dans
Y Y EY , donc dans B 0 B 0 EY , donc supposons par exemple (<) non maigre dans
B 0 B 0 EY . Soit B0 , B1 B 0 tels que (<) soit comaigre dans B0 B1 EY . Soit D =
{(b0 , c, b1 ) B0 C B1 : b0 EY cEY b1 b0 6< c} (non vide car B0 B 0 ). Par largument du
tiers-tmoin (en utilisant que < est comaigre dans B0 B1 EY et lhypothse du fait 5.1 :
< est comaigre dans B C EY ), X = {(b0 , c, b1 ) : b0 < b1 } {(b0 , c, b1 ) : b1 < c} est dense,
et donc comme D est ouvert D X est non vide. Soit (b0 , c, b1 ) D X, on a b0 < b1 < c
et b0 6< c, cest une contradiction.
Maintenant, attelons nous la construction de lensemble qui nous permettra dappliquer le

lemme 5.5. Soit par rflexion B B, B C = qui soit 1 et clos vers le bas le long de E
1
et disjoint de C. En effet, on utilise le premier lemme de rflexion avec A (U, V ) x, y(x 6
U y 6 V xE Y y y 6 x)z(z 6 V z 6 C) qui est bien 11 en les codes et reprsente
bien ce que lon veut, et comme par le fait 5.1 B <EY C, on a B C = . Donc en posant
B = {x : y B, x y}, on a aussi B C = , et B
clos vers le bas le long de E. Le lemme
de rflexion nous donne B.
Maintenant, montrons que B convient pour utiliser le lemme :
Fait 5.2. xy Y (x B y 6 B xEY y) x < y
Dmonstration. Supposons que ce ne soit pas le cas, soit donc = 6 D = {d 6 B : b

B, bEY d b 6< d d Y }. D est 1 non vide, D D EY est un ouvert non vide de 2 sur
1
Y Y EY . Comme et I sont maigres par le premier point de la dmonstration et Abs,

(6) I = (<) (>) est non maigre, supposons que (<) soit non maigre. Soit D0 , D1 D
des ouverts tels que (<) soit comaigre dans D0 D1 EY . On a alors D0 <EY D1 par le
Fait 5.1. Soit B1 = {b B : d D1 , (bEY d b 6< d1 )}. Comme (I) (6) est co-maigre,
(B1 D0 EY ) I (6) est non vide. Soit (b, d0 ) B1 D0 EY I (6). On a bEY d0 ,
et b < d0 ou b > d0 . Si b > d0 , comme b B et B est clos par le bas le long de EY on aurait

d0 B, mais d0 D0 D donc d0 6 B. On ne peut donc avoir b > d0 , et donc b < d0 . On a
donc que si d1 D1 et bEY d1 , alors b < d0 < d1 une contradiction avec la dfinition de B1 .
Ce tout dernier rsultat conjugu au lemme 5.5 nous permet de trouver un ensemble D 11 et
satur tel que B B B et D C = . Ceci rentre en contradiction avec B C EY 6= ,
et donc (<) ne peut tre non maigre.
On a montr que et < (et par symmtrie >) sont maigres. Donc I = < > est maigre
et donc I est comaigre : une contradiction avec lhypothse Abs qui dit que I est maigre. Donc I
26
est non maigre dans Y Y EY muni de 2 , et ceci conclut la dmonstration de la condition de
maigreur.
Nous avons montr toutes les hypothses qui nous permettent dutiliser le thorme la My-
cielski 4.6 : en prenant comme famille de relations dquivalence (EY ) pour Y 11 , on a bien que si
Y1 Y2 sont 11 alors EY1 EY2 , et I est non maigre dans Y Y EY . On peut donc appliquer le
thorme la Mycielski 4.6 et trouver un ensemble parfait dlments deux deux incomparables,
nous sommes bien dans le cas o est non fin, le deuxime cas de la dichotomie.
6 Des ordres conscutifs

partir de maintenant, nous allons nous intresser aux ordres borliens linaires. Plus question
donc de trouver des ensembles parfaits dlments deux deux incomparables ! Pour ces ordres l,
une fonction strictement croissante est un plongement, au sens de la thorie des modles. Nous
allons donc voir quelle hirarchie est forme par la relation de plongement sur les ordres borliens
en utilisant les mmes mthodes que prcdement, ceci prs que nos dichotomies seront sur
lexistence de plongements. Le thorme que nous allons montrer, prouv par Alain Louveau dans
[Lou89] avec le formalisme de la topologie de Gandy-Harrington, est donc :
Thorme 6.1. Soit (X, <) un ordre linaire borlien, et un ordinal. Alors exactement lune des
deux assertions est vraie :
1. il existe un plongement f : X 2 , ou
2. il existe un plongement g : 2+1 X, et dans ce cas g peut tre choisi continu.
Comme nous en avons lhabitude, nous allons prouver une version effective de ce rsultat. Et
avant de la prouver, il nous faut dfinir des relations dquivalence qui nous permettront, suivant
quelle approxime bien , davoir un rsultat ou lautre de la dichotomie.

Dfinition 6.2. Pour un ordinal rcursif, on pose
F = {f : X 2 : f est 11 et croissante}
et la relation dquivalence associe
xE y f F , f (x) = f (y)
Afin de mesurer des complexit de formules faisant intervenir E et F , nous allons nous int-
resser coder dans les lments de F . Nous allons encore procder comme dans la partie 4.1 sur
la famille dordre cofinale, sauf que cette fois-ci nous aurons pas inclure lordinal dans le codage.
D = {f : f D, x X, !n , Ff+ (x) = n et x, y X, x y Ff+ (x) Ff+ (y)}
D est bien lensemble des codes des lments de F . De plus, D est bien 11 par la forme de sa
dfinition. Si f D , on notera Ff la fonction code par f .
On va noncer quelques proprits sur E
Proprit 6.3. Pour tout < 1CK ,
27
1. E est 11 et reprsentable,
2. si < et xE y alors xE y
xE y (n , n D z , Fn (x) = z Fn (y) = z)
donc E est bien 11 .

Soit x, y X tel que xE y. Soit donc f F tel que f (x) 6= f (y). Soit < tel que
f (x)() 6= f (y)(). On pose alors C = {z X : f (z)() = f (x)()}. C est bien 11 , E satur, et
on a x C et y 6 C. Donc E est bien satur.
Si < et xE y, soit f F , on la complte par des zros en une fonction f de F , donc
f(x) = f(y) et donc f (x) = f (y). On a bien montr xE y.
Lemme 6.4 (Lemme de concatnation). Soit D0 D un ensemble 11 . On pose F0 lensemble

des fonctions dont le code est dans D0 . Il existe un f F tel que g F0 , g(x) = g(y) si et
seulement si f (x) = f (y).
Dmonstration. Nous allons montrer le lemme par induction sur , lhypothse dinduction tant
(
Pour tout (X, ) ordre 11 , et tout D0 D 11 , F0 les fonctions de code dans D0 ,
H
f F tel que g F0 , g(x) = g(y) si et seulement si f (x) = f (y)
(1)
Remarquons que dans lhypothse dinduction F dpend fortement de (X, ) (mme si cela
napparait pas dans la notation). Si dans lapplication nous utilisons lhypothse dinduction avec
un autre (X, ), il faudra faire attention en vrifiant les hypothses la dfinition de F .
Soit donc < 1CK , on suppose H pour tout < . On doit montrer H , soit donc (X, )
1
1 . Dans la preuve, nous allons distinguer deux cas : celui o est clos par somme (, <
+ < ), et celui o nest pas clos par somme.
Lide de la dmonstration est la mme que celle des lemmes 4.4 et 5.4. On veut mettre bout
bout les lments de F0 et aboutir un lment de F . Cependant, cette fois-ci lensemble darrive
des fonctions de F est plus restreint, et une simple mise bout bout ne fonctionne plus.
Cas o est clos par somme : dans le cas o est clos par somme, nous allons mettre
bout bout les restrictions aux ordinaux infrieurs des fonctions de F0 . Comme D0 est 11 , on
choisit une numration (fi , i ) de D0 qui soit 11 (on va dans la suite confondre une fonction
et son code), et posons :
g0 = f0 0
gi = gi1 (fi i )
Puis on pose f = gi . Montrons que f est bien dans F : tout dabord, f est bien 11 car les
S
numrations sont 11 , f est bien croissante comme concatnation de fonctions croissantes. Il nous
reste montrer que f est Svaleur
P dans 2 . P
f est valeur dans = n mn n . Or pour tout n, mn m < car est clos par somme,
et donc aussi. Mais alors, . Supposons maintenant < . On a donc +1 < , et donc
+ 1 cest dire quil existe n0 tel que n0 = + 1, donc + 1, ce qui est impossible.
Donc = et f est valeur dans .
Maintenant, montrons que f convient. Soit x, y X. Si g F0 , g(x) = g(y), alors en
particulier pour tout < g(x) = g(y) et donc f (x) = f (y). Si maintenant il existe g F0
tel que g(x) 6= g(y), soit donc tel que g(x)() 6= g(y)() et n tel que n = + 1 et fn = g. On a
donc fn n (x) 6= fn n (y), et donc f (x) 6= f (y). On a bien montr H (sans utiliser lhypothse
dinduction).
Cas o nest pas clos par somme : soit , < tels que + . Comme < , soit
tel que + = . Mais alors < donc < . On a dfini , < tels que + = .
28
Soit F1 = {f : f F0 }. Cest un sous-ensemble 11 de F , donc par hypothse dinduction
H , soit f F tel que g F1 , g(x) = g(y) si et seulement si f (x) = f (y).
On va vouloir appliquer H F2 = {f : x 7 g(x) [; [| : g F0 }. Pour cela il faut trouver
un (X0 , 0 ) tel que les fonctions de F2 soient croissantes.
On prend X0 = X et on dfinit un ordre 0 sur X (qui est bien 11 ) par
x 0 y f (x) = f (y) et x y
Notons que pour tout f de F0 , la fonction f 1 dfinie par f 1 (x)() = f (x)( + ) valeur dans
2 est croissante pour 0 . En effet, si x 0 y, on a f (x) = f (y) et donc f (x) = f (y) ,
et comme x y on a f (x) f (y), donc f (x) [; [ f (y) [; [ et donc f 1 (x) f 1 (y).
Si on pose A1 = {f 1 : f F0 }, ceci est bien un sous-ensemble 11 des fonctions 11 croissantes
pour 0 et valeur dans 2 , on peut donc utiliser lhypothse dinduction H avec (X, 0 ) et
trouver un f tel que x, y si n A tel que fn1 (x) 6= fn1 (y) alors f (x) 6= f (y).
On prend f = f f . f est bien croissante : si x y, on a f (x) f (y), et si f (x) < f (y)
on a bien f (x) < f (y), et sinon on a galit et donc x 0 y, par croissance de f on a alors
f (x) f (y), et f (x) f (y). De plus la concatnation de deux fonctions 11 est 11 .
Il ne nous reste plus qu montrer que cette fonction convient. Soit x, y X. Supposons quil
existe g F0 tel que g(x) 6= g(y). Si g(x) 6= g(y) , alors f (x) 6= f (y) et f (x) 6= f (y).
Sinon, cest que g 1 (x) 6= g 1 (y), et donc f (x) 6= f (y) et f (x) 6= f (y). Maintenant, si g F0 ,
g(x) = g(y), alors f (x) = f (y) et f (x) = f (y), donc f (x) = f (y).
Lemme 6.5. Soient x, y X des lments E quivalents. Les noncs suivants sont quivalents :
xE+1 y
Pour toute fonction f : X 2 11 et croissante modulo E , f (x) = f (y)
Dmonstration. Supposons dabord xE +1 y. Soit donc f F+1 tel que f (x) 6= f (y). Comme
xE y, on a f (x) = f (y) . Soit donc le plus petit n tel que f (x)( + n) 6= f (y)( + n).
Supposons par exemple f (x)( + n) < f (y)( + n). On pose ensuite h(z) = 0 si et seulement si
(f (z)( + i))in est strictement plus petit que (f (y)( + i))in . h est 11 (on a un nombre fini
de conditions, chacune 11 ), et h(x) 6= h(y).
Montrons que h est croissante modulo E : soit x y avec xE y. On a donc f (x) = f (y), et
comme f est croissante on a f (x) f (y), donc (f (x)( + i))in est infrieur ou gal (f (y)( +
i))in , donc h(x) h(z).
Maintenant, supposons que lon nait pas le deuxime tiret. Soit alors f : X 2 un tmoin de
cela : f est 11 , croissante modulo E , et f (x) 6= f (y). On pose A (X) x, y X, (h 11 , h
X h(x) = h(y) x y) f (x) f (y). A est clairement 11 en les codes, et de plus on a
A (F ) car f est croissante modulo E . Soit donc F0 F 11 tel que f soit croissante modulo
EF0 (o xEF0 y ssi f F0 , f (x) = f (y)). Soit h la concatnation de tout les lments de F0 , par
le lemme 6.4. Alors g = h f 0 convient : elle est croissante car si x y, on a h(x) h(y) donc
soit h(x) < h(y) auquel cas g(x) < g(y) soit h(x) = h(y) auquel cas xEF0 y et donc f (x) f (y)
car f est croissante modulo EF0 , et donc g(x) g(y). De plus g(x) 6= g(y) car f (x) 6= f (y). Donc
xE +1 y.
Proprit 6.6. Si est limite, alors xE y si et seulement si < xE y.
Dmonstration. Le sens direct est trivial par < E E . Dans lautre sens, supposons
xE y. Soit f F tel que f (x) 6= f (y). Soit = + n < tel que f (x)() 6= f (y)(). On a
< . Donc + 1 < car est limite. Donc ( + 1) < , or comme + n < ( + 1), on a
f (x) ( + 1) 6= f (y) ( + 1). Donc xE +1 y, on a bien montr la rciproque.
29
Proprit 6.7. Soit x, y X et tel que xE y. Alors il existe un ordinal < et une fonction
f : X 2 11 croissante modulo E , tel que f (x) 6= f (y)
Dmonstration. Comme xE y, { < 1CK : xE y} est non vide, il admet donc un plus petit
lment. Soit ce plus petit lment, on a . De plus, par la proprit 6.6, nest pas un
ordinal limite, et comme xE0 y, 6= 0, donc il existe tel que + 1 = . Et par minimalit de ,
xE y. Donc par le lemme 6.5, il existe une fonction f : X 2 11 croissante modulo E , tel que
f (x) 6= f (y). On a bien < + 1 .
Ce dernier lemme est celui qui va nous servir pour le thorme la Mycielski. En effet, nous
allons sparer nos branches de larbre en lutilisant. Remarquons quici (pour <), la proprit dtre
comaigre correspond tre tout lespace.
Lemme 6.8. Soit Y un sous-ensemble de X non vide et 11 , tel que 6 nest pas maigre sur Y
Y E . Il existe deux sous-ensembles 11 non vides de Y , Y0 et Y1 , tels que Y0 E Y1 et Y0 <E Y1 .
Dmonstration. Comme 6 a la proprit de Baire (il est borlien pour la topologie usuelle, et
la topologie de Gandy-Harrington est plus fine), soit A, B Y 11 tel que 6 est comaigre dans
A B E 6= . Quitte prendre A = {a A : b B, aE b} et B = {b B : a A, aE b}, on
peut supposer AE B.
Maintenant, supposons quil existe (a, b) A B E tel que x 6< y. On a donc y x et
{(x, y, z, t) A B A B (E )4 : y x t z} non vide, or par un argument du tiers-tmoin,
{(x, y, z, t) : x < t z < y} est dense dans A B A B (E )4 pour 2 2 . On a alors
x < t z < y x, ce qui est une contradiction. Donc lensemble {(x, y, z, t) A B A B :
xE yE zE t y x t z} est vide et {(x, y) A B : xE y y x} aussi et finalement
A <E B.
6.2 Encore un thorme la Mycielski

Le thorme suivant nous permet aussi, sous des hypothses de maigreur, de construire une
fonction telle que si (x, y) <, alors (f (x), f (y)) <. Dans la dmonstration, nous allons aussi
utiliser un schma de Cantor, et dfinir la fonction comme tant lintersection des lments dune
branche. Cependant, larbre construit ici est de profondeur , et non plus seulement . Ceci reste
un nombre dtages dnombrable. Nous allons dfinir les tages dans le dsordre, cest dire selon
un autre ordre que .
Thorme 6.9 (Presque La Mycielski). Soit un ordinal rcursif, et Z X un ensemble 11 ,

tel que A Z 11 , < , 6 nest pas maigre sur A A E . Alors il existe un plongement
continu f : 2 (Z, ).
Dmonstration. On va construire un schma de Cantor, en rajoutant un niveau la fois. Soit

une bijection entre et vrifiant que < et k < l < , on a ( + k) < ( + l). On pose
Dn = 1 ([0; n 1]). ltape n, les ensembles du schma de Cantor seront indics par Dn . On
pose (s, t) le plus petit ordinal tel que le plus petit tel que s() 6= t() soit dans [; ( + 1)[.
Soit (fn : X 2, n ) une umration des fonctions 11 et croissante modulo En , o (n ) est
une numration des ordinaux infrieurs .
On va construire une famille ((Csn )s2Dn )n , et des ensembles (Us , Vs )sSn 2Dn tels que :
Conv Pour tout 2 , (UDn , VDn )n est un jeu de Choquet o le joueur 2 suit sa stratgie
n n+1
gagnante, et CD n
VDn CD n+1
. De plus, diam(UDn ) 2n pour la topologie
usuelle de 2 .
Raff Pour n m, on a s 2Dm , Csm CsD
n
n
30
Fonc fn : X 2, 11 et croissante modulo E , est constante sur tous les ensembles Csn , de valeur
ne dpendant que de s Dn ( + 1)
Symp1 si s 6= t, alors Csn E(s,t) Ctn
Symp2 si s < t, alors Csn < Ctn modulo E(s,t)
Vrification
Supposons quonTait construit un telleT famille. Alors, on dfinit la fonction F par F () est
n n
T
lunique lment de n CDn : en effet, n CDn = n VDn est non vide et est un singleton par
Conv. Il faut maintenant montrer que cest un plongement, prenons < . On prend = + k
minimum tel que () 6= (). Montrons tout dabord que F ()E F ().
Par labsurde, sinon par le lemme 6.7 on aurait un ordinal < et une fonction f : X 2
11 et croissante modulo E telle que f (F ()) 6= f (F ()). Or, par Fonc, soit m tel que f est
constant sur tous les Csm , de valeur ne dpendant que de s Dm ( + 1). Par minimalit de ,
= , et comme + 1 , on a ( + 1) = ( + 1), et donc f prend la mme
valeur sur Cm et Cm et finalement f (F ()) = f (F ()), une contradiction.
On a donc F ()E F (). Mais alors, pour n tel que n 1 = 1 (), on a Dn 6= Dn ,
n
donc CD n
< CD modulo E(Dn ,Dn ) = E , par Symp2 , et donc F () < F ().
n n
Construction
La construction se fait en plusieurs tapes. Supposons quon ait construit ((Csm )s2D )
m mn
v-
n+1
rifiant les conditions. Il nous faut dfinir la famille (Cs )s2Dn+1 . On va assurer les conditions en
plusieurs tapes, en restreignant la famille de base en des familles qui vrifient de plus en plus des
conditions voulues.
On appelle ainsi famille sympa une famille (Cs )s2Dn qui vrifie les proprits Symp1 et Symp2 .
Si (Csn )s2Dn et (Csm )s2Dm sont des familles sympas, avec n m, on dit que la seconde raffine la
premire si elles vrifient ensemble la condition Raff.
Avec ces nouvelles notation, notre but est de construire une famille (Csn+1 )s2Dn+1 sympa qui
raffine ((Csm )s2D )
m mn
, qui soit compatible avec la stratgie du second joueur (cest dire que
Conv soit encore vrai), et quon ait de plus fn+1 constante sur tous les ensembles Csn+1 , de valeur
ne dpendant que de s Dn ( + 1). Nous allons procder en plusieurs tapes : construire la
famille I sympa et raffinant la prcdente qui assure la constance de la fonction fn+1 pour assurer
Fonc, puis nous construirons la famille II sympa raffinant la prcdente et tendant les indices
2Dn+1 . Pour finir, nous nous assurerons de la proprit Conv en construisant la famille III sympa
raffinant la prcdente, indice par 2Dn+1 . On aura donc conserv les proprits Symp1 , Symp2
et Raff, tout en assurant en plus Conv et Fonc.
Tout dabord nous montrons le premier outil technique pour raffiner les familles en restreignant
un ensemble.
Fait 6.1. Soit (Cs )s2Dn une famille sympa, s0 dans 2Dn et A Ss0 un ensemble 11 . Il existe une
famille (Cs0 )s2Dn qui raffine la prcdente avec Cs0 0 = A
Dmonstration. En effet on pose Cs0 = {x Cs : y A, xE(s,s0 ) y} et bien sr Cs0 0 = A. Il ne

manque que la condition Symp1 vrifier, triviale si s = s0 et sinon, soit s 6= t, avec s 6= s0 6= t,
montrons que Cs0 E(s,t) Ct0 . On a trois cas traiter :
1. (s0 , s) = (s, t) (s0 , t) : Soit x Cs0 et y A tel que xE(s,s0 ) y. Soit z Ct tel que
yE(t,s0 ) z (la famille tant sympa, en appliquant Symp1 s0 et t). Comme (s, t) (s0 , t),
on a yE(s,t) z. On a bien z Ct0 et xE(s,t) z par transitivit,
2. (s0 , t) = (s, t) (s0 , s) : De mme.
3. (s0 , s) = (s0 , t) (s, t) : Soit x Cs0 et y A tel que xE(s,s0 ) y. Soit z Ct tel
que xE(s,t) z (par la proprit Symp1 applique s et t). Comme (s0 , t) (s, t), et par
transitivit on a zE(s0 ,t) y, donc z Ct0 et on a bien xE(s,t) z.
31
On a bien montr la proprit Symp1 , la proprit Symp2 est directe car nous navons que restreint
les ensembles. Donc la nouvelle famille est bien sympa et on a montr le rsultat.
Ltape de la fonction, famille I

On doit assurer raffiner la famille tout en assurant que fn+1 : X 2 qui est 11 et croissante
modulo En+1 , soit bien constante sur chaque Csn+1 de valeur ne dpendant que de Dn+1 n+1 .
On y arrive grce au lemme suivant :
Fait 6.2. Soit (Cs ) une famille sympa, < et soit f : X 2 11 et croissante modulo E . Il
existe un raffinement (Cs0 ) de (Cs ) tel que f soit constante sur chaque Cs0 de valeur ne dpendant
que de sDn (+1) .
Dmonstration. Soit t Dn . On suppose que f prend les deux valeurs sur Ct (sinon, rien faire).
On applique donc le fait 6.1 A = Ct f 1 (0), on obtient un raffinement (C 0 s), avec Ct0 = A, f
est constant sur Ct0 . On itre le procd sur tous les t Dn , cela nous donne la famille Fs . Par
hypothse f est croissante modulo E , par le lemme 6.5 f est donc constante modulo E+1 . Prenons
un s, t tel que sDn (+1) = tDn (+1) , on a donc (s, t) > , et donc Fs E+1 Ft par la proprit
Symp1 et donc f prend la mme valeur sur Ft et Fs .
Il nous suffit dappliquer le fait 6.2 fn+1 et notre famille donne par la rcurrence, et lon
obtient une famille sympa et raffinante vrifiant Fonc. On a construit notre famille I.
Ltape de lindice, famille II

Pour passer de la famille I la famille II, il faut sparer chaque ensemble en deux, tout en
continuant respecter les conditions. On va passer dune famille sympa indice par 2Dn une
famille sympa qui la raffine indice par 2Dn+1 . Lordinal rajout 1 (n) nest pas forcment plus
grand que ceux de Dn1 .
Fait 6.3. Soit (Cs )sDn une famille sympa. Il en existe un raffinement (Cs0 )sDn+1 .
Dmonstration. Soit , et k tels que 1 (n) = = + k. Lordinal dcompose Dn en deux

parties : D0 = Dn (les ordinaux plus petits que ) et D1 = D \ D1 , avec 2Dn+1 isomorphe pour
0 1
lordre 2D 2 2D .
On va construire notre nouvelle famille petit petit en la raffinant partiellement, cest dire
que si (si ) est une numration fixe de D1 , on va passer des indices dans Dn aux indices dans
{s Dn : s 6 s0 } {s Dn+1 : s s0 } puis aux indices dans {s Dn : s 6 s0 , s1 } {s
1
Dn+1 : s s0 s s1 }, et ainsi de suite jusqu atteindre Dn+1 . Pour I 2D , on note
1 1 1
S(I) = {s i t : s I0 i 2 t 2D } {s t : s 2D \ I0 t 2D }. chaque tape
on aura encore une famille sympa ceci prs que les indices ne seront pas tous de la mme taille,
et on passera de S(I) S(I {s}) pour un certains s 6 I. Le fait suivant prsente le passage dune
tape.
1 1
Fait 6.4. Soit I 2D et (Cs )sS(I) une famille vrifiant Symp1 et Symp2 ; et soit s0 2D \ I.
Alors il existe une famille (Cs )sS(I{s0 }) vrifiant Symp1 et Symp2 , et telle que s S(I
{s0 }), t S(I) tel que t s, on ait Ct Cs .
Dmonstration. On pose : [
A= Cs0 s
s2D1
Cet ensemble est 11 (union finie densembles 11 ) et non vide, inclus dans Z on peut donc appliquer
notre hypothse : 6 est non maigre dans A A E pour 2 , et on peut donc appliquer le lemme
6.8 pour touver deux sous-ensembles 11 A0 et A1 de A qui satisfassent A0 E A1 et A0 < A1 modulo
E .
32
Cependant, ces deux proprits sur A0 et A1 ne nous permettrons pas de sparer les ensembles
Cs0 t en deux en restant sympa, il va falloir quil soient de plus saturs dans A pour E+1 . On
veut donc montrer quon a encore B0 E B1 et B0 < B1 modulo E , pour B0 = [A0 ]E +1 A, et
B1 = [A1 ]E +1 A. (On remarque que B0 et B1 sont encore 11 .)
Montrons B0 E B1 : soit x B0 . Soit donc x0 A0 tel que xE+1 x0 . Comme A0 E A1 , soit
y A1 tel que x0 E y. On a bien y A1 et xE y. On procde de mme pour la rciproque.
Montrons maintenant B0 < B1 modulo E . Soit x B0 et y B1 tel que xE y. Soit x0 A0
et y 0 A1 tel que xE+1 x0 et yE+1 y 0 . On a x0 E y 0 donc x0 < y 0 (car A0 < A1 modulo E ). On
veut en dduire x < y. Nous avons tout dabord besoin de construire par rflexion une fonction 11
croissante modulo E de valeur i sur Ai .
La proprit
A (X, Y ) (x 6 X, x 6 A0 ) (y 6 Y, y 6 A1 ) (x 6 X, y 6 Y, xE y y < x)
est 11 en les codes, par sa forme x 6 X, y 6 Y, P (x, y) o P est 11 et ne dpend pas de

X et Y , A est monotone vers le haut et continu vers la bas. A (X, X) exprime le fait que
X A0 , X A1 = , et que X est clos vers le bas modulo E . Comme A0 < A1 modulo E ,
A
0 = {x X : y A0 , xE y x y} est tel que A0 A1 = . De plus cet ensemble est clos par
le bas le long de E, donc on a A (A 1
0 , A0 ). A0 est 1 , on peut utiliser le torme de rflexion
forte 3.6, qui nous donne C 1 tel que A (C, C). En dfinissant f par f (x) = 0 si x C et
1
f (x) = 1 sinon, on a que f est croissante modulo E et f (A0 ) = {0} et f (A1 ) = {1}. Par le lemme
6.5, on a que f est constante modulo E+1 .
Retournons montrer que x < y. Comme f est constante modulo E+1 , on a f (x) = f (x0 ) = 0
et f (y) = f (y 0 ) = 1. Mais alors, comme xE y, on ne peut avoir x y, et comme lordre est total,
on a x < y.
On a maintenant des ensembles B0 et B1 satur dans A pour E+1 , tels que B0 E B1 et B0 < B1
modulo E . Ils vont nous servir sparer en deux nos ensembles de la famille : on dfinit, pour
1
i 2 et t 2D
Cs0 i t = Cs0 t Bi
et pour s S(I), s 6 s0 ,
Cs = {x Cs : y B0 B1 , xE(s,s0 ) y}
qui sont tous des ensembles 11 .

1
Soit i, j 2 et t, u 2D . Notons = (s0 i t, s0 j u).
1. Montrons que Cs0 i t est non vide.
1
Comme Bi est non vide, soit x0 Bi , et comme Bi A0 , soit t0 2D tel que x0 Cs0 t0 .
Si t = t0 , x0 Cs0 i t est donc non vide. Sinon, t 6= t0 . Comme Cs0 t0 E Cs0 t , soit y Cs0 t
tel que x0 E y. Comme + 1 et x0 Bi , y Bi . Donc y Bi Cs0 t = Cs0 i t qui est
donc non vide.
2. Montrons que Cs0 i t E Cs0 j u .
Si i = j, soit x Cs0 i t . Soit y Cs0 u tel que xE y. Comme Ai est E+1 satur, y Ai
et donc y Cs0 j u .
Si i 6= j (par exemple i < j), soit x Cs0 i t . Soit y A1 tel que xE y. Soit t0 tel que
y Cs0 1 t0 . Soit z Cs0 u tel que yE+1 z. On a z Cs0 1 u par saturation, et xE z.
3. Montrons que si s0 i t < s0 j u, alors Cs0 i t < Cs0 j u modulo E .
Si i = j, on a = (s0 t, s0 u). Soit x Cs0 i t et y Cs0 j u tels que xE y. Comme
Cs0 t < Cs0 u modulo E , on a x < y.
Si i < j, on a (s0 i t, s0 j u) = , et on a i = 0 et j = 1. Soit x Cs0 i t et y Cs0 j u
tels que xE y. Comme B0 < B1 modulo E , on a x < y.
33
1
De plus, pour s S(I), et s 6 s0 , on a (s, s0 ) . Soit t 2D quelconque et x Cs0 0 t .
Soit y Cs tel que xE(s,s0 ) y. On a y Cs qui est donc non vide. De la mme manire que dans
le fait 6.1, on obtient en sparant les cas sur (s, t), (s, s0 ) et (t, s0 ) que Cs E(s,t) Ct . De plus on
na que restreint les ensembles donc Cs < Ct modulo E(s,t) .
La famille C prouve donc le fait 6.4.
1
Soit (si ) une numration (finie) de 2D . On va itrer le fait 6.4 en prenant ltape i I = {sj :
j < i}. ltape n, on obtient aprs application du fait une famille indice par S(D1 ) = Dn+1 qui
vrifie Symp1 et Symp2 , et raffinant la toute premire, chacune raffinant la prcdente au cours
des tapes. On a donc bien construit la famille prouvant le fait.
Cela nous donne la famille II partir de la famille I.
Ltape de Choquet, famille III

Ordonnons 2Dn+1 = (si )it (on a un nombre fini t = 2n+1 dlments). La stratgie est dappli-
quer le fait 6.1 pour restreindre la famille, successivement pour tout s 2Dn+1 , et chaque tape
si en dfinissant aussi Usi et Vsi . Nous dfinissons ainsi une suite de famille ((Fsi )s )i .
Initialisons la famille (Fs0 ) la famille II. Pour i de 0 t, on pose Usi = Fsii , puis Vsi suivant la
stratgie du joueur 2, puis (Fsi+1 ) nous est donn par le lemme 6.1 o lon force Fsi+1 i
= V si .
la fin de litration, on aboutit une famille sympa raffinant celle de dpart telle que Cs Vs ,
et on a bien assur Conv. Cest la famille III.
La nouvelle famill eest construite, les ensemble Us et Vs pour s 2Dn+1 aussi, vrifiant toutes
les conditions, ceci achve la construction, et donc le thorme.
Corollaire 3 (Corollaire de la preuve). Soit Z0 et Z1 deux ensembles vrifiants les conditions du

thorme prcdent et tels que Z0 E Z1 et Z0 < Z1 modulo E .
Alors il existe un plongement f : 2+1 Z0 Z1 .
Dmonstration. On construit comme dans la preuve prcdente deux familles la fois, disons (Cs )
et (Ds ), en assurant 2 , n , CD
n
n
n
E DDn
. Cela est possible : en effet, au cours de la
construction ltape n, pour s 2 n on restreint Dsn en {x Dsn : y Csn , xE y}. Cette famille
D
est non vide (car elle lest au dbut), et reste sympa car > (s, t) pour tout s, t Dn . On fait de
mme avec Csn .
Cela nous donne F0 et F1 . Soit 2 , montrons que F0 () < F1 (). Soit < , et f : X 2
1
1 et croissante modulo . On a que f est constante modulo + 1 . De plus, f est constante
n
sur CD n
et DD partir dun certains n, donc f est de mme valeur sur ces deux l (car
n n
n n
CDn E DDn ). Donc f (F0 ()) = f (F1 ()), et comme cela est le cas pour tout et f : X 2
11 et croissante modulo E , on a F0 ()E F1 () (par le lemme 6.5 et la proprit qui en dcoule
6.6). Et donc comme Z0 < Z1 modulo E , F0 () < F1 () et on peut dfinir f ( i) = Fi () qui
est bien un plongement.

Thorme 6.10. Soit (X, <) un ordre linaire 11 , et un ordinal rcursif. Alors exactement lune
des deux assertions est vraie :
1. il existe un plongement f : X 2 , et dans ce cas f peut tre choisi 11 , ou
2. il existe un plongement g : 2+1 X, et dans ce cas g peut tre choisi continu.
Dmonstration. On va continuer structurer notre preuve de la mme manire.
34
Ici, lensemble chaotique est simplement Z = {x X : y, xE y x 6 y}. Cest un ensemble
11 car E et 6 sont 11 .

Si lensemble chaotique est vide, on va montrer le premier cas de la dichotomie. On pose
A (X) x, y Y (f X F , f (x) = f (y)) x y). Par le fait que lensemble chao-
tique soit vide, et E correspondent, on a donc A (F ), et donc par rflexion, soit F0 F 11
tel que et EF0 correspondent. Par le lemme 6.4, soit h qui soit la concatnation de toutes les
fonctions de A. On a alors f croissante et f (x) = f (y) qui implique g F0 , g(x) = g(y), donc
x y, cest dire f est bien un plongement (lordre tant linaire).
Si lensemble chaotique nest pas vide

On cherche montrer quon a les hypothses du thorme presque la Mycielski 6.9, cest
dire que A Z 11 , < , 6 nest pas maigre dans A A E .
Par labsurde, supposons le contraire. Soit A Z 11 et non vide tel que 6 est maigre dans
A A E pour 1,1 , on a alors comaigre dans A A E pour 1,1 . Alors et E correspondent
sur A : en effet, sinon {(x, y, z) A3 (E )3 : x 6 y} est non vide, cest un ouvert de 2,1 , mais
par un argument du tiers-tmoin, {(x, y, z) A3 (E )3 : x z} {(x, y, z) A3 (E )3 : y z}
est dense pour 2,1 , soit donc x, y, z A tel que xE yE z et x 6 y et x z y : on a une
contradiction, donc E et coincident.
Comme A Z est non vide, soit x0 A et y0 Z tels que x0 E y0 et x0 6 y0 . Comme
est total, supposons par exemple x0 < y0 . On pose alors A = {y : x A, xE y y x} et
A+ = {y : x A, xE y x < y}. On a x0 A A et y0 A+ car x0 E y0 x0 E y0 . De plus,
A A+ = , car si y A A+ , soit x , x+ A tel que xE y E y+ et x+ < x < x . Comme
x+ , x A et que x+ E x et que E et correspondent sur A, on a x x+ : contradictoire
avec x+ < y x . Donc on a bien A A+ = .
On pose A (X, Y ) x, y(x 6 Y y x xE y) y X x, x A+ x Y , qui est
bien 11 en les codes. Or on a A (X, X) si et seulement si X est clos vers le bas le long de E , et
A+ X, on a donc bien A (A , A ). On peut donc trouver D A 11 tel que D est clos vers
le bas le long de E et D B + = .
Dfinissons f : X 2 par f (x) = 0 si x D et f (x) = 1 sinon. f est 11 car D lest. On a bien
que f est croissante modulo E : soit x, y X tel que x y. Si y 6 D, alors f (y) = 1 f (x), et
si y D, comme x y, x D et f (x) f (y) car 0 0. Donc f F , et f (x0 ) 6= f (y0 ), cest
dire par le lemme 6.5, x0 E +1 y0 et donc x0 E y0 car + 1 : cest une contradiction avec les
dfinitions de x0 et y0 .
On veut utiliser le corollaire 3 de la preuve du thorme 6.9. On utilise donc le lemme 6.8 pour
crer Z0 et Z1 11 , et tels que Z0 E Z1 et Z0 < Z1 modulo E . Comme Z vrifie la condition du
thorme 6.9, cest dire A Z 11 , < , 6 nest pas maigre dans A A E ; Z0 et Z1
la vrifie aussi. On peut donc appliquer le corollaire 3, et on a alors que f : 2+1 X est un
plongement, et lon a conclu la preuve de la disjonction. Montrons maintenant que cette disjonction
est exclusive.
Exclusivit de la disjonction
Il nous suffit de montrer quil nexiste pas de plongements f : 2+1 2 . Cela est clair pour
le cas = 1, en effet, sinon on aurait une famille indnombrable ([f ( 0); f ( 1)])2 de ferms
deux deux disjoints, ce nest pas possible. Donc si f : 2+1 2 est croissante, il existe 2
tel que f ( 0) = f ( 1).
35
Maintenant, soit f croissante, f : 2+1 2 . On va construire par induction sur < des
chaines 2 telles que si 0 < 1 , 0 1 et f (la fonction x 7 f (x) ) est
constante sur toute extension de .
Supposons que a t construit. On dfinit g : 2+1 2 par g( i)(n) = f ( i)( + n)
o i est la chaine constante i de taille telle que i soit de taille + 1. Par lhypothse
dinduction sur , g est bien croissante, donc par le cas = 1 dj montr, soit tel que g( 0) =
g( 1). On pose alors +1 = et on a bien que si s S+1 , 0 s 1 donc
f (s) = g(). Pour limite, on prend lunion des chainesS = < .
Maintenant, nous avons en particulier dfini = < , qui est tel que f est constante sur
toute extension de . Or f = f , donc f ( 0) = f ( 1) et f nest donc pas un plongement.
On ne peut donc pas avoir les deux cas de la dichotomie en mme temps.
Conclusion
Un dernier rsultat pour la route : les deux ordres suivants forment eux aussi deux noeuds
conscutifs distincts pour la relation de plongement sur les ordres linaires borliens : 2< et 2 .
Cela nous permet de dessiner le schma suivant, montrant la hirarchie des ordres linaires borliens
vis vis de certains ordres particuliers, cofinaux et formant des noeuds conscutifs.
2< 2+1 2<(+1) 2(+1)+1
2 2(+1)
Les ordres borliens linaires ordonns par le plongement
Nous avons bien exhib la structure dune preuve utilisant la topologie de Gandy-Harrington :
une disjonction de cas suivant quun ensemble est vide ou non vide, avec la construction dun
schma de Cantor dans cet ensemble sil est non vide. Le schma de Cantor utilise le fait que la
topologie est de Choquet fort pour que lintersection dune branche donne un singleton. Les autres
outils utiliss sont largument du tiers-tmoin, et les lemmes de rflexion. Bien manipuls, ces outils
simples nous ont permis de montrer de nombreux rsultats sur les ordres.
Cependant, il est tonnant que des outils purements effectifs nous donne des rsultats classiques.
La notion de calculabilit est-elle ncessaire ltablissement de ces thormes ? Benjamin Miller
a montr en 2009 beaucoup de rsultats de dichotomies, y compris ceux noncs dans ce rapport,
sans utiliser de notions effectives.
Rfrences
[CL03] R. Cori and D. Lascar. Logique mathmatique. Dunod, 2003.
[Gao08] S. Gao. Invariant Descriptive Set Theory. Chapman & Hall/CRC Pure and Applied
Mathematics. CRC Press, 2008.
[HKL90] L. Harrington, A. Kechris, and A. Louveau. Borel orderings. Journal of the American
Mathematical Society, 3(4) :903928, 1990.
[HMS88] L. Harrington, D. Marker, and S. Shelah. Borel orderings. Transactions of the American
Mathematical Society, 310 :293302, 1988.
[Ka10] A. Kachouh. Dichotomies en thorie descriptive des ensembles. Stage de M2, 2010.
36
[Kan08] V. G. Kanovei. Borel equivalence : Structure and Classification, volume 44 of University
Lecture Series (Providence, R.I.). American Mathematical Society, 2008.
[Kec12] A. Kechris. Classical Descriptive Set Theory. Graduate Texts in Mathematics. Springer
New York, 2012.
[Lou89] A. Louveau. Two results on borel orders. J. Symb. Log., 54(3) :865874, 1989.
[Mos09] Y.N. Moschovakis. Descriptive Set Theory. Mathematical surveys and monographs.
American Mathematical Society, 2009.
[Sac90] G. E. Sacks. Higher recursion theory. Springer Verlag, 1990.
37

Rapport Peada2

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

Rapport Peada2

Transféré par

Droits d'auteur :

Formats disponibles

Stage 2015, Des Ordres et des Dichotomies, Borliens et de

I Thorie descriptive effective des ensembles 3

II Les ordres borliens en dichotomie 15

4 Une famille dordres cofinale 16

6 Des ordres conscutifs 27

1.2 Thorie descriptive effective

Dfinition 1.8. Un ensemble 11 de X est la projection dun ferm effectif de X N . Un ensemble

Une fois de plus, ces classes sont dnombrables.

Ceci est un corollaire direct de la caractrisation des ferms.

1.3 Bons ordres et calculabilit

Corollaire 1. Si W O est 11 , alors < 1CK

Thorme 1.13 (Thorme de la bornitude). Soit P X, f 11 tel quon ait

Alors P est 11 si et seulement si

sup{|f (x)| : P (x)} < 1CK

[P (x) (x) (y)] x y x 6> y

Thorme 1.16. 11 est norm.

1.4 Codages et ensembles universels

Thorme 1.19. Pour tout X, il existe des ensembles 11 D , P + , P X, tels que n

Dmonstration. Page 31 de [Kan08] ou 35 de [Gao08]

Corollaire 2. f 11 est 11 f 11 est 11

2.2 Jeux de Choquet

Thorme 2.5. Lespace (N n , n ) est un espace de Choquet fort.

T(s,t) = {(s0 , t0 ) T : (s s0 ou s0 s) et (t t0 ou t0 t)}

Thorme 2.6. Soit X un espace topologique de Choquet fort. Soit Y X, G et muni de la

3.1 Lemmes de rflexion

La proprit de sparation peut alors se prouver en utilisant la rflexion :

Dmonstration. On pose A = {A X : Y A}. A est bien 11 en les codes car Ue A

Un autre exemple dutilisation du lemme de rflexion :

Exemple 3.4. Si X est 11 et linairement ordonn par , un ordre 11 , alors il existe un 11

Dmonstration. On pose A (Y ) x0 , x1 6 Y, x0 x1 x1 x0 . A est bien 11 en les codes, et

Preuve du fait. Considrons B = {Z : (Z, X A et X Z}. B est 11 en les codes car

3.2 Topologie produit de Gandy-Harrington et largument du tiers-tmoin

Si X = N n et Y = N m , on remarque quon peut munir X Y = N n+m de la topologie n+m ,

Proprit 3.9 (Continuit et ouverture de la projection). Soit n n0 et m m0 . Toute projection

Dmonstration. Soit A un ouvert de 2 tel que A X Y 6= , cest un ensemble 11 . Soit B =

Proprit 3.11 (Continuit et ouverture de la projection restreinte Ek ). Soit n n0 et m m0 .

Dmonstration. Soit A un ouvert de 2 tel que A X Y R 6= , cest un ensemble 11 . Soit B =

Dfinition 3.13 (Relations dquivalence reprsentables). E une relation dquivalence 11 sur X

Lemme 3.14. Si E est une relation dquivalence reprsentable, alors En est G .

Dmonstration. Si E est reprsentable, nous avons E = {Dn (D)n : D 11 et E-invariant}.

Dfinition 3.15 (Informel, largument du tiers-tmoin). On dira : par un argument du tiers-

3.3 Thorme de Mycielski

3.4 Exemple : Thorme de Silver

A, xEy}, et Z = X \ S sera notre ensemble chaotique.

x Z n D((x Pn+ y, z 6 Pn , y Ez)

Ce qui prouve bien que Z est 11 .

Remarquons que le schma de la dmonstration du thorme de dichotomie de Silver suit

4 Une famille dordres cofinale

4.1 Prliminaires techniques

DY = {hf, i : f D, est le code rcursif dun bon ordre,

Lemme 4.3. E est 11 et reprsentable.

xEy (n , n D z , Fn (x) = z Fn (y) = z)

Lemme 4.4 (Lemme de concatnation). Soit D0 D un ensemble 11 . Alors il existe hn0 , i D

4.2 Un thorme la Mycielski

(ys )sLi tel que ys E(s,t) yt et ys As (Pi )

4.3 Dmonstration du rsultat

Construction de lensemble chaotique

Si lensemble chaotique est non vide

I = {(x, y) : x 6< y y 6< x x 6 y} = {(x, y) : x incomparable avec y}

Fait 4.2. () est maigre dans Z Z E muni de la topologie .

5.1 Prliminaires techniques

FY = {f : f est 11 et < 1CK , f : X 2 et x, y Y, f (x) < f (y) x < y}

et la relation associe xEY y ssi f FY , f (x) = f (y).

DY = {hf, i : f D, est le code rcursif dun bon ordre,