It is well known that the discrete metric induces the discrete topology. One can tinker with this and get a great deal of metrics which induce the discrete topology.
However, given a set equipped with the discrete topology, is there some general characterization of metrics which induce the topology?
I suspect there's something along the lines of the metric being separated from $0$ as follows: "For a metric space $(X,d)$, there exists a constant $c>0$ such that $d(x,y)\geq c$ for all $x,y\in X$ if and only if $d$ induces the discrete topology."
One direction (necessity) is trivial. However, when I try to prove the other direction I always end up needing something like compactness somewhere, but that forces $X$ to have finite cardinality, and of course any metric on a set of finite cardinality induces the discrete topology.
In any case, I'm not sure is what I put in quotes above is true or not, but does anyone know of a way to characterize metrics which induce the discrete topology?