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

Differential equation — where it appears

A relation between an unknown function and its derivatives, which is what a projection's stated property becomes once its family has one unknown function in it. Mercator's projection is the standard example: its parallel spacing is whatever makes the map conformal, which integrates to a logarithm and to nothing simpler.

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

Three surfaces with the same curvature, one of which is a sphere. Every one of these is a surface of revolution whose Gaussian curvature is 1 at every point, built by solving r″ + r = 0 for the meridian rather than by writing a shape down. The spindle closes to a point with an angle deficit, the sphere closes smoothly, and the bulge does not close at all — it ends in two circular edges. A surveyor confined to a patch of any of them, measuring angles and distances, cannot tell which one it is.

Two surfaces with the same curvature

The ladder's base says curvature is the obstruction to a faithful map. It has never asked whether curvature is the whole obstruction — and it is, locally: there is a whole family of surfaces with the unit sphere's curvature at every point, none of them a sphere, and a geodesic circle drawn on one agrees with the same circle on another to one part in 10¹⁴.

impossibility · Curvature One face of an icosahedron, two ways. The same spherical face mapped onto the same flat triangle by two different rules, with a grid of marks whose size is the local areal factor. The gnomonic map draws every great circle straight and stretches the corners by a factor of 1.50; the area-preserving map holds the areal factor at one to a part in a million and pays in shape, reaching 11.9° of angular deformation against the gnomonic's 8.0°. Both take the face's boundary to the face's boundary, which is what lets the pieces still fit together.

What a face can preserve

The obvious map onto a polyhedron's face is the gnomonic, and it draws every great circle straight while stretching the corners by a factor of 1.50. Replace it with a construction that holds the areal factor at one to a part in a million and the shape error rises from 8.0° to 11.9° — the same trade the whole sphere forces, arriving on a piece of it a twentieth the size.

families · Polyhedral Three solutions of one condition, all exactly equal-area. The pseudocylindrical ansatz is x = λ·C(φ) and y = Y(φ) — two unknown functions — and the equal-area condition is one equation, C·Y′ = cos φ. So Y may be chosen freely and C follows, and these three choices give three maps that are equal-area to 1.8e-11 and look nothing like one another: their pole lines are 10%, 100%, 19% of their own equators. That is why the cylindrical family has one equal-area member and this family has as many as anybody cares to name.

The condition does not always decide the map

Write a family as a shape with an unknown function in it and every classical property becomes a differential equation. In three families the equation has one solution and the named projection is what comes back. In the fourth it has a whole function of solutions, which is why that family has forty members and the others have three.

families · Families An equal-area map nobody would publish. Mollweide, with a row-dependent horizontal displacement applied to the page afterwards. That plane map has Jacobian determinant 1 everywhere, so every areal scale factor is untouched: the worst departure from 1 anywhere sampled here is 6.0e-12, which is the arithmetic's own floor. It satisfies the equal-area condition exactly and completely, and it is a ruin. The angular deformation at 30°E 20°N has gone from 11.0° to 60.5°.

Every equal-area map is every other one

Take Mollweide and slide every row of the page sideways by an amount that depends on the row. The result satisfies the equal-area condition to 6 × 10⁻¹², exactly as well as Mollweide does, and it is a ruin — the angular deformation at one ordinary point has gone from 11° to 60°. Equal-area is one equation, and one equation leaves a whole function free.

choosing · Condition Which scale fields a map could have, and which are only wishes. Liouville's equation — the Laplacian of log k equals 1/k² on the page — is the whole condition for a conformal map of a unit sphere to have a stated scale factor. The first two rows are the scale fields of real projections and they satisfy it to the differencing step. The rest are requests a designer might write, and every one of them fails — except one, which turns out to be a projection somebody already found. Asking for no distortion anywhere fails by exactly one, which is the curvature of the sphere.

Not every distortion can be asked for

Six essays have written projections as conditions and asked how much freedom a condition leaves. The reverse question has never been put: a cartographer knows what distortion they want, so can they ask for it? For a conformal map the answer is a single equation, it is the Theorema Egregium in disguise, and asking for no distortion anywhere fails it by exactly the curvature of the sphere.

choosing · Condition The part of a request no conformal map can supply — scale falling with distance from the centre. The difference between the requested scale field and the nearest achievable one, over the patch, with the sign shown by colour. The RMS is 1.81e-1 in the logarithm of the scale and the worst single point is 4.91e-1. This is not an error: it is the part of the request that no conformal map of any kind can grant, and its SHAPE is the answer — it says where the request was impossible, which a single number cannot.

The nearest map to an impossible request

Rung seven found that not every distortion can be asked for. It never asked what happens when one is asked for anyway — and the answer has a shape: the achievable fields are the solutions of an elliptic equation, a request is a point off that set, and the nearest point leaves a residual whose floor is the curvature rather than the size of the ask.

choosing · Condition Three named members of the family, and one the family has no name for. The equal-area pseudocylindricals are not a list of maps. They are the solutions of one equation — C(φ)·Y′(φ) = cos φ — in two unknown functions, so one function is free and the named members are points in a space of them. Writing Y as six numbers and searching over them finds a map at 25.03° of mean angular deformation against Eckert IV's 28.08, Mollweide's 31.83 and the sinusoidal's 38.86 — 12.2 per cent better than the best map the family has a name for, and every one of the four is equal-area to the same precision.

A family is a function, not a list

The equal-area pseudocylindricals are the solutions of one equation in two unknown functions, so one function is free and the named members are points in a space of them. Writing that function as six numbers and searching over them finds a map at 25.03° of mean angular deformation against Eckert IV's 28.08 — and two numbers are already enough to beat every map the family has a name for.

families · Families

Named alongside it

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

ConformalityDegrees of freedomEqual-areaConditionConstraintTheorema EgregiumAngular deformationAreal factorBoundary-valueClosed formGaussian curvatureInvariant

All concepts