Projection from Product Topology is Open and Continuous/General Result

Theorem
Let $\family {T_i}_{i \mathop \in I} = \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 $\displaystyle S = \prod_{i \mathop \in I} S_i$ be the corresponding product space.

Let $\tau$ denote the Tychonoff topology on $S$.

Let $\pr_i: S \to S_i$ be the corresponding projection from $S$ onto $S_i$.

Then $\pr_i$ is open and continuous for all $i \in I$.

Projection is Continuous
By definition of the Tychonoff topology on $S$:
 * $\tau$ is the initial topology on $S$ with respect to $\family {\pr_i}_{i \mathop \in I}$

By definition of the Initial Topoplogy:Definition 2:
 * $\tau$ is the coarsest topology on $S$ such that each $\pr_i: S \to S_i$ is a $\struct{\tau, \tau_i}$-continuous.

Projection is Open
If $U \in \tau$, it follows from the definition of Tychonoff topology that $U$ can be expressed as:


 * $\displaystyle U = \bigcup_{j \mathop \in J} \bigcap_{k \mathop = 1}^{n_j} \map {\pr_{i_{k,j} }^{-1}} { U_{k,j} }$

where $J$ is an arbitrary index set, $n_j \in \N$, $i_{k,j} \in I$, and $U_{k,j} \in \tau_{i_{k,j} }$.

For all $i' \in I$, define $V_{i', k, j} \in \tau_{i'}$ by $V_{i', k, j} = U_{k,j}$ if $i' = i_{k,j}$, and $V_{i', k, j} = S_{i'}$ if $i' \ne i_{k,j}$.

For all $i \in I$, we have:

As:
 * $\displaystyle \bigcup_{j \mathop \in J} \bigcap_{k \mathop = 1}^{n_j} V_{i,k,j} \in \tau_i$

it follows that $\pr_i$ is open.