Packing dimension and Ahlfors regularity of porous sets in metric spaces (Q993362)

Let \(X\) be a metric measure space with an \(s\)-regular measure \(\mu\). The authors prove that if \(A \subset X\) is \(\rho\)-porous, then \(\dim_p(A)\leq s-c\rho^s\), where \(\dim_p\) is the packing dimension and \(c\) is a positive constant which depends on \(s\) and the structure constants of \(\mu\). This is an analogue of a well-known asymptotically sharp result in Euclidean spaces. The authors illustrate by an example that the corresponding result is not valid if \(\mu\) is a doubling measure. In the doubling case, the authors find a fixed \(N\subset X\) with \(\mu(N)=0\) such that \(\dim_p(A)\leq \dim_p(X)-c(\log(\frac{1}{\rho})^{-1}\rho^t\) for all \(\rho\)-porous sets \(A\subset X\backslash N\). Here \(c\) and \(t\) are constants which depend on the structure constant of \(\mu\). Last, the authors characterize uniformly porous sets in complete \(s\)-regular metric spaces in terms of regular sets by verifying that \(A\) is uniformly porous if and only if there is \(t<s\) and a \(t\)-regular set \(F\) such that \(A\subset F\).