espace précompact

En topologie, une branche des mathématiques, un espace métrique E est précompact si, pour tout e > 0, on peut recouvrir E par un nombre fini de boules ouvertes de rayon e. La propriété principale est qu'un espace métrique est compact si et seulement s'il est précompact et complet. La notion de précompacité et ses propriétés se généralisent aux espaces uniformes.