Equicontinuity

A uniform form of continuity shared by all functions in a family.
Equicontinuity

A family F\mathcal{F} of functions from a (X,dX)(X,d_X) to a (Y,dY)(Y,d_Y) is equicontinuous at a point x0Xx_0\in X if for every ε>0\varepsilon>0 there exists δ>0\delta>0 such that for every fFf\in\mathcal{F} and every xXx\in X,

dX(x,x0)<δ    dY(f(x),f(x0))<ε. d_X(x,x_0)<\delta \implies d_Y\bigl(f(x),f(x_0)\bigr)<\varepsilon.

Equicontinuity strengthens the statement that each fFf\in\mathcal{F} is a : here the same δ\delta must work simultaneously for all functions in the family. A family that is equicontinuous at every point is an .

Examples:

  • The family {fa}aR\{f_a\}_{a\in\mathbb{R}} with fa(x)=sin(x+a)f_a(x)=\sin(x+a) is equicontinuous on R\mathbb{R} because sin(x+a)sin(y+a)xy|\sin(x+a)-\sin(y+a)|\le |x-y| for all aa.
  • The family fn(x)=sin(nx)f_n(x)=\sin(nx) on [0,2π][0,2\pi] is not equicontinuous at any point (rapid oscillations prevent a single δ\delta from working for all nn).