20
$\begingroup$

Consider Lebesgue measure on $\mathbb{R}$ and let $f:\mathbb{R}\to\mathbb{R}$ be differentiable. Does $f$ necessarily preserve measure zero sets? Does $f$ necessarily preserve measurable sets?

Note that if $f$ is $C^1$ then $f$ preserves measure zero sets since $C^1$ functions are locally Lipschitz. Therefore $C^1$ functions also preserve measurable sets since a measurable set is the union of an $F_\sigma$ set and an measure zero set, and continuous functions preserve $F_\sigma$ sets. More generally if $f$ is absolutely continuous on each interval then $f$ preserves both measure zero sets and measurable sets.

However, I'm not sure about the differentiable case. I would guess that the answer to both questions is no. I'm interested in a counter example or proof in each case.

$\endgroup$
1

2 Answers 2

14
$\begingroup$

If $f$ preserves null-sets, it also preserves Lebesgue-measurability (but not necessarily Borel measurability), because by regularity, every Lebesgue measurable set $M$ can be written as

$$ M = N \cup \bigcup K_n $$

with $K_n$ compact and $N$ a null-set. By continuity, $f$ preserves compact sets.

Now a theorem in Rudin, Real and Complex Analysis (Lemma 7.25) shows in particular that every everywhere differentiable function maps null-sets to null-sets, so that your claim is true.

$\endgroup$
2
  • $\begingroup$ Ah sorry about that, you are right. $\endgroup$ Commented Jul 16, 2014 at 16:29
  • $\begingroup$ Never mind, I should not have posted such a harsh reply to your comment :) $\endgroup$
    – PhoemueX
    Commented Jul 16, 2014 at 20:08
2
$\begingroup$

The following claim implies your result.

Claim: Let $E \subseteq \mathbb{R}$ be arbitrary. Suppose $|f'(x)| \leq M$ for all $x \in E$. Then $\mu^{\star}(f[E]) \leq M\mu^{\star}(E)$.

Proof: Fix $\epsilon > 0$. Get an open set $U \supseteq E$ with $\mu(U) < \mu^{\star}(E) + \epsilon$. For each $x \in E$, let $\delta_x > 0$ be such that $(x - \delta_x, x + \delta_x) \subseteq U$ and $|f(y) - f(x)| \leq (M + \epsilon)|y - x|$ for every $y \in (x - \delta_x, x+ \delta_x)$. Consider the family of closed intervals: $V = \{[f(x), f(y)], [f(y), f(x)] : x \in E, |y - x| < \delta_x\}$ - This is a Vitali covering of $f[E]$ which means that every point in $f[E]$ is covered by arbitrarily small intervals in $V$. Using Vitali covering theorem, get a countable subfamily $C$ of pairwise disjoint intervals which covers all but a null part of $f[E]$. The (disjoint) union of the intervals in $C$ has measure at most $(M + \epsilon) \mu(U)$ which is less than $(M + \epsilon)(\mu^{\star}(E) + \epsilon)$. Now, let $\epsilon$ go to zero.

$\endgroup$
1

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .