Frostman lemma

Frostman's lemma provides a convenient tool for estimating the Hausdorff dimension of sets in mathematics, and more specifically, in the theory of fractal dimensions.

Lemma

Lemma: Let A be a Borel subset of Rⁿ, and let s > 0. Then the following are equivalent:

H^s > 0, where H^s denotes the s-dimensional Hausdorff measure.
There is an Borel measure μ on Rⁿ satisfying μ > 0, and such that

Otto Frostman proved this lemma for closed sets A as part of his PhD dissertation at Lund University in 1935. The generalization to Borel sets is more involved, and requires the theory of Suslin sets.
A useful corollary of Frostman's lemma requires the notions of the s-capacity of a Borel set A ⊂ Rⁿ, which is defined by
It follows from Frostman's lemma that for Borel A ⊂ Rⁿ

Web pages

*