Definition:Product Topology/Factor Space
< Definition:Product Topology(Redirected from Definition:Factor Space)
Jump to navigation
Jump to search
Definition
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}$.
Each of the topological spaces $\struct {X_i, \tau_i}$ are called the factors of $\struct {\XX, \tau}$, and can be referred to as factor spaces.
Sources
- 1975: W.A. Sutherland: Introduction to Metric and Topological Spaces ... (previous) ... (next): $3$: Continuity generalized: topological spaces: $3.5$: Products: Proposition $3.5.2$