TOPICS
Search

Completion


A metric space X which is not complete has a Cauchy sequence which does not converge. The completion of X is obtained by adding the limits to the Cauchy sequences.

For example, the rational numbers, with the distance metric, are not complete because there exist Cauchy sequences that do not converge, e.g., 1, 1.4, 1.41, 1.414, ... does not converge because sqrt(2) is not rational. The completion of the rationals is the real numbers. Note that the completion depends on the metric. For instance, for any prime p, the rationals have a metric given by the p-adic norm, and then the completion of the rationals is the set of p-adic numbers. Another common example of a completion is the space of L2-functions.

Technically speaking, the completion of X is the set of Cauchy sequences and X is contained in this set, isometrically, as the constant sequences.


See also

Cauchy sequence, L2-Space, Local Field, Metric Space, p-adic Number, Real Number

This entry contributed by Todd Rowland

Explore with Wolfram|Alpha

Cite this as:

Rowland, Todd. "Completion." From MathWorld--A Wolfram Web Resource, created by Eric W. Weisstein. https://mathworld.wolfram.com/Completion.html

Subject classifications