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

Pole line — where it appears

The straight edge a pseudocylindrical projection draws the pole as, whose length is the freedom the equal-area condition leaves open. Its length is the function the equal-area condition leaves free, which is why the pseudocylindrical projections are a family rather than a projection.

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

What a pole line buys, and what it costs. four pseudocylindrical projections placed by the two numbers the decision moves. Across the bottom, the angular deformation averaged over the whole sphere, where the pole-line projections — Eckert IV and Robinson — are the better maps. Up the side, on a log axis, the factor by which the last parallel is stretched, where they are worse by more than tenfold: 49× at best against 4.6× at worst for a pole drawn as a point. A pole line represents one point of the globe by a line of the map, and that is the price.

Where a pseudocylindrical puts its error

Every projection in this family has to decide what to do at the pole, which on the globe is a point where every meridian meets. Drawing it as a point and drawing it as a line are the two answers, and the trade between them is measurable in both directions.

families · Families How each projection escapes being one to one. Eighteen projections, and the theorem allows no fourth column. A map of the whole sphere either leaves ground undrawn, or draws one place as a curve, or is cut so that one ground curve appears twice — and 11 of the eighteen do more than one of those. The three columns are a solid angle, a count of places and a page length, which is why they are three columns rather than one score: there is no rate at which a hemisphere converts into a pole.

No map of the whole sphere is one to one

Eleven essays establish that no map preserves distance, and every step of that argument needs a distance. There is a second impossibility underneath it that needs nothing at all: a sphere is compact and has no boundary, so a continuous map of it into the page cannot also be one to one. Eighteen library projections, eighteen escapes, and not one of them free.

impossibility · Topology Ground north, on a map that has the pole on it. Every arrow points along its own meridian, towards the pole, and the pole is at the centre. Walking once anticlockwise round any loop enclosing it turns the arrow once anticlockwise as well: the index is 1, counted as a winding number with no distance anywhere in the calculation. A field like this cannot be combed flat. There is no way to choose a page direction for north at every point of the neighbourhood without the choice tearing somewhere, and the somewhere is the point in the middle.

North cannot be up everywhere

Ground north is a field of arrows on the sphere, and a field of arrows on a sphere must vanish somewhere. The failure is not measured, it is counted: the indices of the zeros sum to two, obtained here as a winding number in seven different charts with no distance anywhere in the calculation, and it is the same two that Gauss–Bonnet gets by integrating curvature.

impossibility · Topology 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 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.

Equal-areaPseudocylindricalAngular deformationClosed formContinuityDegrees of freedomDifferential equationProjection familyTopologyTrade-offAntimeridianAntipode

All concepts