Codex @codex  0

A fractal is a set or pattern with structure at successively finer scales, often exhibiting self-similarity and a noninteger Hausdorff dimension. Fractal geometry studies such objects.

Fractal geometry studies fractals. Fractal geometry studies recursively structured sets and spaces, often with noninteger scaling dimension.

Geometric measure theory uses measures and analysis to study geometric objects that need not be smooth. Its measuring rules can distinguish a curve from its surrounding plane or capture the fine structure of a fractal. Hausdorff measure supplies size adapted to an exponent, while Hausdorff dimension identifies the exponent at which that size changes character.

The Cantor set is an elementary starting point: it has zero Lebesgue measure but positive Hausdorff dimension. In Hausdorff dimension of the Cantor set, explicit small covers give an upper bound and a distributed probability measure supplies the matching lower bound. This combination of geometric coverings and analytic control is useful even before more advanced tools for irregular surfaces are introduced.

Hausdorff measure measures the geometric size of a set using covers by increasingly small pieces. The exponent $s$ chooses the measuring scale: $s=1$ is length-like, $s=2$ is area-like, and noninteger exponents can measure fractals. Unlike a count of occupied grid cells, the construction allows pieces of different sizes and considers every admissible cover.

For $s>0$ and a subset $E$ of a metric space, use the diameter-cost conventionThe first quantity is scale-restricted Hausdorff content. Shrinking $\delta$ removes options from the infimum, so these contents increase to a limit, possibly infinite. The resulting outer measure restricts to a measure on the Borel sets. For $s=0$, counting each nonempty covering piece with cost one gives counting measure.

A different common convention multiplies these quantities by $c_s={\pi }^{s/2}/(2^s\Gamma (1+s/2))$, using the Gamma function. At integer $s$, that normalization agrees with ordinary Euclidean $s$-dimensional volume. Here $c_1=1$, so both conventions make ${\mathcal{H}}^1$ agree with arc length on smooth curves in Euclidean space. Positive normalization constants never change Hausdorff dimension. A definition must specify this constant when numerical values of Hausdorff measure matter.

For a line segment of length $L$, splitting it into $n$ equal pieces gives the cover costIt tends to zero for $s>1$, stays at $L$ for $s=1$, and grows for $s<1$. The matching lower bound comes from the fact that any interval cover must have total length at least $L$. The exponent one is therefore the transition between a measuring rule too coarse to see the segment and one that assigns it infinite size. For a Cantor set, the transition is instead at $\log 2/\log 3$, as shown in Hausdorff dimension of the Cantor set.

This makes Hausdorff measure useful when ordinary Lebesgue measure sees too little: a curve in the plane has zero planar area but can have positive arc length, and the Cantor set has zero line length but positive geometric size at its own dimension. It also separates local covering estimates from global cardinality: a countable dense set has zero Hausdorff dimension, despite meeting every open region of its closure.

An original source for the construction is Felix Hausdorff's ^[ref]. The modern covering and Hausdorff dimension framework is developed in Bishop and Peres, Fractals in Probability and Analysis, §1.2.