Continuity and Uniform Continuity — Formal Treatment

⚡ Key Takeaways

Continuity means small input changes produce small output changes near a fixed point; uniform continuity demands a single rate of control that works everywhere on a set at once. Key result: every continuous function on a compact set is automatically uniformly continuous (Heine–Cantor). Applies throughout real analysis, metric space theory, and numerical analysis. Formalized by Cauchy, Weierstrass, Bolzano, and Heine in the 19th century.

💡 The Core Insight

Continuity is a local, pointwise property: the order of quantifiers is $\forall x_0\,\forall\varepsilon\,\exists\delta$ . Uniform continuity is a global property: the order becomes $\forall\varepsilon\,\exists\delta\,\forall x$ . Swapping the quantifier $\exists\delta$ before $\forall x$ is the entire content of the distinction—the $\delta$ must be chosen before you know which point you are looking at.

DefinitionContinuity at a Point

Let $f:D\to\mathbb{R}$ with $D\subseteq\mathbb{R}$ and $x_0\in D$ . Then $f$ is continuous at $x_0$ if

1

\quad \forall\varepsilon>0\;\exists\delta>0\;\forall x\in D:\;|x-x_0|<\delta\implies |f(x)-f(x_0)|<\varepsilon.

Derivation hint: This is the $\varepsilon$ – $\delta$ unpacking of $\lim_{x\to x_0}f(x)=f(x_0)$ ; the $\delta$ may legitimately depend on the pair $(\varepsilon, x_0)$ . Here $\varepsilon$ is the output tolerance, $\delta$ the input radius, $x_0$ the base point, and $D$ the domain. The function is continuous on $D$ if it is continuous at every $x_0\in D$ .

DefinitionUniform Continuity

A function $f:D\to\mathbb{R}$ is uniformly continuous on $D$ if

2

\quad \forall\varepsilon>0\;\exists\delta>0\;\forall x,y\in D:\;|x-y|<\delta\implies |f(x)-f(y)|<\varepsilon.

Derivation hint: Move the $\exists\delta$ to the left of all point quantifiers; now a single $\delta(\varepsilon)$ must control every pair $(x,y)$ of nearby points. The crucial structural difference from [1] is that $\delta=\delta(\varepsilon)$ has no dependence on the location of $x$ or $y$ .

DefinitionModulus of Continuity

The modulus of continuity of $f$ on $D$ is the function

3

\quad \omega_f(t)=\sup\{\,|f(x)-f(y)| : x,y\in D,\;|x-y|\le t\,\},\qquad t\ge 0.

Derivation hint: Take the supremum of output gaps over all input pairs separated by at most $t$ . Then $f$ is uniformly continuous on $D$ iff $\omega_f(t)\to 0$ as $t\to 0^+$ . This recasts a logical condition into a single limit.

TheoremHeine–Cantor Theorem

If $K\subseteq\mathbb{R}$ is compact (closed and bounded) and $f:K\to\mathbb{R}$ is continuous, then $f$ is uniformly continuous on $K$ .

TheoremLipschitz ⟹ Uniform Continuity

If there exists $L\ge 0$ such that

4

\quad |f(x)-f(y)|\le L\,|x-y|\qquad\forall x,y\in D,

Derivation hint: Bound the output gap linearly by the input gap; this is the Lipschitz condition. then $f$ is uniformly continuous on $D$ : given $\varepsilon$ , choose $\delta=\varepsilon/L$ (for $L>0$ ). The converse fails—uniform continuity does not imply Lipschitz (see $\sqrt{x}$ below).

ProofHeine–Cantor via Contradiction

Claim. Continuous $f$ on compact $K$ is uniformly continuous.

Step 1. Suppose not. Then the negation of [2] holds: there exists a bad $\varepsilon_0>0$ such that for every $\delta>0$ some pair fails. Take $\delta=\tfrac{1}{n}$ for each $n\in\mathbb{N}$ .

Step 2. For each $n$ obtain points $x_n,y_n\in K$ with

5

\quad |x_n-y_n|<\tfrac{1}{n}\quad\text{yet}\quad |f(x_n)-f(y_n)|\ge\varepsilon_0.

Derivation hint: This is the literal failure of uniform continuity at scale $\delta=1/n$ .

Step 3. Since $K$ is compact, the Bolzano–Weierstrass theorem gives a convergent subsequence $x_{n_k}\to p\in K$ .

