Uniform Continuity
Uniform continuity demands one δ \delta δ that works at every point x x x — δ \delta δ may depend on ε \varepsilon ε alone, never on x x x . Watch the required δ \delta δ shrink as x x x grows for f ( x ) = x 2 f(x) = x^2 f ( x ) = x 2 , so no single δ \delta δ covers all of R \mathbb{R} R .
δ = x 2 + ε − ∣ x ∣ \delta = \sqrt{x^2+\varepsilon} - \lvert x\rvert δ = x 2 + ε − ∣ x ∣
δ = ε / 2 \delta = \varepsilon / 2 δ = ε /2
Part of these learning paths
Examples & Exercises
Prove a Lipschitz function (some L L L with ∣ f ( x ) − f ( y ) ∣ ≤ L ∣ x − y ∣ \lvert f(x)-f(y)\rvert \leq L\lvert x-y\rvert ∣ f ( x ) − f ( y )∣ ≤ L ∣ x − y ∣ ) is uniformly continuous.
δ = ε / L \delta = \varepsilon / L δ = ε / L
f ( x ) = 2 x f(x) = 2x f ( x ) = 2 x , x = 2 x = 2 x = 2 , ε = 0.5 \varepsilon = 0.5 ε = 0.5 — a Lipschitz function with L = 2 L = 2 L = 2 .
Show proof
Let f f f be Lipschitz with constant L ≥ 0 L \geq 0 L ≥ 0 . If L = 0 L = 0 L = 0 , then f f f is constant and any δ > 0 \delta > 0 δ > 0 works. Assume L > 0 L > 0 L > 0 .
Given ε > 0 \varepsilon > 0 ε > 0 , put δ = ε / L \delta = \varepsilon/L δ = ε / L — δ \delta δ depends on ε \varepsilon ε alone, never on x x x .
For any x , y x, y x , y with ∣ x − y ∣ < δ \lvert x - y\rvert < \delta ∣ x − y ∣ < δ we have ∣ f ( x ) − f ( y ) ∣ ≤ L ∣ x − y ∣ < L δ = ε \lvert f(x) - f(y)\rvert \leq L\lvert x - y\rvert < L\delta = \varepsilon ∣ f ( x ) − f ( y )∣ ≤ L ∣ x − y ∣ < L δ = ε .
Hence the same δ \delta δ works at every point x x x , so f f f is uniformly continuous.
Prove f ( x ) = x 2 f(x)=x^2 f ( x ) = x 2 is uniformly continuous on [ 0 , 1 ] [0,1] [ 0 , 1 ] .
∣ x 2 − y 2 ∣ = ∣ x − y ∣ ∣ x + y ∣ ≤ 2 ∣ x − y ∣ \lvert x^2-y^2\rvert = \lvert x-y\rvert\lvert x+y\rvert \leq 2\lvert x-y\rvert ∣ x 2 − y 2 ∣ = ∣ x − y ∣ ∣ x + y ∣ ≤ 2 ∣ x − y ∣
x = 0.5 x = 0.5 x = 0.5 , ε = 0.5 \varepsilon = 0.5 ε = 0.5 — on [ 0 , 1 ] [0,1] [ 0 , 1 ] the single δ = ε / 2 \delta = \varepsilon/2 δ = ε /2 suffices.
Show proof
Let x , y ∈ [ 0 , 1 ] x, y \in [0,1] x , y ∈ [ 0 , 1 ] . Then ∣ x 2 − y 2 ∣ = ∣ x − y ∣ ∣ x + y ∣ \lvert x^2 - y^2\rvert = \lvert x - y\rvert \lvert x + y\rvert ∣ x 2 − y 2 ∣ = ∣ x − y ∣ ∣ x + y ∣ , and since x + y ≤ 2 x + y \leq 2 x + y ≤ 2 , we get ∣ x 2 − y 2 ∣ ≤ 2 ∣ x − y ∣ \lvert x^2 - y^2\rvert \leq 2\lvert x - y\rvert ∣ x 2 − y 2 ∣ ≤ 2 ∣ x − y ∣ — i.e. x 2 x^2 x 2 is Lipschitz on [ 0 , 1 ] [0,1] [ 0 , 1 ] with constant 2 2 2 .
Given ε > 0 \varepsilon > 0 ε > 0 , put δ = ε / 2 \delta = \varepsilon/2 δ = ε /2 — independent of x x x . If ∣ x − y ∣ < δ \lvert x - y\rvert < \delta ∣ x − y ∣ < δ , then ∣ x 2 − y 2 ∣ ≤ 2 ∣ x − y ∣ < 2 δ = ε \lvert x^2 - y^2\rvert \leq 2\lvert x - y\rvert < 2\delta = \varepsilon ∣ x 2 − y 2 ∣ ≤ 2 ∣ x − y ∣ < 2 δ = ε .
Hence f ( x ) = x 2 f(x) = x^2 f ( x ) = x 2 is uniformly continuous on [ 0 , 1 ] [0,1] [ 0 , 1 ] . — on a bounded interval the "slope factor" ∣ x + y ∣ \lvert x + y\rvert ∣ x + y ∣ is capped, so one δ \delta δ suffices.
Prove f ( x ) = x 2 f(x)=x^2 f ( x ) = x 2 is not uniformly continuous on R \mathbb{R} R .
x n = n , y n = n + δ / 2 x_n = n,\quad y_n = n + \delta/2 x n = n , y n = n + δ /2
x = 3 x = 3 x = 3 , ε = 0.5 \varepsilon = 0.5 ε = 0.5 — at large x x x the admissible δ \delta δ shrinks to almost nothing.
Show proof
Take ε 0 = 1 \varepsilon_0 = 1 ε 0 = 1 . Let δ > 0 \delta > 0 δ > 0 be arbitrary — a δ \delta δ depending only on ε 0 \varepsilon_0 ε 0 would have to work for every pair of points.
Choose an integer n > 1 / δ n > 1/\delta n > 1/ δ and put x = n x = n x = n , y = n + δ / 2 y = n + \delta/2 y = n + δ /2 . Then ∣ x − y ∣ = δ / 2 < δ \lvert x - y\rvert = \delta/2 < \delta ∣ x − y ∣ = δ /2 < δ .
But ∣ x 2 − y 2 ∣ = ∣ y − x ∣ ∣ y + x ∣ = δ 2 ( 2 n + δ 2 ) = n δ + δ 2 4 > 1 = ε 0 \lvert x^2 - y^2\rvert = \lvert y - x\rvert \lvert y + x\rvert = \frac{\delta}{2}\left(2n + \frac{\delta}{2}\right) = n\delta + \frac{\delta^2}{4} > 1 = \varepsilon_0 ∣ x 2 − y 2 ∣ = ∣ y − x ∣ ∣ y + x ∣ = 2 δ ( 2 n + 2 δ ) = n δ + 4 δ 2 > 1 = ε 0 , since n > 1 / δ n > 1/\delta n > 1/ δ gives n δ > 1 n\delta > 1 n δ > 1 .
Hence no δ \delta δ works for all pairs, so f ( x ) = x 2 f(x) = x^2 f ( x ) = x 2 is not uniformly continuous on R \mathbb{R} R . — the required δ \delta δ tends to 0 0 0 as x x x grows.
3. Continuity