How is the metric topology the coarsest to make the metric function continuous? Let $X$ be a metric space with metric $d$. If $\mathcal{T}$ is a topology on $X$ such that the function $d\colon X \times X \to \mathbb{R}$ is continuous, then how to show that $\mathcal{T}$ is finer than the topology induced by the metric $d$?
In other words, how to prove that if $X$ has a metric $d$, then the topology induced by $d$ is the coarsest topology relative to which the function $d$ is continuous?
 A: 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 )$.
A: 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.
