Equicontinuous family

A family of functions that satisfies the equicontinuity condition at every point.
Equicontinuous family

A family F\mathcal{F} of functions from a (X,dX)(X,d_X) to a (Y,dY)(Y,d_Y) is an equicontinuous family (or is equicontinuous on XX) if it is : for every x0Xx_0\in X and every ε>0\varepsilon>0 there exists δ>0\delta>0 such that for all fFf\in\mathcal{F} and all 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 instance, fa(x)=sin(x+a)f_a(x)=\sin(x+a) for aRa\in\mathbb{R} is equicontinuous on R\mathbb{R}.
  • On [0,1][0,1], the sequence fn(x)=xnf_n(x)=x^n is not an equicontinuous family (the behavior near x=1x=1 prevents a uniform choice of δ\delta).