Claude S.
Mathématiques, informatique, politique et poésie
Compacité
blog
retour
à propos
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.