Calculus of Variations and Geometric Measure Theory

D. Bate - J. Takáč

Typical Lipschitz images of rectifiable metric spaces

created by takáč on 03 Mar 2026
modified on 11 Mar 2026

[BibTeX]

Published Paper

Inserted: 3 mar 2026
Last Updated: 11 mar 2026

Journal: Journal für die reine und angewandte Mathematik (Crelles Journal)
Year: 2023
Doi: https://doi.org/10.1515/crelle-2024-0004

ArXiv: 2306.07943 PDF

Abstract:

This article studies typical 1-Lipschitz images of $n$-rectifiable metric spaces $E$ into $\mathbb{R}^m$ for $m\geq n$. For example, if $E\subset \mathbb{R}^k$, we show that the Jacobian of such a typical 1-Lipschitz map equals 1 $\mathcal{H}^n$-almost everywhere and, if $m>n$, preserves the Hausdorff measure of $E$. In general, we provide sufficient conditions, in terms of the tangent norms of $E$, for when a typical 1-Lipschitz map preserves the Hausdorff measure of $E$, up to some constant multiple. Almost optimal results for strongly $n$-rectifiable metric spaces are obtained. On the other hand, for any norm $
\cdot
$ on $\mathbb{R}^m$, we show that, in the space of 1-Lipschitz functions from $([-1,1]^n,
\cdot
_\infty)$ to $(\mathbb{R}^m,
\cdot
)$, the $\mathcal{H}^n$-measure of a typical image is not bounded below by any $Δ>0$.