A Metric Extension Theorem

Jacob Canel

We show that, given a partially defined metric $d:R\to \mathbb{R}$ where $R\subset X^2$ is a closed equivalence relation on a compact metrizable space $X$, there is a metric…