Yet a shorter proof of an inequality of Cutler and Olsen. (English) Zbl 0967.28005

A new proof is given of the inequality \[ \dim E\leq \sup _{\mu}\mathop{\underline \lim}\limits _{\delta \to 0+}\inf \Biggl\{ \sum _{i\in \mathbf N}\mu E_i \frac {\log \mu E_i}{\log \delta}: \{E_i\}\text{ is a disjoint \(\delta \)-cover of \(E\)}\Biggr\}, \] where \(\dim E\) is the Hausdorff dimension of a Borel set \(E\subset \mathbf R^n\) and \(\mu \) runs over the family of all Borel probability measures on \(E\).
Reviewer: Jan Malý (Praha)


28A78 Hausdorff and packing measures
28A12 Contents, measures, outer measures, capacities
28A80 Fractals