On Rectifiable Measures in Carnot Groups: Existence of Density

In this paper, we start a detailed study of a new notion of rectifiability in Carnot groups: we say that a Radon measure is [Formula: see text] -rectifiable, for [Formula: see text] , if it has positive h-lower density and finite h-upper density almost everywhere, and, at almost every point, it admits a unique tangent measure up to multiples. First, we compare [Formula: see text] -rectifiability with other notions of rectifiability previously known in the literature in the setting of Carnot groups, and we prove that it is strictly weaker than them. Second, we prove several structure properties of [Formula: see text] -rectifiable measures. Namely, we prove that the support of a [Formula: see text] -rectifiable measure is almost everywhere covered by sets satisfying a cone-like property, and in the particular case of [Formula: see text] -rectifiable measures with complemented tangents, we show that they are supported on the union of intrinsically Lipschitz and differentiable graphs. Such a covering property is used to prove the main result of this paper: we show that a [Formula: see text] -rectifiable measure has almost everywhere positive and finite h-density whenever the tangents admit at least one complementary subgroup.