Measurable injection from $C[0,1]$ to $[0,1]$

124 Views Asked by At

Apparently such a map exists, where $C[0,1]$ is equipped with the Borel $\sigma$-algebra induced by the uniform norm and $[0,1]$ the usual Borel $\sigma$-algebra.

This seems very surprising---that an injection exists, much less measurable. Anyone know how this map is constructed?