Pre-compact space
From Encyclopedia of Mathematics
Revision as of 18:59, 13 October 2014 by Richard Pinch (talk | contribs) (Category:Topological spaces with richer structure)
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
totally-bounded space
A uniform space $X$ for all entourages $U$ of which there exists a finite covering of $X$ by sets of $U$. In other words, for every entourage $U\subset X$ there is a finite subset $F\subset X$ such that $X\subset U(F)$. A uniform space is pre-compact if and only if every net (cf. Net (of sets in a topological space)) in $X$ has a Cauchy subnet. Therefore, for $X$ to be a pre-compact space it is sufficient that some completion of $X$ is compact, and it is necessary that every completion of it is compact (cf. Completion of a uniform space).
Comments
References
[En] | R. Engelking, "General topology", Heldermann (1989) MR1039321 Zbl 0684.54001 |
How to Cite This Entry:
Pre-compact space. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Pre-compact_space&oldid=33622
Pre-compact space. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Pre-compact_space&oldid=33622
This article was adapted from an original article by M.I. Voitsekhovskii (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article