Definition of product uniform space.

Question

Let for each $i\in I$, $(X_i,\mathcal{D}_i)$ be a uniform space. How is the product uniform space defined? Does it produce the product (Tychonoff) topology on $\prod_{i\in I}{X_i}$?

Answer 1

The product uniformity is by definition the smallest $\mathcal D$ uniformity on $\prod_i X_i$, which makes all projections $\pi_i\colon \prod_i X_i \to X_i$ uniformly continuous. So for each entourage $E_i \in \mathcal D_i$, we want to have $(\pi_i\times\pi_i)^{-1}[E_i] \in \mathcal D$. Taking finite intersections of these sets gives us a basis for $\mathcal D$, that is $\mathcal D$ is the filter generated by $$ \mathcal B := \left\{ \bigcap_{i\in J} (\pi_i\times \pi_i)^{-1}[E_i] \biggm| E_i \in \mathcal D_i, J\subseteq I \text{ finite} \right\} $$ The topology induced by $\mathcal D$ is indeed the product of the topologies induced by the $\mathcal D_i$.