Hilbert Cube is Compact

Theorem

Let $M = \struct {I^\omega, d_2}$ be the Hilbert cube.

Proof

Let $M'$ be the metric space defined as:

$M' = \ds \prod_{k \mathop \in \N} \closedint 0 1$

By definition, $\closedint 0 1$ is the closed unit interval under the usual (Euclidean) topology.

From Hilbert Cube is Homeomorphic to Countable Infinite Product of Real Number Unit Intervals, $M$ is homeomorphic to $M'$.

From Closed Real Interval is Compact in Metric Space, $\closedint 0 1$ is a compact space.

But $M'$ is also a compact space by Tychonoff's Theorem.

From Compactness is Preserved under Continuous Surjection, if $M'$ is compact then so is $M$.

$\blacksquare$

This article is complete as far as it goes, but it could do with expansion.
In particular: Add the direct first-principles proof from S&S as Proof 2.
You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding this information.
To discuss this page in more detail, feel free to use the talk page.
When this work has been completed, you may remove this instance of {{Expand}} from the code.
If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page.