Besicovitch-Federer projection theorem for measures
Fuente:
arXiv
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866915621368758272 |
|---|---|
| author | Tasso, Emanuele |
| author_facet | Tasso, Emanuele |
| contents | In this paper we establish a Besicovitch-Federer type projection theorem for general measures. Specifically, let $μ$ be a finite Borel measure on $\mathbb{R}^n$ and let $0 < m < n$ be an integer. We show that, under the sole assumption that the slice $μ\cap W$ is atomic for a typical $(n-m)$-plane $W \subset \mathbb{R}^n$, pure unrectifiability can be characterized simultaneously by the $μ$-almost everywhere injectivity of the orthogonal projection $π_V \colon \mathbb{R}^n \to V$ and by the singularity of the projected measure for a typical $m$-plane $V$. In particular, no assumption on $π_Vμ$ is required a priori. This yields a new rectifiability criterion via slicing for Radon measures. The result is new even in the classical setting of Hausdorff measures, and it further extends to arbitrary locally compact metric spaces endowed with a generalized family of projections. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2511_12636 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Besicovitch-Federer projection theorem for measures Tasso, Emanuele Classical Analysis and ODEs In this paper we establish a Besicovitch-Federer type projection theorem for general measures. Specifically, let $μ$ be a finite Borel measure on $\mathbb{R}^n$ and let $0 < m < n$ be an integer. We show that, under the sole assumption that the slice $μ\cap W$ is atomic for a typical $(n-m)$-plane $W \subset \mathbb{R}^n$, pure unrectifiability can be characterized simultaneously by the $μ$-almost everywhere injectivity of the orthogonal projection $π_V \colon \mathbb{R}^n \to V$ and by the singularity of the projected measure for a typical $m$-plane $V$. In particular, no assumption on $π_Vμ$ is required a priori. This yields a new rectifiability criterion via slicing for Radon measures. The result is new even in the classical setting of Hausdorff measures, and it further extends to arbitrary locally compact metric spaces endowed with a generalized family of projections. |
| title | Besicovitch-Federer projection theorem for measures |
| topic | Classical Analysis and ODEs |
| url | https://arxiv.org/abs/2511.12636 |