Quant Memo
Advanced

Uniform Convergence

A stronger notion than ordinary convergence: not just that a sequence of functions gets close to a limit at every point eventually, but that it gets close everywhere at the same rate, with a single shared threshold.

Prerequisites: Limits and Continuity

A sequence of functions fnf_n converges pointwise to a limit function ff if, at each individual point xx, the numbers fn(x)f_n(x) eventually get close to f(x)f(x) — but how quickly "eventually" arrives is allowed to be different at every single point, with no shared speed limit across the whole domain. Uniform convergence asks for something stronger: that there's a single NN (a number of steps) after which fnf_n is close to ff at every point simultaneously, not just eventually close at each point separately with a possibly different NN for each.

Formally, fnff_n \to f uniformly on a set means for every tolerance ϵ>0\epsilon > 0, there exists one NN such that for all n>Nn > N and all xx in the domain at once, fn(x)f(x)<ϵ|f_n(x) - f(x)| < \epsilon. Pointwise convergence only requires that NN to exist for each xx separately, and it's allowed to grow arbitrarily large as xx changes. The classic example distinguishing them is fn(x)=xnf_n(x) = x^n on [0,1][0,1]: it converges pointwise to a function that's 00 everywhere except 11 at x=1x=1, but not uniformly, because getting close to 00 near x=1x=1 takes an NN that grows without bound as xx approaches 11 — there's no single NN that works everywhere.

The reason uniform convergence gets its own name rather than being a footnote is that several properties that "should" pass to the limit only actually do so under uniform, not merely pointwise, convergence: a uniform limit of continuous functions is continuous, and a uniform limit lets you swap limits with integrals. Pointwise convergence alone can silently break both — the xnx^n example converges to a discontinuous limit despite every fnf_n being continuous, precisely because the convergence isn't uniform.

Uniform convergence requires one shared threshold NN that works at every point of the domain simultaneously, unlike pointwise convergence where the required NN can vary point to point; this stronger notion is what actually guarantees that continuity and the ability to swap limits with integration survive passing to the limit function.

Further reading

  • Rudin, Principles of Mathematical Analysis, ch. 7
ShareTwitterLinkedIn