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

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 Σ⊂Rn\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varSigma \subset \mathbb {R}^{n}$$\end{document} having finite Hausdorff measure and ε>0\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varepsilon >0$$\end{document}, we prove that for a mapping f∈C1(U,Rn)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$f\in \mathscr {C}^1(U,\mathbb {R}^{n})$$\end{document} having constant, equal to m, rank of the Jacobian matrix there exists a mapping fε\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$f_\varepsilon $$\end{document} whose rank of the Jacobian matrix is also constant, equal to m, such that ‖fε-f‖C1<ε\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Vert f_\varepsilon -f\Vert _{\mathscr {C}^1}<\varepsilon $$\end{document} and Hm(fε(Σ))=0\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathscr {H}}^{m}(f_\varepsilon (\varSigma ))=0$$\end{document}. We derive it as a consequence of the Besicovitch–Federer theorem stating that the Hm\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathscr {H}}^m$$\end{document} measure of a generic projection of an m-unrectifiable set Σ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varSigma $$\end{document} onto an m-dimensional plane is equal to zero.


Introduction
Rectifiability is one of the most important concepts investigated in geometric measure theory. A rectifiable set coupled with an orientation and integer multiplicity results in a notion of an integral current which has two nice properties. First, the space of such currents enjoys a compactness property proved by Federer and Fleming in [6], and second, it contains the class of smooth orientable surfaces, and thus constitutes its natural generalisation.
The subject of this work originates from a modification of a systematic way of projecting cubes of Whitney partition onto their m-dimensional skeletons, see [3,Chapter 3]. Let H m denote the m-dimensional Hausdorff measure. In [1, 2.9] Almgren constructs a similar smooth mapping l m from almost all of R n to the m-dimensional skeleton of cubes. Then, in Section 2.9(b) on the page 338 of the same work, Almgren claims that for a purely m-unrectifiable set Σ with H m (Σ) < ∞, there exists a perturbation l * m arbitrarily close to l m in C 1 topology such that H m (l * m (Σ)) = 0. We provide a proof of this claim for "an arbitrary mapping having constant rank of the Jacobian matrix" instead of the map l m .
The proof is based on a construction of a diffeomorphism Ξ ε such that H m ( f • Ξ ε (Σ)) = 0. The significance of class C 1 comes from the potential application. A map of class C 1 allows for a continuous pushforward of integral currents. This may be a useful tool in proving the existence of solutions, in this class, to variational problems, for example the Plateau problem. In this particular problem removing the unrectifiable part by a slight perturbation strictly decreases the measure, so it seems like a step in the right direction.
A similar problem has been recently studied by Pugh in [10]. In this work Pugh investigates Lipschitz mappings arbitrarily close to identity in C 0 topology such that the measure of the image under this mappings of an unrectifiable part is arbitrarily small. Moreover, if this unrectifiable part was a part of a larger set, the rectifiable part of the larger set is changed only slightly under this mapping. Note that Pugh constructs a Lipschitz map that alone abates the measure of unrectifiable part. We, on the other hand, build a diffeomorphism of the domain of a given map f such that after a composition with f the measure of the unrectifiable part is zero.
Furthermore the solution to the above problem left by Almgren in the case of radial projections can be found in thesis by [7,Lemme 4.3.16, p. 119].
Let n, m ∈ N be such that m < n. We say the set E ⊂ R n is m-rectifiable if there exists a countable family of Lipschitz maps f i : The Besicovitch-Federer projection theorem was first proved by Besicovitch in [2] for one dimensional sets on the plane and then generalised to any dimension by Federer in [4]. We use the formulation given in [9, Theorem 18.1] which consists of two statements. The first one characterises rectifiable sets: a set A is m-rectifiable if and only if the image of every subset B ⊂ A of positive H m -measure under a generic projection has positive H m -measure, i.e. H m (P V (B)) > 0. The second one concerns unrectifiable sets and states that for a generic orthogonal projection P V onto an m-dimensional plane V the measure of the image of a purely m-unrectifiable set Σ is zero, i.e. H m (P V (Σ)) = 0. The statement about rectifiable sets expresses the intuitions: on the plane, the shadow cast by an interval has positive length unless the interval is parallel to the light rays. Moreover, we see that that 1-unrectifiable sets despite having positive H 1 -measure cast shadow of length zero for almost all directions of light rays.
On the pages that follow we generalise the second of the above statements. We consider the consequences of the substitution of the orthogonal projections in the B-F theorem by the class of mappings having constant rank of the Jacobian matrix. For an open set U ⊂ R n , we denote this class by This is a much wider class of mappings, and consequently our assertion differs from the result of the theorem of Besicovitch and Federer. Instead of a measure theoretic result we obtain a topological one involving the density. Precisely, in Sect. 3 we prove the following theorem.

