From Encyclopedia of Mathematics
Jump to: navigation, search

2010 Mathematics Subject Classification: Primary: 54E50 [MSN][ZBL] of a metric space $(X,d)$

Given a metric space $(X,d)$, a completion of $X$ is a triple $(Y,\rho,i)$ such that:

Often people refer to the metric space $(Y, \rho)$ as the completion. Both the space and the isometric embedding are unique up to isometries.

The standard construction of the completion is through Cauchy sequences and can be described as follows. Consider the set $Z$ of all possible Cauchy sequences $\{x_k\}$ of $X$ and introduce the equivalence relation \[ \{x_k\} \sim \{y_k\} \quad \iff \quad \lim_{k\to\infty} d (x_k, y_k)= 0\, . \] $Y$ is then the quotient space $Z/\sim$ endowed with the metric \[ \rho \left(\left[\{x_k\}\right], \left[\{y_k\}\right]\right) = \lim_{k\to\infty} d (x_k, y_k)\, . \] The map $i:X\to Y$ maps each element $x\in X$ in the constant sequence $x_n=x$.

A notion of completion can be introduced in general uniform spaces: the completion of a metric space is then just a special example. Another notable special example is than the completion of a topological vector space.

The concept of completion was first introduced by Cantor, who defined the space of real numbers as the completion of that of rational numbers, see real number


[Al] P.S. Aleksandrov, "Einführung in die Mengenlehre und die allgemeine Topologie" , Deutsch. Verlag Wissenschaft. (1984) (Translated from Russian)
[Du] J. Dugundji, "Topology" , Allyn & Bacon (1966) MR0193606 Zbl 0144.21501
[Ke] J.L. Kelley, "General topology" , Springer (1975)
[Ko] G. Köthe, "Topological vector spaces" , 1 , Springer (1969)
How to Cite This Entry:
Completion. 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