Friday, May 31, 2013

1.21

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