Sea formula_14 un espacio vectorial normado, formula_7 un espacio topológico y formula_8 un conjunto compacto.