Métrique compatible

Définition formelle

Soit $(X,\tau)$ un espace topologique et $d:X\to \R_{+}$ une métrique sur $X$.
On dit que $d$ est compatible avec la topologie $\tau$ si la topologie induite par $d$ est égale à $\tau$.