0
$\begingroup$

Problem: Let $f:\mathbb{R}^{n}\rightarrow\mathbb{R}^{n}$ be locally Lipschitz. If $A\subset \mathbb{R}^{n}$ is measurable with $m^{*}(A)=0$, then $m^{*}(f(A))=0$.

I am trying to understand the proof of this problem, but I am a little confused by the hints that I was given.

Hint: Let $K$ be compact with Lipschitz constant $L_{K}$ show that $f$ maps any cube $Q_{r}$ of side length $r$ contained in $K$ to the set $f(Q_{r})$ which is contained in a cube of side length $L_{K}\sqrt{n}r$.

So I let $K\subset \mathbb{R}^{n}$ be compact with Lipschitz constant $L_{K}$. Then for any cube $Q_{r}\subset K$ with side length $r>0$, we have $$m^{*}(f(Q_{r}))\leq L_{K}^{n}m^{*}(Q_{r})=L_{K}^{n}r^{n}\leq L_{K}^{n}n^{\frac{n}{2}}r^{n}.$$ Here is the first part where I am confused. If I am trying to show that $m^{*}(f(A))=0$, why is $\sqrt{n}$ relevant to this at all? I understand that $A$ is a countable union of closed cubes, but I am lost on how this plays into the conclusion.

Hint: Explain why this implies: $m^{∗}(f(A \cap K)) \leq n^{n/2}L_{K}^{n}m^{∗}(A \cap K)$ and conclude the proof.

It follows that the above inequality is true just by construction and definition of Lipschitz continuity, but again, I am not understanding why these extra factors are coming into play.

Lastly, I don't understand why I am approximating the measure by the inside with compact sets, since the outer measure is approximated by looking at the measure of open sets which $A$ is contained in.

I appreciate any suggestions to help me understand this problem.

$\endgroup$
  • 1
    $\begingroup$ What makes you say $m^*(f(Q_r))\le L^n_Km^*(Q_r)$? $\endgroup$ – Jason Mar 9 '17 at 22:22
  • $\begingroup$ Maybe I am misinterpreting what Lipschitz continuity means with respect to measure. I was thinking that if $f$ is Lipschitz on a compact set $K\subset \mathbb{R}^{n}$ with Lipschitz constant $L_{K}$, then for any subset $A\subset K$, we would have that $m^{*}(f(A))\leq L_{K}^{n}m^{*}(A)$... $\endgroup$ – yung_Pabs Mar 9 '17 at 22:28
  • 1
    $\begingroup$ If this were the case, the question at hand would be trivial. Lipschitz continuity is defined in terms of metric, not measure: for all $x,y\in K$, we have $|f(x)-f(y)|\le L_K|x-y|$, where $|\cdot|$ denotes the usual Euclidean distance. $\endgroup$ – Jason Mar 9 '17 at 22:36
1
$\begingroup$

Let's start with the statement of the first hint. If $x,y\in Q_r$, then $$|x-y|=\sqrt{\sum_{i=1}^n(x_i-y_i)^2}\le\sqrt{nr^2}=\sqrt{n}r,$$ so $|f(x)-f(y)|\le L_K\sqrt{n}r$ since $Q_r\subseteq K$. In particular, for fixed $x_0\in Q_r$, we have $$f(Q_r)\subseteq B(x_0,L_K\sqrt{n}r)\subseteq x_0+[-L_K\sqrt{n}r,L_K\sqrt{n}r]^n$$ which is a cube of side length $2L_K\sqrt{n}r$.

[It seems reasonable to expect that a set of diameter at most $R$ be contained in a cube of side length $R$, but the proof is escaping me for now. In any case, the extra factor of $2$ will not matter.]

This implies that

$$m^*(f(Q_r))\le(2L_K\sqrt{n})^nr^n=(2L_K\sqrt{n})^nm^*(Q_r). $$

Next, fix $\epsilon>0$ and let $K_\epsilon$ be the closure of $K+B(0,\epsilon)$. Take a countable collection $\{Q_i\}$ of cubes such that $Q_i\subseteq\tilde K$, $A\cap K\subseteq\bigcup_iQ_i$, and

$$m^*(A\cap K)\ge\sum_im^*(Q_i)-\epsilon.$$

This is possible from the definition of $m^*$ (and by making each cube of side length smaller than $\epsilon$). Then we have

$$f(A\cap K)\subseteq f\left(\bigcup_iQ_i\right)\subseteq\bigcup_if(Q_i),$$

and so by monotonicity and subadditivity,

$$m^*(f(A\cap K))\le\sum_im^*(f(Q_i))\le(2L_{K_\epsilon}\sqrt{n})^n\sum_im^*(Q_i)\le(2L_{K_\epsilon}\sqrt{n})^n(m^*(A\cap K)+\epsilon).$$

Note that $L_{K_\epsilon}$ is an increasing function of $\epsilon$, so since $m^*(A)=0$ we may let $\epsilon\to0$ and obtain $m^*(A\cap K)=0$ for every compact set $K$. Now just take a countable collection of compact sets that cover $\mathbb R^n$, and you're done.

$\endgroup$
  • $\begingroup$ This was very helpful. Makes a lot of sense now! $\endgroup$ – yung_Pabs Mar 10 '17 at 3:28

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.