Matpic
mathematics, in pictures
Concept

Cantor set

The set left in the unit interval after the middle third of every remaining piece is discarded, for ever. It has no interval inside it and total length zero, and yet as many points as the interval it came from, which makes it the standard example of a set that measure and cardinality describe quite differently.

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

Middle thirds removed 6 times over. The interval with its middle third removed, then the middle third of each survivor, and so on. The lengths removed are a geometric series adding to the whole interval.

Almost none of it left, and still uncountably many

Remove the middle third of an interval, then the middle third of each piece left, and keep going. The lengths removed add to exactly the whole interval, so nothing measurable survives — and what survives can be paired off one for one with every point of the interval that was started with.

analysis · Measure 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 Stage 3 of a curve that has area. A square split into 64 smaller squares by removing crosses of decreasing width, the squares joined in Hilbert order; the kept area is 63.2 per cent and its limit is 0.5931.

A curve that has area

The Jordan curve theorem assumes three things and nothing else — continuous, closed, no self-crossing. Everything else the eye supplies is false of some curve that satisfies all three, including the assumption that a curve is thin.

topology · Jordan curve Alexander's horned sphere at stage 3. A tree of clasped pairs of horns, 7 of them, each pair's two circles passing once through the other's disc; the horns shrink geometrically and their tips converge.

A ball whose outside is not one

Alexander's sphere separates space into two pieces, exactly as the theorem promises. Its inside is an ordinary ball. Its outside is not, and the obstruction is a tree of clasped horns whose tips never stop.

topology · Jordan curve A set with no interval in it and half its length left, after 6 stages. Stages of removing a shrinking middle from every surviving interval, with the total length left printed at each stage, and the middle-thirds construction of the same depth drawn beneath for comparison.

No interval in it, and length to spare

The middle-thirds set has no length because the removed pieces add to one. Remove shrinking middles instead and they add to a half — leaving a set that still contains no interval anywhere, and still has half the length it started with.

analysis · Measure Two indicators, and the upper sum that will not come down. A partition of the unit interval drawn against the middle-thirds set and against a set of positive length, above a chart of each one's upper sum as the partition is refined.

Which functions can be added up

Riemann's integral works when the upper and lower sums close on each other. The exact condition for that, found once measure existed to state it in, is that the points where the function jumps have measure zero — which some nowhere dense sets fail.

analysis · Measure Stretch, fold, and what is left. 5 stages of the horseshoe map's surviving set: one square, then two strips, then four, up to 16, each narrower than the last by a factor of 3.

Stretch, fold, and what is left

A system that pushes every pair of nearby points apart and keeps them all inside a bounded region has only one option, and it is the one a baker uses. Stretching and folding is the mechanism, and what survives infinitely many folds is a Cantor set.

dynamics · Strange attractor The same banding at every magnification. The Hénon attractor drawn from 26000 points, followed by 2 magnifications of one part of it. Each magnification resolves what looked like a single curve into several parallel ones.

Neither a surface nor a solid

The attractor has no volume, because the flow shrinks volumes at a rate that can be read off the equations. It is also not a surface, because a surface cannot carry chaotic dynamics. What is left is an object of dimension a little over two, and that number is measurable.

dynamics · Strange attractor A staircase with no steps. The Cantor function drawn to several stages: a continuous non-decreasing curve from nought to one which is constant on every interval of the complement of the middle-thirds set, so its whole rise happens on a set of measure zero.

A staircase with no steps

A function that rises from nought to one, is continuous everywhere, and has derivative zero at almost every point. All of its climbing happens on a set of no length at all, which is possible because that set has uncountably many points.

analysis · Measure 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 mass split 10 times, 0.3 to the left and 0.7 to the right. A self-similar measure on the unit interval: the mass is split 10 times, 0.3 of each piece's share going left and 0.7 right, and each of the 1024 pieces is drawn as a bar as tall as its mass. The heaviest carries 0.0282 and the lightest 5.9 × 10⁻⁶.

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.

dynamics · Fractal dimension Thomae's function as a limit of tents, at n = 3 and 8. Continuous functions built from narrow triangles over the fractions, drawn at two stages, with the limit shown as a dot at height 1/q over every fraction p/q: a function continuous at the irrationals and discontinuous at the rationals.

A limit can jump at every fraction

A sequence of continuous functions can settle, point by point, on a function that is discontinuous at every rational number. It cannot settle on one that is discontinuous everywhere — the indicator of the rationals needs two limits in a row, and Riemann's integral cannot follow the second. The line between the two is Baire's theorem, and it measures smallness by gaps rather than by length.

