Cartographic Projection
every map is wrong, and by exactly how much
Concept

Trilateration — where it appears

Placing points from measured distances alone, each new one fixed by the intersection of two circles from points already placed. It holds 2n − 3 distances exactly by construction and decides the rest, which is what makes it the surveyor's version of an embedding.

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

The share of its distances a flat picture can hold. A picture of n places on a plane has 2n coordinates and is unchanged by two translations and a rotation, so 2n − 3 numbers in it are genuinely free; each distance held exactly is one equation. So at most 2n − 3 of the n(n−1)/2 distances can be right, whatever the places are and however hard the map maker tries. The share falls as 4/n: five of six for four places, thirteen of twenty-eight for eight, and 197 of 4,950 — 4.0% — for a hundred. The dashed curve is 4/n, which the count approaches from below and never crosses.

Five distances of six, and never more

A flat picture of n places has 2n − 3 free numbers and n(n−1)/2 distances, so it can be exactly right about 2n − 3 of them and no more — five of six for four places, twenty-nine of a hundred and twenty for sixteen, and 3.98 per cent for a hundred. The bound is reached by a construction with no fitting in it, and an azimuthal equidistant map spends only n − 1.

impossibility · Embedding The page's curvature is not a free parameter. The same trilateration, carried out on a sphere of stated radius instead of on a plane, with the error of the distances the construction decides rather than holds. At the radius the distances were measured on it is 5.1e-15 — exact, by construction, which is the refusal this figure exists to make. Two per cent either side of it the worst decided distance is already out by around 10%. Below 90 per cent of the Earth's radius the construction cannot be completed at all: two circles that must cross do not, and the page is simply too small to hold the places. The flat sheet is the right-hand limit, at 152%.

The escape is not a dimension

Four places that will not lie in a plane surely lie in a space — and they do not. The double-centred matrix of their great-circle distances has a negative eigenvalue, so no Euclidean space of any dimension holds them, and buying a third dimension improves the picture by nothing whatever, to fifteen decimal places. What does work is a page with curvature, and the curvature is pinned to within two per cent.

impossibility · Embedding

Named alongside it

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

Closed formConstraintDistance matrixEmbeddingVerificationAzimuthalCayley mengerDegrees of freedomDimensionEigenvalueEquidistanceGaussian curvature

All concepts