Definition:Product Space (Topology)/General Definition

From ProofWiki
Jump to navigation Jump to search


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.