Compatible metric
= Compatible metric
A <metric> is compatible with a given topology when its open balls generate exactly that topology. <Compatible metrics> on a compact <topological space> are uniformly equivalent: the identity maps between the resulting compact <metric spaces> are <uniformly continuous>. Consequently they define the same <proximality> and the same asymptotic-pair relation for a fixed <continuous map>.