Pre-compact space

From Encyclopedia of Mathematics
Revision as of 18:08, 7 February 2011 by (talk) (Importing text file)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

totally-bounded space

A uniform space for all entourages of which there exists a finite covering of by sets of . In other words, for every entourage there is a finite subset such that . A uniform space is pre-compact if and only if every net (cf. Net (of sets in a topological space)) in has a Cauchy subnet. Therefore, for to be a pre-compact space it is sufficient that some completion of is compact, and it is necessary that every completion of it is compact (cf. Completion of a uniform space).



[a1] R. Engelking, "General topology" , Heldermann (1989)
How to Cite This Entry:
Pre-compact space. Encyclopedia of Mathematics. URL:
This article was adapted from an original article by M.I. Voitsekhovskii (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article