Un espacio topológico es metrizable si y sólo si es paracompacto, Hausdorff y localmente metrizable.