1 Answers
In geometric measure theory the area formula relates the Hausdorff measure of the image of a Lipschitz map, while accounting for multiplicity, to the integral of the Jacobian of the map. It is one of the fundamental results of the field that has connections, for example, to rectifiability and Sard's theorem.
Definition: Given f : R n → R m {\displaystyle f\colon \mathbb {R} ^{n}\to \mathbb {R} ^{m}} and A ⊂ R n {\displaystyle A\subset \mathbb {R} ^{n}} , the multiplicity function N , y ∈ R m {\displaystyle N,\,y\in \mathbb {R} ^{m}} , is the number of points in the preimage f − 1 ∩ A {\displaystyle f^{-1}\cap A}.
The multiplicity function is also called the Banach indicatrix. Note that, N = H 0 ∩ A ] {\displaystyle N=\mathbb {H} ^{0}\cap A]}. We will denote by H n {\displaystyle {\mathcal {H}}^{n}} the n-dimensional Hausdorff measure.
Theorem: If f : R n → R m {\displaystyle f\colon \mathbb {R} ^{n}\to \mathbb {R} ^{m}} is Lipschitz, then for any measurable A ⊂ R n {\displaystyle A\subset \mathbb {R} ^{n}} ,