Uniform Continuity $\implies$ Continuity

Question

In metric spaces it is a well known fact that uniformly continuous functions are indeed continuous at any point.

What about uniform spaces? How can I prove this?
(with the definition of topology in terms of uniform structure from here)

Answer 1

Let $f: (X,\mathcal{U}) \rightarrow (Y, \mathcal{V})$ be uniformly continuous.

Let $V[f(x)]$ be a basic neighbourhood of $f(x)$ in $Y$. As $V \in \mathcal{V}$ is an entourage, and $f$ is uniformly continuous, $(f \times f)^{-1}[V] \in \mathcal{U}$. Call this last entourage $U$. Then $f[U[x]] \subset V[f(x)]$: $y \in f[U[x]] \rightarrow \exists x' \in U[x]: f(x') = y$, and so $(x', x) \in U$, which means that $(f \times f)(x',x) = (f(x'), f(x)) = (y, f(x)) \in V$, so $y \in V[f(x)]$. So $f$ is continuous at $x$.