How to prove that the uniform topology is different from both the product and the box topology?

I'll just work with $J = \mathbb{N}$. Similar examples can be made for all infinite $J$.

  • The set $$U = \{ \mathbf{x} = ( x_n )_{n \in \mathbb{N}} : ( \forall n \in \mathbb{N} ) ( | x_n | < 2^{-n} ) \}$$ is open in the box topology, but not in the uniform topology.

    As $U = \prod_{n \in \mathbb{N}} ( -2^{-n} , 2^{-n} )$, it is a product of open intervals, so it is clearly open in the box topology. It is not open in the uniform topology since it doesn't include any uniform-ball centred at $\mathbf{0}$. (Given $\varepsilon > 0$ take $k$ such that $2^{-k} < \varepsilon$ and note that the point $\mathbf{y} = ( 2^{-k} )_{n \in \mathbb{N}}$ belongs to the uniform $\varepsilon$-ball centred at $\mathbf{0}$, but does not belong to $U$.)

  • The set $$V = \{ \mathbf{x} = ( x_n )_{n \in \mathbb{N}} : d ( \mathbf x , \mathbf 0 ) < \tfrac 12 \}$$ is open in the uniform topology, but not in the product topology.

    As $V$ is just the uniform $\frac{1}{2}$-ball centred at $\mathbf{0}$, it is clearly open in the uniform topology. It is not open in the product topology because there are no $n_1 , \ldots , n_k \in \mathbb{N}$ such that the set $\{ \mathbf{x} = ( x_n )_{n \in \mathbb{N}} : x_{n_1} = \cdots = x_{n_k} = 0 \}$ is a subset of $V$. (If it were open, then as $\mathbf{0} \in V$ there would be a basic open set $W = \prod_{n \in \mathbb{N}} W_n$, where each $W_n$ is open in $\mathbb{R}$ and $W_n = \mathbb{R}$ for all but finitely many $n$, such that $\mathbf{0} \in W \subseteq V$. If $n_1 , \ldots , n_k$ were those $n$ such that $W_n \neq 0$, then $\{ \mathbf{x} = ( x_n )_{n \in \mathbb{N}} : x_{n_1} = \cdots = x_{n_k} = 0 \} \subseteq W \subseteq V$.)


Here is an example to demonstrate that the uniform topology is different from the box topology when $J = \omega$. It is from the exercise 6 of section 20 titled "The Metric Topology" of Munkres's Topology.

Given $\mathbf{x} = (x_1, x_2, \ldots) \in \mathbb{R}^{\omega}$ and given $0 < \epsilon < 1$, let $$U(\mathbf{x,\epsilon}) = (x_1 - \epsilon, x_1 + \epsilon) \times \cdots \times (x_n - \epsilon, x_n + \epsilon) \times \cdots.$$

$U(\mathbf{x}, \epsilon)$ is open in box product, but not in the uniform topology.

For the reason why $U(\mathbf{x}, \epsilon)$ is not open in the uniform topology, consider the particular point $(x_1 + \epsilon/2, x_2 + 2\epsilon/3, x_3 + 3\epsilon/4, \cdots)$ which is obviously in $U(\mathbf{x}, \epsilon)$. However, there is no ball (in the uniform topology) centered around it that is in $U(\mathbf{x}, \epsilon)$.