Completely metrizable space

In mathematics, a completely metrizable space (metrically topologically complete space) 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, but sometimes also used for other classes of topological spaces, like completely uniformizable spaces or Čech-complete spaces. 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 of completely metrizable spaces is a 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. 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. The space Q of rational numbers with the subspace topology inherited from R is metrizable but not completely metrizable. A topological space X is completely metrizable if and only if X is metrizable and a Gδ in its Stone–Čech compactification βX. A subspace of a completely metrizable space X is completely metrizable if and only if it is Gδ in X. A countable product of nonempty metrizable spaces is completely metrizable in the product topology if and only if each factor is completely metrizable. 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.

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related concepts (7)

Related courses (2)

Related lectures (17)

MATH-302: Functional analysis I

Concepts de base de l'analyse fonctionnelle linéaire: opérateurs bornés, opérateurs compacts, théorie spectrale pour les opérateurs symétriques et compacts, le théorème de Hahn-Banach, les théorèmes d

MATH-432: Probability theory

The course is based on Durrett's text book Probability: Theory and Examples.
It takes the measure theory approach to probability theory, wherein expectations are simply abstract integrals.

Metric Spaces: Topology and Continuity

Introduces metric spaces, topology, and continuity, emphasizing the importance of open sets and the Hausdorff property.

Stereographic Projection and Metric Tensors

Explores stereographic projection and metric tensors on hyperbolic planes, emphasizing isometry and conforming models.

Properties of Complete Spaces

Covers the properties of complete spaces, including completeness, expectations, embeddings, subsets, norms, Holder's inequality, and uniform integrability.

Rational number

In mathematics, a rational number is a number that can be expressed as the quotient or fraction \tfrac p q of two integers, a numerator p and a non-zero denominator q. For example, \tfrac{-3}{7} is a rational number, as is every integer (e.g., 5 = 5/1). The set of all rational numbers, also referred to as "the rationals", the field of rationals or the field of rational numbers is usually denoted by boldface Q, or blackboard bold \Q. A rational number is a real number.

Polish space

In the mathematical discipline of general topology, a Polish space is a separable completely metrizable topological space; that is, a space homeomorphic to a complete metric space that has a countable dense subset. Polish spaces are so named because they were first extensively studied by Polish topologists and logicians—Sierpiński, Kuratowski, Tarski and others. However, Polish spaces are mostly studied today because they are the primary setting for descriptive set theory, including the study of Borel equivalence relations.

Completely metrizable space