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

Limit — where it appears

The value an expression approaches as one of its arguments shrinks, and a thing that does not always exist — a table with a kink has none. The indicatrix is one, and there are points on ordinary maps where it does not exist — the gnomonic's horizon and every corner of a polyhedral net.

Named by 5 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 The image of a circle on Mercator, against its own indicatrix. A circle of three radii on the ground at 30°, 40°, projected exactly — the solid curve — against the ellipse the indicatrix predicts for it, dashed. The filled dot is the image of the circle's centre and the hollow one is the centre of area of what was actually drawn, which is not the same point. The departure runs from 3.14 per cent at 4° to 15.80 per cent at 16°, so it grows in proportion to the radius rather than to its square: halving the circle halves the relative error and does not quarter it.

The indicatrix is a limit

Tissot's ellipse describes an infinitesimal circle, and every published one is drawn finite. The error of the description falls as the radius rather than as its square — halving the circle halves the lie — and on the Robinson projection at a table entry it does not fall at all: sixty metres and six kilometres are both 1.17 per cent wrong.

distortion · Tissot 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 The indicatrix is a limit, and here it is being taken. The axis ratio of the image of a circle of radius ρ, measured from the picture rather than computed from the derivatives, against the ratio the derivatives give. It converges, and it converges as ρ² — each halving of the radius quarters the departure. At the smallest radius drawn the two agree to 7.6e-4 relative. This is what "the indicatrix is a limit" means when it is working: there is a number for the ratio to settle on, and it settles.

The indicatrix at a point that has none

Ten essays on this ladder take the derivative for granted. Rung three proved the indicatrix is a limit and every figure since has assumed the limit exists. There are points on the maps this collection draws where it does not, and they are not exotic: the horizon of a gnomonic map, and every corner of every polyhedral net.

distortion · Tissot A geodesic circle on Mollweide, and the two models of where it goes. A circle of geodesic radius ρ about 20°E 45°N, projected. The dashed outline is where the indicatrix says it goes — the ellipse a Tissot figure draws — and the thin solid one adds the quadratic term, which is the flexion and skewness this ladder measures. At 16° the indicatrix is out by 13.5 per cent of the figure's own size and the second-order model by 2.20 — a factor of 6.16, which is what one more derivative buys.

The size at which the second derivative arrives

Six essays have measured a projection's second derivative at points, over regions and under transformations, and none of them says at what size it stops being a curiosity. The answer needs a figure with an extent rather than a point, and it is smaller than anybody drawing a national map would guess: the indicatrix alone places a shape to one part in a thousand out to thirteen kilometres.

distortion · Flexion

Named alongside it

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

Cone constantConvergenceDevelopable surfaceIndicatrixInfinitesimalNumerical differentiationTissot's indicatrixAngle deficitAnisotropyArc lengthAzimuthalCentroid

All concepts