Claude S.

Mathématiques, informatique, politique et poésie

Un espace topologique E est compact quand :

- Il est T2 (Axiome T2) - 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.