Perturbations of measures and sets having curves in d directions

Abstract: We show that whenever a separable subset $S$ of a complete metric space $X$ admits a $d$-dimensional weak tangent field, the set $S$ is close to being $d$-dimensional in the following sense. Whenever $μ$ is a Borel finite measure on $X$ supported on $S$, then a typical $1$-Lispchitz map (in the sense of Baire category) into a Euclidean space maps $μ$-almost all of $S$ into a set of Hausdorff dimension at most $d$. When taking $d=0$, this implies that any $1$-purely unrectifiable set is typically carried into a Hausdorff $0$-dimensional set up to a $μ$-null set. We show that the result is sharp in Euclidean spaces and, more generally, in strictly convex Banach spaces of finite dimension.

• The paper establishes a sharp residual perturbation theorem showing that typical 1-Lipschitz maps send measures on sets with d-dimensional weak tangent fields to sets of Hausdorff dimension at most d.
• It demonstrates that the stable Hausdorff dimension coincides with the minimal d needed for a weak tangent field, linking geometric measure theory with residual properties.
• The analysis leverages the preservation of Alberti representations and Lipschitz perturbation techniques, refining classical projection theorems in Euclidean and convex Banach spaces.

Perturbations of Measures and Sets Having Curves in $d$ Directions

Introduction and Context

This work by Jakub Takač (2604.15887) systematically studies the interplay between geometric measure-theoretic regularity (rectifiability and unrectifiability), weak tangent fields, and the behavior of measures under perturbations by typical Lipschitz mappings. The focal point is the analysis of separable subsets $S$ of a complete metric space $X$ that admit $d$-dimensional weak tangent fields, exploring how "close" such sets are to actually being $d$-dimensional, in the sense of their images under generic $1$-Lipschitz mappings.

This research is situated within a line of work leveraging weak tangent structures and perturbation methods to understand the structure and dimension-theoretic properties of purely unrectifiable sets, extending work by Bate, Li, Weigt, and others. The results have direct ramifications for the theory of rectifiability, dimension theory, the geometry of metric spaces, and the analysis of typical Lipschitz images of sets and measures.

Main Contributions

Sharp Residual Perturbation Theorem

The central result establishes that if a separable set $S$ in a complete metric space $X$ admits a $d$-dimensional weak tangent field, then for any finite Borel measure $\mu$ on $S$0, a typical $S$1-Lipschitz map into any Euclidean space sends $S$2-almost all of $S$3 into a set of Hausdorff dimension at most $S$4. Formally, the set

$S$5

is residual in the space $S$6. This is a generalization and sharpening of earlier squashing and projection theorems; specifically, it removes the prior necessity for finite Hausdorff measure and replaces pure unrectifiability with a structural tangent field condition, which is the correct relaxation in the absence of finite measure.

Notably, when $S$7, this implies that every $S$8-purely unrectifiable set is mapped, up to a null set, to a $S$9-dimensional set under a typical $X$0-Lipschitz map.

Stability and Sharpness; Relation to Hausdorff Dimension

A key technical achievement is proving that the above results are sharp in Euclidean spaces and, more generally, strictly convex finite-dimensional Banach spaces. The sharpness is quantified using the notion of the stable Hausdorff dimension under perturbation, $X$1, which, in the Euclidean context, coincides exactly with the minimum $X$2 so that $X$3 admits a $X$4-dimensional weak tangent field (tangential dimension).

The work rigorously establishes the following equalities in Euclidean space:

$X$5

where $X$6 is the tangential dimension and is, in fact, an integer.

Stability of Alberti Representations

The proof proceeds through a careful measurable selection mechanism for perturbing measures while preserving the number of independent Alberti representations. Specifically, in strictly convex finite-dimensional Banach spaces, the number of independent Alberti representations is shown to be invariant under sufficiently small $X$7-Lipschitz perturbations, implying preservation of tangential dimension under such perturbations.

Contrasts with Classical Projection Theorems

A significant discussion in the paper centers around the difference between typical Lipschitz perturbations and classical random orthogonal projections (Besicovitch–Federer, Marstrand) in their effect on the dimension of typical images. It is underscored that, contrary to Marstrand-type theorems, generic Lipschitz images can dramatically decrease Hausdorff dimension, even reducing the typical image of, say, the Koch curve to a $X$8-dimensional set with respect to its natural measure, even though projections almost surely preserve dimension.

Analytical Techniques and Developments

Scalar and Vector-Valued Perturbations

Foundational in the argument is the construction of specialized real-valued perturbations concentrating measure, which are then "lifted" to vector-valued maps via the machinery of weak tangent fields and precise manipulation of affine parameters, projections, and coordinate representations. The scalar perturbations are engineered to be $X$9-Lipschitz at large scales while allowing more flexibility locally, a technical necessity for the residual density arguments.

Borel Rigidity in Curve Fragment Spaces

A substantial technical investment is made in understanding maps and restrictions in the space of Lipschitz curve fragments, including the preservation of measurability and density properties after various restriction and extension operations. This rigor enables the precise deployment of Alberti representation technology at the required measure-theoretic level.

Commutativity and Pushforwards

The proof establishes careful commutativity properties between pushforwards along Lipschitz perturbations and the operation of taking barycenters (integrating along curve fragments), which is essential for showing that the (number of) Alberti representations is preserved under small perturbations.

Implications and Theoretical Significance

The results offer a novel and definitive description of the minimal "invariant" dimension for a measure under typical $d$0-Lipschitz perturbations, fully resolving questions left open in the prior literature, especially regarding the structure of image sets of unrectifiable measures.

On the practical side, this impacts our theoretical understanding of phenomena such as the regularity of solution structures to PDEs on metric spaces, the morphology of supports of singular measures under noise or approximation, and informs the development of metric geometry in spaces lacking smooth structure. The techniques involving weak tangent fields, residual measure-theoretic arguments, and stability of geometric decompositions may find further application in metric measure analysis and in the rapidly developing field of analysis on metric spaces (e.g., Lipschitz differentiability spaces, rectifiability theory).

Future Directions

There are clear prospects for extending these ideas in several directions:

• Generalization to non-strictly convex Banach spaces (potentially with new convexity notions or more sophisticated notions of directionality).
• Sharpness and perturbation analysis in infinite-dimensional or non-separable metric spaces.
• Connections with the structure of $d$1 spaces, where tangent and decomposability bundles are already instrumental.
• Applications to theoretical computer science (metric embeddings), geometric group theory, and probabilistic analysis of random Lipschitz mappings.

Conclusion

This paper delivers a robust framework for understanding the minimal dimensional content preserved under generic $d$2-Lipschitz perturbations, grounded in the geometry of weak tangent fields and the stability of Alberti representations. The main results are both technically sharp and conceptually clarifying, yielding new insight into the typical behavior of measures and sets with highly nonrectifiable structure under Lipschitz mappings. The analytic and measure-theoretic toolkit developed here will play an important role in future developments in geometric measure theory and analysis on metric spaces.