Equivalent metrics (source code)

= Equivalent metrics
{wiki=Equivalence_of_metrics}

Two metrics are equivalent when they induce the same topology. Global two-sided constant bounds imply equivalence, but equivalence alone need not supply such bounds.