Then the interior of the set
The proof is based on a construction of a diffeomorphism of the domain that can be arbitrarily close to the identity, and such that the pullback of f ∈ A (Σ) by this diffeomorphism is no longer in the set A (Σ). This construction is divided into two main steps. First, in Sect. 2, we prove a local variant of this theorem. The proof of the local variant is based on the fact that for a mapping f ∈ C 1 =m (U, R n ) and a point x ∈ U there exists a neighbourhood V of x and diffeomorphisms φ and ψ of R n such that f | V = ψ −1 • π • φ| V , where π is an orthogonal projection onto some m-plane. We insert a rotation θ of R n into this composition to obtain We then show that θ can be chosen so that f ε is closer to f than ε in C 1 topology and zeroes the measure of unrectifiable Σ in the image , i.e. H m ( f ε (Σ ∩ V )) = 0.
Next, in Sect. 3 we prove the main theorem. The crucial difficulty is to glue diffeomorphisms Ξ = φ −1 • θ • φ, that do not agree on intersections and act non-trivially on boundaries of their individual domains, constructed in the first step of the proof. This is achieved by a careful construction of a countable family F of open, connected, pairwise disjoint sets, whose closures covers the domain U . Then, we iteratively apply the modified diffeomorphisms constructed in the local variant of the theorem to elements of the family F .
In order to obtain this modification we interpolate between diffeomorphism from the local variant and the identity using a vector flow. The result is that away from the boundary of an element of the family F the modified diffeomorphism is equal to the one from the local variant, and on the boundary it is equal to the identity. Once we have applied this modified diffeomorphism, the part of the set Σ that was away from the boundary, after further composition with f , yields no measure.
It is not the case when we consider the part of the set Σ that is near the boundary. On the collar around the boundary the modified diffeomorphism is not equal to the mapping from the local variant and consequently we do not know the outcoming measure of the perturbed Σ after the composition with f . The solution is to iterate modified diffeomorphisms as described in previous paragraph on decreasingly thinner collars around the boundaries.
In Sect. 3.2 we describe the reverse implication i.e., if the set Σ ⊂ U has positive measure and A (Σ) has empty interior in C 1 =m (U, R n ) then Σ is m-purely unrectifiable. Therefore the property in Theorem 3.1 is in fact equivalent description of purely unrectifiable sets.
Instead of C 1 =m (U, R n ) we may consider even a wider class of mappings having bounded rank of the Jacobian matrix, namely In Sect. 3.3 we discuss the potential extension of the main theorem. The argument would be a simple consequence of Sard's theorem under the following conjecture.
The difficulty in proving this conjecture is that for f ∈ C 1 ≤m (U, R n ) the convolution with the mollifier ϑ ε f / ∈ C ∞ ≤m (U, R n ) because rank of the Jacobian matrix is generally no longer bounded by m.

Notation and conventions
1. For r ∈ R and A ⊂ R n the r -neighbourhood of the set A is

