Let $f: \mathcal{C} \to [0,1]$ be the Cantor-Lebesgue function. It's continuous, and surjective. Certainly, for any interval in $\mathbb{R}$, $\exists \mathcal{N}$, non-measurable. (Simply scale the non-measurable set constructed on p.24.)
Since $f$ is continuous, and $\mathcal{N} \subset [0,1]$, the pre-image, $f^{-1}(\mathcal{N}) \subset \mathcal{C}$.
Notice:
$$0 \leq m^*(f^{-1}(\mathcal{N})) \leq m^*(\mathcal{C}) = 0$$
...and thus,
$$m^*(f^{-1}(\mathcal{N})) = 0$$
...and since all sets of outer-measure zero are measurable (by Property 2, in Section 1.3) $f^{-1}(\mathcal{N})$ is a measurable set. Thus, the continuous map $f$ maps a measurable set to a non-measurable set.
No comments:
Post a Comment