Porosities and dimensions of measures (Q4789784)

Given a set \(A\) in \(\mathbb{R}^{n}\), and removing smaller and smaller parts of it one can get a fractal set. Information on the sizes of the holes in a set is contained in its porosity. The aim of the paper under review is to relate the porosity to the dimension. For sets such a relation was obtained by \textit{P. Mattila} [J. Lond. Math. Soc., II. Ser. 38, 125-132 (1988; Zbl 0618.28005)] and \textit{A. Salli} [Proc. Lond. Math. Soc., II. Ser. 62, 353-372 (1991; Zbl 0716.28006)]. In the present paper one studies the relation between porosity of measures and their dimension. The authors consider a particular class of measures on \(\mathbb{R}^{n}\), namely finite Borel measures satisfying the so-called doubling condition: \[ \limsup_{r\downarrow 0}{\mu(B(x,2r))\over\mu(B(x,r))}<\infty \] for \(\mu\)--almost all \(x\in\mathbb{R}^{n}\) (\(B(x,r)\) is the closed ball centered at \(x\) and with radius \(r>0\)). Gibbs measures for expanding maps and Axiom A surface diffeomorphisms satisfy, for example, the doubling condition. It is proved that if the porosity of a measure \(\mu\) which satisfies the doubling condition is close to \(1/2\), then the packing dimension is not greater than \(n-1\). In the particular case \(n=1\) it is established an upper bound for the Hausdorff dimension of a strongly porous measure.