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 9 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

Nine rungs treat a family as a set of maps with a parameter running through it, and this collection's own compromise projections 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

Named alongside it

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

Developable surfaceConeConicResidualTaxonomyAzimuthalCandidateConformalityConvergenceCylindricalEqual-areaGaussian curvature

All concepts