On a fractal set with a gap between its Hausdorff dimension and box dimension (Q1900537)

Let \(H \text{-dim}\), \(M-\overline {\text{dim}}\) and \(M-\underline {\text{dim}}\) be the Hausdorff and the upper, respectively the lower box dimension. Furthermore \(\underline D^\alpha (K,x)\) is the lower spherical density of \(K\) at \(x\) with respect to the Hausdorff measure \(H^\alpha\) for some \(\alpha > 0\). The author shows that for a bounded Borel measurable subset \(K \subset \mathbb{R}^N\) such that \(H\text{-dim} (K) <M-\underline {\text{dim}} (K)\) and \(H^\alpha (K^0) < H^\alpha (K) < \infty\), where \(K^0\) is the exceptional set \(K^0 = \{x \in K; \underline D^\alpha (K,x) = 0\}\), then, for any \(\varepsilon > 0\), there exists a subset \(K_s\subseteq K\) such that \[ K^0 \subseteq K_s \subseteq K,\;H^\alpha (K_s \backslash K^0) \leq \varepsilon \] \[ \begin{aligned} M-\overline {\text{dim}} (K_s) & =M-\overline {\text{dim}} (K) \\M-\underline {\text{dim}} (K_s) & =M-\underline {\text{dim}} (K) \end{aligned} \] and \[ \alpha = H \text{-dim} (K \backslash K_s) =M-\underline {\text{dim}} (K \backslash K_s) =M-\overline {\text{dim}} (K \backslash K_s). \]