Let be a collection of bounded open sets in ℝⁿ such that, for any x ∈ ℝⁿ, there exists a set U ∈ of arbitrarily small diameter containing x. The collection is said to be a density basis provided that, given a measurable set A ⊂ ℝⁿ, for a.e. x ∈ ℝⁿ we have
for any sequence of sets in containing x whose diameters tend to 0. The geometric maximal operator associated to is defined on L¹(ℝⁿ) by
.
The halo function ϕ of is defined on (1,∞) by
and on [0,1] by ϕ(u) = u. It is shown that the halo...