Box and packing dimensions of typical compact sets (Q1596340)

Let \((X,\rho)\) be a complete metric space. For a set \(A\subset X\), the number \[ \text{sl-}\overline\dim A= \inf\{\overline\dim(B(x, r)\cap A): x\in A, r> 0\} \] is called the smallest local upper box dimension of \(A\), where \(\overline\dim\) is the upper box dimension of the corresponding set and \(B(r,x)\) is the ball of radius \(r\) centred at \(x\). The main result of the paper states that the family of all compact sets \(F\subset X\) satisfying \(\text{sl-}\overline\dim F\geq \text{sl-}\overline\dim X\) is residual in the space of compact subsets of \(X\) equipped with the Hausdorff metric, i.e., the complement to this family is a set of first Baire category. As a corollary, one obtains that the family of all compact sets with the packing dimension at least \(\overline\dim X\) is residual, i.e., the typical compact set has packing dimension at least \(\inf\{\overline\dim B(x,r): x\in X, r> 0\}\).