Sea $(X,d_X)$ sea un espacio métrico compacto y sea $(Y, d_Y)$ sea un espacio métrico. Supongamos que $\{f_n\}_{n=1}^\infty$ es una sucesión de funciones continuas sobre $X$ con valores en $Y$ y supongamos $f_n \to f$ uniformemente en $X$ . Sea $\varepsilon>0$ se dará. Por la definición de convergencia uniforme, sabemos que existe $N \in \mathbb{N}$ para que \begin{equation} \sup_{x \in X} \,d_Y\left(\,f_n(x),f(x)\right)<\frac{\varepsilon}{6} \text{ whenever } n \geq N. \end{equation} Desde a $(d_X, d_Y)$ -será uniformemente continua en el espacio métrico compacto $(X,d_X)$ sabemos que existe $\delta_N>0$ para que \begin{equation} d_Y\left(\,f_N(x),f_N(y)\right)<\frac{\varepsilon}{3} \text{ whenever } d_X(x,y)<\delta_N \text{ and } x,y \in X. \end{equation} Por lo tanto, hemos demostrado que \begin{align} \ \,d_Y\left(\,f(x),f(y)\right) & \leq d_Y\left(\,f(x),f_N(x)\right)+d_Y\left(\,f_N(x),f_N(y)\right)+d_Y\left(\,f_N(y),f(y)\right) \\& < \frac{\varepsilon}{6}+\frac{\varepsilon}{3}+\frac{\varepsilon}{6}=\frac{4\varepsilon}{6} \; \text{ whenever } d_X(x,y)<\delta_N \text{ and } x,y \in X. \end{align}
Obsérvese que ahora hemos demostrado que si $x,y \in X$ , $d_X(x,y)<\delta_N$ y $n \geq N$ entonces \begin{align} \ \,d_Y\left(\,f_n(x),f_n(y)\right) & \leq d_Y\left(\,f_n(x),f(x)\right)+d_Y\left(\,f(x),f(y)\right)+d_Y\left(\,f(y),f_n(y)\right) \\& < \varepsilon. \end{align} Puesto que cada función de la colección finita $\{ f_1, \ldots, f_{N-1}\}$ es uniformemente continua en $X$ sabemos que para $k=1,\ldots, N-1$ existe un número $\delta_k>0$ para que \begin{equation} d_Y\left(\,f_k(x),f_k(y)\right)<\varepsilon \; \text{ whenever } d_X(x,y)<\delta_k \text{ and } x,y \in X. \end{equation} Configuración $\delta = \min \{\delta_1, \ldots, \delta_{N-1}, \delta_N \}$ muestra que la colección de funciones $\{f_n: n \in \mathbb{N}\}$ cumple la definición de familia uniformemente equicontinua en $X$ .