Local variant
Before we discuss the local variant of the theorem we shall explain how the orthogonal projections and the class C 1 =m (U, R n ) are related to each other. For a continuously differentiable map f : In other words we say: there exists a diffeomorphism that straightens preimages . By combining this observation and Eq. (4) we obtain the classical result.
where P V : R n → R n is the projection on an m-dimensional plane V .
Therefore any map f ∈ C k =m (U, R n ) is similar in the above local manner, to the orthogonal projection onto an m-dimensional plane. Therefore, the class C 1 =m (U, R n ) is a natural generalisation of projections.
Our temporary goal is the following local form of the main theorem.
We precede the proof with a proposition stating that the unrectifiability property is preserved by a bi-Lipschitz diffeomorphism.
Proof The m-dimensional Hausdorff measure satisfies the inequality (see [9, Theorem 7.5, where l : R n → R n is a Lipschitz map and A is a subset of R n . Therefore, for any m-rectifiable where the last equality follows from the rectifiability of φ −1 (E).
We are now in a good position to prove the lemma.
Proof of Theorem 2. 2 We divide the proof into three parts. The first part contains the definition of the diffeomorphism Ξ θ which composed with map f will be the mapping f ε = f •Ξ θ from the conclusion of the theorem. In the second part we investigate the distance between f and the modified map. In the last part we check when the image f •Ξ θ (Σ) has m-dimensional measure equal to zero.
Step 1 Let U x be an open neighbourhood as in Theorem 2.1. Using a translation we can For simplicity denote φ := φ x . For an isometry SO(n) θ : R n → R n let Ξ θ stand for the map Observe that the further composition with (ψ • f ) yields a mapping from U (x, r ) to R m . We investigate the image of the set Σ under this composition for some m-dimensional plane V . We claim that while Therefore, we obtained a projection of the unrectifiable set φ(Σ) onto a subspace θ −1 (V ).
We will choose symmetry θ is such a way that it is both close to identity mapping and the projection onto the m-plane θ −1 (V ) zeroes the measure of φ(Σ).
Step 2 We will prove that there exists an open neighbourhood of id in SO(n) such that the composition can be as close to the mapping f | U (x,r ) as we wish. Observe that both f and D f are continuous up to the boundary of U (x, r ) for r < r x , hence, they are uniformly continuous. For the differential D f define the continuity parametersε andδ by the following statement: for any for Ξ θ − id C 0 <δ(ε). Observe, that if we pickε < ε/2 and Ξ θ − id C 0 < min(δ, ε/2) then the left hand side of Eq. (12) is less than ε. Therefore, we need to control the C 1 norm of (Ξ θ − id). Similarly to Eq. (12) one can show that also Ξ θ − id C 1 (U (x,r )) is continuous in the argument θ . This provides that for any positive ε we can find an open ball in SO(n) and then γ n,m (B SO (id, ρ).V ) = γ n,m (Z φ(Σ) ). Under the mappings ψ −1 and θ a set of zero H m −measure is mapped to a set of zero measure, hence we have

The C 1 =m Besicovitch-Federer Theorem
In this section we prove the main theorem and the reverse implication, thus we obtain a characterisation of purely unrectifiable sets Σ in terms of the topology of A (Σ).

Main theorem
The main theorem states, in slightly other words, that for any C 1 neighbourhood of a function f ∈ C 1 =m (U, R n ) there exists perturbation f ε such that an f ε (Σ) has zero measure.

Theorem 3.1 For a purely m-unrectifiable set Σ contained in an open
Then the interior of the set A (Σ) in the C 1 =m (U, R n ) topology is empty.
Proof We will prove that for every ε > 0 and f which will imply that the interior of A (Σ) is empty. The function f ε will be the limit of a sequence f n contained in an ε-neighbourhood of f and such that H n ( f n (Σ)) n→∞ −→ 0. From Theorem 2.2 we already know that locally Theorem 3.1 is true. The problem is that the diffeomorphisms Ξ θ do not agree on overlapping sets U (x, r ) and U (x,r ). Thus we are forced to work on disjoint sets. Additionally diffeomorphisms Ξ θ acts non-trivially on the boundary of U (x, r ), hence those sets have to be not only disjoint but also have positive distance between each other.
The following lemma enables us to extend a mapping Ξ θ from the Theorem 2.2 to a larger set. For a subset O contained in U (x, r ), provided that is is far enough from the boundary of U (x, r ), we will find a diffeomorphism which acts like Ξ θ on O and equals to identity outside some neighbourhood of the set O.

Lemma 3.2 If a compact set U is
Proof For an element θ ∈ SO(n) sufficiently close to id (before cut locus) there exists a unique path exp(t X θ ) = θ t : R → SO(n) for X θ ∈ so(n) connecting id and θ that is θ 1 = θ , θ 0 = id. Mapping t → exp(t X θ ) is a group endomorphism R → Diff(B(0, r )), in other words it is a flow, and induces a vector field The aim now is to produce a vector field V θ ∈ Γ (T U ) such that its vector flow gives the mapping Ξ θ (y) = ϕ V θ (1, y). Notice that the field X can be transported back to the set U via diffeomorphism φ or again using the fact that the flow Ξ θ t : R × U → U generates a vector field Multiplying the field V θ by a smooth cutoff function of an appropriate neighbourhood of the set O we obtain a flow that at small enough time will do exactly what was formulated in the points (i)-(iii). The field W θ is Lipschitz on the compact set U and equal to zero on the neighbourhood of the boundary, and generates one-parameter group of diffeomorphisms that exists for times t ∈ (− ε, ε) for some positive ε. Differentiable dependence on initial conditions guaranties that we will find time t so small that item (iii) is satisfied for all |s| < t.
So far for some fixed θ we found t such that θ t fulfils (i), (ii) and (iii). Observe that the mapping In the set ζ 1,1 (U 1 ) the only possible place for positive H m measure of f • ζ 1,1 (Σ) is outside ζ 1,1 (O). Define this set by U 1,2 := U 1 \ζ 1,1 (O). The idea is to repeat the above procedure: apply Lemma 3.2 to the set U 1,2 \B μ 2 (∂U 1,2 ). This yields a diffeomorphism ζ 1,2 which slightly moves the set that is in U 1,2 and further than μ 2 away from the boundary of U 1,2 .
The sequence f n appears as the composition It will turn out that this sequence is a finite composition for almost all points u ∈ U 1 . We have to check that this sequence is converging to some map f ε . Here we end the outline and start the proof with a construction of the cover U.
Step 1. Construction of the family U From now on let the family stand only for those sets introduced in Theorem 2.2 that fulfil the property H m (Σ ∩ ∂U (x, r )) = 0. Note that for every x in U at most countable set of radii r ∈ (0, r x ) does not have the above property. From this family choose a countable collection B ⊂ B, covering U and denote them B = (V i ) i∈N . Consider the following collection of open sets Finally define U as the family of connected components of the elements of U. Denote the elements of U by (U i ) i∈N .  1) and B = {V 1 , V 2 }. In this case U consists of two sets: the ball B(0, 1) and the rectangle (− 1, 1) × (− 1, 1) with ball cut out. Then family U has three elements: the ball, left remains from rectangle after cutting out the ball and symmetric right part.
Already int(V 2 )\V 1 can consist of countably many connected components. The support of the measure H m Σ is contained in sum of sets from U because of the condition imposed on Eq. (17). Since the boundary of U i can be divided into finite sum Note that the ∂U j ∩ ∂ V i can have infinitely many connected components.
Step 2. Controlling the H m Σ-measure of the collars Observe that for a continuously differentiable, compact (n − 1) dimensional manifold ∂ V k as above the limit By contradiction, assume that lim which contradicts the assumption about the family (17). Fix U i ∈ U and let Since ∂U i ⊂ k<n ∂ V k for some n = n(i) then Therefore there exists μ i,1 > 0 such that 1] is an uncountable, pairwise disjoint family of sets which are (n − 1)-rectifiable for almost all s.
Step 3. Using Lemma 3.2 We need to control the H m Σ-measure in the collars around the boundary, because there we do not have property H m ( f • ζ(Σ)) = 0. Since f is C 1 up to the boundary of V i , without loss of generality, we can assume that Lip( f ) ≤ 1 and bound the measure of Σ in the domain instead of the measure of the image. Let and t in the vector flow ϕ W θ (t, ·) = ζ so small that Step 5. The nth−step First we define U n = U n−1 \ζ n−1 (O n−1 ). Take a collar around boundary of U n of width μ n . Since the boundary of U n and the boundary of the collar are rectifiable sets for almost all μ n , we can take μ n such that Use Lemma 3.2 to the set O n = U n \col μ n (U n ) with η < ε n /3 and t in the flow so small that We estimate the distance of the above composition to identity map.
Step 6. Mapping in the limit Let Since C 1 (U, R n ) is a Banach space, if the sequence ζ n is a Cauchy sequence then it will imply that ζ ∈ C 1 (U, R n ). Let ζ • n := ζ n • . . . • ζ 1 . Almost the same as in (38), for any > 0 Since the series k ε k is convergent, one can find an integer N such that for n, m > N the condition is satisfied, proving that ζ ∈ C 1 (U, R n ). Notice that Dζ = id on the boundary because all Dζ n are equal to the identity on the boundary.
Step 7. Construction for the whole set U Having a construction on one element of the family U we easily produce the sequence for the whole domain U , because on every element of the cover U the modification can be done separately. From now on U i denotes an element of the family U again and ζ i,n is the mapping at the nth-step on the element U i . The mapping ζ i,n can be extended with id to U \U i . Define the sequence (ξ n ) n=1,2,... by The composition sign between functions in the last line is, in fact, a long list of identities because On every component U i sequence ξ n is converging to corresponding ζ . After composition with the map f the measure of Σ ∩ U i is zero for every i.

