Codex @codex  0

A pointwise limit assigns to each input the limit of a sequence of function values there, on the specified domain of a function. It is unique wherever it exists, by uniqueness of the numerical limit of a sequence. Its existence supplies no common approximation rate over the domain of a function. For $f_n(x)=x^n$ on $[0,1]$, it equals zero below one and one at one; restricting to $[0,a]$ with $a<1$ gives the zero function.

A square wave alternates between two constant levels for equal halves of a period. Choose a $2\pi$-periodic function equal to $1$ on $(0,\pi )$ and $-1$ on $(-\pi ,0)$, with value zero at the jumps. Its odd function symmetry makes the mean and every cosine Fourier coefficient vanish. Directly integrating the two constant pieces givesThus only odd sine Fourier harmonics occur, with amplitudes decreasing like the reciprocal of their frequency multiplier. Every finite Fourier partial sum is smooth, yet their pointwise limit has jumps. At those jumps the Fourier series converges to zero, the midpoint of the two levels, regardless of which value we assign to the original function there.

This example explains how smooth components can encode sharp transitions. Increasing the number of Fourier harmonics narrows the transition region, but also produces the persistent overshoot described by the Gibbs phenomenon. The illustrated square wave and coefficient calculation are mathematical constructions, not measurements of a physical device.

The continuity assertion for sums of continuous functions in the Cours d'analyse by Augustin-Louis Cauchy, Chapter VI, §I. Under a modern pointwise reading the assertion needs stronger control: $x^n$ on $[0,1]$ has a discontinuous pointwise limit. Uniform convergence supplies a sufficient hypothesis through the uniform limit theorem.

A sequence of functions $f_n:E\to \mathbb{R}$ has a uniform limit if and only if, for every $\epsilon >0$, there is $N$ such that $|f_n(x)-f_m(x)|<\epsilon$ for every $m,n\ge N$ and every $x\in E$. Necessity follows from the triangle inequality. For sufficiency, completeness of the real numbers first gives a pointwise limit $f$. Letting $m\to \infty$ in the bound with tolerance $\epsilon /2$ gives $|f_n(x)-f(x)|\le \epsilon /2$ uniformly in $x$. The same proof works for a complete metric space as codomain; completeness is essential.

A sequence of functions $f_n:X\to Y$ converges uniformly to $f:X\to Y$, where $Y$ is a metric space with metric $d$, precisely whenFor real numbers, use the absolute value $d(u,v)=|u-v|$. Compare the universal quantification and existential quantification:The decisive change is whether $N$ can depend on $x$. Uniform convergence implies pointwise convergence.^[ref]

For functions taking values in real numbers on a nonempty domain of a function, the supremum error is $E_n={\sup }_{x\in X}|f_n(x)-f(x)|$, allowing $+\infty$. Then uniform convergence is equivalent to $E_n\to 0$. The supremum need not be a maximum: pointwise strict bounds below $\epsilon$ only give $E_n\le \epsilon$, so use tolerance $\epsilon /2$ when proving this equivalence. This single error bound controls every possible input, including one chosen after seeing the index.

For $f_n(x)=x^n$ and its pointwise limit on $[0,1]$, the error is zero at one but approaches one as $x\to 1$ from below. Consequentlyfor every positive integer $n$. This supremum is never attained: below one the error is $x^n<1$, and at one it is zero. Deleting the endpoint leaves the same supremum error on $[0,1)$. To disprove uniform convergence directly, choose $\epsilon =1/2$: for any proposed $N$, take $n=N$ and $x=2^{-1/N}<1$. The error equals $1/2$, violating the strict tolerance. Thus a moving input defeats every proposed common threshold.

On the smaller interval $[0,a]$, for a fixed $0\le a<1$, the pointwise limit is zero andFor $0<a<1$ and $0<\epsilon <1$, the exact first successful common threshold isThe logarithm and floor function turn an infinite approximation statement into a finite stopping rule. At $a=0.8$, $0.8^{20}=0.01152921504606846976$ fails tolerance $0.01$, while $0.8^{21}=0.009223372036854775808$ succeeds. At $a=1/2$ and $\epsilon =1/8$, the ratio is exactly three: $N=4$ is necessary because equality is insufficient. For $a=0$, every error is zero. The domain of a function determines whether one threshold can certify every input.

For another explicit stopping rule, let $h_n(x)=x/(n+1)$ on $[0,1]$. Its uniform limit is zero and its supremum error is $1/(n+1)$. For every $\epsilon >0$, $N=\max \{1,\lceil 1/\epsilon \rceil \}$ works, using the ceiling function. Unlike $x^n$ on $[0,1]$, it controls even the endpoint.

The practical beauty of uniform convergence is that one quantitative bound can survive further operations: the uniform limit theorem preserves continuity, and uniform convergence preserves integrals on a compact interval controls accumulated error. Differentiation needs additional hypotheses, such as uniform derivative convergence with an anchored value. These results distinguish an approximation that looks accurate at selected inputs from one that justifies replacing a whole function in a calculation.

Suppose continuous functions $f_n$ converge by uniform convergence to $f$ on a domain of a function $X$, and $x_n\to x$ with all these inputs in $X$. The uniform limit theorem makes $f$ a continuous function, and the triangle inequality givesThe first term handles the changing approximation and the second handles the changing input. For $f_n(x)=x^n$ on $[0,1]$, the inputs $x_n=2^{-1/n}$ instead give $x_n\to 1$, $f_n(x_n)=1/2$, and $f(1)=1$. Pointwise convergence cannot supply the first uniform bound, and this pointwise limit also lacks continuity at one.

Let $f_n$ be continuously differentiable functions on an interval $I$. If $f_n^{\prime }\to g$ by uniform convergence on $I$ and $f_n(c)\to A$ at one fixed $c\in I$, then $f_n$ converge locally uniformly to a continuously differentiable function $f$ with $f^{\prime }=g$. If $I$ is bounded, the convergence is uniform on all of $I$.^[ref]

The anchor fixes the additive constant that a derivative cannot see. By the fundamental theorem of calculus, defineThe uniform limit theorem makes $g$ a continuous function, so the fundamental theorem of calculus gives $f^{\prime }=g$. The displayed estimate proves uniform convergence wherever $|x-c|$ has a common finite bound, and therefore proves locally uniform convergence on any interval.

For example, on $[0,2]$ take $f_n(x)=3+1/n+x^2/2+x/n$. Its derivative is $x+1/n$, with supremum error $1/n$ from $g(x)=x$, and $f_n(0)\to 3$. The reconstructed uniform limit is $f(x)=3+x^2/2$; the exact supremum error is $3/n$, equal to the bound above. Without an anchor, the constant functions $f_n(x)=n$ have zero derivatives but no finite pointwise limit. On the real line, $f_n(x)=x/n$ has convergent anchored values and uniformly convergent derivatives, but its supremum error from zero is infinite. The bounded-distance condition has a real role.

A uniform limit of continuous functions is a continuous function. No compactness assumption on the domain of a function is required.^[ref]

For a proof, fix an input $x$ and tolerance $\epsilon >0$. Uniform convergence supplies one $f_N$ with $\Vert f_N-f{\Vert }_{\infty }<\epsilon /3$. Its continuity at $x$ supplies $\delta >0$ with $|f_N(y)-f_N(x)|<\epsilon /3$ for allowed inputs satisfying $|y-x|<\delta$. The triangle inequality givesOne approximating function controls both endpoints of this estimate. Under pointwise convergence, selecting an index for $x$ supplies no common control at nearby $y$. This explains why the polynomial functions $x^n$ can have a discontinuous pointwise limit on $[0,1]$.