Area of \(LIP\) maps from \(\mathbb{R}^n\) to a metric space (Q1809067)

Let \((M,\delta)\) be a metric LIP manifold, i.e., an \(n\)-dimensional topological manifold \(M\) in which changes of coordinates are given by Lipschitz functions and \(\delta\) is a distance locally equivalent to the Euclidean one. Let \(\varphi(\xi,v)\) be the directional derivative of \(\delta\) at \(\xi\). The \(n\)-dimensional Hausdorff measure \({\mathcal H}^n_\delta\) is defined with the metric structure induced by \(\delta\), while \((Jf)\) \((\xi)\) is defined as a notion of volume with the Finslerian structure induced by \(\varphi\). If \(\Omega\subset\mathbb{R}^n\) is an open set and \(f:\Omega\to M\) is a locally invertible LIP map, then for every mesurable subset \(A\subset\Omega\), \[ \int_A (Jf)(\xi) d\xi= \int_{f(A)} {\mathcal H}_\delta^0 \bigl(A\cap f^{-1}(z) \bigr) d {\mathcal H}_\delta^n(z). \]