[ *Updated on 8 Mar 13 to include Cauchy-continuity and added answers to exercises.* ]

We wish to generalise the concept of Cauchy sequences to metric spaces. Recall that on an intuitive level, a Cauchy sequence is one where the elements get “closer and closer”.

Definition. Let (X, d) be a metric space. A sequence in X is said to beCauchyif

- for any ε>0, there exists N such that whenever m, n > N, we have

Let’s list some basic results.

Proposition 1. A convergent sequence is Cauchy.

**Proof**.

Suppose in the metric space (*X*, *d*). For any ε>0, there exists *N* such that whenever *n* > *N*, we have Thus, whenever *m*, *n* > *N*, we have:

♦

Proposition 2. Let Y be a metric subspace of (X, d). Then a sequence in Y is Cauchy if and only if it’s Cauchy in X.

There’s nothing to prove here since *Y* inherits the distance function from *X*. However, this serves to highlight the fact that while a sequence from *Y* which converges in *X* may not be convergent in *Y*, the same problem doesn’t hold for Cauchy sequences, i.e. being Cauchy is a property of the sequence itself, regardless of the ambient space.

Proposition 3. If are sequences of metric spaces respectively, then is a Cauchy sequence of X × Y if and only if each of is Cauchy in the respective metric space.For the metric of X × Y, we can pick any one of the following:

- ;
- ;
- .

**Proof**

First suppose and are Cauchy. For any ε>0,

- there exists
*M*such that when*m*,*n*>*M*, we have - there exists
*N*such that when*m*,*n*>*N*, we have

Thus, when *m*, *n* > max(*M*, *N*), we have – for any metric *d* on *X* × *Y* in the above list –

For the converse, we use the fact that

and

for any one of three choices of *d*. ♦

One might ask if it’s necessary to consider all three metrics on *X* × *Y* since they all give rise to the same topology anyway. And this is where we drop the bombshell.

The concept of Cauchy sequences actually relies heavily on the metric and not just the underlying topology. In other words, it’s possible for two metrics on the same space to be topologically equivalent, but a sequence is Cauchy in one and not the other.

For example, consider the homeomorphism *f* : **R**^{+} → **R**^{+} of the space of positive reals given by *f*(*x*) = 1/*x*. The sequence is Cauchy, but the resulting sequence is not. Put in another way, we can define two metrics on **R**^{+} via and Then the sequence is Cauchy under the first metric but not the second.

The same example also tells us:

Definition. A function of metric spaces is said to beCauchy-continuousif whenever is a Cauchy sequence in X, is a Cauchy sequence in Y.

Warning.Not all continuous functions are Cauchy-continuous.

To rectify that, we need a stronger form of continuity.

## Uniform Continuity

The answer to our problem is the following definition. We had already seen it earlier in the case of **R**.

Definition. A map of metric spaces is said to beuniformly continuousif

- for any ε>0, there exists δ>0 such that whenever satisfies we have

Clearly, a uniformly continuous function is also continuous (at every point of *X*). But here’s an example where the converse is not true.

Take the function *f* : **R**^{+} → **R**^{+} given by *f*(*x*) = 1/*x* as before. This is clearly continuous. To show that it’s not uniformly continuous, negating the definition means we need to find an ε>0 such that for any δ>0, there exist *x* and *x’* such that |*x* – *x’*| < δ but |*f*(*x*) – *f*(*x’*)| ≥ ε.

This is not too hard: set ε=1. Now for any δ>0, pick a positive integer *n* > 1/δ and let We now have:

but

Next, the main result we’d like to prove is:

Theorem 4. If is a uniformly continuous map of metric spaces, then it is Cauchy-continuous.

**Proof**.

Let ε>0. Then:

- by uniform continuity of
*f*, there exists δ>0 such that whenever satisfies , we have - there exist
*N*such that when*m*,*n*>*N*, we get

Thus, when *m*, *n* > *N*, we get So is indeed a Cauchy sequence in *Y*. ♦

The following are some easy properties of uniformly continuous functions.

Proposition 5.

- If Y is a metric subspace of (X, d), then the inclusion map is uniformly continuous.
- If and are uniformly continuous functions of metric spaces, then so is
- The projection maps and are uniformly continuous, where the metric on X × Y is one of the three in proposition 3.

**Proof**.

The first two statements are obvious. The last follows from the inequality we saw earlier:

and

for any one of the three *d*. ♦

Finally, we end this article with some exercises on Cauchy and convergent sequences.

**Exercises**

- Prove that if is a Cauchy sequence in a metric space
*X*, then every subsequence is also Cauchy. - Prove that if is a convergent sequence in a topological space
*X*, then every subsequence is also convergent. - Suppose is a Cauchy sequence in a metric space
*X*. Prove that if a subsequence of is convergent, so is the entire sequence. - Prove that a Cauchy-continuous map of metric spaces is continuous.
- Find a Cauchy-continuous
*f*which is not uniformly continuous.

**Answers (Highlight to Read)**

- Suppose (
*x*) is Cauchy, and the subsequence indexed by_{n}*n*[1] <*n*[2] <*n*[3] … converges to*x*. For each ε>0, pick*N*such that (i) when*m*,*n*>*N*,*d*(*x*,_{m}*x*) < ε/2 and (ii) when_{n}*k*>*N*,*d*(*x*,_{n[k]}*x*) < ε/2. Thus, when*n*>*N*, we have*d*(*x*,_{n}*x*) ≤*d*(*x*,_{n}*x*) +_{n[k]}*d*(*x*,_{n[k]}*x*) < ε for some*k*>*N*. This proves that (*x*) →_{n}*x*.

- By theorem 6 in the previous article, it suffices to show that for any convergent (
*x*) →_{n}*x*in*X*, we have (*f*(*x*)) →_{n}*f*(*x*). Now construct a new sequence (*y*) by interspersing (_{n}*x*) and_{n}*x*:*y*_{2n}=*x*and_{n}*y*_{2n-1}=*x*, for*n*= 1, 2, … . Then (*y*) still converges to_{n}*x*, so it’s Cauchy; since*f*is Cauchy-continuous, (*f*(*y*)) is Cauchy too. But (_{n}*f*(*y*)) has a subsequence (_{n}*f*(*x*),*f*(*x*), … ), so by Q3, (*f*(*y*)) →_{n}*f*(*x*). - Take
*f*:**R**→**R**, given by*f*(*x*) =*x*^{2}.- Not uniformly continuous since we can set ε=2; if
*x*=*n*,*y*=*n*+ (1/*n*), then |*x*–*y*| = 1/*n*, but |*f*(*x*)-*f*(*y*)| > 2. - Cauchy-continuous since any Cauchy sequence (
*x*) in_{n}**R**must be convergent so (*f*(*x*)) is also convergent, and hence Cauchy._{n}

- Not uniformly continuous since we can set ε=2; if

## Summary

We have three related notions of continuity (for maps of metric spaces).

All implications are non-reversible since there’re counter-examples. The first two are only defined for maps between metric spaces while the last is a topological property.