Coarea integration in metric spaces
Let be a metric space with a doubling measure, be a boundedly compact metric space and be a Lebesgue precise mapping whose upper gradient belongs to the Lorentz space , . Let be a set of measure zero. Then for -a.e. , where is the -dimensional Hausdorff measure and is the -codimensional Hausdorff measure. This property is closely related to the coarea formula and implies a version of the Eilenberg inequality. The result relies on estimates of Hausdorff content of level sets...