1. T est une topologie sur X∞
Préliminaire. X étant séparé, toute partie compacte K⊂X est fermée dans X. On utilisera librement ce fait.
∅ et X∞. ∅∈TX donc ∅∈T ; et ∞∈X∞ avec X∞∖X∞=∅ compact, donc X∞∈T.
Unions quelconques. Soit (Ui)i∈I⊂T et U=⋃iUi.
- Si aucun Ui ne contient ∞ : tous sont des ouverts de X, donc U∈TX⊂T.
- Si ∞∈Ui0 pour un certain i0 : posons K0=X∞∖Ui0, compact de X. Alors
X∞∖U=⋂i∈I(X∞∖Ui)⊂K0.
Chaque X∞∖Ui est soit un compact de X (donc fermé dans X), soit de la forme X∞∖Ui⊃{∞} avec (X∞∖Ui)∩X=X∖Ui fermé dans X. Dans tous les cas, (X∞∖Ui)∩K0 est fermé dans K0. Ainsi X∞∖U est une intersection de fermés du compact K0 : c'est un fermé de K0, donc un compact de X, et ∞∈U. Donc U∈T.
Intersections finies. Il suffit de traiter U∩V pour U,V∈T, avec trois cas :
- U,V∈TX : alors U∩V∈TX.
- ∞∈U et ∞∈V : alors X∞∖(U∩V)=(X∞∖U)∪(X∞∖V) est une union de deux compacts de X, donc un compact de X, et ∞∈U∩V.
- U∈TX et ∞∈V, avec K=X∞∖V compact : alors
U∩V=U∩(X∖K),
et X∖K est ouvert dans X (car K est fermé, X étant séparé), donc U∩V∈TX.
Donc T est une topologie sur X∞. ■
2. La topologie induite sur X est TX
Inclusion ⊃. Soit U∈T.
- Si U∈TX : X∩U=U∈TX.
- Si ∞∈U avec K=X∞∖U compact : X∩U=X∖K, qui est ouvert dans X car K est fermé dans X (X séparé).
Donc {X∩U:U∈T}⊂TX.
Inclusion ⊂. Tout V∈TX appartient à T (premier type d'ouverts) et V=X∩V.
D'où
TX={X∩U : U∈T} : X est un sous-espace topologique de X∞.
3. (X∞,T) est compact
Soit (Ui)i∈I un recouvrement ouvert de X∞.
Le point ∞ appartient à un certain Ui0 ; par définition de T, K=X∞∖Ui0 est un compact de X.
La famille (X∩Ui)i∈I est constituée d'ouverts de X (question 2) et recouvre K. Par compacité de K, il existe i1,…,ip∈I tels que
K⊂(X∩Ui1)∪⋯∪(X∩Uip)⊂Ui1∪⋯∪Uip.
Alors
X∞=K∪Ui0⊂Ui0∪Ui1∪⋯∪Uip:
on a extrait un sous-recouvrement fini.
(X∞,T) est compact : c’est le compactifieˊ d’Alexandroff de X.