Hausdorff Dimension

lean4-proofvisualizationfractal-geometry
d=logNlog(1/r)d = \frac{\log N}{\log (1/r)}

Definition

For a self-similar set composed of NN copies of itself scaled by a factor rr, the Hausdorff (similarity) dimension is:

d=logNlog(1/r)d = \frac{\log N}{\log (1/r)}

Classical Examples

FractalNNrrDimension
Cantor set21/3log2/log30.631\log 2 / \log 3 \approx 0.631
Sierpinski triangle31/2log3/log21.585\log 3 / \log 2 \approx 1.585
Koch curve41/3log4/log31.262\log 4 / \log 3 \approx 1.262
Sierpinski carpet81/3log8/log31.893\log 8 / \log 3 \approx 1.893
Menger sponge201/3log20/log32.727\log 20 / \log 3 \approx 2.727

Box-Counting Method

In practice, the Hausdorff dimension can be estimated by the box-counting dimension: cover the set with boxes of side length ϵ\epsilon and count the number N(ϵ)N(\epsilon) of boxes needed. Then:

d=limϵ0logN(ϵ)log(1/ϵ)d = \lim_{\epsilon \to 0} \frac{\log N(\epsilon)}{\log(1/\epsilon)}

Connections

The similarity dimension formula is used to compute the dimension of attractors of Iterated Function SystemsIterated Function SystemsA=i=1Nfi(A)A = \bigcup_{i=1}^{N} f_i(A)Constructing fractals via contractive affine transformationsRead more →. The boundary of the Mandelbrot SetMandelbrot Setzn+1=zn2+cz_{n+1} = z_n^2 + cInteractive visualization of z_{n+1} = z_n^2 + c and its connectednessRead more → famously has Hausdorff dimension 2.