26 CHAPITRE 3. ESPACES COMPACTS
Définition 19. Soient Xun espace topologique et Aune partie de X.
1. On dit que Aest compacte si A, munie de la topologie induite par celle de
Xest un espace compact.
2. On dit que Aest relativement compacte si ¯
Aest compacte.
Théorème 7. Soient Xun espace topologique séparé et Aune partie de X.
1. Si Aest compacte, alors Aest fermée dans X.
2. Si Xest compact et Aest fermée dans X, alors Aest compacte.
3. Si Xest métrisable et Aest compacte, alors Aest bornée.
Démonstration. 1. On va montrer que Acest ouvert en montrant qu’il est voi-
sinage de chacun de ses points. Soit donc x∈Ac. Puisque Xest séparé,
pour tout a∈Ail existe Va∈ V(a)et Ux,a ∈ V(x)tel que Va∩Ua,x =∅.
On a alors A⊂ ∪a∈AVa.Et puisque Aest compact, il existe a1, a2, ...antel
que A⊂ ∪n
i=1Vai. Soit alors U=∩n
i=1Ux,ai.Ona∪n
i=1Vai∩U=∅,etU
est un voisinage de x, et qui est inclus dans Ac. D’où le résultat.
2. Soit ∪i∈IUiun recouvrement ouvert de A. Puisque Aest fermé, Acest
ouvert, et donc Ac∪(∪i∈IUi)forme un recouvrement ouvert de X. Puis
que Xest compact, il existe U1, ..., Untel que X⊂Ac∪(∪n
i=1Ui). Donc
A⊂ ∪n
i=1Ui.
3. Soit dla distance associée à X. Puisque A⊂ ∪a∈AB(a, 1) et Acom-
pact, il existe a1, ..., antels que A⊂ ∪n
i=1B(ai,1). On pose alors α=
maxn
i=1 d(a1, ai). Pour tout x∈A, il existe i0∈1, ..., n tel que x∈
B(ai0,1). Donc d(x, a1)≤d(x, ai0)+d(ai0, a1)≤α+ 1.
Corollaire 6. Soit Xun espace topologique séparé.
1. Si Kest une partie compacte de Xet Fest une partie fermée de Xalors
K∩Fest une partie compacte de X.
2. Si F1, F2, ..., Fnsont des parties fermées de X, alors la réunion ∪n
i=1Fiest
compacte si et seulement si pour tout i,Fiest compacte.
3. Si (Ki)i∈Iest une famille de parties compactes de X, alors l’intersection
∩i∈IKiest compacte.
Démonstration. 1. C’est une conséquence du 2) du corollaire précédent en
considérant la topologie induie sur K. On peut aussi reprendre la démons-
tration. Soit (Ui)i∈Iune famille d’ouverts recouvrant K∩F. Puisque Fest
fermé Fcest ouvert. De sorte ∪i∈IUi∪Fcrecouvre K. Comme Kest com-
pact on peut en extraire un sous-recouvrement fini ∪i=1nUi∪Fcrecouvrant
K. Alors ∪i=1nUirecouvre K∩F.