This is the theorem: Image may be NSFW.
Clik here to view.
Let $X$ be separable metric space endowed with non-atomic Borel measure such that $\mu X = 1$.
Using this theorem We can establish isomorphism between $X$ and $[0;1]$.
Denote this mapping by $f$ .
I want to show that for at least one positive-measured interval $I \subset [0;1], \: \:$$f^{-1}(I\setminus I’) \subset B$, where $I’$ is the subset of $I$, of which measure is equal to $0$, i.e. $m(I’) = 0$,
where $B$ is any ball in $X$ with positive measure.
To sum it up I have to show that Inside every positive-measured $B \subset X$, We would have the preimage of at least one subset of positive-measured interval taken out from $[0;1]$, of which Lebesgue measure would be equal to the measure of taken interval.
Is it possible to construct such isomorphic mapping or at least a measure-preserving mapping which would satisfy these conditions?Any help would be appreciated.
