Lecture zen
Une partie \(A\) de \(X\) est dite relativement compacte si sa fermeture \(\overline A\) est compacte.
En savoir plus
Compact
[ Definition ]
\(X\) est compact s’il est séparé et si de tout recouvrement ouvert on peut extraire un sous-recouvrement fini.
Un sous-ensemble \(K\) de l’espace \(X\) est dit compact s’il est compact pour la topologie induite.