# Definition:Product Space (Topology)/General Definition

## 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$

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

From Natural Basis of Tychonoff Topology, $\tau$ is generated from:

- the basis $\BB$ of cartesian products of the form $\displaystyle \prod_{i \mathop \in I} U_i$ where:
- for all $i \in I : U_i \in \tau_i$
- for all but finitely many indices $i : U_i = S_i$

The topological space $\struct{X, \tau}$ is called the **product space** of $\family {\struct {S_i, \tau_i} }_{i \mathop \in I}$.

### Factor Space

Each of the topological spaces $\struct{S_i, \tau_i}$ are called the **factors** of $\struct{S, \tau}$, and can be referred to as **factor spaces**.

## Also known as

The topology on the **product space** is also known as the **product topology** and both of the terms **product topology** and **Tychonoff topology** are commonly used on $\mathsf{Pr} \infty \mathsf{fWiki}$.

Other sources may use the terms **direct product**, **topological product** or **Tychonoff product** for the **product space**, 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

- Results about
**product spaces**can be found here.

## Sources

- 1970: Lynn Arthur Steen and J. Arthur Seebach, Jr.:
*Counterexamples in Topology*... (previous) ... (next): $\text{I}: \ \S 1$: Functions - 1975: W.A. Sutherland:
*Introduction to Metric and Topological Spaces*... (previous) ... (next): $3.5$: Products