Uniform Convergence — Definition, Formula & Examples
Uniform convergence is a type of convergence for a sequence of functions where the speed of convergence does not depend on which point in the domain you choose. Unlike pointwise convergence, the entire function sequence gets uniformly close to the limit function everywhere at once.
A sequence of functions converges uniformly to on a set if for every , there exists an (depending only on , not on ) such that for all and all , .
Key Formula
Where:
- = The nth function in the sequence
- = The limit function
- = The domain on which convergence is tested
- = The supremum (least upper bound) over all x in S
How It Works
To test for uniform convergence, compute . If as , the convergence is uniform. For series , the Weierstrass M-test is a powerful tool: if for all and converges, then converges uniformly on . Uniform convergence guarantees you can swap limits with integrals, and under additional conditions, with derivatives.
Worked Example
Problem: Determine whether converges uniformly on .
Find the pointwise limit: For each , as , . So the pointwise limit is .
Compute the supremum of the error: The difference is . Over the interval , the supremum of approaches 1 (as ) for every .
Conclude: Since does not tend to 0, the convergence is not uniform on .
Answer: The sequence converges pointwise but not uniformly on .
Why It Matters
Uniform convergence is essential in real analysis because it lets you interchange limits with integration and, under suitable hypotheses, with differentiation. Power series converge uniformly on compact subsets of their interval of convergence, which is why you can differentiate and integrate them term by term — a fact used constantly in differential equations, physics, and engineering.
Common Mistakes
Mistake: Assuming pointwise convergence is sufficient to swap limits with integrals or to preserve continuity.
Correction: Pointwise convergence alone does not guarantee these properties. You need uniform convergence. A classic counterexample is on , where each is continuous but the pointwise limit is discontinuous at .
