limits and continuity
Uniform Continuity
You should know: epsilon delta
Overview
A function f is continuous at each point of its domain if, near every point a, a suitable δ can be found for each ε (δ may depend on a). Uniform continuity strengthens this: a single δ must work simultaneously for every point in the domain, for a given ε. Every uniformly continuous function is continuous, but the converse fails — f(x) = 1/x on (0,1) is continuous at every point yet not uniformly continuous, because the required δ shrinks without bound as x approaches 0. A key theorem (Heine–Cantor) guarantees that continuity and uniform continuity coincide on compact sets, such as closed bounded intervals [a,b].
Intuition
Ordinary continuity lets you pick a fresh δ tailored to each point a — you're allowed to 'zoom in' more aggressively wherever the function is steep or wild. Uniform continuity denies you that luxury: you must commit to one δ that works everywhere in the domain at once. This is why f(x)=1/x fails uniform continuity on (0,1): near x=0 the function is arbitrarily steep, so no matter how small a δ you pick, points x, y within δ of each other near 0 can still have wildly different f-values — you'd need an ever-smaller δ as you approach 0, but uniform continuity forbids letting δ depend on where you are.
Formal Definition
A function f: D → ℝ is uniformly continuous on D if:
δ depends only on ε, not on the location of x or y in D
Worked Examples
Compute |f(x)-f(y)| directly in terms of |x-y|.
Given ε, choose δ = ε/2, independent of x and y.
Then |x-y|<δ forces |f(x)-f(y)| = 2|x-y| < 2(ε/2) = ε for all x,y ∈ ℝ.
Answer: δ = ε/2 works uniformly for all x, y ∈ ℝ, so f is uniformly continuous.
Practice Problems
Show f(x) = x² is uniformly continuous on [0,3] but find why the same δ argument fails on all of ℝ.
The Heine–Cantor theorem guarantees that a continuous function is automatically uniformly continuous when its domain is:
Prove that a uniformly continuous function on a bounded interval maps Cauchy sequences to Cauchy sequences.
Quiz
Summary
- Uniform continuity requires ∀ε>0 ∃δ>0 such that ∀x,y in the domain, |x-y|<δ ⟹ |f(x)-f(y)|<ε — δ depends only on ε.
- Every uniformly continuous function is continuous, but the converse fails (e.g. f(x)=1/x on (0,1)).
- The Heine–Cantor theorem guarantees continuity implies uniform continuity on any compact domain, such as a closed bounded interval.
Mathematics