A sequence of functions (fn):X→Y(f_n):X\to Y (with YY a ) converges uniformly on to a function f:X→Yf:X\to Y if for every compact subset K⊆XK\subseteq X, the restricted sequence fn∣Kf_n|_K converges uniformly to f∣Kf|_K on KK, i.e.

∀ε>0 ∃N ∀n≥N: sup⁡x∈Kd(fn(x),f(x))<ε.\forall \varepsilon>0\ \exists N\ \forall n\ge N:\ \sup_{x\in K} d\bigl(f_n(x),f(x)\bigr)<\varepsilon.

This is a localized version of obtained by first passing to a on each . It is the natural convergence notion for families like , as formalized by .

Examples
  • On (−1,1)(-1,1), fn(x)=xnf_n(x)=x^n converges uniformly on every closed interval [−a,a][-a,a] with 0<a<10<a<1, hence uniformly on compact sets in (−1,1)(-1,1).
  • If ∑n=0∞an(x−x0)n\sum_{n=0}^\infty a_n (x-x_0)^n has radius of convergence R>0R>0, then its converge uniformly on compact subsets of (x0−R,x0+R)(x_0-R,x_0+R).