surjective function from non-measurable sets

2012-01-27T06:17:24Z

let $V$ be the vitali set and let $g:V\to\mathbb R$ be a surjective function. then the fuction $f:\mathbb R\to\mathbb R$ such that $f(x)=g([x])$ will be a function that is surjective in any interval of the real line. i know the examples with base 9 digits, but this one would be much easier.

is there a "standard" way to construct surjective and bijective functions from non-measurable sets to measurable ones with the same cardinality?

Answer by Pietro Majer for surjective function from non-measurable sets

2012-01-27T07:50:21Z

For instance let $f:[0,1]\to[0,1]$ be the Cantor function and define $g(x):=x+f(x)$. Then $g:[0,1]\to[0,2]$ is a homeomorphism that maps the complement of the Cantor set $C$ onto a measure one open set of $[0,2]$ (just because $g'(x)=1$ on $[0,1]\setminus C$). So $g_{|C}:C\to g(C)$ is a homeomorphism of the Cantor set onto a compact set of measure one, and if $W$ is any non-measurable subset of $g(C)$, $g$ is also a homeomorphism between the Lebesgue measurable null-set $g^{-1}(W)$ and $W$.

edit. As to the issue of finding a non-measurable subset within a Lebesgue measurable set of positive measure $S$, there is such a set of the form $S\cap (V+q)$, the trace on $S$ of a suitable translation of the Vitali set $V$. Indeed, the Vitali set $V$ does not contain any measurable subset of positive measure (reason: if $E\subset V$ then $E-E \subset V-V\subset \big(\mathbb{R}\setminus\mathbb{Q}\big)\cup \{0 \}$, while $E-E$ is always a nbd of zero for any measurable set of positive measure $E$). On the other hand, the sets $S\cap (V+q)$ for $q\in\mathbb{Q}$ are a countable cover of $S$, so one of them has positive exterior measure.

surjective function from non-measurable sets - MathOverflow

surjective function from non-measurable sets

Answer by Pietro Majer for surjective function from non-measurable sets