A family F\mathcal F of functions from a metric space (X,dX)(X,d_X) to a metric space (Y,dY)(Y,d_Y) is equicontinuous on XX if, for every x0Xx_0\in X and ε>0\varepsilon>0, there exists δ>0\delta>0 such that, for every fFf\in\mathcal F and 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 provides uniform control of continuity across the family and is a key hypothesis (together with ) in the for subsets of equipped with the .

Examples
  • Any family of Lipschitz functions with a common Lipschitz constant is equicontinuous. For example, fa(x)=sin(x+a)f_a(x)=\sin(x+a), aRa\in\mathbb R, is equicontinuous on R\mathbb R.
  • The family fn(x)=xnf_n(x)=x^n is not equicontinuous on [0,1][0,1].