10
$\begingroup$

Definition: a function $f:\mathbb{R}\to \mathbb{R}$ has Luzin-(N)-Property if $f$ maps any null set to a null set.

By https://www.encyclopediaofmath.org/index.php/Luzin-N-property, it is known that if $f$ has Luzin-(N)-property and measurable, then for almost every real $x$, $f^{-1}(x)$ is countable. Now I have the following question:

Question Is there a function $f$ having Luzin-(N)-property and a nonnull set $A$ so that for any $x\in A$, $f^{-1}(x)$ is uncountable?

The question has a positive answer under certain set theoretical assumptions. But I want an answer within $\mathrm{ZFC}$.

$\endgroup$
2
  • $\begingroup$ Nice question. Do you know the answer now (since you asked it 4 years ago)? $\endgroup$ Commented Sep 2, 2023 at 3:33
  • $\begingroup$ No, it is still open. $\endgroup$
    – 喻 良
    Commented Sep 2, 2023 at 4:44

0