Uniform limit theorem for continuity

A uniform limit of continuous functions is continuous
Uniform limit theorem for continuity

Uniform limit theorem for continuity: Let (X,d)(X,d) be a and let (fn)(f_n) be a sequence of functions fn:XRf_n:X\to\mathbb{R} (or into any metric space). If fnff_n\to f on XX, then ff is continuous on XX.

is strong enough to pass continuity through the limit. This is a fundamental reason uniform convergence is preferred over in analysis.

Proof sketch: Fix x0Xx_0\in X and ε>0\varepsilon>0. Choose NN such that supxXd(fn(x),f(x))<ε/3\sup_{x\in X} d(f_n(x),f(x))<\varepsilon/3 for all nNn\ge N. By continuity of fNf_N at x0x_0, choose δ>0\delta>0 so that d(x,x0)<δd(x,x_0)<\delta implies d(fN(x),fN(x0))<ε/3d(f_N(x),f_N(x_0))<\varepsilon/3. Then d(f(x),f(x0))d(f(x),fN(x))+d(fN(x),fN(x0))+d(fN(x0),f(x0))<ε. d(f(x),f(x_0))\le d(f(x),f_N(x))+d(f_N(x),f_N(x_0))+d(f_N(x_0),f(x_0))<\varepsilon.