Matpic
mathematics, in pictures
Concept

Box dimension

The exponent relating how many boxes of side epsilon are needed to cover a set to how small epsilon is. It is a growth rate rather than a size, and its value is that it can be measured on any bounded set at all - including the attractor of a system nobody designed, where no construction rule exists to compute a dimension from.

Named by 4 essays across one field — each of them below, with the objects they name alongside it.

the Koch curve, after 5 steps. the Koch curve drawn from its own rule: replace the middle third of every segment with two sides of a triangle.

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.

dynamics · Fractal dimension Infinite below 0.6309, nought above it. The total of the s-th powers of the diameters in the natural cover of the middle-thirds Cantor set, plotted against s for 4 depths. Every curve passes through one at s = 0.6309 and they separate either side of it.

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.

dynamics · Fractal dimension A carpet whose two dimensions differ by 0.076. A self-affine carpet built by keeping 5 cells of a 4 by 2 grid and repeating 4 times. Its box dimension is 1.6610 and its Hausdorff dimension 1.5850.

A carpet with two dimensions

For every set on this ladder 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.

dynamics · Fractal dimension A dimension of 1.2576, from two stretching rates. The running averages of the Hénon map's two Lyapunov exponents, settling at 0.4177 and -1.6217. Kaplan and Yorke's formula turns them into a dimension of 1.2576 without counting a single box.

A dimension from the stretching rates

An attractor has no construction rule, so its dimension has to be counted — that was the rung below's argument for defining dimension by counting at all. Kaplan and Yorke's formula computes it instead, from two numbers that describe the map and never look at the set.

dynamics · Fractal dimension

Named alongside it

The objects these essays reach for when they reach for this one.

ScalingIterated function systemSelf-similarityAttractorCantor setCoveringHausdorff dimensionKoch curveMeasureSelf affinityDissipationGram schmidt

All concepts