Uniform convergence on compact sets

Convergence that is uniform when restricted to each compact subset of the domain.
Uniform convergence on compact sets

Let (X,dX)(X,d_X) be a metric space, let (Y,dY)(Y,d_Y) be a metric space, and let fn:EYf_n:E\to Y with EXE\subseteq X. The sequence (fn)(f_n) converges uniformly on compact sets to f:EYf:E\to Y if for every compact set KEK\subseteq E (compact in the subspace metric),

supxKdY(fn(x),f(x))n0.\sup_{x\in K} d_Y\bigl(f_n(x),f(x)\bigr)\xrightarrow[n\to\infty]{}0.

This mode of convergence is weaker than uniform convergence on all of EE when EE is not compact. It is particularly important for power series and sequences of functions on noncompact domains.

Examples:

  • fn(x)=x/nf_n(x)=x/n on R\mathbb{R} converges uniformly on compact sets to 00 (and in fact uniformly on all of R\mathbb{R}).
  • fn(x)=xnf_n(x)=x^n on (0,1)(0,1) converges pointwise to 00 and uniformly on compact sets K(0,1)K\subset(0,1), but not uniformly on (0,1)(0,1).
  • For power series anxn\sum a_n x^n with radius R>0R>0, the partial sums converge uniformly on compact subsets of (R,R)(-R,R).