Metrizable space

This article includes a list of references, related reading, or external links, but its sources remain unclear because it lacks inline citations. Please help improve this article by introducing more precise citations. (September 2024) (Learn how and when to remove this message)

In topology and related areas of mathematics, a metrizable space is a topological space that is homeomorphic to a metric space. That is, a topological space ${\displaystyle (X,\tau )}$ is said to be metrizable if there is a metric ${\displaystyle d:X\times X\to [0,\infty )}$ such that the topology induced by ${\displaystyle d}$ is ${\displaystyle \tau .}$^[1][2] Metrization theorems are theorems that give sufficient conditions for a topological space to be metrizable.