19 Uniform Continuity
Continuity is a local property: to verify that a function is continuous, we look near individual points. But what if we want a global notion — one that controls the behavior of a function across its entire domain at once?
This brings us to uniform continuity, a stronger condition that ensures a single δ works for all points in the domain. While every uniformly continuous function is continuous, the reverse is not always true.
In this chapter, we will: - Define uniform continuity and explore how it differs from ordinary continuity. - Test whether standard operations like addition, multiplication, and inversion preserve uniform continuity. - Prove two deep results that make uniform continuity especially useful: that it ensures extendability and automatically holds for continuous functions on closed intervals.
Definition 19.1 (Uniform Continuity:
Here’s an example showing how to use the definition, proving
Example 19.1
Proof (Scratch). Here’s some scratch work: let
Proof (Rigorous). Let
For normal continuity, we had a way to test using sequences. This proved quite useful since we are so good at working with sequences these days. There is an analog for uniform continuity as well
Exercise 19.1 (Sequences and Uniform Continuity) A function
Uniform continuity is stricter than regular continuity: there are functions which are continuous but are not uniformly continuous. Here we see
Example 19.2 The function
The sequence
These examples show that uniform continuity is genuinely stronger than ordinary continuity. In particular, the failure of uniform continuity for f(x) = 1/x on (0,1) highlights that local control is not enough — behavior near the edges matters, and if the function “does something crazy” (here a vertical asymptote) we won’t be able to find a uniform
Theorem 19.1 (Uniformly Continuity Preserves Cauchy Sequences) If
Proof. Let
Great way to check if a function is not uniformly continuous: can you find a cauchy seq taken to a non-cauchy sequence?
Example (PICTURE) functions like
WARNING: does not work in reverse: the function
Definition 19.2 (Cauchy Continuous Functions) A real valued function
19.1 Properties of Uniformly Continuous Functions
In a previous chapter, we showed that continuous functions behave well under addition, multiplication, and composition. Now we ask: do these same operations preserve uniform continuity? The answers are a little more nuanced. Let’s go through them carefully.
Proposition 19.1 (Constant Multiples of Uniformly Continuous Functions) Let
Proof. If
Exercise 19.2 (Sums of Uniformly Continuous Functions) Let
From these it follows that
Example 19.3 (Reciprocals need not be Uniformly Continuous) The function
Proof. Fx any
This generalizes directly to reciprocals: if
Exercise 19.3 Let
What about products? Again we need a boundedness assumption:
Exercise 19.4 (Uniform Continuity and Products) Let
Proof. Since
Exercise 19.5 Show that this boundedness assumption is necessary by giving an example of two uniformly continuous functions whose product is not uniformly continuous.
Proposition 19.2 (Composition of Uniformly Continuous) Let
Proof. Choose
Like reciprocals, inverses pose a problem:
Exercise 19.6 (Inverses and Uniform Continuity) Give an example of a uniformly continuous function whose inverse is not uniformly continuous.
Exercise 19.7 Prove that
19.2 Continuous Extension
So far uniform continuity seems to be a slightly more restrictive definition (requiring one to prove their choice of
Roughly speaking, if a function is uniformly continuous on an open interval, then we can define its values at the endpoints in a way that makes it continuous on the closed interval. This is not always possible for merely continuous functions, as we saw with f(x) = 1/x on (0,1). Uniform continuity makes all the difference.
Theorem 19.2 (Extending Uniform Continuity to Endpoints) If
We could stop to prove this here, but in fact the same technique proves a more general extension theorem of which this is a special case:
Theorem 19.3 (The Continuous Extension Theorem)
Proof. Proof sketch:
For (1): if
Next for (2): if
Note in the proof above we only used one property of uniformly continuous functions: that they take cauchy sequences to cauchy sequences. So this actually applies more generally, to Cauchy Continuous functions.
Corollary 19.1 (Continuous Extension of Cauchy Continuous Functions) If
19.3 Continuous on a Closed Interval
The continuous extension theorems provide a first (of several) motivations for being interested in this stronger notion of continuity. Hence its useful to develop some results for telling when a function which known a priori only to be continuous is in fact uniformly continuous. The most useful of these provides a surprisingly simple condition: so long as the domain is a closed interval, continuity and uniform continuity are equivalent!
Theorem 19.4 (Continuous
Proof. Assume for the sake of contradiction that
We can use this to produce a sequence: for
Thus, in fact we have two sequences
We will call the subsequences
Then since
In proof, use that we can simultaneously apply bolzano weierstrass to two sequences: this appears as an Exercise 9.14 back in the chapter on subsequences. If you didn’t do it then, you should prove this for yourself now.
Exercise 19.8 (Periodic Continuous Functions are Uniformly Continuous) Let