# Extension of Luzin N-property of absolutely continuous functions and measure preserving mappings

We know that absolutely continuous functions $g\in {\rm W}^{1,1}(0,1)$ have the Lusin N-property: if $E\subseteq (0,1)$ is a set of measure zero, then $g(E)$ is also a set of measure zero. My question is do absolutely continuous functions allow stronger properties, and if they do not, what smaller class of functions allows such properties? Here are extensions of Luzin N-property I am interested in: Consider $g\in {\rm W}^{1,1}(0,1)\cap {\rm C}^1(0,1)\cap {\rm C}[0,1]$. Which of the following assertions is true, and for which class of functions (for instance, if one of the assertions is not true for absolutely continuous functions, it could be true for locally Lipschitz functions):

1. If $F\subseteq (0,1)$ is a set of full measure in $(0,1)$, then $g(F)$ is a set of full measure in ${\rm Im}(g)$ (Remark: here ${\rm Im}(g):=\{g(s):s\in [0,1]\}$, and so, by uniform continuity of $g$, it holds that ${\rm Im}(g)=[m,M]$ for some $m,M\in\mathbf{R}$ such that $m\leq M$)

2. For every sequence of measurable subsets $(E_n)$ in $(0,1)$ such that $\lim_{n\rightarrow+\infty}\lambda(E_n)=0$ it holds that $\lim_{n\rightarrow+\infty}\lambda(g(E_n))=0$.

3. For every $\varepsilon>0$ there exists $\delta>0$ such that: for every countable family of non-overlapping intervals $([a_k,b_k])_{k=1}^{+\infty}$ such that $\sum_{k=1}^{+\infty}|b_k-a_k|\leq\delta$ we have $\sum_{k=1}^{+\infty}|g(b_k)-g(a_k)|\leq\varepsilon$. Remark. We know that a weaker property, namely when choice is restricted to finitely many intervals as above provides that $g$ is (locally) absolutely continuous. If we allow finitely many overlapping intervals, then $g$ is locally Lipschitz, i.e., $g\in {\rm W}^{1,\infty}_{loc}(0,1)$; these remarks can be found in G. Leoni's book: A First Course in Sobolev Spaces.

4. For every $\varepsilon>0$ there exists $\delta>0$ such that: for every countable family of (possibly overlapping) intervals $([a_k,b_k])_{k=1}^{+\infty}$ such that $\sum_{k=1}^{+\infty}|b_k-a_k|\leq\delta$ we have $\sum_{k=1}^{+\infty}|g(b_k)-g(a_k)|\leq\varepsilon$.

5. For every $\varepsilon>0$ there exists $\delta>0$ such that: for every measurable set $E\subset (0,1)$ such that $\lambda(E)\leq\delta$ we have $\lambda(g(E))\leq\varepsilon$. Remark. We know that $\lambda(E)\leq\delta$ implies $\int_{E}|g(s)|ds\leq\varepsilon$, this is so-called equi-integrability property of $g\in {\rm W}^{1,1}(0,1)$.

6. If $(K_m)$ is an increasing sequence of compact sets in $(0,1)$ such that $\lim_{m\rightarrow+\infty}\lambda((0,1)\backslash K_m)=0$, then $\lim_{m\rightarrow+\infty}\lambda\{\xi\in\mathbf{R}: (g_{\vert K_m})^{\leftarrow}(\xi)\neq\emptyset\}=\lambda({\rm Im}(g))$, where, as before, ${\rm Im} (g):=g([0,1])=[m,M]$.

7. Measure preserving mapping: for every $0<\theta<1$ there exists $0<\varphi_{\theta}<1$ such that we have: for every measurable $E\subseteq (0,1)$ such that $\lambda(E)=\theta$, it holds that $\lambda(g(E))=\varphi_{\theta}\lambda({\rm Im}(g))$.

I tried to sort the assertions in an descending order so as to introduce stronger and stronger requirements on $g$. So, I guess, property 1. should be easy to prove for absolutely continuous functions, and it is not to restrictive, while property 7. is rather restrictive and probably holds only for (a sub-class of) locally Lipschitz functions (property 7. holds, for instance, if $g$ is an affine function).

whereby it follows that 4. is satisfied provided $g$ is Lipschitz function;