Ce texte est la r´edaction de ce que m’a racont´e Amaury Thuillier un apr`es-midi
o`u on a discut´e ensemble de normalition et de Grothendieck.
On rappelle qu’un espace topologique est dit irr´eductible s’il ne peut ˆetre d´ecompos´e
en l’union de deux ferm´e non-pleins. Cette notion est surtout `a l’œuvre en g´eom´etrie
alg´ebrique avec la topologie de Zarisiki. D’un certain point de vue, elle permet de
comprendre le concept de topologie dans une optique combinatoire.
1 Composantes irr´eductibles
Soit Xun espace topologique. On dit que F⊂Xest une composante irr´eductible
de Xsi Fest ferm´e, irr´eductible et maximal pour cette propri´et´e.
Avant de parler des composantes irr´eductibles, prouvons le
Lemme 8 Soit Xun espace topologique. Soit x∈X. Alors, {x}est un ferm´e
irr´eductible.
D´emonstration : C’est facile. Soit Fun ferm´e contenu dans {x}. Si Fcontient x,
alors Fest plein.
Un autre lemme qui nous servira :
Lemme 9 L’adh´erence d’une partie irr´eductible l’est encore.
D´emonstration : Soit Xun espace topologique et soit Yune partie de Xqui est
irr´eductible. Soient Fet F0deux ferm´es de Ytels que Y=F∪F0.Fet F0sont en
particulier des ferm´es de X. Donc, Y∩Fet Y∩F0sont des ferm´es de Yet on a
Y= (Y∩F)∪(Y∩F0). Par irr´eductibilit´e, on a par exemple Y∩F=Y, ce qui veut
dire que Y⊂F. Par cons´equent, Y⊂Fet on a donc en fait ´egalit´e.
Corollaire 10 La notion de composante irr´eductible est ´equivalente `a la notion de
partie irr´eductible maximale.
On peut maintenant ´enoncer :
Th´eor`eme 11 Un espace topologique est recouvert par ses composantes irr´eductibles.
Plus pr´ecis´ement : si Y⊂Xest irr´eductible, alors Yest contenu dans une composante
irr´eductible.
D´emonstration : On utilise le lemme de Zorn, ´evidemment. Soit Y⊂Xun sous-
espace de Xqui, muni de la topologie induite, est irr´eductible. On consid`ere alors
l’ensemble Edes sous-espaces de Xirr´eductibles et qui contiennent Y. Cet ensemble
est non-vide car il contient Y.
Montrons que Eest ordonn´e inductif (pour l’inclusion). Soient donc (Xi)i∈Iune
famille totalement ordonn´ee de parties irr´eductibles de Xcontenant toutes Y. Alors,
l’union des Xicontient encore Yet est irr´eductible. En effet, soient Fet F0deux
ferm´es de Si∈IXidont l’union est pleine. Alors (par transitivit´e de l’induction des
topologies), pour tout i∈I,F(0)∩Xiest un ferm´e de Xiet on a (F0∩Xi)∪(F∩Xi) =
Xi. Par irr´eductibilit´e de Xi, on a par exemple F∩Xi=Xi, ce qui veut dire que
Xi⊂F. Supposons alors qu’on n’ait ni Y=Si∈IXini Y0=Si∈IXi. Ainsi, il existe
x0∈Xi0qui n’est pas dans Yet x1∈Xi1qui n’est pas dans Y0. Disons par exemple
qu’on a Xi0⊂Xi1. Comme x1n’est pas dans Y0on ne peut pas avoir Y0∩Xi1=Xi1:
on a donc Xi1⊂Y. En particulier, on a Xi0⊂Yet donc xi0∈Y, ce qui est absurde.
Grˆace au lemme de Zorn, on sait alors que Eposs`ede un ´el´ement maximal. Grˆace
au lemme 8 on sait mˆeme que cet ´el´ement maximal est ferm´e : c’est une composante
irr´eductible contenant Y.
Soit maintenant x∈X. D’apr`es le lemme 7, {x}est irr´eductible et donc est
contenu dans une composante irr´edutible.
En fait, on peut raffiner le lemme 8 en :
4