Sea E un espacio métrico compacto.