Munkres Topology Solutions Chapter 5 -

(subspace of product): Let $X$ be compact Hausdorff. Show $X$ is homeomorphic to a subspace of $[0,1]^J$ for some $J$ (this is a step toward Urysohn metrization).

Proof. By Tychonoff, since $[0,1]$ is compact (Heine-Borel) and $\mathbbR$ is any index set, the product is compact. (Note: In product topology, not in box topology.) â–¡ munkres topology solutions chapter 5

Show that the set $\mathcalF = f'(x)$ is compact. (subspace of product): Let $X$ be compact Hausdorff

Proof. Let $X_1,\dots, X_n$ be compact. We use induction. Base case $n=1$ trivial. Assume $\prod_i=1^n-1 X_i$ compact. Let $\mathcalA$ be an open cover of $X_1 \times \dots \times X_n$ by basis elements $U \times V$ where $U \subset X_1$ open, $V \subset \prod_i=2^n X_i$ open. Fix $x \in X_1$. The slice $x \times \prod_i=2^n X_i$ is homeomorphic to $\prod_i=2^n X_i$, hence compact. Finitely many basis elements cover it; project to $X_1$ to get $W_x$ open containing $x$ such that $W_x \times \prod_i=2^n X_i$ is covered. Vary $x$, cover $X_1$ by $W_x$, extract finite subcover, then combine covers. â–¡ By Tychonoff, since $[0,1]$ is compact (Heine-Borel) and