The Staircase

Here is a staircase. It starts at the floor and ends one story up; it never once goes down, and it has no gaps — you can run your finger up its whole profile without lifting it, a single unbroken line from bottom to top. An ordinary climb. Now ask where it does its climbing, and the answer is: almost nowhere. At very nearly every point along its length the staircase is perfectly flat, a level tread going nowhere. Drop a pin on it at random and the pin lands on a flat stretch — not merely usually but with probability one, because the flat parts take up the entire width, all of it, and the rising parts take up none. And yet the thing climbs a full story. This is the Cantor function, and it is exactly as strange as that sounds.

To make it you first make its foundation, which is stranger still. Take the interval from zero to one and throw away the open middle third — the piece from a third to two-thirds. Two segments remain; throw away the open middle third of each. Four remain; throw away their middles. Keep going forever. What you remove, added up, comes to exactly one: a third, then two-ninths, then four-twenty-sevenths, a series that sums to the whole length you started with. So what is left has no length at all — its total measure is zero. You might expect nothing to be left. But the leftover, the Cantor set, is uncountable: it holds as many points as the unbroken line you began with, the full infinity of the continuum, and it weighs nothing. A dust with no width and everything in it.

The staircase is built on that dust. On every piece you threw away — every open middle third, at every scale, and there are infinitely many — the function is told to hold still, dead level. Since those discarded pieces fill up the entire length, the staircase runs flat across the whole width of the floor, save for the weightless dust. And on the dust, and only on the dust, it climbs. Georg Cantor described the set in 1883 and the function a year after; it does its whole ascent on a foundation of zero size.

And its slope — its rate of rise — is zero at every point you could actually stand on, everywhere across that full-width expanse of level treads. A continuous curve, never once descending, that has climbed a full story, and whose rate of climb is zero at almost every point you look. Flat almost everywhere and risen the whole way, and no contradiction between them — because the rising was never in the treads. It was in the dust, which has no width for a slope to live on.

This quietly breaks one of the first promises calculus makes. The promise is that the whole of a change is the sum of its small local parts: measure how fast a thing is rising at each point, add all those rates together — integrate the derivative — and you recover exactly how far it rose. Try it on the staircase. Its rate of rise is zero almost everywhere, so the sum of all its local rising is zero. And it rose by one. The sum of the visible changes is nothing; the change that happened is everything. The promise holds only for functions that are, in the technical word, absolutely continuous, and the staircase is the standing counterexample that shows the promise is a promise and not a law — that a function can be continuous, and climb, and still not be the sum of its own derivative. The rising is real. It simply happened where the derivative cannot look: on a set so thin that integration steps straight over it and reports zero.

There is one more exact fact, and it comes straight from where all the rising went. Measure the length of the curve itself, traced along its profile from the bottom corner to the top, and it comes to two, precisely. One unit of that is the treads — the flat parts, which end to end span the full width of the floor. The other unit is the climb, a full story of vertical rise accomplished over a dust of no horizontal width at all. Any unbroken climb from that bottom corner to that top one must have a length somewhere between the straight diagonal's root-two and a hard ceiling of two; this one — the devil's staircase, they call it — touches the ceiling. It is as long as a rising curve can possibly be, and it manages that by crushing all of its rise into a place with no room to spread.

It would be easy to file this among the pathologies mathematicians keep in a drawer to unsettle their students, but it does not stay in the drawer. Turn the dial on a driven oscillator — a swing pushed at a steady beat, a heart pacing to a signal, a current locked to a clock — and watch its rhythm settle against the drive. It does not slide smoothly through the tunings. It catches on one simple ratio and holds there across a whole span of the dial, then jumps and catches on the next, the widest plateaus going to the simplest ratios, the graph of it a devil's staircase, and the unlocked settings in between thinning, at the sharpest tuning, to a Cantor dust of measure zero. Nature climbs this way too: long flats where nothing moves, and all of the motion crowded into a scatter of instants so sparse that, gathered together, they come to no length at all. The staircase is the plain proof of a thing the eye refuses — that a climb need not happen anywhere you can point to, that you can travel the whole way from nothing to everything across a set of moments which, added together, are no time.