Tychonoff's Theorem

From ProofWiki
Jump to: navigation, search

General Theorem

Let $\left \langle {X_i}\right \rangle_{i \in I}$ be a family of non-empty topological spaces, where $I$ is an arbitrary index set.

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

Then $X$ is compact iff each $X_i$ is.


Proof

First assume that $X$ is compact.

From Projection from Product Topology is Continuous, the projections $\operatorname{pr}_i : X \to X_i$ are continuous.

It follows from Continuous Image of Compact Space is Compact that the $X_i$ are compact.


Assume now that each $X_i$ is compact.

By Equivalent Definitions of Compactness it is enough to show that every ultrafilter on $X$ converges.

Thus let $\mathcal F$ be an ultrafilter on $X$.

From Image of Ultrafilter is Ultrafilter, for each $i \in I$, the image filter $\operatorname{pr}_i \left({\mathcal F}\right)$ is an ultrafilter on $X_i$.

Each $X_i$ is compact by assumption.

So by Equivalent Definitions of Compactness, each $\operatorname{pr}_i \left({\mathcal F}\right)$ converges.

By Filter on Product Space Converges iff Projections Converge, $\mathcal F$ converges.



$\blacksquare$


Tychonoff's Theorem for Hausdorff Spaces

Let $\left \langle {X_i}\right \rangle_{i \in I}$ be a family of non-empty Hausdorff spaces, where $I$ is an arbitrary index set.

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

Then $X$ is compact iff each $X_i$ is compact.


Proof

First assume that $X$ is compact.

From Projection from Product Topology is Continuous, the projections $\operatorname{pr}_i : X \to X_i$ are continuous.

From Continuous Image of Compact Space is Compact, it follows that the $X_i$ are compact.


Assume now that each $X_i$ is compact.

By Equivalent Definitions of Compactness it is enough to show that every ultrafilter on $X$ converges.

Thus let $\mathcal F$ be an ultrafilter on $X$.

From Image of Ultrafilter is Ultrafilter, for each $i \in I$, the image filter $\operatorname{pr}_i \left({\mathcal F}\right)$ is an ultrafilter on $X_i$.

Each $X_i$ is compact by assumption.

So by Equivalent Definitions of Compactness, each $\operatorname{pr}_i \left({\mathcal F}\right)$ converges.

By Filter on Product of Hausdorff Spaces Converges iff Projections Converge, $\mathcal F$ converges.



$\blacksquare$



Source of Name

This entry was named for Andrey Nikolayevich Tychonoff.


Also See

Tychonoff's Theorem Without Choice, a version that holds under more restrictive conditions but does not require the Axiom of Choice.

Sources