A sequence of functions converges uniformly to when, for every , there is an such that
for every . Equivalently, in the supremum norm.
Yes. Fix and . Uniform convergence gives such that for every . Since the continuous function is continuous at , there is a such that implies . The triangle inequality then gives
This proves the uniform limit theorem: is continuous.
The polynomial Runge theorem says that if is compact, is connected, and is holomorphic on a neighbourhood of , then for every there is a polynomial such that .
For an explicit approximation on the left semicircle , define
The two power-series expansions
produce this formula. The first is a geometric series whose ratio has modulus at most on . The second converges uniformly on the whole unit circle; the elementary bound shows that truncating it at gives a total error tending to zero even after summing over . Consequently uniformly on . This is an explicit polynomial approximation of the reciprocal on the left semicircle.
No such sequence exists on the punctured unit circle . If polynomials converged uniformly there, they would be Uniformly Cauchy. Continuity gives
so they would converge uniformly on the entire unit circle. The uniform limit theorem would force the value at the missing point to be , and hence the limit would be on the full circle. But the Cauchy integral theorem gives for every , while uniform convergence and contour integration would imply
a contradiction. This is the polynomial approximation obstruction on a punctured circle.
Apply Arzela-Ascoli theorem on . Pointwise boundedness and equicontinuity give a subsequence converging uniformly there. Successively extract subsequences for , and take the diagonal subsequence. It converges uniformly on every closed bounded interval. Its limits on nested intervals agree, so they define on the real numbers; the locally uniform limit of continuous functions is continuous.
This is always true. Given , choose such that
on for and on for . For the same inequality holds at every point of . Hence uniformly on .
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.
Fix . By assumption there is a neighbourhood of on which with uniform convergence. Each restriction is continuous, and a uniform limit of continuous functions is continuous. Thus is continuous, in particular at . Since was arbitrary, is continuous on .
Now let be compact and let . For each , choose a neighbourhood on which convergence is uniform. The sets cover , so compactness gives a finite subcover
For each , choose such that
Taking , every belongs to one of these finitely many neighbourhoods, and therefore
Thus uniformly on every compact subset. This proves the local uniform convergence on compact subsets principle.
The polynomial form of Runge theorem says that if is compact, is connected, and is holomorphic on a neighbourhood of , then for every there is a polynomial such that
Statement (i) is false. Take the entire function . It is bounded on the closed first quadrant . If polynomials converged uniformly to on , then each sufficiently late would be bounded on the positive real axis. A polynomial bounded on that ray must be constant. No sequence of constants converges uniformly to on , since its values at zero and near infinity differ by one.
Statement (iv) is true. Apply the Weierstrass approximation theorem separately to the real and imaginary parts of the continuous function on the compact interval . Combining the two real polynomial sequences gives complex polynomials converging uniformly to on .
The inequalities imply
Thus the two metrics induce the same open sets and are equivalent.
The converse fails. On , let
The metrics are equivalent because is a homeomorphism, but
so no positive lower comparison constant exists. This is an equivalent metrics need not be bi-Lipschitz equivalent example.
Equivalent metrics on the codomain also need not give the same uniform convergence. Take , , and use the two metrics above. Define
Then
so uniformly for , whereas
so convergence is not uniform for . This is the equivalent codomain metrics need not preserve uniform convergence phenomenon.
Apply the residue theorem to ; its residue at is , which proves Cauchy's derivative formula.
For a compact subdisc choose a slightly larger contour still inside . Cauchy's derivative formula bounds the supremum of on the smaller disc by a fixed constant times the supremum of on the contour. Local uniform convergence therefore passes to every derivative.
On , has a positive minimum modulus. For large , there. Rouché's theorem then says and have the same number of zeros inside, namely , counting multiplicity.
Uniform convergence means: for every there is such that implies for every .
If and , then every tail is bounded uniformly by the corresponding numerical tail. The uniform Cauchy criterion therefore proves uniform convergence.
For each , on and the p-series converges. The M-test gives locally uniform convergence there, so the sum is continuous on .
Runge theorem says that if is compact and is connected, every function holomorphic near is uniformly approximable on by polynomials.
Choose a compact exhaustion of the slit disc , rounding the two sides of the slit so that and is connected. Runge applied to gives a polynomial with . Every compact subset of the slit disc lies in all sufficiently large , proving locally uniform convergence.
Replace the two quantiles by conditional bootstrap quantiles in the interval from (a). Uniform convergence implies in probability at continuity points, so Slutsky and continuity of give coverage tending to .
For -periodic continuous functions, convergence of positive linear operators on continuous functions to the identity on implies uniform convergence on every function. Indeed is nonnegative and has just one zero on the circle, so the compact Korovkin test space criterion applies.
For a Schwartz function on the real numbers, its periodization is a smooth periodic function of period one. Rapid decay gives uniform convergence on of the series and each differentiated series. Under the Fourier transform convention , its th Fourier coefficient is : integrate termwise over one period and combine the translated intervals. The rapidly decreasing coefficients give a Fourier series with uniform convergence. Evaluation at zero proves the Poisson summation formula.
Pointwise limit 2026-10-06
A pointwise limit assigns to each point the limit of the sequence of function values there. The convergence rate may depend on that point. Uniform convergence additionally bounds the error simultaneously over the whole domain.
The space of test functions has the locally convex inductive-limit topology of the spaces of smooth functions supported in a fixed compact set . Each uses seminorms . Sequential convergence means a common compact support and uniform convergence of every derivative. A linear functional on this space is a distribution exactly when its restriction to each satisfies a finite order of a distribution estimate; the order and constant may depend on .