In topologia, una branca della matematica, uno spazio topologico formula_1 si dice metrizzabile se esiste su formula_2 una metrica formula_3 tale che la topologia indotta da formula_3 è proprio formula_5. ###>That is, a topological space formula_1 is said to be metrizable if there is a metric:formula_2such that the topology induced by "d" is formula_3.