Uniform Continuity

Introduction

Ordinary continuity describes the local behaviour of a function, where small changes in the input near each point result in small changes in the output. This property can depend on the specific point, and in many contexts, a more robust form of continuity is required to ensure consistent regulation of oscillations across the entire domain. Uniform continuity addresses this need by requiring a single tolerance for input variations to apply everywhere in the set.

This stability property leads to several important consequences:

• Continuous functions can be extended from dense subsets to their closures.
• Integrability and limit operations behave in a controlled, predictable manner.
• Uncontrolled oscillations near infinity are prevented whenever the domain is compact.

Oscillations refer to the variation in the output values of a function over a given region, specifically how much the function rises and falls within a small portion of the domain. For example, the function $sin ⁡ ( 1 / x )$ near the origin exhibits infinite oscillations within any small interval, which makes its behaviour increasingly difficult to control.

Definition

Consider a function $f : A \subset \mathbb{R} \rightarrow \mathbb{R}$. The function is uniformly continuous on $A$ if, for every $\epsilon > 0$ there exists a $\delta > 0$ such that for all $x , y \in A$ the following implication holds:

The essential feature of this definition is that the value of $\delta$ depends solely on $\epsilon$, and not on the particular points $x$ and $y$. The same $\delta$ must be valid for every pair of points in the domain.

The distinction between continuity and uniform continuity is clarified by comparing the standard definition of continuity at a point $x_{0}$. A function is continuous at $x_{0}$ if, for every $\epsilon > 0$, there exists a $\delta > 0$, which may depend on $x_{0}$, such that:

The distinction lies in the dependence of $\delta$:

• For ordinary continuity, $\delta$ may vary with each point in the domain.
• For uniform continuity, a single value of $\delta$ is valid for all points in the set.

Heine–Cantor Theorem

The Heine–Cantor theorem establishes the conditions under which continuity implies uniform continuity. Specifically, on compact sets, the local property of continuity suffices to guarantee the existence of a single global control parameter $\delta$ applicable to the entire domain.

Let $K \subset \mathbb{R}$ be a compact set. If a function $f : K \rightarrow \mathbb{R}$ is continuous on $K$, then it is uniformly continuous on $K$. In particular, since compactness in $\mathbb{R}$ is equivalent to the set being closed and bounded, the theorem admits the following equivalent formulation:

If $f : [ a , b ] \rightarrow \mathbb{R}$ is continuous on a closed and bounded interval $[ a , b ]$, then $f$ is uniformly continuous on $[ a , b ]$.

The theorem identifies compactness as the precise structural property of the domain that prevents local continuity from degenerating into purely pointwise behaviour, ensuring instead a global form of regularity.

Sequential characterization

This formulation highlights that uniformly continuous functions preserve infinitesimal closeness between sequences, which is also why they map Cauchy sequences to Cauchy sequences.

This criterion is particularly useful for establishing that a function is not uniformly continuous, as shown in Example 1.

Example 1

In contrast, when the function is restricted to a closed and bounded interval $[ a , b ]$, it becomes uniformly continuous. On such domains, the growth of the function is effectively bounded. This can be made precise using the sequential characterization and considering the sequences defined by $x_{n} = n + \frac{1}{n}$ and $y_{n} = n .$ The difference between these sequences is given by:

The difference between the images of these sequences under the function satisfies:

This example clarifies the relationship between continuity and uniform continuity. In general terms we have:

• Continuity does not imply uniform continuity. A function may be continuous at every point of its domain without satisfying a single global $\delta$ that works uniformly for all pairs of points.
• Uniform continuity, however, is a stronger condition. If a function is uniformly continuous on $A$, then it is necessarily continuous at every point of $A$.

Lipschitz Continuity

A particular form of uniform continuity is Lipschitz continuity. A function $f : A \subset \mathbb{R} \rightarrow \mathbb{R}$ is said to be Lipschitz continuous on $A$ if there exists a constant $L > 0$, called a Lipschitz constant, such that, for all ( x,y \in A ) we have:

This condition guarantees that nearby points are mapped to nearby values and establishes a global linear bound on the function’s oscillation: the output’s variation is proportional to the input’s variation. The same constant $L$ must work everywhere on the domain. The implication for uniform continuity follows directly. Given any $\epsilon > 0$, selecting $\delta = \epsilon / L$ guarantees that:

Therefore, every Lipschitz continuous function is uniformly continuous.

However, the converse does not hold in general. A function may be uniformly continuous without satisfying any global linear bound of this form. Thus, Lipschitz continuity constitutes a strictly stronger condition.

A useful criterion links Lipschitz continuity to differentiability. If a function $f$ is differentiable on an interval and its derivative is bounded, that is, there exists $M > 0$ such that for all $x$ in the interval:

Then, by the Mean Value Theorem, $f$ is Lipschitz continuous with Lipschitz constant $L = M$. For any two points $x , y$ in the interval, there exists $c$ between them such that:

Geometrically, Lipschitz continuity restricts the steepness of the graph. The slopes of all secant lines are uniformly bounded in magnitude by $L$. Thus, the function cannot oscillate more rapidly than a fixed linear rate.

Example 2

The Heine–Cantor theorem guarantees uniform continuity whenever the domain is compact. However, compactness is a sufficient but not necessary condition, and uniform continuity can also hold on domains that are not compact. This example demonstrates this situation.

Consider the function $f ( x ) = sin ⁡ ( x )$ defined on the entire real line $\mathbb{R}$. The domain is unbounded and not compact, so uniform continuity is not guaranteed a priori and must be verified directly.

Here, $\delta$ depends solely on $\epsilon$, therefore, $f$ is uniformly continuous on $\mathbb{R}$.

The underlying reason is geometric: the sine function oscillates indefinitely, but its oscillations remain permanently bounded in amplitude, and its slope never exceeds one in absolute value, since $| f^{‘} ( x ) | = | cos ⁡ ( x ) | \leq 1$ everywhere. This global bound on the rate of change prevents the uncontrolled growth observed in Example 1 and ensures that a uniform $\delta$ is attainable across the entire real line.

Summary

Selected references

• MIT, S. Rodriguez. Uniform Continuity and Derivative
• University of Wisconsin–Madison, J.W. Robbin. Continuity and Uniform Continuity
• University of Maryland, D. Cellarosi. Uniform Continuity
• University of California, N. Donaldson. Continuity and Uniform Continuity
• Michigan State University, J. Shapiro. Notes on Uniform Continuity