Mathématiques, informatique, politique et poésie
Un espace topologique \(E\) est compact quand :
- Il est \(T_2\) (Axiome \(T_2\)) - Il satisfait l'axiome de Borel-Lebesgue (on dit aussi qu'il est précompact) : de tout recouvrement ouvert de \(E\), on peut extraire un recouvrement fini.