Hilbert Cube is Compact

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

Then $M$ is a compact space.

Proof
Let $M'$ be the metric space defined as:
 * $M' = \ds \prod_{k \mathop \in \N} \closedint 0 1$

under the product topology.

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$.