Category:Tychonoff's Theorem

From ProofWiki
Jump to navigation Jump to search

This category contains pages concerning Tychonoff's Theorem:


General Theorem

Let $I$ be an indexing set.

Let $\family {X_i}_{i \mathop \in I}$ be an indexed family of non-empty topological spaces.

Let $\ds X = \prod_{i \mathop \in I} X_i$ be the corresponding product space.

Then $X$ is compact if and only if each $X_i$ is compact.