Cuando en un espacio topológico haya una métrica cuya topología inducida coincide con la topología del espacio, diremos que el espacio es metrizable.