Hausdorff dimension

The Hausdorff dimension generalizes the familiar topological dimension (which is always integer) to a finer, metric-dependent measure of the 'size' of a set. Intuitively, for a set X in a metric space, the Hausdorff dimension d_H(X) is the critical exponent at which the d-dimensional Hausdorff measure of X changes from infinite to zero. For a line segment, the 1-dimensional measure is its length (finite), so the dimension is 1; for a fractal like the Koch snowflake, the dimension is about 1.2619, lying between 1 and 2.

The definition proceeds through the Hausdorff outer measure. For any s ≥ 0, the s-dimensional Hausdorff measure of a set X is the limit, as the covering radius goes to zero, of the infimum over all countable covers of X by balls of diameter at most δ of the sum of (diameter)^s. The Hausdorff dimension is then the supremum of s for which this measure is infinite, and the infimum of s for which it is zero.¹ This definition is independent of the choice of metric up to bi-Lipschitz equivalence, making it a robust invariant.

The Hausdorff dimension is monotonic (if X ⊆ Y then d_H(X) ≤ d_H(Y)) and stable under countable unions: d_H(∪X_i) = sup_i d_H(X_i). It is a fundamental tool in fractal geometry, dynamical systems (e.g., dimension of strange attractors), and geometric measure theory. Notable examples include the Cantor set (log 2 / log 3 ≈ 0.6309) and the Mandelbrot set (dimension 2 on its boundary).²³

Hausdorff's 1918 paper introduced the dimension in the context of measure theory, not fractals—the term 'fractal' was coined by Mandelbrot decades later. The dimension can be strictly larger than the topological dimension, but also smaller, as in the case of a countable set (dimension 0). Surprisingly, the Hausdorff dimension of a Brownian motion path is almost surely 2, regardless of the ambient dimension. The dimension also relates to the Minkowski (box-counting) dimension, although they can differ for certain sets, such as the set of rational numbers. Hausdorff himself used the concept to study the dimension of subsets of the real line, laying groundwork for later work by Besicovitch and others.

Hausdorff measure

A family of outer measures on a metric space, parameterized by a real number s, used to define the Hausdorff dimension.

topological dimension

An integer-valued dimension invariant under homeomorphism, defined by the covering dimension or inductive dimension.

fractal

A set whose Hausdorff dimension strictly exceeds its topological dimension, often exhibiting self-similarity.

bi-Lipschitz equivalence

A relation between metric spaces where there exists a bijection with Lipschitz inverse in both directions.