Sea formula_1 un espacio topológico compacto, formula_2 un espacio métrico completo.