complete metric space

Also found in: Wikipedia.

complete metric space

[kəm′plēt ¦me·trik ′spās]
A metric space in which every Cauchy sequence converges to a point of the space. Also known as complete space.

Complete Metric Space


a metric space in which the Cauchy convergence criterion is satisfied.

A sequence of points x1, x2, …, xn, … on a line, in a plane, or in space is said to be a Cauchy, or fundamental, sequence if for sufficiently large numbers n and m the distance between the points xn and xm becomes arbitrarily small. According to the Cauchy criterion, such a sequence of points has a limit if, and only if, it is a Cauchy sequence. For many sets of mathematical objects, such as functions or operators, a concept of distance can be introduced that has properties analogous to the properties of ordinary distance. The set is then said to be a metric space. The concept of the limit of a sequence of points in the metric space can be defined in the usual way. If the Cauchy criterion holds, the space is called complete.

Examples of complete metric spaces are Euclidean spaces and many other linear spaces—for example, the space of continuous functions on the interval [a, b] with distance

and Hubert space. A closed subset of a complete metric space is itself a complete metric space. If a metric space is not complete, it can be made complete in a way analogous to the way the set of rational numbers can be augmented by the irrationals to form the set of real numbers.

The concept of completeness can be extended to nonmetric topological spaces in which neighborhoods of different points can be compared. Examples of such spaces are topological groups and rings.

complete metric space

A metric space in which every sequence that converges in itself has a limit. For example, the space of real numbers is complete by Dedekind's axiom, whereas the space of rational numbers is not - e.g. the sequence a[0]=1; a[n_+1]:=a[n]/2+1/a[n].
References in periodicals archive ?
1985): Let (X,d) be a complete metric space and T: X [right arrow] X a contraction mapping with contraction factor c [member of] [0,1).
5] generalized the Banach contraction principle by using two closed subsets of a complete metric space.
Non-Archimedean Alternative Contraction Principle) If (X, d) is a non-Archimedean generalized complete metric space and J: X [right arrow] X a strictly contractive mapping (that is d(J(x), J(y)) [greater than or equal to] Ld(y, x), for all x, y [member of] X and a Lipschitz constant L > 1), then either
A time scale T is a nonempty closed subset of the real numbers, so that it is a complete metric space with the metric d(t, s) = |t - s|.
j = 1] of contractive maps defined on a complete metric space, there exists a unique compactum K satisfying K = [[union].
Sengonul and Eryilmaz in [11] introduced and studied bounded and convergent sequence spaces of interval numbers and showed that these spaces are complete metric space.
In the following we work with multimeasures defined on the Borel [sigma]-algebra F of a complete metric space [OMEGA].
4] Some fixed point Theorems in complete metric space.
Obviously, (J(X, Y), d) is a complete metric space.
The contractive condition takes the form d(fx,fy) [less than or equal to] kd(gx, gy), where f and g are selfmaps of a complete metric space X and k is a constant satisfying 0 [less than or equal to] k < 1.
It is known that (D, [delta]) is a complete metric space.

Full browser ?