Step 4. Because $|x_{n_k}-y_{n_k}|<\tfrac{1}{n_k}\to 0$ , the companion subsequence also satisfies $y_{n_k}\to p$ .

Step 5. By continuity of $f$ at $p$ ,

6

\quad f(x_{n_k})\to f(p)\quad\text{and}\quad f(y_{n_k})\to f(p),

Derivation hint: Sequential characterization of continuity applied to both sequences converging to the same limit $p$ . so $|f(x_{n_k})-f(y_{n_k})|\to 0$ . This contradicts $|f(x_{n_k})-f(y_{n_k})|\ge\varepsilon_0>0$ from Step 2. Hence $f$ is uniformly continuous. $\blacksquare$

∎

ProofSequential Criterion for Failure of Uniform Continuity

$f$ is not uniformly continuous on $D$ iff there exist sequences $(x_n),(y_n)$ in $D$ with

7

\quad |x_n-y_n|\to 0\quad\text{but}\quad |f(x_n)-f(y_n)|\not\to 0.

Derivation hint: Directly negate [2]; "fails for some $\varepsilon_0$ at every $\delta$ " produces witness sequences with vanishing input gap and non-vanishing output gap. This is the standard tool for disproving uniform continuity in concrete cases.

∎

EH

Eduard Heine

1821–1881

Heine, working in Halle, gave in 1872 the first rigorous published proof that continuity on a closed bounded interval implies what we now call uniform continuity, building on Weierstrass's lectures and Bolzano's earlier unpublished insights. The compactness-based argument was later abstracted by Cantor, and the result bears both names. Heine's broader program—pinning down the exact hypotheses under which limit operations may be exchanged—was central to the 19th-century "arithmetization of analysis" that replaced geometric intuition with $\varepsilon$ – $\delta$ rigor.

🧠 Intuition

Picture an $\varepsilon$ -wide horizontal band and a $\delta$ -wide vertical strip sliding along the graph. Continuity says: at each fixed point you can find some strip width keeping the curve inside the band there—but the required width may shrink to zero as you move into a steep region. Uniform continuity says: one strip width works everywhere at once; you can carry the same $\delta$ -box along the whole graph and never have the curve escape the $\varepsilon$ -band. On a finite closed interval the function "can't get away" because compactness forbids the slope from blowing up unboundedly while staying continuous; on an open or infinite domain the function can sneak off to steeper and steeper behavior near a missing endpoint or out at infinity.

Figure

The

\delta

-box test:

f(x)=1/x

on

(0,1)

needs a smaller

\delta

near

0

Example

f(x)=x^2

on

\mathbb{R}

is NOT uniformly continuous

Given. $f(x)=x^2$ , $D=\mathbb{R}$ . Test using the sequential criterion [7].

Step 1. Choose $x_n=n+\tfrac{1}{n}$ and $y_n=n$ . Then

8

\quad |x_n-y_n|=\tfrac{1}{n}\to 0.

Derivation hint: Pick two sequences whose separation vanishes but that march off to infinity together.

Step 2. Compute the output gap:

9

\quad |f(x_n)-f(y_n)|=\left(n+\tfrac1n\right)^2-n^2=2+\tfrac{1}{n^2}\ge 2.

Derivation hint: Expand $(n+1/n)^2=n^2+2+1/n^2$ and subtract $n^2$ .

Step 3. The output gap stays $\ge 2$ while the input gap $\to 0$ . By [7], $f$ is not uniformly continuous.

\boxed{x^2\text{ is continuous on }\mathbb{R}\text{ but NOT uniformly continuous; }\varepsilon_0=2\text{ works as the bad tolerance.}}

Example

f(x)=\sqrt{x}

on

[0,\infty)

IS uniformly continuous

Given. $f(x)=\sqrt x$ , $D=[0,\infty)$ . Find $\delta(\varepsilon)$ .

Step 1. Use the algebraic inequality (valid for all $x,y\ge 0$ ):

10

\quad |\sqrt{x}-\sqrt{y}|\le\sqrt{|x-y|}.

Derivation hint: From $(\sqrt x-\sqrt y)^2=x+y-2\sqrt{xy}\le |x-y|$ since $x+y-2\sqrt{xy}\le |x-y|$ holds for $x,y\ge0$ ; take square roots.

Step 2. Given $\varepsilon>0$ , choose $\delta=\varepsilon^2$ . Then $|x-y|<\delta$ gives

11

\quad |\sqrt x-\sqrt y|\le\sqrt{|x-y|}<\sqrt{\delta}=\varepsilon.

