Besicovitch covering theorem

The Besicovitch covering theorem states that a family of balls centered at every point of a bounded set contains a countable subfamily covering the set with uniformly bounded overlap.

Besicovitch covering lemma: A selection result that extracts a bounded-overlap cover from balls centered throughout a bounded set. This common formulation captures the theorem’s essential covering step.
Lebesgue differentiation theorem: A theorem stating that local averages of an integrable function converge to the function almost everywhere. Besicovitch selection controls the exceptional sets in a standard proof.
Abram Besicovitch: A Russian-born British mathematician known for work in measure theory and geometric analysis. The covering theorem bears his name and grew from his work on differentiability.
Doubling metric space: A metric space in which every ball can be covered by a uniformly bounded number of balls of half its radius. Doubling controls local packing, a geometric ingredient in many metric analogues.
Besicovitch intersection property: A geometric bound on how many selected balls can contain a common point when their centers satisfy a separation condition. It explains the geometric source of bounded overlap in the selection argument.
Weak-type inequality: An operator estimate bounding the measure of large output values by the input norm and threshold. The theorem yields weak-type bounds for maximal operators by controlling overlap.
Besicovitch set: A planar set of measure zero containing a unit line segment in every direction. Besicovitch’s constructions in geometric measure theory share the theorem’s historical lineage.
Arbitrary metric space: A set equipped with a distance function, without additional geometric restrictions. Without suitable geometric bounds, a uniform overlap constant may fail.
Vitali covering theorem: A theorem that selects pairwise disjoint balls whose fixed enlargements cover almost all of a set. Its disjointness-and-enlargement conclusion differs from Besicovitch’s bounded-overlap cover.
Lebesgue measure: The standard translation-invariant measure of volume on Euclidean spaces. Overlap bounds convert sums of ball volumes into estimates of covered sets.

Linked from 2 pages

Vitali covering lemmaCompared with: It controls bounded overlap rather than relying on enlarged disjoint selections.