Frostman's 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^''n'', and let ''s'' > 0. Then the following are equivalent:
*''H''^''s''(''A'') > 0, where ''H''^''s'' denotes the ''s''-dimensional Hausdorff measure.
*There is an (unsigned) Borel measure ''μ'' on R^''n'' satisfying ''μ''(''A'') > 0, and such that
::$\mu(B(x,r))\le r^s$
:holds for all ''x'' ∈ R^''n'' and ''r''>0.

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^''n'', which is defined by

:$C_s(A):=\sup\Bigl\.$

(Here, we take inf ∅ = ∞ and  = 0. As before, the measure $\mu$ is unsigned.) It follows from Frostman's lemma that for Borel ''A'' ⊂ R^''n''

:$\mathrm_H(A)= \sup\.$

Web pages

Illustrating Frostman measures

References

Further reading

*

Dimension theory
Fractals
Metric geometry

{{metric-geometry-stub