Skip to main content
3 of 8
edited tags
YCor
  • 63.9k
  • 5
  • 187
  • 286

Extending a partially defined metric on a metrizable space

Let $X$ be a metrizable topological space, $A\subseteq X\times X$ a nonempty closed subset which is reflexive, symmetric and transitive, $d:A\to \mathbb{R}_+$ a continuous function that satisfies the metric axioms. Does there exist a metric on $X$ which extends $d$?

If it makes any difference I can suppose $X$ locally compact second countable.

omar
  • 278
  • 1
  • 6