Transformation of Lebesgue Measure and Integral by Lipschitz Mappings

Joachim Naumann

Preprint series: Institut für Mathematik, Humboldt-Universität zu Berlin (ISSN 0863-0976), 08, 30

MSC 2000

26B10 Implicit function theorems, Jacobians, transformations with several variables

28A99 None of the above, but in this section

Abstract
We first show that {\sc Lipschitz} mappings transform measurable sets into measurable sets. Then we prove the following theorem:\par {\it Let $E\subseteq \mathbb{R}^n$ be open, and let $\phi: E\to\mathbb{R}^n$ be continuous. If $\phi$ is differentiable at $x_0\in E$, then} \[ \lim\limits_{r\to 0} \dfrac{\lambda_n(\phi(B_r(x_0)))}{\lambda_n(B_r)} = \Big| \det\phi'(x_0)\Big|. \] From this result the change of variables formula for injective and locally {\sc Lipschitz} mappings is easily derived by using the {\sc Radon-Nikodym} theorem. We finally discuss the transformation of $L^p$ functions by {\sc Lipschitz} mappings.