Resulta natural preguntarse si podriamos dotar a cada espacio topológico de una métrica de modo que la topología inducida por la métrica coincida con la topología del espacio.