Metric Spaces – Topology Induced by a Metric $d$ is the Smallest Topology for Continuity

general-topologymetric-spaces

(Munkres, p. 126, Ex. 3)

Prove the following:

Let $X$ be a metric space with a metric $d$. Let $X'$ be a topological space that has the same underlying set as $X$; i.e., $X' =X$ but $X'$ might have a different topology on it. Suppose $d : X' \times X' \to \mathbb{R}$ is continuous. Then the topology of $X'$ is finer than that of $X$.

Best Answer

Outline: Since $d:X'\times X'\to\Bbb R$ is continuous, then for any $x\in X',$ the function $f:X'\to\Bbb R$ given by $f(y)=d(x,y)$ is continuous. It follows that all the open $d$-balls are open in the topology on $X'.$ Since the open $d$-balls form a basis for the topology on $X,$ then the topology on $X'$ is finer.