World Library  
Flag as Inappropriate
Email this Article

Completely metrizable space

Article Id: WHEBN0007975189
Reproduction Date:

Title: Completely metrizable space  
Author: World Heritage Encyclopedia
Language: English
Subject: Polish space, Locally convex topological vector space, General topology, Johannes de Groot, Complete metric space
Publisher: World Heritage Encyclopedia

Completely metrizable space

In mathematics, a completely metrizable space[1] (metrically topologically complete space[2]) is a topological space (X, T) for which there exists at least one metric d on X such that (X, d) is a complete metric space and d induces the topology T. The term topologically complete space is employed by some authors as a synonym for completely metrizable space,[3] but sometimes also used for other classes of topological spaces, like completely uniformizable spaces[4] or Čech-complete spaces.


  • Difference between complete metric space and completely metrizable space 1
  • Examples 2
  • Properties 3
  • Completely metrizable abelian topological groups 4
  • See also 5
  • Notes 6
  • References 7

Difference between complete metric space and completely metrizable space

The difference between completely metrizable space and complete metric space is in the words there exists at least one metric in the definition of completely metrizable space, which is not the same as there is given a metric (the latter would yield the definition of complete metric space). Once we make the choice of the metric on a completely metrizable space (out of all the complete metrics compatible with the topology), we get a complete metric space. In other words, the category of completely metrizable spaces is a subcategory of that of topological spaces, while the category of complete metric spaces is not (instead, it is a subcategory of the category of metric spaces). Complete metrizability is a topological property while completeness is a property of the metric.[5]


  • The space (0,1) ⊂ R, the open unit interval, is not a complete metric space with its usual metric inherited from R, but it is completely metrizable since it is homeomorphic to R.[6]


  • A subspace of a completely metrizable space X is completely metrizable if and only if it is Gδ in X.[9]
  • A countable product of nonempty metrizable spaces is completely metrizable in the product topology if and only if each factor is completely metrizable.[10] Hence, a product of nonempty metrizable spaces is completely metrizable if and only if at most countably many factors have more than one point and each factor is completely metrizable.[11]
  • For every metrizable space there exists a completely metrizable space containing it as a dense subspace, since every metric space has a completion.[12] In general, there are many such completely metrizable spaces, since completions of a topological space with respect to different metrics compatible with its topology can give topologically different completions.

Completely metrizable abelian topological groups

When talking about spaces with more structure than just topology, like topological groups, the natural meaning of the words “completely metrizable” would arguably be the existence of a complete metric that is also compatible with that extra structure, in addition to inducing its topology. For abelian topological groups and topological vector spaces, “compatible with the extra structure” might mean that the metric is invariant under translations.

Fortunately, no confusion can arise when talking about an abelian topological group or a topological vector space being completely metrizable: it can be proven that every abelian topological group (and thus also every topological vector space) that is completely metrizable as a topological space (i. e., admits a complete metric that induces its topology) also admits an invariant complete metric that induces its topology.[13]

This implies e. g. that every completely metrizable topological vector space is complete. Indeed, a topological vector space is called complete iff its uniformity (induced by its topology and addition operation) is complete; the uniformity induced by a translation-invariant metric that induces the topology coincides with the original uniformity.

See also


  1. ^ Willard, Definition 24.2
  2. ^ Kelley, Problem 6.K, p. 207
  3. ^ e. g. Steen and Seebach, I §5: Complete Metric Spaces
  4. ^ Kelley, Problem 6.L, p. 208
  5. ^ Willard 1970 Section 24.
  6. ^ Willard, Chapter 24
  7. ^ Willard, Exercise 25A
  8. ^ Willard, Theorem 24.13
  9. ^ Willard, Chapter 24
  10. ^ Willard, Chapter 24
  11. ^ Because a product of nonempty metrizable spaces is metrizable if and only if at most countably many factors have more than one point (Willard, Chapter 22).
  12. ^ Willard, Chapter 24
  13. ^ Klee, V. L. (1952). "Invariant metrics in groups (solution of a problem of Banach)" (PDF). Proc. Amer. Math. Soc. (3): 484–487. 


  • Willard, Stephen (1970). General Topology. Addison-Wesley Publishing Company.  
This article was sourced from Creative Commons Attribution-ShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for and content contributors is made possible from the U.S. Congress, E-Government Act of 2002.
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a non-profit organization.

Copyright © World Library Foundation. All rights reserved. eBooks from Project Gutenberg are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.