# Definition of product uniform space.

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}$?

-

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$.
how do you define $\pi_i \times \pi_i$? – user59671 Feb 7 '13 at 14:08
@CutieKrait: Let $X=\prod_iX_i$. Then $$\pi_i\times\pi_i:X\times X\to X_i\times X_i:\langle x,y\rangle\mapsto\langle\pi_i(x),\pi_i(x)\rangle\;.$$ – Brian M. Scott Feb 7 '13 at 21:54