Concept

Flat enough — where it appears

A region is flat enough when the best flat drawing of it keeps every distance within a stated tolerance. The unavoidable error grows with the square of the region's extent times the surface's curvature, so the test is about size against curvature, not about the region's shape.

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

Where a ridge, a valley and the pass between them curves the other way. The Gaussian curvature of a stated terrain over a 80-kilometre window, with the sign shown by the colour and the size by the ink. Positive on the summits and in the hollows, negative everywhere between — which is most of it: 79 per cent of the curved area. The extremes are 2.2e+4 times the Earth's own curvature, which is the quantity every argument on a sphere takes to be the curvature of the thing being mapped.

Where the surface curves the other way

The impossibility of a perfect map is usually argued on surfaces whose curvature is positive everywhere. The surface a map of the ground actually depicts is not one of them: a stated terrain is saddle-shaped over 79 per cent of its curved area, its curvature runs to twenty-two thousand times the Earth's own, and even a single smooth hill is concave over 89 per cent of itself.

impossibility · Curvature

A radius of 37.7 km makes a flat picture of four cities exact. Each row is one pair of London, New York, Tokyo, Sydney. The bar is the range of distances between two places of radius 37.7 km — the true centre-to-centre distance, plus or minus 75.4 km — and the solid dot is where the best picture for places of that size draws the pair. Every dot is inside its bar, and the pairs at the bars' ends are the ones that fix the radius. The hollow dots are the picture that is best about ratios instead: its worst pair is 103.3 km off, so it would need places of 51.6 km. The best picture of points is not the best picture of places.

A place with a size can be drawn to scale

Points on a sphere have distances no flat picture holds. Places are not points: give every place a radius and the distance between two of them becomes a range, and some flat picture is right about every range once the radius passes a threshold — 38 kilometres for London, New York, Tokyo and Sydney, six metres for five towns in Britain, growing as the cube of the set.

impossibility · Embedding

Named alongside it

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

Verification Curvature Developable Distance matrix Embedding Estimator Exponent Gauss–Bonnet theorem Gaussian curvature Hessian Minimax Principal curvatures

All concepts