ConceptComplete

Pointwise Convergence

Pointwise convergence means a sequence of functions converges at each individual point. While natural and easy to define, pointwise convergence does not preserve important properties like continuity or integrability. This motivates the stronger notion of uniform convergence. Understanding the distinction between pointwise and uniform convergence is essential for analysis.


Definition

Definition7.1Pointwise convergence

A sequence of functions (fn)(f_n) defined on a set EE converges pointwise to a function ff if for every x∈Ex \in E,

lim⁑nβ†’βˆžfn(x)=f(x).\lim_{n \to \infty} f_n(x) = f(x).

That is, for every x∈Ex \in E and Ο΅>0\epsilon > 0, there exists NN (depending on Ο΅\epsilon and xx) such that ∣fn(x)βˆ’f(x)∣<Ο΅|f_n(x) - f(x)| < \epsilon for all nβ‰₯Nn \geq N.

RemarkPointwise means point-by-point

Pointwise convergence checks convergence separately at each point. The rate of convergence (the value of NN) can vary wildly from point to point.

Examplef_n(x) = x^n on [0, 1]

Let fn(x)=xnf_n(x) = x^n on [0,1][0, 1]. Then:

  • For 0≀x<10 \leq x < 1: fn(x)=xnβ†’0f_n(x) = x^n \to 0.
  • For x=1x = 1: fn(1)=1β†’1f_n(1) = 1 \to 1.

The pointwise limit is f(x)=0f(x) = 0 for x∈[0,1)x \in [0, 1) and f(1)=1f(1) = 1. Note that each fnf_n is continuous, but the limit ff is discontinuous at x=1x = 1. Pointwise convergence does not preserve continuity.

ExampleTriangle wave functions

Define fn(x)=nx(1βˆ’x)f_n(x) = n x (1 - x) on [0,1][0, 1] for x∈[0,1/n]x \in [0, 1/n], and fn(x)=(1βˆ’x)f_n(x) = (1 - x) for x∈[1/n,1]x \in [1/n, 1] (after suitable normalization). As nβ†’βˆžn \to \infty, the "peak" moves toward 00 and grows in height. The pointwise limit is f(x)=0f(x) = 0 for all x∈[0,1]x \in [0, 1]. However, ∫01fn(x) dx\int_0^1 f_n(x) \, dx may not converge to ∫01f(x) dx\int_0^1 f(x) \, dx. Pointwise convergence does not preserve integrals.


Failure to preserve properties

ExamplePointwise limit of derivatives

Let fn(x)=sin⁑(nx)nf_n(x) = \frac{\sin(nx)}{n}. Then fn(x)β†’0f_n(x) \to 0 pointwise, but fnβ€²(x)=cos⁑(nx)β†’cos⁑(nx)f_n'(x) = \cos(nx) \to \cos(nx) does not converge pointwise (it oscillates). Derivatives of fnf_n do not converge to the derivative of the pointwise limit.

RemarkWhy pointwise convergence is insufficient

Pointwise convergence allows the "speed" of convergence to vary with xx. This flexibility means that limits can exhibit pathological behavior: discontinuous limits of continuous functions, non-integrable limits of integrable functions, etc. Uniform convergence fixes this by requiring uniform speed of convergence.


Summary

Pointwise convergence is the weakest notion of convergence for function sequences:

  • Defined point-by-point: fn(x)β†’f(x)f_n(x) \to f(x) for each xx.
  • Does not preserve continuity, integrability, or differentiability.
  • Motivates uniform convergence, which does preserve these properties.

See Uniform Convergence for a stronger notion.