A sequence converges uniformly to if, for every , there is such that
for every and every . A map is uniformly continuous if, for every , there is such that
for all .
If , choose a ball outside which . On the closed ball, continuity gives boundedness, so is bounded everywhere.
Now let be Cauchy in the uniform metric. For each , is Cauchy in ; let its limit be . Passing to the pointwise limit in the uniform Cauchy estimate shows that uniformly. Hence is continuous. Given , choose with , and then choose so that for . It follows that also vanishes at infinity. Thus is complete, as in completeness of continuous functions vanishing at infinity.
Every is uniformly continuous. Given , choose so that outside the ball of radius . On the compact ball of radius , is uniformly continuous; choose the corresponding . If two points at distance below are not both in that ball, then both lie outside the ball of radius , and their function values differ by less than .
For the final sequence, continuity of at zero gives, for each fixed ,
Thus pointwise convergence is compulsory. Uniform convergence need not hold: with ,
which is unbounded as a function of for every fixed .
Under the additional bound , however,
for , and the difference is zero at . Hence convergence is uniform, by the uniform square-root perturbation under linear growth estimate. The pointwise answer remains yes.
Statement (ii) is true. Let
Each is compact and has connected complement. By the polynomial Runge theorem, choose a polynomial with
Every fixed belongs to for all sufficiently large , so . Thus the convergence is pointwise on .
A function is uniformly continuous if for every there is such that
for all .
Suppose uniformly and every is uniformly continuous. Given , choose such that
for every . Uniform continuity of supplies such that implies
The triangle inequality then gives . Thus the uniform limit theorem for uniformly continuous functions proves that is uniformly continuous.
Pointwise convergence is insufficient. On , the uniformly continuous functions converge pointwise to
which is discontinuous and therefore not uniformly continuous.
Continuity of at zero and allow so small that
Pointwise convergence and dominated convergence make the corresponding expression for less than for all sufficiently large . Part (ii) then bounds
There are only finitely many remaining , so enlarge until each of their tails is also at most . This proves uniform tightness.
Lévy's continuity theorem states that if characteristic functions converge pointwise to a function continuous at zero, then is a characteristic function and the corresponding laws converge weakly to its law. Conversely, convergence in distribution implies pointwise convergence of characteristic functions.
Pointwise approximation by uniformly continuous functions Created 2026-10-05 Updated 2026-10-06
Every continuous can be approximated with pointwise convergence by uniformly continuous functions. Set and . The map is Lipschitz continuous with constant one and is uniformly continuous by the Heine-Cantor theorem, so is uniformly continuous on the whole line. On every fixed bounded interval, eventually.