A topological space is metrizable if its topology is generated by some metric .

Examples Link to heading

Remark
  • The metric is not unique, for instance if \(d\) generates a topology so does \(cd\) where \(c>0\).