Definition:Product Topology

Definition
Let $\family {\struct {S_i, \tau_i} }_{i \mathop \in I}$ be an indexed family of topological spaces where $I$ is an arbitrary index set.

Let $S$ be the cartesian product of $\family {S_i}_{i \mathop \in I}$:
 * $\displaystyle S := \prod_{i \mathop \in I} S_i$

For each $i \in I$, let $\pr_i: S \to S_i$ denote the $i$th projection on $S$:
 * $\forall \family {x_j}_{j \mathop \in I} \in S: \map {\pr_i} {\family {x_j}_{j \mathop \in I} } = x_i$

The Tychonoff topology on $S$ is defined as the initial topology $\mathcal T$ on $S$ with respect to $\family {\pr_i}_{i \mathop \in I}$.

The topological space $\struct {S, \mathcal T}$ is called the Tychonoff product of $\family {\struct {S_i, \tau_i} }_{i \mathop \in I}$.

Also known as
The Tychonoff product is also known as the direct product or topological product, but these terms are less precise and there exists the danger of confusion with other similar uses of these terms in different contexts.

Also see

 * Tychonoff Topology is Coarsest Topology such that Projections are Continuous
 * Projection from Product Topology is Open