2
$\begingroup$

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).

$\endgroup$
0
$\begingroup$

So far, I found the answer to 4., The definition of absolute continuity without disjointness of intervals is satisfied only by Lipschitz functions

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

And I also found the answer to 3., Absolutely Continuous (is the collection of subintervals supposed to be finite or infinite)

whereby it follows that 3. is equivalent to choosing finitely many non-overlapping intervals, so that absolutely continuous functions satisfy 3.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.