Uniform vs Pointwise Convergence: A Case Study
April 9, 2026 · Luciano Muratore
It is well-known that a sequence of functions can converge to a limit in more than one sense. The question is: how strong is that convergence?
This is not a trivial distinction. Pointwise convergence asks whether, for each fixed point, the sequence eventually gets close to the limit. Uniform convergence asks for something stronger: can we find a single threshold that works simultaneously for all points?
To make this concrete, let us work through a specific example.
The Sequence
For each , define by
Each is bounded and its support is precisely the interval , a window that slides toward as .
Pointwise Convergence
Recall the definition: a sequence converges pointwise to on if
The limit is taken with respect to for each fixed — the point is frozen, and we ask whether the sequence eventually settles there.
For our sequence, fix .
If , then for any , so for all .
If , choose such that . Then for all ,
So for every , and we conclude on .
Failure of Uniform Convergence
Uniform convergence imposes a global bound: converges uniformly to on if
or equivalently, .
With , let us compute this supremum. Since for every , we have
This supremum never goes to , so on .
Why Compactness Restores Uniform Convergence
The failure above traces back to a single culprit: the point . The supports accumulate at as , so no single can push the bump away from points near .
Now, what if we restrict to a compact subset ? Since is closed and bounded and , there exists such that . In other words, stays bounded away from the problematic accumulation point:
This is the key. Since , choose . Then for all ,
Therefore , and on .
I want to make a pause here. The compactness of is not the direct reason for uniform convergence — it is the positive distance from that does the work. Compactness in guarantees that such a distance exists. If we had taken a non-compact set like itself, the infimum of over the set would be , and the argument would collapse.
The moral: uniform convergence is a global property, and it can fail precisely where the limit function is approached in a non-uniform manner. Compactness, when it excludes accumulation points of the supports, is the geometric condition that restores uniformity.