analysis · Uniform convergence What the tent of slope 3 keeps: 32 pieces after 5 steps. Rows showing the parts of the unit interval that remain inside it for 0 to 5 steps of the open tent map of slope 3, halving into a Cantor set.

Chaos on a set nobody lands on

Stretch the interval by three and fold it, and a third of it lands outside. Almost every starting point wanders chaotically for a few steps and then leaves for good; the points that never leave form a Cantor set of no length, on which the map is as chaotic as any map can be. How fast points escape, how fast they are stretched, and how thin the surviving set is are three numbers tied by one equation: the dimension is one minus their ratio.

dynamics · Sensitive dependence The Cantor function has length 2. The graph of a singular or partly singular increasing function on the unit interval with an inscribed polygon, beside a table of inscribed lengths by stage and the value the derivative formula gives.

The length the derivative never sees

The Cantor function climbs from 0 to 1 with a slope of zero almost everywhere, so the formula ∫√(1 + f′²) dx says its graph has length 1 — the length of a flat line. The inscribed polygons say 2. Mix it half and half with the diagonal and the length becomes exactly the golden ratio, while the formula still reports only the part the slope can see.

analysis · Arc length Where a coin-signed geometric series lands, for λ = 1/3, 1/2, 1/√2, 1/φ. Histograms of the exact distribution of the sum of plus or minus λ to the k, one panel per value of λ: a dust of separated pieces below one half, a flat block at one half, and smooth-looking overlapping shapes above.

A coin in front of every power

Toss a coin for each sign of ±1 ± λ ± λ² ± … and the sum lands somewhere. Below λ = 1/2 it lands on a dust with gaps in it, at exactly 1/2 it lands anywhere with equal chance, and above 1/2 it lands on a smooth-looking hill — which for most λ has a density and for the golden value does not, though no picture can tell the two apart.

analysis · Harmonic series Three sizes of infinity, and the collections that have each. ℵ₀: the fractions, the algebraic numbers, every finite text, every definition of a number; 2^ℵ₀: the real numbers, the continuous functions, the open sets, the closed sets, the Borel sets; 2^(2^ℵ₀): all functions, all sets of reals, the non-Borel sets, the measurable sets.

What counting can prove exists

There are only as many continuous functions as points of a line, only as many Borel sets, only countably many definitions — and more sets of reals than any of those. So counting proves that discontinuous functions, non-Borel sets and undefinable numbers exist without exhibiting one. It cannot prove that a set with no length exists, because the sets that have a length are exactly as numerous as all sets, and that difference turns out to be the difference between what the axioms force and what they merely allow.

logic · Cardinality A countable closed set stripped of its isolated points, 3 times. Cantor–Bendixson derivatives of the set of sums of up to 2 reciprocals: sizes 750, 40, 1, 0 in the truncation, ending empty.

Closed sets obey the continuum hypothesis

Whether some set of reals is bigger than the whole numbers and smaller than the line is a question the axioms cannot answer. For closed sets it has an answer, found in 1883: strip away the isolated points, again and again, and what is left is either nothing or a perfect set, which is as large as the line — so every closed set is countable or of the line's size. The same answer holds for Borel and analytic sets, and fails to be provable exactly one step further up.

logic · Cardinality Four stages of the four-corner Cantor dust. Four panels showing stages 1 to 4 of the four-corner Cantor set: 4, 16, 64 and 256 squares kept at the corners.

A dust that almost every line misses

Keep the four corner squares of a square, then the four corners of each of those, and so on. What is left has a length, in the sense that measures length, and yet almost every straight line misses it entirely. Stage by stage the chance that a random line hits the dust falls — to 48% by the eighth stage — and how fast it falls to nothing is one of the few questions about a simple picture that is still open.

analysis · Arc length The Cantor function inside a funnel of exponent log 2/log 3. The Cantor staircase with two curves of the form plus or minus the distance to one quarter raised to the power log 2 over log 3, forming a funnel the staircase stays inside.

The exponent a staircase shares with its set

The Cantor function rises from nought to one on a set of length nought, and it is Hölder continuous with exponent log 2/log 3 — the same number as the dimension of that set. It is not a coincidence: both numbers say that an interval of width r carries mass r to the power 0.6309, and that one inequality proves the dimension and the smoothness at once. Tilt the weights of the construction and the two numbers separate, which shows exactly what the coincidence was measuring.

analysis · Measure

Named alongside it

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

Self-similarityMeasureLimitMeasure zeroContinuityFractal dimensionBox dimensionCardinalityChaosCounterexampleGeometric seriesHausdorff dimension

All concepts