Teorema de Arzelà-Ascoli

Caracterización de subconjuntos relativamente compactos de C(K) (funciones continuas sobre un dominio compacto K) en la topología uniforme: una familia es relativamente compacta si y solo si es equicontinua y puntualmente relativamente compacta (a menudo formulado como equicontinua y acotada en cada punto).