Mass distribution principle ($\mu (B(x,r))\le C{r}^s⟹{\dim }_{H}E\ge s$)

The mass distribution principle converts a diffuse measure into a lower bound on Hausdorff dimension. Let $s>0$ and let a Borel probability measure $\mu$ give a Borel set $E$ full mass. If, for some $C,r_0>0$, every ball centered in $E$ satisfiesthen ${\mathcal{H}}^s(E)\ge 1/C>0$ in the diameter-cost convention, and consequently ${\dim }_{H}E\ge s$.

The idea is to keep unit mass from being crowded into cheap covering pieces. For a piece $U$ of positive diameter $r$ meeting $E$, choose $x\in U\cap E$. A ball of radius $r+\epsilon$ contains $U$; letting $\epsilon \downarrow 0$ gives ${\mu }^{\ast }(U)\le C{r}^s$, where ${\mu }^{\ast }$ is the associated outer measure. Zero-diameter pieces have zero mass by the same estimate. For any sufficiently small cover,Thus every cover costs at least $1/C$. This is the lower-bound counterpart to the explicit covers in scale-restricted Hausdorff content. The Cantor distribution supplies the needed mass in Hausdorff dimension of the Cantor set. ^[ref].