nLab sequentially Cauchy-complete space

Contents

Context

Analysis

Constructivism, Realizability, Computability

Contents

Definition

Let SS be a Cauchy space (such as a uniform space or a metric space). SS is sequentially Cauchy-complete if every Cauchy sequence in SS converges.

Note that this is usually just called Cauchy complete space in some areas of mathematics.

Examples

See also

References

Last revised on November 30, 2022 at 17:59:40. See the history of this page for a list of all contributions to it.