-'l
I
3. Nous nous proposons dtétablir une amélioration du corollaire J.
Rappelons qurà tout ordonné Er-4 on peut associer un espace topo-
logique noté ErQ aont 1a topologie Ë_.admet une base d.rouverts
formêe par toutes les æctions initiales de Er.( (une section ini-
tiale de E, ( est une partie A de E telle que
V*ry e E x<ye A + xe. A).
Oéfinition : Un ouvert A drun espace topologiQne E,6sera dit
irréductibÀessi Alfret
Vn, c€E A- BUc + A=B ouA=c.
Propriété éIémentaire : Si A, B, C sont des ouverts de ErE et si
A est irréductible, alors
ACBUC =à ACB ou AëC
Vérification :
A-(BUc)n A-(Bnl) u(cn A).
Comme
A est irréductible A - Bn A ou A = Cn A ;
parconséquent A cBouA c.C.
Proposition 4 :
Pour tout espace topologique fini E, 6 iI existe un ord.onné fini
J, ( et un morphisme 0-gg (E,v.A,',-) dans (T., Y,A,',-)
tel que pour tout A € V
d(A)-J + A=E.
(La proposition pourrait être forrnulée de manière plus fine en
exigeant qr.r" d soit un isomorphisme, mais nous nraurons besoin que
de 1a forne faible indiouée).
PÉggl:!:g!193 : soit J, é lfensemble des ouverts irréductibles
d.e E, 6 ord.onné par lrinclusion ensembliste.
Posons (pour A €G )
ûrrl= tD € J[ D c AJ.
Les propriétés suivantes sont triviales :
Pour tout A, B <.8
. $tnl est une section de J, c (et donc un ouvert de J, G- ) ;