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

Cone constant — where it appears

The fraction of a full turn a conic projection draws a circuit of longitude through, equal to the sine of the parallel its cone touches. It runs continuously from one, where the conic becomes azimuthal, to zero, where it becomes cylindrical, so the three surfaces are one family with one number in it.

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

The equal-area conic, from cylinder to plane. The largest distance between the conic at cone constant n and each of its two limits, over a shared grid, with the free scale and offset removed. Both fall as the FIRST power of the distance from their end — the slope on these axes is one — so the conic is never nearly cylindrical: halving n only halves the difference. At n = 0.999999 the conic is the Lambert azimuthal to 1.3e-6, and at n = 0.000001 it is the Lambert cylindrical to 1.2e-6.

The conic is the whole family

Cylindrical and azimuthal are usually presented as two of three families beside the conic. They are the two ends of it. One parameter runs from the cylinder to the plane, and both limits are exact rather than suggestive — which is measurable, and measured here.

families · Families A direction carried once round the sphere. A vector transported round a closed loop on the sphere, kept as parallel to itself as the surface allows at every step — the component that leaves the tangent plane is removed and nothing else is done to it. The heavy arrows are its direction at the start and at the finish, drawn from the same point; the light ones are its direction along the way. It comes back turned through 282.0 degrees, which is 0.783 of a revolution, and nothing in the transport turned it. Drawn in an orthographic projection of the embedding, which is itself a map and has its own distortion.

A direction carried round a loop

Carry a bearing round a circuit, keeping it as parallel to itself as the surface allows, and it comes back turned. Round a parallel at 45° the turn is 4.443 radians and the cap enclosed is 1.840, and they sum to exactly one revolution — so the turning is not the curvature, and on a cone it is all of one and none of the other.

impossibility · Curvature One length, three corrugations. A straight segment shortened by a factor of 0.9, then wiggled across its own direction until its length is back to what it was. The wiggle's amplitude is what buys the length and the number of wiggles is free, so all three curves have exactly the target length while the third stays 16 times closer to the shortened segment than the first. That is the mechanism: the family converges to a map that is not isometric, while every member of it is.

Impossible in two derivatives, possible in one

The impossibility this whole collection rests on computes a second derivative, so it is a statement about maps that have two. Take one away and it is false: a corrugation restores an exact length while converging to the map that does not, and iterating it gives a flattening whose derivative converges and whose curvature runs to half a million.

impossibility · Curvature Every candidate fitted to one map's graticule, ranked by what is left over. The map is drawn in Conformal conic over a region 40° tall centred at 45° north, and the projection is not told to the fit. Each candidate is evaluated at the same 121 graticule crossings, its own parameters are searched, the best plane similarity between its output and the picture is removed, and what remains is drawn as a proportion of the map's own width on a logarithmic scale. Conformal conic fits to 1.3e-10, which is the arithmetic's floor; the next candidate is 3.7e+7 times worse.

A map does not say what it is

Every map on this site is one the site drew, from a projection it chose. Every map a reader has ever used is the other kind — a picture whose projection is a sentence in a corner, a legend, or nothing at all. The graticule is enough to recover it: fit every candidate to the crossings and rank what is left over.

wrong · Identify 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 What each configuration can see, and what it cannot. The smallest eigenvalue of the fit's own normal matrix — how much the residual changes for a unit move in the worst direction of parameter space — for three parameterised candidates against six configurations of the same size. A zero is not a hard fit: it is a direction the control points cannot see at all, so every value of the parameter along it gives an identical residual. 2 of 18 are at the floor of double precision, and they are not the ones a reader would guess. Where none is, the spread between the best and worst arrangement is still Infinity at a fixed point count.

Where the control points are

Five rungs fit a library to a map and ask how much to trust the winner. None asks whether the parameters are recoverable at all. On control points along one parallel an equirectangular's standard parallel is not merely hard to find — it is invisible, exactly, and five hundred and twelve points on the same parallel are as blind as eight.

wrong · Identify What is left after the best rigid motion of the page. Every projection in the library, rotated about its own symmetry axis by five degrees, with the best rigid motion of the page fitted and the leftover measured against the picture's own size — on a logarithmic scale, because the answers span four orders of magnitude. Fourteen sit at 2e-6 or below, which is the axis search's own floor. Seven sit between 9e-3 and 3e-2. There is nothing in between, so the split is a fact rather than a threshold — and the fourteen are exactly the cylinders, the cones and the planes.

The family is a symmetry, not a shape

Rung seven dissolves the taxonomy: eleven named maps fitted to one perspective formula, six reproduced exactly and five refused, so the developable surface describes how the projections were discovered rather than what they are. What is left is the question it does not ask. If the shapes are not the classification, what is?

