Hausdorff dimension (${\dim }_{H}E$)

The Hausdorff dimension is the critical exponent at which Hausdorff measure changes from infinite to zero:with the standard endpoint convention for an empty supremum. This measures fine-scale geometric size rather than the number of coordinates used to describe the set. A line segment has Hausdorff dimension one; a square has dimension two; the middle-third Cantor set has dimension $\log 2/\log 3\approx 0.63093$.

Why can a dimension be fractional? At a scale reduced by a factor of three, the Cantor set needs twice as many construction intervals. The balance $2(1/3{)}^d=1$ gives $d=\log 2/\log 3$, between the growth rates of finitely many points and a whole interval. Making this argument rigorous requires a cover upper bound and the mass distribution principle lower bound, as in Hausdorff dimension of the Cantor set.

At the critical exponent itself, Hausdorff measure can be zero, finite and positive, or infinite; dimension does not specify that endpoint value. For example, finite sets and countably infinite sets both have dimension zero, although their counting measures differ. Dimension is also different from a finite-resolution estimate: box-counting dimension is another asymptotic definition, and fitting a scaling slope over a handful of observed scales does not establish either dimension.

The metric matters. Multiplying every distance by a fixed positive constant multiplies ${\mathcal{H}}^s$ by that constant to the power $s$ and preserves Hausdorff dimension. A Lipschitz map cannot increase it, because mapped cover diameters increase by at most a fixed factor. A bi-Lipschitz map therefore preserves it by applying this fact in both directions. These properties make Hausdorff dimension useful for comparing geometric models while controlling how their measurements change.

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].

The middle-third Cantor set has Hausdorff dimensionIts Lebesgue measure is zero, yet $0<{\mathcal{H}}^d(C)<\infty$. These assertions measure different aspects of size: interval length is too coarse to distinguish this set from a null set, while the critical fractional measuring rule captures its remaining structure.

At level $n$, the construction covers $C$ by $2^n$ intervals of diameter $3^{-n}$. Their total $s$-cost isFor $s>d$ it tends to zero, proving the upper dimension bound. At $s=d$ it equals one, giving ${\mathcal{H}}^d(C)\le 1$. For $s<d$ this particular cover's cost grows, but that alone would not prove a lower bound on Hausdorff measure.

For the matching lower bound, use the Cantor distribution, which assigns mass $2^{-n}$ to each level-$n$ Cantor cylinder. An interval of length $r$ with $3^{-(n+1)}<r\le 3^{-n}$ meets at most two level-$n$ construction intervals, since their gaps are at least $3^{-n}$. Its mass is therefore at mostEvery covering set of diameter $r$ in the line lies in an interval of length $r$, so any small cover must have total $d$-cost at least $1/4$. This is the mass distribution principle in its interval form: $1/4\le {\mathcal{H}}^d(C)\le 1$, sufficient to prove the claimed dimension. The constants are convenient bounds, rather than an assertion of the exact critical Hausdorff measure. In the diagram, the right panel is a finite-stage approximation to the Cantor function, showing how probability is shared while the middle third receives none.

The reusable pattern is to obtain an upper bound by constructing covers and a lower bound by distributing mass. The same strategy underlies Cartesian powers of the Cantor set and the dimension formula for a finite similarity iterated function system satisfying the open set condition.

Suppose shrinking interval covers of $F$ have length-power sums with logarithmic growth rate $P(\gamma )$, and $P$ is strictly decreasing with zero ${\gamma }_{\ast }$. For every $\gamma >{\gamma }_{\ast }$ those sums tend to zero exponentially. The definition of Hausdorff measure then gives ${\mathcal{H}}^{\gamma }(F)=0$, hence the displayed upper bound. A matching lower bound requires additional information and does not follow from this covering argument alone.

A connected subset $C$ of Euclidean space containing distinct points $a,b$ has Hausdorff dimension at least one. The Lipschitz map $x\mapsto |x-a|$ maps $C$ onto a set containing $[0,|b-a|]$, since continuous images of connected spaces are connected. A Lipschitz map cannot increase Hausdorff dimension, whereas an interval has Hausdorff dimension one. Consequently any set of Hausdorff dimension less than one is totally disconnected.