El teorema de Arzelà-Ascoli es una de las herramientas más poderosas que hay para verificar si una familia de funciones de un espacio topólogico en otro es compacta.