Fractal dimension — the series
-
A dimension that is not a whole number
Cover a set with boxes of side ε and count how many are needed. For a line the count grows like 1/ε, for a region like 1/ε². For the Koch curve it grows like 1/ε to the power 1.26, and that exponent is as good a definition of dimension as the other two.
-
Infinite on one side and nought on the other
Box counting returns a growth rate. Hausdorff's definition returns a measure — a quantity that is infinite for every exponent below the dimension and zero for every exponent above it, and the dimension is the one place where it is neither.
-
A carpet with two dimensions
For every self-similar set met so far the two definitions of dimension agree, and the agreement is a theorem about sets built from copies of themselves scaled equally. Stretch one direction more than the other and the two numbers come apart, by an amount that can be computed exactly.
-
A dimension from the stretching rates
An attractor has no construction rule, so its dimension has to be counted — which was the whole case for defining dimension by counting. Kaplan and Yorke's formula computes it instead, from two numbers that describe the map and never look at the set.
-
A dimension for every rate of crowding
Spread a unit of mass over an interval by splitting it unevenly, again and again, and the result covers the whole interval while crowding almost all of its weight onto a set of smaller dimension. Every rate of crowding picks out its own set of points with its own dimension, and the whole family is read off one curve.
-
The room a jagged graph takes up
The graph of a continuous function is a curve, and a curve ought to have dimension one. Build the function by raising midpoints — by an amount that shrinks more slowly than the intervals do — and its graph needs more boxes than any line, at a rate fixed by one ratio. A random path built the same way needs exactly as many.
-
Two numbers in one jagged record
A measured record comes with no rule, so its dimension has to be estimated from a finite stretch of samples — and two things go wrong that never trouble a graph built from a formula. The popular estimator depends on the units the record is written in, and the dimension, which describes the record up close, turns out to be independent of its memory, which describes it from far away. For a self-affine path the two are tied by D = 2 − H; for a record, they are two numbers.