Let $f:(0,1)\rightarrow (0,1)$ be a borel measurable function such that for every $y$ in $(0,1)$ , $f^{1}(y)$ is a borel set and $\mu(f^{1}(y))=0$ and also $\mu (f((0,1)))=1$ where $\mu$ is the lebesgue measure . Is it possible to build a function $g:A\rightarrow A$ where $A\subseteq[0,1]$ is a borel set and $\mu (A)=1$, such that $g$ is a bimeasurable bijection and $g_A=f_A$?
Take the 2minute tour
×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.
No, consider $f(x) = 2x \mod 1$. 

