How is the metric topology the coarsest to make the metric function continuous?

To show that the $d$-metric topology is coarser than $\mathcal{T}$ we must show that every $d$-open set is $\mathcal{T}$-open. Of course, it really suffices to show that every $d$-ball is $\mathcal{T}$-open (since the $d$-balls form a basis for the $d$-metric topology). To show that the $d$-ball $B ( x , \epsilon )$ is $\mathcal{T}$-open it suffices to find for each $y \in B ( x , \epsilon )$ a $\mathcal{T}$-open neighbourhood $V$ of $y$ such that $V \subseteq B ( x , \epsilon )$.

First, the continuity of $d$ implies that for each $\epsilon > 0$ the set $$U_\epsilon := \{ ( u , v ) \in X \times X : d ( u , v ) < \epsilon \} = d^{-1} [ ( -\infty , \epsilon ) ]$$ is open in $X \times X$ with respect to the topology $\mathcal{T}$ (or $\mathcal{T} \times \mathcal{T}$, if you will).

Now, given $x \in X$ and $\epsilon > 0$, we want to show for all $y \in B ( x , \epsilon )$ that there is a $\mathcal{T}$-open set $V$ with $y \in V \subseteq B ( x , \epsilon )$. As $y \in B ( x , \epsilon )$, it follows that $( x , y ) \in U_\epsilon$, and since $U_\epsilon$ is a $( \mathcal{T} \times \mathcal{T} )$-open subset of $X \times X$, there are $\mathcal{T}$-open $U , V \subseteq X$ such that $$( x , y ) \in U \times V \subseteq U_\epsilon.$$ In particular $V$ is a $\mathcal{T}$-open neighbourhood of $y$.

Note that given any $z \in V$ we have that $( x , z ) \in U \times V \subseteq U_\epsilon$, and so by definition of $U_\epsilon$ it follows that $d ( x , z ) < \epsilon$, meaning that $z \in B ( x , \epsilon )$. We may then conclude that $V \subseteq B ( x , \epsilon )$.


It suffices to show that if $\{x_i\}_{i\in I}$ is a net converging to $x$ in $\mathcal{T}$ then $\{x_i\}_{i\in I}$ converges to $x$ in $d$ (because then any set closed in $\mathcal{T}$ will be closed in the metric topology). But if $x_i \rightarrow x$ in $\mathcal{T}$ then $(x_i,x) \rightarrow (x, x)$ in $\mathcal{T}\times \mathcal{T}$ and so, since $d$ is continuous w.r.t. $\mathcal{T}\times \mathcal{T}$, we have $d(x_i,x)\rightarrow d(x,x)=0$, i.e. $x_i \rightarrow x$ in $d$. I want to mention that it's often simpler to deal with nets than open sets in topology and I think this problem is a good example of that.