La distancia formula_4 del espacio métrico induce en formula_1 una topología, y por tanto el espacio es, a su vez, un espacio topológico al tomar como subconjuntos abiertos para la topología a todos los subconjuntos formula_47 que cumplen