families · Families A plane fit swallows a datum shift, and keeps swallowing it. A map of OSGB36's ground drawn as though it were on WGS84, at seven sheet sizes. The upper curve is how far the drawing moves — a real 99-metre error on the ground — and the lower one is what survives the best similarity between the two, which is what a fit for the projection removes for free. The absorption runs from 99.68 per cent on a 1° sheet to 85.16 on a 60° one, and what is left is 3.9 parts per million of the map's own size even then — two microns on a sheet half a metre across.

The datum hides inside the projection's parameters

Six essays recover a projection from control points with the body it was drawn on taken as known. It is not known, and the fit cannot find it: a 99-metre datum shift is absorbed to 99.7 per cent on a two-degree sheet and to 85 per cent on a hemisphere, leaving eleven parts per million of the map behind.

wrong · Identify Two members, their average, and the family's best answer to it. Two equal-area conics at cone constants 0.25 and 0.85, the average of the two, and the member of the family nearest that average — at 0.540, which is not the parameter midpoint. The average is not a conic at all: its parallels are still arcs but they are arcs of circles about different centres, so no single cone constant reproduces it and the residual is 0.1722.

A family is not closed under averaging

A family is a set of maps with a parameter running through it, and the compromise projections here are averages of members. An average of two members is not a member: two conics far apart average to something 31 per cent of their own separation outside the family — and averaging within a family makes the map worse every time, while averaging across two makes it 16 per cent better.

families · Families 50° S to 40° S, drawn conformally without a cut and with one. The band of latitude from 50° S to 40° S, drawn two ways that both keep every angle. On the left it is not cut: the only such map with least scale variation is the stereographic from the south pole, the ring closes up, and its scale varies by a factor of 1.0750 across the band. On the right it is cut along one meridian and opened into a conformal conic with cone constant 0.7080: the ring spans only 254.9° and leaves a gap of 105.1°, and its scale varies by 1.0038. Not cutting costs a factor of 1.071 in scale variation.

A ring can be drawn whole, and only one way

A band of latitude has a hole in it, and a region with a hole has a number no angle-keeping map can change. Draw the band without cutting it and that number forces the map: the stereographic from one pole is the least-varying picture there is. One cut along a meridian frees the cone constant, and the scale variation the cut buys back runs from nothing on a polar cap to a factor of 2.13 between the tropics.

impossibility · Topology A sea with two islands in it, and the three circles it already is. A stated sea 60° across with two islands 12° across, their centres 12° from its own, drawn on the globe and drawn again under the stereographic projection centred on the sea. Stereographic projection carries every circle on the sphere to a circle in the plane, so the flat picture is bounded by three exact circles with no fitting and no iteration: the sea's edge at radius 0.5359, and the two islands at radius 0.1060 with their centres 0.2108 from the origin. Normalised, the region's three conformal invariants are 0.2361, 0.6848, 0.1221 — three numbers, which is what a region with two holes carries and no angle-keeping map can change.

Two islands are three numbers, and the proof does not survive them

A sea with one island at its centre has one conformal invariant and a forced best map. Put two islands in it and there are three invariants, readable in closed form because stereographic projection carries circles to circles — and the forcing is gone. The theorem that picked the map needed the region to be unchanged by rotation, not to have one hole, and a single harmonic term two hundredths in size beats the stereographic by 0.19 per cent the moment an island moves off centre.

impossibility · Topology The same two islands, and the cut that buys most is the central one's. A sea 60° across with a large island A, 12° across, and a small one B, 6° across, on opposite sides of its centre, drawn in the plane the stereographic makes of it. Each dashed line is one way of spending a single cut — from A to the open sea, from B to the open sea, or from A to B — and the solid line is the one that buys most, as a share of what two cuts buy. Left, A 18° from the centre and B 6°: A 9% · B 78% · between 21%. Right, A 6° and B 18°: A 81% · B 12% · between 11%. The better cut is the central island's in both, whichever island is large, and a cut joining the islands buys 21% and 11%.

One cut belongs to the island that would cost most alone

A sea with two islands pays a few per cent for being drawn whole by an angle-keeping map, and one cut buys back part of it. Which island to cut is a design choice that leaves the ground exactly where it was, and it is not decided by size: across twenty arrangements of a large island and a small one, the cut worth most goes to the island that would cost the sea most if it were alone in it — in eighteen of twenty, the other two near-ties — which is usually the more central one. A cut joining the two islands buys almost nothing, and the better cut is nearly always the longer.

impossibility · Topology

Named alongside it

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

ConformalityInvariantVerificationDevelopable surfaceTopologyChebyshev's criterionConeConicDegrees of freedomPurposeResidualScale factor

All concepts