6.2 The Uniform Topology
Definition 6.2.1 (Uniform Topology). Let $T$ be a set and $(X, \fU)$ be a uniform space. For each $U \in \fU$, let
then the uniform topology on $X^{T}$ is the topology induced by the uniformity generated by $\bracs{E(U)| U \in \fU}$.
Proposition 6.2.2. Let $X$ be a topological space and $Y$ be a uniform space, then:
$C(X; Y) \subset Y^{X}$ is closed with respect to the uniform topology.
If $X$ is a uniform space, then $UC(X; Y) \subset Y^{X}$ is closed with respect to the uniform topology.
In particular, if $Y$ is complete, then the above spaces are complete.
Proof. Let $x \in X$ and $V$ be an entourage of $Y$, then there exists a symmetric entourage $W$ of $Y$ such that $W \circ W \circ W \subset V$.
(1): Let $f \in \ol{C(X; Y)}$, then there exists $g \in C(X; Y)$ with $(f, g) \in E(W)$. Let $U \in \cn(x)$ such that $g(U) \subset W(g(x))$, then for any $y \in U$,
so $(f(x), f(y)) \in W \circ W \circ W \subset V$.
Therefore $f$ is continuous at $x$.
(2): Let $f \in \ol{UC(X; Y)}$, then there exists $g \in UC(X; Y)$ with $(f, g) \in E(W)$. Let $U$ be an entourage of $X$ such that $(g \times g)(U) \subset W$, then for any $(x, y) \in U$,
so $(f(x), f(y)) \in W \circ W \circ W \subset V$.$\square$