Besicovitch-Federer projection theorem for continuously differentiable mappings having constant rank of the Jacobian matrix

DOI10.1007/S00209-017-1985-XzbMATH Open1401.28009arXiv1612.04578OpenAlexW2767481349WikidataQ59610284 ScholiaQ59610284MaRDI QIDQ1668445FDOQ1668445

Authors: Jacek Gałęski 

Publication date: 28 August 2018

Published in: Mathematische Zeitschrift (Search for Journal in Brave)

Abstract: The purpose of this article is to prove a generalisation of the Besicovitch-Federer projection theorem about a characterisation of rectifiable and unrectifiable sets in terms of their projections. For an $m$-unrectifiable set $Sigmasubsetmathbb{R}^n$ having finite Hausdorff measure and $varepsilon>0$, we prove that for a mapping $finmathcal{C}^1(U,mathbb{R}^n)$ having constant, equal to $m$, rank of the Jacobian matrix there exists a mapping $f_{v}arepsilon$ whose rank of the Jacobian matrix is also constant, equal to $m$, such that $|f_{v}arepsilon-f{|}_{mathcal{C}^1}<varepsilon$ and $mathcal{H}^m(f_{v}arepsilon(Sigma))=0$. We derive it as a consequence of the Besicovitch-Federer theorem stating that the $mathcal{H}^m$ measure of a generic projection of an $m$-unrectifiable set $Sigma$ onto an $m$-dimensional plane is equal to zero.

Full work available at URL: https://arxiv.org/abs/1612.04578

Recommendations

• The Besicovitch-Federer projection theorem is false in every infinite-dimensional Banach space
• Purely unrectifiable metric spaces and perturbations of Lipschitz functions
• A Local Version of the Projection Theorem
• Radial projections of rectifiable sets
• A quantification of a Besicovitch non-linear projection theorem via multiscale analysis

zbMATH Keywords

Hausdorff measurepurely unrectifiable setrank of the Jacobian matrix

Mathematics Subject Classification ID

Length, area, volume, other geometric measure theory (28A75) Topology of infinite-dimensional manifolds (57N20)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Existence and regularity almost everywhere of solutions to elliptic variational problems among surfaces of varying topological type and singularity structure
• Normal and integral currents
• The (φ, k) Rectifiable Subsets of n Space
• Uniform rectifiability and quasiminimizing sets of arbitrary codimension
• Title not available (Why is that?)

Cited In (6)

• A rank zero theorem related to the Hausdorff measure
• Hausdorff measure of critical set for Luzin \(N\) condition
• \(C^{1}\) mappings in \(\mathbb{R}^5\) with derivative of rank at most 3 cannot be uniformly approximated by \(C^{2}\) mappings with derivative of rank at most 3
• The Rank Theorem for Locally Lipschitz Continuous Functions
• The Besicovitch-Federer projection theorem is false in every infinite-dimensional Banach space
• Smooth approximation of mappings with rank of the derivative at most 1

This page was built for publication: Besicovitch-Federer projection theorem for continuously differentiable mappings having constant rank of the Jacobian matrix

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1668445)