Generator

One point on the sphere for every point of the plane

A generator in the topology library, called 41 times across 12 essays. Below: what it draws with nothing chosen and at each mode an essay asks for, what it checks while drawing, and everywhere it is used.

stereographic is one function. Everything below came out of it during this build, at parameters taken from the essays rather than invented for this page — so a figure here is the same figure a reader meets in an essay, and if the generator changes, this page changes with it.

With nothing chosen

One point on the sphere for every point of the plane. Lines from the north pole of a sphere through each of its points land on a plane below, matching the sphere minus one point with the whole plane.

An astrolabe is a stereographic projection in brass

An astrolabe is a stereographic projection in brass. Latitude 52°: 16 engraved curves, worst departure from a circle 8.88e-15; altitude-circle formulas within 2.2e-16; Cancer radius 0.6564, Capricorn 1.5235 of the equator's.

Turning the rete is turning the sky

Turning the rete is turning the sky. LST 0h: 6 of 12 stars up, plate and trigonometry agree on 12; LST 8h: 9 of 12 stars up, plate and trigonometry agree on 12; LST 16h: 8 of 12 stars up, plate and trigonometry agree on 12.

Sunrise is where two circles cross

Sunrise is where two circles cross. midsummer: hour angle 123.706680° vs 123.706680°, day 16.494 h; equinox: hour angle 90.000000° vs 90.000000°, day 12.000 h; midwinter: hour angle 56.293320° vs 56.293320°, day 7.506 h.

A plate for every latitude

A plate for every latitude. φ=0°: horizon radius ∞; φ=30°: horizon radius 2.0000; φ=52°: horizon radius 1.2690; φ=70°: horizon radius 1.0642.

The one set of lines that is not a circle

The one set of lines that is not a circle. hour 1: worst miss 0.196%; hour 2: worst miss 0.318%; hour 3: worst miss 0.358%; hour 4: worst miss 0.312%; hour 5: worst miss 0.183%; hour 6: worst miss 0.000%; hour 7: worst miss 0.183%; hour 8: worst miss 0.312%; hour 9: worst miss 0.358%; hour 10: worst miss 0.318%; hour 11: worst miss 0.196%.

What it checks while it draws

Collected by running the family and recording what it asserted, not written here. The count is how many separate times the claim was put to the test while these drawings were made.

Where it is called

Every figure on this list is drawn by the same rule, so a change to the rule changes all of them at once. That is why the list is published.

Topology

An instrument that computes with circles

An astrolabe is a stereographic projection of the sky cut in brass. Because the projection sends circles to circles, every line on it can be drawn with compasses, and turning the star map over the plate is a rotation that answers questions in spherical astronomy without a single calculation. Of the lines medieval makers engraved, one family is not a circle on the sphere — and the arcs they drew for it miss the truth by a third of a millimetre.

Topology

Angles survive and areas do not

Stereographic projection takes every circle on the sphere to a circle or a line, and every crossing angle to itself. It does both exactly, with no approximation anywhere, and it destroys area so thoroughly that a patch near the pole can be a thousand times its neighbour's size.

Number

Every triple, on one circle

Draw a line of rational slope through a single point of a circle. Wherever it comes out is a rational point, and clearing the denominators turns it into a Pythagorean triple — so every triple there is comes from one line through one point.

Topology

One chart is never enough

Stereographic projection matches the sphere minus a point with the whole plane, and the missing point is not a blemish to be tidied away. It is a theorem — no single flat picture covers a sphere — and the repair is two pictures with a rule for passing between them.

Topology

A sphere is a plane plus one point

Remove a single point from a sphere and what is left can be flattened out to cover an infinite plane exactly. The construction is one straight line, repeated.

Topology

The circles that fill a three-sphere

A three-sphere is filled by circles — one through every point, no two meeting, every two linked exactly once. Stereographic projection is the only way anybody sees it, and the projected picture is a nest of circles on tori whose linking can be counted off the drawing.

Geometry

The map that trades circles for lines

Send every point to the one on the same ray whose distance multiplies with it to a fixed number, and circles become lines, lines become circles, angles survive untouched, and a ring of tangent circles falls out of a ring of equal ones.

Geometry

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.

Topology

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.

Geometry

The triangle that a globe gets wrong

On a sphere, a right triangle with legs of fifty and sixty degrees has a hypotenuse of seventy-two, not seventy-eight. The theorem is not approximately true there — it is false, and what replaces it says exactly how much room the surface has.

Topology

Two pieces, in every dimension

A closed curve cuts the plane in two. A closed curve in space cuts nothing at all, and it takes a closed surface to do the job — which is the shape of the general theorem, and the reason the word "dimension" means anything.

Topology

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 whole library · What the figures prove