Completely uniformizable space
In mathematics, a topological space (X, T) is called completely uniformizablee. g. Willard (or Dieudonné completeEncyclopedia of Mathematics) if there exists at least one complete uniformity that induces the topology T. Some authorse. g. Arkhangel'skii (in Encyclopedia of Mathematics), who uses the term Dieudonné complete additionally require X to be Hausdorff. Some authors have called these spaces topologically complete,Kelley although that term has also been used in other meanings like completely metrizable, which is a stronger property than completely uniformizable.
Properties
- Every completely uniformizable space is uniformizable and thus completely regular.
- A completely regular space X is completely uniformizable if and only if the fine uniformity on X is complete.Willard, p. 265, Ex. 39B
- Every regular paracompact space (in particular, every Hausdorff paracompact space) is completely uniformizable.Kelley, p. 208, Problem 6.L(d). Note that Kelley uses the word paracompact for regular paracompact spaces (see the definition on p. 156). As mentioned in the footnote on page 156, this includes Hausdorff paracompact spaces.Note that the assumption of the space being regular or Hausdorff cannot be dropped, since every uniform space is regular and it is easy to construct finite (hence paracompact) spaces which are not regular.
- (Shirota's theorem) A completely regular Hausdorff space is realcompact if and only if it is completely uniformizable and contains no closed discrete subspace of measurable cardinality.Beckenstein et al., page 44
Every metrizable space is paracompact, hence completely uniformizable. As there exist metrizable spaces that are not completely metrizable, complete uniformizability is a strictly weaker condition than complete metrizability.
See also
- {{annotated link|Completely metrizable space}}
- {{annotated link|Complete topological vector space}}
- {{annotated link|Uniform space}}
Notes
{{reflist|colwidth=30em}}
References
{{refbegin}}
- {{Cite encyclopedia | url=http://www.encyclopediaofmath.org/index.php/Complete_space | title=Complete space | author=A. V. Arkhangel'skii (originator) | encyclopedia=Encyclopedia of Mathematics | accessdate=March 5, 2013 }}
- {{Cite book | last1=Beckenstein | first1=Edward | last2=Narici | first2=Lawrence | last3=Suffel | first3 =Charles | title=Topological Algebras | publisher=North-Holland | year=1977 | isbn=0-7204-0724-9}}
- {{Cite book | last=Kelley | first=John L. | title=General Topology | isbn=0-387-90125-6 | publisher=Springer | year=1975}}
- {{Cite book | last=Willard | first=Stephen | title=General Topology | publisher=Addison-Wesley Publishing Company | year=1970 | isbn=978-0-201-08707-9 | url-access=registration | url=https://archive.org/details/generaltopology00will_0 }}
{{refend}}
{{topology-stub}}