Skip to content

Pointwise Convergence

Definition

Let (fn)n=1∞(f_n)_{n=1}^{\infty} be a sequence of functions fn ⁣:X→Rf_n\colon X\to \mathbb{R} and f ⁣:X→Rf\colon X \rightarrow \mathbb{R} be another function. We say that (fn)n=1∞(f_n)_{n=1}^{\infty} converges pointwise to ff on XX and write fn→f,f_n\to f\text{,} if for every x∈X,x \in X\text{,} lim⁡n→∞fn(x)=f(x).\displaystyle \lim _{n \rightarrow \infty} f_n(x) = f(x)\text{.}

Each fnf_n is a Function, so fixing xx gives an ordinary numerical sequence fn(x)f_n(x). Its Limit of a Sequence is f(x)f(x); the required index may depend on this fixed xx.


Interpretation

Pointwise convergence means that for each fixed point x∈Xx\in X, the numbers fn(x)f_n(x) form an ordinary sequence that tends to f(x)f(x) as n→∞n\to\infty. The functions are compared with the limit one point at a time, and nothing is required about how the points relate to each other.

Written out with quantifiers: for every x∈Xx\in X and every ε>0\varepsilon>0 there is an NN such that ∣fn(x)−f(x)∣<ε|f_n(x)-f(x)|<\varepsilon for all n>Nn>N. The index NN may depend on both ε\varepsilon and xx. If one NN can be chosen for all xx at once, the convergence is uniform; the two notions differ only in this order of quantifiers.

Because the required NN may grow without bound as xx moves, properties of the fnf_n need not survive in the limit, as the Key Results state. The functions xnx^n on [0,1][0,1] are continuous, but their pointwise limit is 00 on [0,1)[0,1) and 11 at x=1x=1, so it is not continuous. Integrals are not preserved either: on [0,1][0,1], let fn=nf_n=n on (0,1n)(0,\tfrac{1}{n}) and fn=0f_n=0 elsewhere. Then fn(x)→0f_n(x)\to0 at every xx, while ∫01fn(x) dx=1\int_0^1 f_n(x)\,\mathrm{d}x=1 for every nn.

A common slip is to let the point move with nn. Pointwise convergence fixes xx first and only then lets n→∞n\to\infty. For xnx^n, the values (1−1n)n(1-\tfrac{1}{n})^n tend to e−1\mathrm{e}^{-1}, not to 00; this does not contradict pointwise convergence to 00 on [0,1)[0,1), but it does show that the convergence is not uniform.

The same idea returns in probability: almost-sure convergence of random variables is pointwise convergence on the sample space outside a set of probability zero.


Key Results


Examples

  • fn(x)=nnx+1f_n(x) = \dfrac{n}{nx + 1} converges pointwise to f(x)=1/xf(x)=1/x on (0,+∞).(0,+\infty)\text{.}
  • fn(x)=x2x2+1/nf_n(x)=\dfrac{x^2}{\sqrt{x^2+1 / n}} converges pointwise to f(x)=∣x∣.f(x)=|x|.

Functions x squared over the square root of x squared plus 1/n for n = 1, 2, 4, 8 and 16, approaching the graph of the absolute value; at x = -1 the values rise towards 1.

For each fixed xx, fn(x)→∣x∣f_n(x)\to|x|; at x=−1x=-1 the values fn(−1)f_n(-1) (dots) increase to f(−1)=1f(-1)=1.

Point at a value xx: the numbers fn(x)f_n(x) (right) enter the ε\varepsilon-band from some N(x)N(x) on. For xnx^n that N(x)N(x) grows without bound as x→1x\to1.


Prerequisites

Sources

Aliases: converges pointwise, pointwise limit Symbols: element of, epsilon, infinity, integral, real numbers, square root

Last updated: 20 October 2026 03:02