1 Espaces topologiques connexes
La notation AtBd´esignera toujours la r´eunion disjointe de Aet B.
1 Espaces topologiques connexes
1.1 Connexit´e, d´efinitions et premiers exemples
D´efinition 1.1 (Espace topologique connexe).Soit Xun espace topologique. On a
´equivalence entre :
(i) Si X=O1tO2o`u O1, O2ouverts dans X, alors O1=∅ou O2=∅.
(ii) Si X=F1tF2o`u F1, F2ferm´es dans X, alors F1=∅ou F2=∅.
(iii) Les seules parties `a la fois ouvertes et ferm´ees de Xsont ∅et X.
Dans ce cas, on dit que Xest un espace topologique connexe.
Exemple 1.2.La droite r´eelle est connexe. En effet, si Rse partitionnait en deux
ferm´es (disjoints) AtB, alors soient a∈Aet b∈Bet
c:= sup{r, r ∈[a, b]∩A}.
cest bien d´efini puisque l’ensemble de droite est non vide (aest dedans) et born´e
(par b). Or, puisque Aest ferm´e, c∈A. D’autre part, (c, b]⊂Bet comme Best
ferm´e on a aussi c∈B. D’o`u c∈A∩B, ce qui est contradictoire.
Le proposition suivante donne une caract´erisation fonctionnelle utile de la notion
de connexit´e.
Proposition 1.3. L’espace topologique Xest connexe si et seulement si toute appli-
cation continue ϕ:X→Zest constante.
Preuve. (⇒) Soit x∈Xet n=ϕ(x). Puisque {n} ⊂ Zest ouvert et ferm´e dans
Zet comme ϕest continue, ∅ 6=ϕ−1({n})⊂Xest aussi ouvert et ferm´e. Or Xest
connexe donc ϕ−1({n}) = Xet ϕest constante (´egale `a n).
(⇐) Supposons que Xse partitionne en deux ouverts X=O1tO2. Alors ϕ=1O1
est une application X→Zqui est continue (car les Oisont ouverts), elle est donc
constante. Ainsi, ou bien ϕ= 1 et O2=∅, ou bien ϕ= 0 et O1=∅.
Remarque 1.4.Dans l’´enonc´e pr´ec´edent, on peut remplacer Zpar n’importe quel
espace discret ayant au moins deux ´el´ements. Typiquement, on choisira souvent {0,1}.
Le proposition qui suit est une g´en´eralisation du r´esultat pr´ec´edent et permet
d’appr´ehender une premi`ere technique de passage du local au global par connexit´e.
Proposition 1.5. Soient Xet Ydeux espaces topologiques. Si Xest connexe et
ϕ:X→Yest continue localement constante, alors ϕest constante.
Preuve. Soient x∈Xet y=ϕ(x). Alors ϕ−1({y} ⊂ Xest non vide et ferm´e dans
Xcar {y} ⊂ Yl’est dans Yet ϕcontinue. Mais ϕ−1({y}) est aussi ouvert puisque
ϕest localement constante. Par suite, ϕ−1({y}) = Xet ϕest constante.
3