Dado un espacio métrico formula_37, queda determinada una topología sobre formula_1 en la que los conjuntos abiertos son los subconjuntos formula_10 de formula_1 tales que cualquiera que sea el punto formula_2 de formula_10 existe un número formula_43 de tal manera que el conjunto formula_44 está totalmente incluido en formula_10.