Reverse implication
Reverse implication is an easy consequence of two facts. The first is that a rectifiable set can be filled up to a set of the measure zero with a countable family of C 1 submanifolds and the second is the area formula.

Lemma 3.4
Let Σ ⊂ U ⊂ R n be such that H m (Σ) < ∞ and assume that the interior of the set A (Σ) in the C 1 =m (U, R n ) topology is empty, where as before Then Σ is purely unrectifiable.
Proof We shall prove this lemma by contradiction. Assume that the interior of the set A (Σ) in C 1 =m (U, R n ) is empty and H m (Σ r ) > 0 where Σ = Σ r ∪Σ unr and Σ r denotes rectifiable part of the set Σ. For a metric space X , x ∈ X and a positive δ let Let P m : R n → R n denotes the projection on the first m coordinates. We shall find a mapping ψ : R n → R n and an open set B C 1 =m (P m • ψ, δ) such that the image of the set Σ r under any mapping from this ball has positive measure.
A rectifiable set can be covered up to a set of the H m measure zero by countably many mdimensional C 1 submanifolds, see [8,Theorem 3]. Therefore there exists a family M m i i∈N such that where M m i is an m-dimensional C 1 submanifold in R n . We may assume that where L ψ −1 is the Lipschitz constant for the mapping ψ −1 . Consider a set in the C 1 =m metric space consisting of mappings that are δ close to P m • ψ on the ball B For a compact B similarly to Eq. (34) one can see that precomposition with ψ is continuous i.e.
If we take ε sufficiently small then the above imply that is injective since it is ε close to id = P m | R m ×0 n−m in C 1 metric. It is so because on every interval joining two points in the domain, function is equal to the integral of its derivative. If two points collapse to one under the above mapping then considering for example first coordinate we would have that integral of the derivative over the interval joining them is equal to zero. But this is impossible becasue D( f • ψ −1 ).v is ε v -close to v, where v is a vector joining those two points in the domain. Now we use the area formula to prove that any such g := f • ψ −1 : R m → R n has the property H m ( g(ψ(M ∩ Σ r )) ) > 0. Let Σ ψ := ψ(M ∩ Σ r ∩ B), then where for A ∈ M n×m the matrix [A] m is m × m matrix obtained by cutting off last (n − m) rows and [B] m is again m × m matrix obtained from B ∈ M m×n by cutting off last (n − m) columns, and I m ∈ M m×m is identity matrix. Note that if g − P m C 1 ≤ ε then A i for i = 1, 2 are smaller than cε and A 3 is smaller than cε 2 with c = c(n, m). The matrix I m ∈ M m×m is away from the set of matrices of rank less or equal than m − 1. Hence if we pick ε small enough It follows that for any f form sufficiently small ball B C 1 =m B (P m • ψ, δ) ∩ C 1 =m (U, R n ) the measure of the image of Σ r is positive hence we obtained a contradiction to our assumption about emptiness of the interior of the set A (Σ).

Potential extension of the theorem
Mappings with m or lower rank.Under the conjecture our main theorem would be true for broader class of mappings C 1 ≤m (U, R n ). The argument is as follows. Let f ε − f C 1 ≤ ε and f ε ∈ C ∞ ≤m . Split the domain into two sets U m = {x |r (D f ε (x)) = m} and U \U m . On the set U m do the same procedure as for maps belonging to Apply it to f ε and notice that if k > n − m + 1 then m − 1 + (n − (m − 1))/k < m and then the H m measure of the image of the whole set B equals zero, hence H m ( f ε (B ∩ Σ)) = 0 as f ε belongs to any class C k . Therefore if Eq. (51) is true then the thing we have to do is to modify the map on the open set where the rank of the Jacobian matrix is equal to m.