Fixed point
Named by 21 essays across 7 fields — each of them below, with the objects they name alongside it.
Something always stays put
Stir a cup of coffee however violently and let it settle. Some molecule is exactly where it started. Crumple a map and drop it on the region it depicts, and one point lies over the place it names.
Nothing on a sphere can be combed flat
Point an arrow along the surface at every place on a sphere, continuously, and somewhere an arrow has to vanish. On a doughnut it can be done. The difference between the two is a number that was already known from counting corners.
The staircase that shows the whole orbit
Take a number, feed it to a rule, feed the answer back in. There is a way of drawing that on the rule's own graph which turns the entire future of a starting point into a shape — and the shape is legible.
A point that pulls, and a point that pushes
Every crossing of a curve with the diagonal is a value the rule leaves alone. Whether anything ever arrives there is decided by one number — the slope at the crossing — and the picture makes the reason obvious.
Two lobes and no cycle
Three equations, three variables, and a trajectory that never crosses itself, never repeats, and never leaves a region of zero volume. The set it settles onto is not a point, not a loop, and not a surface.
The sentence that says it has no proof
Number every sentence and every proof, and a formal system can talk about itself. Then the diagonal is available one more time, and what it builds is a sentence that is true exactly when it is unprovable.
The rule that forgets where it came from
A walk between a few states, with the next step decided by the current one and nothing else. Run it long enough and the starting point stops mattering — but only when two conditions hold, and both of them have a picture in which they fail.
One line that halves them both
Two shapes lying anywhere on a page, of any sizes and any shapes at all. There is always a single straight line that cuts both of them into two equal halves at once — and finding it needs no cleverness, only the observation that a quantity which reverses sign has to pass through zero.
Three colours force a triangle
Cut a triangle into small ones and colour the corners under one restriction. However the cutting and the colouring are done, some small triangle ends up with all three colours — and the number of them is always odd.
A map that shrinks everything
One extra hypothesis — that every distance is shortened by at least a fixed factor — turns the existence of a fixed point into its uniqueness, an algorithm for finding it, and a bound on the error after any number of steps.
Where the fixed point escapes
The theorem asks for a set that is closed, bounded and free of holes. Drop any one of the three and a map appears that moves every single point — and in each case the point that should have stayed still can be seen leaving.
The shape that averaging leaves alone
Adding independent quantities blurs their distributions together, and rescaling restores the width. Almost every shape is changed by that operation. Exactly one is returned unaltered, and that is why sums of unrelated things keep arriving at it.
A twist that cannot avoid two points
Turn the two edges of a ring in opposite directions without changing any area, and something in between must stay exactly where it is — not one point, but at least two, and the reason is that two loops enclosing the same area have to cross.
How fast the staircase arrives
The slope at a crossing decides whether an orbit reaches it. The same number decides how fast — and when the slope is zero the arithmetic changes kind, from a fixed factor per step to a doubling of the correct digits.
The number four points agree on
One inversion is a reflection and reverses orientation. Two of them compose to a motion, and what that motion leaves alone is a single number computed from any four points.
Every flat graph is a pile of circles
A graph that can be drawn without crossings can be drawn in one particular way: as circles, one per vertex, touching exactly when their vertices are joined. The picture is not a choice — it is determined, up to the group two inversions generate.
Necessity that means provable
Read the box as "the theory proves" and one modal logic stops being a proposal about what necessity might mean. It becomes a complete description of what a formal system can prove about its own proofs — and its frames run forward, compose, and stop.
Every site in the middle of its own cell
Move each point to the centre of mass of its own Voronoi cell, then redraw the diagram, then do it again. The rule is two lines long, it never mentions hexagons, and what it settles into is a honeycomb.
The sphere that complex numbers live on
Add one point to the complex plane and it becomes a sphere. The rotations of that sphere are exactly the maps written as one linear expression divided by another, so a fact about turning a ball is a fact about dividing polynomials.
The flow that is really a map
A trajectory wandering through three dimensions is hard to reason about. Record only the successive maxima of one coordinate and the wandering collapses onto a curve — a map of an interval to itself, with a corner in the middle, which is a thing the theory can handle.
The moment a giant appears
Raise the chance of an edge slowly and a random graph does nothing for a long time, then in a narrow window acquires a component holding a definite fraction of everything. The fraction is the root of an equation, and the equation says why the transition is where it is.
Named alongside it
The objects these essays reach for when they reach for this one.
IterationBrouwerExistence proofInvariantOrbitWinding numberContinuityConvergenceDerivativeMobius transformationNonconstructiveAttractor