There is a surjective continuous map $[0;1]\rightarrow [0;1]^2$ ("space filling curve"). Using such a map one can easily get space filling curves for all finite dimensional cubes. So my question is: Is there a space filling curve of the Hilbert cube $[0;1]\rightarrow [0;1]^\mathbb{N}$ ?

7$\begingroup$ I believe this is an old theorem that appears in many pointset topology textbooks, that every compact connected, locallyconnected metric space is the continuous image of $[0,1]$. Willard or Dugunji should have it. $\endgroup$– Ryan BudneyAug 9, 2010 at 8:41

1$\begingroup$ The title perhaps should be changed to "Different proofs of HahnMazurkiewicz Theorem". (Perhaps then I would provide two of mine with an extra bonus). $\endgroup$– Wlod AAAug 28, 2022 at 17:47

$\begingroup$ A classic question, in any case. :) $\endgroup$– paul garrettAug 29, 2022 at 1:23
2 Answers
Ah, it's called the "Hahn–Mazurkiewicz theorem".
https://en.wikipedia.org/wiki/Peano_space
And it apparently appears in the Willard text.

$\begingroup$ This also appears in Laskovitch's Conjecture And Proof, where it is used to construct a family of continuous functions $f_1, f2, \dots$ with the property that for any sequence $\alpha_i$ of reals taken from the interval $[0,1]$, there exists a point $x \in [0,1]$ with $f_i(x) = \alpha_i$ for all $i$. $\endgroup$ Aug 19, 2010 at 19:23
Well there is indeed a "simple" construction of such a space filling curve.
Let $\gamma:[0;1]\rightarrow [0;1]^2$ be a space filling curve. Then one can obtain a space filling curve for $[0;1]^3$ by postcomposing with $id_\mathbb{R}\times \gamma$. Then one can postcompose with $id_{\mathbb{R}^2}\times \gamma$ and so on. Note that the first coordinates didn't change in the last step.
Putting all this together we get a map
$f:[0;1]\rightarrow [0;1]^\mathbb{N} \qquad t\mapsto (pr_1\circ \gamma \circ (pr_2\circ \gamma)^{n1}(t))_{n\in \mathbb{N}}, $ where $pr_i$ denote the obvious projections. This map can be seen as the infinite composition of the maps above. By the definition of the product topology this map is continuous.
Especially if we postcompose $f$ with the projection on the first $n$ coordinates, we just get a space filling curve (see above). Let us show, that a arbitrary element $x=(x_i)_{i\in \mathbb{N}}\in [0;1]^\mathbb{N}$ lies in the Image of $f$. We already know, that for each $n$ there is a element $y^n$ in Im$(f)$ agreeing with $x$ in the first $n$ coordinates.
As $[0;1]$ is compact, Im$(f)$ is compact and hence closed ($[0;1]^\mathbb{N}$ is Hausdorff).
And $\lim_{n\to\infty}y^n=x$. Hence $x\in$ Im$(f)$. So $f$ is a continuous surjective map $[0;1]\rightarrow [0;1]^\mathbb{N}$.