D´emonstration : (a) : Pour tout x∈X,C(x) est connexe, et d’apr´es §III.1 Proposition 6, son adh´erence C(x)
est aussi connexe. Comme elle contient xalors C(x)⊂C(x). D’o`u l’´egalit´e. C(x) n’est pas en g´en´erale ouverte;
par exemple, si X=Qmuni de la topologie induite par celle de R, on a C(x) = {x}qui n’est pas un ouvert de
Q.
(b) : C’est imm´ediat car f(C(x)) est un connexe qui contient f(x). Si en plus fest un hom´eomorphisme,
f−1est continue donc f−1(C(f(x))) ⊂C(x) d’ou f(f−1(C(f(x)))) ⊂f(C(x)), i.e : C(f(x)) ⊂f(C(x)).
(c) : Comme les projections prisont continues, alors pour tout x= (xi), pri(C(x)) ⊂C(xi), donc
C(x)⊂ΠC(xi). Inversement, pour tout i∈I,C(xi) est connexe, donc ΠC(xi).est un connexe qui contient x,
donc.ΠC(xi).⊂C(x).
Remarque : 1) D’apr´es (b) de la proposition ci-dessus, le nombre de composantes connexes est un invariant
topologique. Il mesure ”le degr´e” de non connexit´e de l’espace.
2) Le produit d’espaces totalement discontinus est un espace totalement discontinu.
Espaces localement connexes
D´efinition 4 : Un espace topologique (X, τX)est localement connexe, si tout point xde Xadmet un syst`eme
fondamental sf(x)de voisinages connexes.
Ceci revient `a dire que ∀x∈X, et ∀V∈v(x) , ∃ωun voisinage connexe de xtel que ω⊂V
Exemples :
-Xmuni de la topologie grosi`ere est localement connexe sf (x) = X
-Xmuni de la topologie discr`ete sf (x) = {x}
- Tout ouvert de Rn.
Proposition 5 : 1) L’int´erieur d’une partie localement connexe est localement connexe.
2) La connexit´e locale est une propri´et´e topologique
D´emonstration : (1) Soit Aune partie localement connexe, et x∈
◦
A, tout voisinage Vde xdans
◦
Aest un
voisinage de xdans A, il va donc exster un voisinage connexe ωde xcontenu dans V, mais V⊂
◦
A, donc
◦
Aest
localement connexe.
(2) Soit f:X→X0un hom´eomorphisme d’un espace localement connexe Xsur X0.∀y∈X0, et ∀V∈
v(y), f−1(V)∈v(x) ”x=f−1(y)” mais Xest localement connexe, donc il existe un voisinage connexe ωde
xtel que, ω⊂f−1(V) , mais ceci entraine que f(ω)⊂V, et comme fest un hom´eomorphisme f(ω) est
voisinage connexe de y.
Remarque :
- Ni l’adh´erence, ni la fronti`ere d’une partie localement connexe ne sont g´en´eralement localement connexes. Par
exemple :
A={1,1
2,· · ·,1
n,· · ·} est un sous-espace discret de R, il est donc localement connexe. Son adh´erence
A=A∪ {0}n’est pas localement connexe; en effet, aucun voisinage Vde 0 dans An’est connexe, puisqu’il
existe un indice nsuffisament grand pour que 1
n∈V; et 1
nest un ouvert ferm´e non vide et diff´erent de V.
- Un espace localement connexe n’est pas n´ecessairement connexe
- L’image par une application continue d’un espace localement connexe n’est pas toujours localement connexe.
prendre par exemple X=N, et A={0,1,1
2,···,1
n,···} muni de la topologie induite par celle de Ret f:X→A
qui `a n6= 0 associe f(n) = 1
net f(0) = 0. L’espace discret Xest localement connexe, fest continue, mais A
n’est pas localement connexe.
Proposition 6 :mathbf Un espace topologhique (X, τX)est localement connexe si et seulement si les
composantes connexes de tout ouvert de Xsont ouvertes.
D´emonstration : Supposons Xlocalement connexe, et soit U∈τX.Notons CU(x)la composante connexe de
Ucontenant x∈U. Soit y∈CU(x)on a bien sur, U∈v(y), et comme Xest localement connexe, il va exister un
voisinage connexe V0∈v(y)tel que V0⊂U, et alors on a V0⊂CU(y) = CU(x); donc CU(x)∈v(y).
4