2019
DOI: 10.2422/2036-2145.201703_021
|View full text |Cite
|
Sign up to set email alerts
|

A geometric second-order-rectifiable stratification for closed subsets of Euclidean space

Abstract: Defining the m-th stratum of a closed subset of an n dimensional Euclidean space to consist of those points, where it can be touched by a ball from at least n − m linearly independent directions, we establish that the m-th stratum is second-order rectifiable of dimension m and a Borel set. This was known for convex sets, but is new even for sets of positive reach. The result is based on a new criterion for second-order rectifiability.MSC-classes 2010. 52A20 (Primary); 28A78, 49Q15 (Secondary)

Help me understand this report
View preprint versions

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
18
0

Year Published

2019
2019
2024
2024

Publication Types

Select...
7

Relationship

3
4

Authors

Journals

citations
Cited by 12 publications
(19 citation statements)
references
References 10 publications
0
18
0
Order By: Relevance
“…In fact, we can choose v = a − x for a ∈ A such that |x − a| = r. Therefore (2) comes from [MS17,4.12]. Notice that [MS17, 4.12] also implies that S(A, r) is countably n − 1 rectifiable, a piece of information already contained in (1).…”
Section: Level Sets Of Distance Functionmentioning
confidence: 99%
See 1 more Smart Citation
“…In fact, we can choose v = a − x for a ∈ A such that |x − a| = r. Therefore (2) comes from [MS17,4.12]. Notice that [MS17, 4.12] also implies that S(A, r) is countably n − 1 rectifiable, a piece of information already contained in (1).…”
Section: Level Sets Of Distance Functionmentioning
confidence: 99%
“…A is a closed subset of R n . For each 0 ≤ m ≤ n, we define the m-th stratum of A by 3 It is proved in [MS17,4.12] that A (m) is a countably m rectifiable Borel set which can be H m almost covered by the union of a countable family of m dimensional submanifolds of R n of class 2. Finally one may use Coarea formula to infer that (N (A, a)) < ∞} for m = 0, .…”
Section: Definition Supposementioning
confidence: 99%
“…Proof. If K ⊆ Ω is compact then S ∩ K is (H m , m) rectifiable of class 2 by [MS19,4.12]. Henceforth the conclusion follows from 3.8(1) and 2.6. for H m a.e.…”
Section: Theoremmentioning
confidence: 90%
“…η ∈ N (Γ, a), (iii) trace Q Γ (a, η) ≤ m for H n−m−1 a.e. η ∈ N (Γ, a).Since Γ (m) is (H m , m) rectifiable of class 2 by[MS19, 4.12], it follows from [San19b, 3.23] that condition (i) is satisfied H m almost everywhere on Γ (m) . Moreover, noting 3.8 and 3.10, we infer that(10) ap b Γ (m) (a) • η = −Q Γ (a, η) and trace Q Γ (a, η) ≤ mfor H n−1 a.e.…”
mentioning
confidence: 99%
“…While these papers are a good start, there is still a great deal of opportunity for the use and further development of varifolds. On the theoretical front, there is the work of Menne and collaborators [34,35,36,37,38,28,39,40,41,42]. We want to call special attention to the recent introduction to the idea of a varifold that appeared in the December 2017 AMS Notices [41].…”
Section: Further Explorationmentioning
confidence: 99%