Let $A$ be open in $\mathbb R^n$. and let g: $A \to \Bbb R^n$ be locally Lipschitz. Show that if the subset $E$ of $A$ has measure zero in $\mathbb R^n$, then $g(E)$ has measure zero in $\mathbb R^n$
Many Thanks.
Let $A$ be open in $\mathbb R^n$. and let g: $A \to \Bbb R^n$ be locally Lipschitz. Show that if the subset $E$ of $A$ has measure zero in $\mathbb R^n$, then $g(E)$ has measure zero in $\mathbb R^n$
Many Thanks.
Let $E\subset A$ have measure zero and put $C_k\subset \mathbb R^n$ be an increasing sequence of compacts such that $ A\subset \bigcup\limits_{k=1}^\infty C_k. $ Let us denote $E_k = E\cap C_k$ and a measure on $\mathbb R^n$ through $\mu$. If we show that $\mu (g(E_k)) = 0$ for all $k$ it clearly means that $\mu(g(E)) = 0$.
Since $E_k$ has a measure zero as a subset of $E$, for any $\delta>0$ there is a cover of $E_k$ with open balls $\{B(x_i,r_i)\}_{i=1}^m$ such that their total measure does not exceed $\delta$. So, $ E_k\subset \bigcup\limits_{i=1}^m B(x_i,r_i). $ Note that if $x\in E_k$ then there is $i = 1,\dots,m$ such that $|x-x_i|\leq r_i$. As a result, for any $y\in g(E_k)$ there is $i = 1,\dots,m$ such that $|y-g(x_i)|\leq \lambda_k r_i$ where $\lambda_k$ is a Lipschitz constant for $g$ restricted to $E_k$. As a result, $ \mu(g(E_k))\leq\mu\left(\bigcup\limits_{i=1}^m B(g(x_i),\lambda_k r_i)\right)\leq \lambda^n_k \delta. $ Since $\delta$ is arbitrary, we obtain that $\mu(g(E_k)) = 0$ and hence $\mu(g(E)) = 0$.