Some porosity-type properties of sets related to the $d$-Hausdorff content

Abstract

Let $S \subset \mathbb{R}^{n}$ be a nonempty set. Given $d \in [0,n)$ and a cube $\overline{Q} \subset \mathbb{R}^{n}$ with $l=l(\overline{Q}) \in (0,1]$, we show that if the $d$-Hausdorff content $\mathcal{H}^{d}_{\infty}(\overline{Q} \cap S) < \overlineλl^{d}$ for some $\overlineλ \in (0,1)$, then the set $\overline{Q} \setminus S$ contains a specific cavity. More precisely, we prove existence of a pseudometric $ρ=ρ_{S,d}$ such that for each sufficiently small $δ> 0$ the $δ$-neighborhood $U^ρ_{δl}(S)$ of $S$ in the pseudometric $ρ$ does not contain the whole $\overline{Q}$. Moreover, we establish the existence of constants $\overlineδ=\overlineδ(n,d,\overlineλ)>0$ and $\underlineγ=\underlineγ(n,d,\overlineλ)>0$ such that $\mathcal{L}^{n}(\overline{Q} \setminus U^ρ_{δl}(S)) \geq \underlineγ l^{n}$ for all $δ\in (0,\overlineδ)$. If, in addition, the set $S$ is $d$-lower content regular, we prove existence of a constant $\underlineτ=\underlineτ(n,d,\overlineλ)>0$ such that the cube $\overline{Q}$ is $\underlineτ$-porous. The sharpness of the results is illustrated by several examples.