# Product Space is Product in Category of Topological Spaces

Jump to navigation
Jump to search

## Theorem

Let $\mathbf {Top}$ be the category of topological spaces.

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

Let $\struct {\XX, \tau}$ be the product space of $\family {\struct {X_i, \tau_i} }_{i \mathop \in I}$.

Then $\struct {\XX, \tau}$ is the product of $\family {\struct {X_i, \tau_i} }_{i \mathop \in I}$ in $\mathbf{Top}$.

## Proof

This theorem requires a proof.You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by crafting such a proof.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{ProofWanted}}` from the code.If you would welcome a second opinion as to whether your work is correct, add a call to `{{Proofread}}` the page. |