Purely unrectifiable metric spaces and perturbations of Lipschitz functions (Q2175210)

The article deals with a counterpart to the Besicovitch-Federer projection theorem in the setting of complete metric space. In this setting the author considers a natural class of mappings, the Lipschitz mappings into an Euclidean space. More precisely, let \(X\) be a complete metric space and \(S\subset X\) a purely \(n\)-unrectifiable set with a finite Hausdorff measure \(\mathcal{H}^n\) and positive lower density at almost every point. One main result (which is also new for an Euclidean metric space) states that a typical 1-Lipschitz function on \(X\) maps \(S\) to a set with null \(\mathcal{H}^n\)-measure. Additionally, it is obtained that the image of an \(n\)-rectifiable subset of \(X\) under action of a typical 1-Lipschitz function has a positive \(\mathcal{H}^n\)-measure. The proof uses the new notion of weak tangent field of a metric space which is a generalization of the notion due to \textit{G. Alberti} et al. [in: Proceedings of the international congress of mathematicians (ICM 2010), Hyderabad, India, August 19--27, 2010. Vol. III: Invited lectures. Hackensack, NJ: World Scientific; New Delhi: Hindustan Book Agency. 1379--1394 (2011; Zbl 1251.26010)]. Further, the proof relies on some construction for the perturbation of Lipschitz functions.