4.10.23Advanced Topics (Elite Level)

Uniform continuity — difference from pointwise

1,585 words7 min readdifficulty · medium3 backlinks

WHAT are we comparing?


HOW the gap appears — derive it from the slope

Take f(x)=x2f(x)=x^2 on R\mathbb{R}. Let's derive why δ\delta must shrink as xx grows.

For points x,yx,y: f(x)f(y)=x2y2=x+yxy.|f(x)-f(y)| = |x^2-y^2| = |x+y|\,|x-y|.

Why this step? Factoring exposes the amplifying factor x+y|x+y|: the same input gap xy|x-y| produces a bigger output gap where x+y|x+y| is large.

To force x2y2<ε|x^2-y^2|<\varepsilon we'd need xy<εx+y|x-y| < \dfrac{\varepsilon}{|x+y|}. As x+y|x+y|\to\infty this required gap 0\to 0. So no single δ>0\delta>0 can work for all x,yx,y:


The saving theorem (WHY compactness rescues us)

Sketch of WHY (first principles): Continuity gives a local δx\delta_{x} at each point. The balls (xδx/2,x+δx/2)(x-\delta_x/2,\,x+\delta_x/2) cover [a,b][a,b]. Compactness extracts a finite subcover. Take the minimum of finitely many δ\delta's (a Lebesgue-number argument) — a positive number δ\delta that works everywhere. On R\mathbb{R} (not compact) the inf of infinitely many shrinking δ\delta's can be 00, which is why x2x^2 fails.

Figure — Uniform continuity — difference from pointwise

A clean sufficient test (Lipschitz)


Common mistakes (steel-manned)


Flashcards

Pointwise vs uniform — what is the single structural difference?
Quantifier order: pointwise allows δ=δ(ε,x0)\delta=\delta(\varepsilon,x_0) (chosen after the point); uniform requires δ=δ(ε)\delta=\delta(\varepsilon) (one δ\delta for all points).
Write the uniform continuity definition.
ε>0δ>0x,yA:  xy<δf(x)f(y)<ε.\forall\varepsilon>0\,\exists\delta>0\,\forall x,y\in A:\;|x-y|<\delta\Rightarrow|f(x)-f(y)|<\varepsilon.
Why is x2x^2 not uniformly continuous on R\mathbb{R}?
x2y2=x+yxy|x^2-y^2|=|x+y||x-y|; the amplifier x+y|x+y| is unbounded, so no fixed δ\delta keeps the output gap <ε<\varepsilon everywhere.
State Heine–Cantor.
Continuous on a compact set (closed & bounded [a,b][a,b]) \Rightarrow uniformly continuous there.
Why does compactness give uniform continuity?
Local δ\delta-balls cover; finite subcover; take the minimum δ>0\delta>0 (Lebesgue number). On non-compact sets the inf can be 00.
Lipschitz \Rightarrow uniform continuity: what δ\delta works?
δ=ε/L\delta=\varepsilon/L, since f(x)f(y)Lxy<ε|f(x)-f(y)|\le L|x-y|<\varepsilon.
Give a uniformly continuous function with unbounded derivative.
x\sqrt x on [0,)[0,\infty); use xyxy|\sqrt x-\sqrt y|\le\sqrt{|x-y|}, take δ=ε2\delta=\varepsilon^2.
Why does continuity fail to give uniform continuity on (0,1)(0,1)?
(0,1)(0,1) isn't closed/compact; e.g. 1/x1/x blows up near 00, forcing δ0\delta\to0.

Recall Feynman: explain to a 12-year-old

Imagine drawing a graph and a rule: "if two dots are closer than δ\delta sideways, they're closer than ε\varepsilon up–down." Ordinary continuity lets you use a different sideways-rule in each region of the page — tiny steps where the curve is steep, big steps where it's flat. Uniform continuity says: I can pick one sideways-rule that works on the whole page at once. For a steep-forever curve like x2x^2, the curve gets so steep far out that no single rule survives — so it's continuous but not uniformly so. On a closed, finite stretch the curve can't get infinitely steep, so one rule always exists.

Connections

  • Continuity (pointwise) — the weaker condition this strengthens.
  • Heine–Cantor Theorem — compactness upgrades continuity to uniform.
  • Compactness / Lebesgue number lemma — engine behind the upgrade.
  • Lipschitz continuity — a strong sufficient condition.
  • Mean Value Theorem — links bounded derivative to Lipschitz.
  • Cauchy sequences — uniform continuity preserves Cauchyness; pointwise need not.

Concept Map

exists after forall

exists before forall

allows

requires

exposes

forces delta to 0

contradicts

enables

yields single delta

rescues

Quantifier order

Pointwise continuity

Uniform continuity

delta depends on x0 and eps

delta depends on eps only

Factor x2-y2 = |x+y||x-y|

Amplifying factor grows

x2 not uniform on R

Heine-Cantor theorem

Compactness of a,b

Finite subcover min delta

Hinglish (regional understanding)

Intuition Hinglish mein samjho

Dekho, pointwise continuity aur uniform continuity ka asli farq sirf ek cheez hai — quantifier ka order, yaani δ\delta kis cheez pe depend karta hai. Pointwise me har point x0x_0 ke liye apna alag δ\delta choose kar sakte ho: jahan curve steep hai wahan chhota δ\delta, jahan flat hai wahan bada δ\delta. Uniform me condition strong hai — ek hi δ\delta poore domain ke liye kaam karna chahiye, before kisi point ko dekhe.

Iska best example x2x^2 hai. x2y2=x+yxy|x^2-y^2|=|x+y|\,|x-y|. Yahan x+y|x+y| ek "amplifier" hai. R\mathbb{R} pe jaise jaise xx bada hota hai, same input gap se output gap bohot bada ho jata hai. Isliye koi fixed δ\delta kaam nahi karta — woh continuous hai par uniformly continuous nahi. Lekin agar tum [0,5][0,5] jaisa closed-bounded (compact) interval lo, to x+y10|x+y|\le 10 bound ho jata hai, aur δ=ε/10\delta=\varepsilon/10 sabke liye chal jata hai. Yahi Heine–Cantor theorem kehta hai: compact set pe continuity automatically uniform ban jati hai.

Do common galtiyan yaad rakho. Pehli: "continuous everywhere means uniformly continuous" — galat, kyunki unbounded domain pe δ\delta shrink karke 00 ho sakta hai. Doosri: "(0,1)(0,1) bounded hai to bas ho gaya" — nahi, (0,1)(0,1) closed nahi hai, isliye 1/x1/x wahan continuous hai par uniformly continuous nahi (zero ke paas blow up). Aur ek surprise: x\sqrt{x} ka derivative 00 ke paas infinite hai phir bhi woh uniformly continuous hai (δ=ε2\delta=\varepsilon^2 lo) — matlab Lipschitz hona sufficient hai, necessary nahi. Mantra: "Uniform = ONE delta for everyone."

Go deeper — visual, from zero

Test yourself — Advanced Topics (Elite Level)

Connections