Encyclopedia

Cauchy-continuous function

Wikipedia contributorsAdapted for Fathomly · View authors

2 min read
Source updated November 9, 2025

In mathematics, a Cauchy-continuous, or Cauchy-regular, function is a special kind of continuous function between metric spaces (or more general spaces). Cauchy-continuous functions have the useful property that they can always be (uniquely) extended to the Cauchy completion of their domain.

01Definition

Let $X$ and $Y$ be metric spaces, and let $f:X\to Y$ be a function from $X$ to $Y.$ Then $f$ is Cauchy-continuous if and only if, given any Cauchy sequence $\left(x_{1},x_{2},\ldots \right)$ in $X,$ the sequence $\left(f\left(x_{1}\right),f\left(x_{2}\right),\ldots \right)$ is a Cauchy sequence in $Y.$

02Properties

Every uniformly continuous function is also Cauchy-continuous. Conversely, if the domain $X$ is totally bounded, then every Cauchy-continuous function is uniformly continuous. More generally, even if $X$ is not totally bounded, a function on $X$ is Cauchy-continuous if and only if it is uniformly continuous on every totally bounded subset of $X.$

Every Cauchy-continuous function is continuous. Conversely, if the domain $X$ is complete, then every continuous function is Cauchy-continuous. More generally, even if $X$ is not complete, as long as $Y$ is complete, then any Cauchy-continuous function from $X$ to $Y$ can be extended to a continuous (and hence Cauchy-continuous) function defined on the Cauchy completion of $X;$ this extension is necessarily unique.

Combining these facts, if $X$ is compact, then continuous maps, Cauchy-continuous maps, and uniformly continuous maps on $X$ are all the same.

03Examples and non-examples

Since the real line $\mathbb {R}$ is complete, continuous functions on $\mathbb {R}$ are Cauchy-continuous. On the subspace $\mathbb {Q}$ of rational numbers, however, matters are different. For example, define a two-valued function so that $f(x)$ is $0$ when $x^{2}$ is less than $2$ but $1$ when $x^{2}$ is greater than $2.$ (Note that $x^{2}$ is never equal to $2$ for any rational number $x.$ ) This function is continuous on $\mathbb {Q}$ but not Cauchy-continuous, since it cannot be extended continuously to $\mathbb {R} .$ On the other hand, any uniformly continuous function on $\mathbb {Q}$ must be Cauchy-continuous. For a non-uniform example on $\mathbb {Q} ,$ let $f(x)$ be $2^{x}$ ; this is not uniformly continuous (on all of $\mathbb {Q}$ ), but it is Cauchy-continuous. (This example works equally well on $\mathbb {R} .$ )

A Cauchy sequence $\left(y_{1},y_{2},\ldots \right)$ in $Y$ can be identified with a Cauchy-continuous function from $\left\{1,1/2,1/3,\ldots \right\}$ to $Y,$ defined by $f\left(1/n\right)=y_{n}.$ If $Y$ is complete, then this can be extended to $\left\{1,1/2,1/3,\ldots \right\}\cup \{0\};$ $f(0)$ will be the limit of the Cauchy sequence.

04Generalizations

Cauchy continuity makes sense in situations more general than metric spaces, but then one must move from sequences to nets (or equivalently filters). The definition above applies, as long as the Cauchy sequence $\left(x_{1},x_{2},\ldots \right)$ is replaced with an arbitrary Cauchy net. Equivalently, a function $f$ is Cauchy-continuous if and only if, given any Cauchy filter ${\mathcal {F}}$ on $X,$ then $f({\mathcal {F}})$ is a Cauchy filter base on $Y.$ This definition agrees with the above on metric spaces, but it also works for uniform spaces and, most generally, for Cauchy spaces.

Any directed set $A$ may be made into a Cauchy space. Then given any space $Y,$ the Cauchy nets in $Y$ indexed by $A$ are the same as the Cauchy-continuous functions from $A$ to $Y.$ If $Y$ is complete, then the extension of the function to $A\cup \{\infty \}$ will give the value of the limit of the net. (This generalizes the example of sequences above, where 0 is to be interpreted as ${\frac {1}{\infty }}.$ )

Watch videos about Cauchy-continuous functionExplainers and documentaries on YouTube (opens in a new tab)

Sources and credits

This article is adapted from the Wikipedia article “Cauchy-continuous function”, written by its contributors and licensed under CC BY-SA 4.0. Fathomly has changed the layout, removed citation markers, navigation and maintenance notices, and adjusted punctuation. This adapted version is shared under the same license. For references, see the original article.

Fathomly is not affiliated with or endorsed by the Wikimedia Foundation. Spotted a problem? Tell us.

Cauchy-continuous function

01Definition

02Properties

03Examples and non-examples

04Generalizations

Sources and credits

Related topics

Cauchy space

Heine-Cantor theorem