# Arzela-Ascoli theorem

From Diffgeom

## Statement

Let be a sequence of functions defined on a closed interval of the real line. If is uniformly bounded and equicontinuous then it contains a subsequence that converges uniformly.