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

Audit — where it appears

A systematic check of every member of a family against a claim made about the family. The one this collection is named for measures every projection's angular deformation and areal error rather than accepting the labels *conformal* and *equal-area* that the projections carry.

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

Every projection in the library, measured against both properties. Maximum angular deformation across the bottom, maximum areal error up the side, both on logarithmic scales and both measured over several hundred sample points rather than taken from the projection's description. Conformal projections lie on the left edge, equal-area ones along the bottom, and the corner where both vanish is empty because a projection there would be an isometry of the sphere onto the plane. All 26 are plotted; the six named here are Mercator, Web Mercator, Gall–Peters, Mollweide, Equirectangular, Stereographic.

Measuring instead of naming

A projection is called conformal because that is its name. Running the definition as a computation over several hundred points takes about twenty lines, catches a projection the whole internet uses, and is almost never done.

distortion · Tissot A triangle of 25.0° excess, drawn on Mercator. The three geodesic sides as curves and the three straight sides a ruler draws, with each vertex labelled by how far the ruler's angle is from the true one. The straight-sided triangle's angles sum to exactly 180° because it lies in a plane, and the real one's sum to 205.02°, so the three errors have to account for the whole 25.02° of spherical excess between them — and they do so on this conformal projection exactly as they do on any other.

Conformal does not mean the angles are right

A conformal projection preserves angles between curves at a point. Draw a triangle on one with a ruler and its angles are wrong by degrees — and the total error is fixed before the projection is chosen, because a plane triangle sums to 180° and the real one does not.

wrong · Audit Four ways to build the same equal-area projection. The cylindrical equal-area projection's own areal scale factor, measured from its Jacobian against the metric of the body it is drawn for. On a sphere with the spherical formula it is one everywhere, which is the control. Feed the same formula the geodetic latitude a coordinate actually carries and measure against the ellipsoid it refers to, and it is 1.00674 on the equator and 0.99332 at 88° — a spread of 1.34 per cent, on a projection whose entire purpose is that there is no spread. Rescaling to make the totals agree does not repair it. The authalic northing q/2 does, exactly.

Equal-area on the wrong body

The site's headline is that Web Mercator puts geodetic latitudes into a spherical conformal formula and stops being conformal. The same sentence is true with "equal-area" in it and nobody says it: the areal factor is 1.00674 at the equator, 0.99332 at 88°, and averages to almost exactly one — so every check that adds up areas passes while every cell is wrong.

wrong · Audit Two rules, three populations. The taught rule keys on latitude; the replacement keys on shape. On the thirty regions the replacement was read from it scores 83 per cent against the taught rule's 63. On forty-five different regions built the same way it scores 91 — higher, not lower, so the generalisation the shortfall doubted is real. On the seven named regions this collection actually uses, both rules score 29 per cent, and following either costs a mean factor of 14.6. The third bar of each group puts the taught rule's polar clause back into the shape rule, which is what the out-of-sample failures ask for: it repairs four of them, breaks two that were right, and reaches 43 of 45.

The rule scored out of sample

A replacement rule was read off thirty regions and scored on the same thirty, and this collection recorded that as not being evidence about any other thirty. It is: on forty-five different regions the rule scores 91 per cent against the 83 it managed at home. What it cannot do is the seven regions the collection actually uses, where both it and the rule it replaced name the winner twice out of seven and cost a mean factor of 14.6.

wrong · Audit The same ranking, with the right answer removed from the library. A map drawn in Mercator, fitted by every candidate except Mercator. Something still wins: Conformal conic, by a factor of 1.64 over the runner-up, leaving 0.4 per cent of the map's width unexplained. With Mercator in the library the winner's margin is 1.2e+13. The ranking always produces a name; what tells the two situations apart is how far ahead the name is.

When the answer is not in the library

Fitting twenty candidates to a map and ranking the residuals always produces a winner, which makes it a ceremony unless it can also produce a refusal. Held out of its own library, a Mercator map is named as a conformal conic, leaving 0.4 per cent of the map's width unexplained — and the quantity that tells the two situations apart is not the residual but the margin, which is 1.6 when the truth is absent and 10¹³ when it is present.

wrong · Identify Every library projection over Europe, on the two axes it can be wrong on. Each dot is one projection, scored over Europe on the two independent failures: how much it turns angles and how much it changes areas. The lower-left corner is the isometry that does not exist. The line joins the five projections nothing beats on both counts — the rest are inside it, and a reader who prefers either failure to the other should still not choose one of them, whatever weighting they hold.

The projections that are beaten on both counts

Two rungs of this ladder scored a rule of thumb over thirty regions and then forty-five. The same populations answer a harder question the ladder has never put: which library members are never the right answer at all. Two are beaten outright on both criteria everywhere, one is on no regional front in any population — and it is on the world's.

wrong · Audit Every projection's angular deformation, and the tolerance that judges it. The whole library on one logarithmic axis, with the tolerance drawn as a line. The population is bimodal: the projections that satisfy the condition sit at 2.09e-6 and below, the ones that do not at 3.85e-1 and above, and there is nothing between. The tolerance could be moved anywhere in that gap — a factor of 1.84e+5 — without changing one verdict. Larger marks are projections that claim the property.

The tolerance that decides the verdict

Eight rungs of this ladder hand out verdicts, and every one rests on a tolerance chosen once, in the site's second phase, at sixty times a measured noise floor. Swept, it decides nothing: the population is bimodal, the tolerance sits in a gap 238,000 times wide for conformality and 646 million times wide for equal area, and the verdict with the least room is a passing one whose margin is the arithmetic's rather than the map's.

wrong · Audit

Named alongside it

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

VerificationAssertionConformalityToleranceEqual-areaMercatorNumerical differentiationProjection selectionRule of thumbWeb MercatorAngular deformationAreal scale

All concepts