Derivation hint: Substitute $\delta=\varepsilon^2$ into [10] and simplify the square root.

Step 3. This $\delta$ depends on $\varepsilon$ alone, so [2] holds globally.

\boxed{\sqrt{x}\text{ is uniformly continuous on }[0,\infty)\text{ with }\delta=\varepsilon^2,\text{ yet it is }not\text{ Lipschitz (slope }\to\infty\text{ at }0).}

⚠️ Common mistake

Uniform continuity is a property of a function on a set, not of a function alone. The very same formula $f(x)=1/x$ is uniformly continuous on $[1,\infty)$ but not on $(0,1)$ . Always state the domain. Likewise, " $f$ is continuous on a bounded set" does not imply uniform continuity—the set must also be closed (compact). And differentiability with bounded derivative gives Lipschitz hence uniform continuity, but unbounded derivative says nothing by itself: $\sqrt{x}$ has unbounded derivative yet is uniformly continuous.

CounterexampleContinuous but not uniformly continuous on

(0,1)

Take $f(x)=\sin(1/x)$ on $(0,1)$ . It is continuous everywhere on the open interval, and bounded by $1$ . Let $x_n=\tfrac{1}{2\pi n}$ and $y_n=\tfrac{1}{2\pi n+\pi/2}$ . Then $|x_n-y_n|\to 0$ , but $f(x_n)=\sin(2\pi n)=0$ while $f(y_n)=\sin(2\pi n+\pi/2)=1$ , so the output gap is constantly $1$ . By [7] it is not uniformly continuous—the oscillation crowds infinitely near $0$ , defeating any single $\delta$ .

connection

Uniform continuity sits between mere Continuity at a Point and the stronger metric notions of Lipschitz Continuity and Hölder Continuity: Lipschitz ⟹ Hölder ⟹ uniformly continuous ⟹ continuous, with each implication strict. The Heine–Cantor theorem is a manifestation of Compactness in Metric Spaces, and the modulus-of-continuity formulation connects to Equicontinuity in the Arzelà–Ascoli theorem. Uniform continuity is precisely the regularity needed to extend a function continuously from a dense subset (e.g. $\mathbb{Q}$ ) to its completion, linking it to Completion of Metric Spaces and to the construction of the Riemann Integral, where uniform continuity guarantees integrability of continuous functions on $[a,b]$ .

🔬 Where this appears

⏳ History

- 1817 — Bernard Bolzano, in Rein analytischer Beweis, gives an early rigorous (if unpublished-in-influence)

\varepsilon

-style definition of continuity, anticipating uniform continuity implicitly.

- 1821 — Augustin-Louis Cauchy's Cours d'analyse defines continuity via infinitesimals, conflating pointwise and uniform notions—a famous source of later confusion.

- 1853 — Cauchy "proves" that a convergent series of continuous functions has a continuous sum, an error traceable to missing uniformity assumptions.

- 1854 — Bernhard Riemann's integration theory implicitly relies on uniform continuity of continuous functions on intervals.

- 1861–1870 — Karl Weierstrass, in Berlin lectures, sharply distinguishes pointwise from uniform behavior, introducing modern

\varepsilon

–

\delta

language and uniform continuity explicitly.

- 1870 — Heinrich Eduard Heine articulates uniform continuity in print and connects it to closed bounded intervals.

- 1872 — Heine publishes the proof now called the Heine–Cantor theorem; Georg Cantor's work on closed sets supplies the compactness backbone.

- 1895–1906 — Émile Borel and Henri Lebesgue formalize the covering (compactness) principle, recasting Heine–Cantor as a corollary of the Heine–Borel theorem.

- 1906 — Maurice Fréchet's thesis abstracts these ideas to general metric spaces, giving uniform continuity its modern setting.

open-problem

On general topological spaces uniform continuity is not even definable—it requires a uniform structure (Weil, 1937) or a metric, since it speaks of "comparable closeness at different points." This raises subtle questions: which topological spaces admit a metric making a given continuous map uniformly continuous? In infinite dimensions, the Heine–Cantor theorem fails for non-compact closed bounded sets (closed unit balls are not compact), so uniform continuity becomes genuinely restrictive; characterizing the functions and spaces where continuity still upgrades to uniform continuity, and quantifying moduli of continuity sharply for solution operators of nonlinear PDEs, remains an active research theme in analysis and optimization.

Continuity and Uniform Continuity — Formal Treatment

Formal Statement

Why It Holds / Derivation

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also