Concept

Dimension — where it appears

How many independent directions a space has. It is the obvious thing to buy when a set will not fit on a page, and for distances taken off a sphere it buys nothing: the obstruction is that the metric is not Euclidean rather than that the page is flat.

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

Everywhere Albers is exactly right, and the band round it. The set on which both principal scale factors are one — the only ground where a ruler on this map, at the map's own stated scale, measures the true distance in every direction. It is the parallels at 20.000° and 60.000°, drawn as a curve, with the band within 0.01 of true scale shaded round it. That band is 2.673 per cent of the sphere, and it narrows as ε as the tolerance tightens. The curve at its centre has no width at all, and no tolerance makes it have one.

The places where a map is exactly right

Nine essays on this ladder say a map cannot be right everywhere. None asks where it IS right — and the answer is a curve, a pair of curves, or two isolated places, never a patch. Measured across fourteen projections the set's neighbourhood shrinks with an exponent of 0.48, 1.0 or 2.0, and the value the impossibility forbids is 0.

impossibility · Curvature

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.

Isometry Tolerance Cayley menger Closed form Constraint Curvature Distance matrix Eigenvalue Embedding Gaussian curvature Gram matrix Measure zero

All concepts