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

Cylinder — where it appears

One of the three developable surfaces the classical account of projections is built on, wrapped round the body and slit to lay flat. Which named projections are actually projections onto one is a question the classical account does not ask, and the answer is a minority of them.

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

Construction against property. Every projection in the library, sorted by the shape it was notionally rolled from and by what it actually preserves. The families do not line up with the properties: cylindrical and pseudocylindrical and pseudoazimuthal and azimuthal and conic each contain projections of more than one kind, which is why the cylindrical–conic–azimuthal taxonomy answers a question nobody has. Three entries are picked out: Mercator, Albers equal-area conic, Orthographic.

Cylinders, cones and planes

The standard taxonomy sorts projections by the shape of paper they were notionally rolled from. It is memorable, it is how everyone is taught, and it says almost nothing about the properties anyone actually chooses on.

families · Families Six surfaces and their Gaussian curvature. Curvature computed at the centre of each surface, by both available routes — from the way the surface sits in space, and from distances measured inside it alone. The two agree, which is Gauss's theorem. A surface with K = 0 can be unrolled flat without stretching: here the plane, the cylinder and the cone do, and the sphere, the torus and the pseudosphere do not.

No map is faithful

Not "no map yet", and not "no map at page size". Gaussian curvature can be computed from inside a surface, a sphere has some and a plane has none, and that closes the question permanently.

impossibility · Curvature A cylinder unrolls exactly; a sphere does not. Both pictures show the same grid. On the left it is wrapped round a cylinder of radius 1, on the right it is laid flat, and every distance in the grid is the same in both — the circumference is 2π and so is the width of the rectangle, checked to 10⁻⁹. This is possible because a cylinder has zero Gaussian curvature. No corresponding picture exists for a sphere.

What can be unrolled

A cylinder is obviously curved and is intrinsically flat, so it lays out on a table with nothing stretched. A sphere is not. The distinction is exactly zero Gaussian curvature, and it is why paper tubes exist and paper globes do not.

impossibility · Curvature Angular deformation around three standard parallels. Three equal-area cylindrical projections differing only in where they are exact — standard parallels at equator, 30°, 45°. Each has zero angular deformation at its own standard parallel and grows away from it in both directions. Choosing a standard parallel is choosing which latitudes to treat well, and there is no choice that treats them all well.

What a standard parallel buys

A standard parallel is a line where the projection is exact. Choosing one does not reduce the distortion — it decides where the distortion is zero and lets everything grow away from it.

families · Families New York to Madrid on Mercator. Two routes. The great circle is 5768 km and is the shortest path on the sphere. The rhumb line holds a single compass bearing the whole way and is 5939 km — 171 km further, or 3.0 per cent. On Mercator the rhumb line departs from straight by 9.6e-16 of its own length.

Why Mercator exists

A ship can hold a compass bearing and cannot easily hold a great circle. Mercator is the answer to one question — what must a map do so that a constant bearing is a straight line — and it answers it exactly.

paths · Paths The angles of a triangle, and the curvature inside it. A triangle on the sphere with sides that are great-circle arcs. Its three angles sum to 212.26°, overshooting the flat 180° by 32.26°. Integrating the curvature over the interior gives 0.56306 against an excess of 0.56306 — the same number by two routes that share no arithmetic. That is Gauss–Bonnet, and it is how a flatlander measures the curvature of a world it cannot step outside.

Measuring curvature from inside

A flatlander with a ruler can find out that its world is round, by drawing a triangle and adding the angles. Gauss–Bonnet turns that into an exact statement, and the total curvature of a closed surface turns out to be a number obtained by counting.

impossibility · Curvature American polyconic. The graticule of the American polyconic projection at 30° of longitude and 15° of latitude. a different tangent cone for every parallel — true to scale along all of them, and along the central meridian. It is neither conformal nor equal-area.

The projections that gave up being one thing

The polyconic is built from a different cone for every parallel, which means it is built from no cone at all. It preserves nothing the usual tests look for, it has an exact property neither of them measures, and its sheets do not fit together — a defect discovered in the field rather than at the drawing board.

families · Families Two square worlds: Mercator's areas against an equal-area scheme's angles. Both projections give a world exactly as wide as it is tall, so either could carry a quadtree of square tiles. Mercator keeps every angle and inflates area by sec²φ — 132-fold at 85°. The cylindrical equal-area scheme whose world is square has standard parallels at ±55.65° — the solution of π cos²φ₀ = 1 — and keeps every area exactly, at a cost of nothing there and 145° of angular deformation at the edges. At the standard parallel itself Mercator's areal factor is 3.142, which is π, because the square-world condition and sec²φ are the same equation.

The pyramid did not have to be Mercator

The usual defence is that a quadtree needs a square world and Mercator supplies one. So does the cylindrical equal-area with standard parallels at ±55.654° — the solution of π cos²φ₀ = 1 — and it needs no polar cut at all. What Mercator actually buys is conformality, and the price of giving it up is 13.8° of shear at 60° north.

applied · Screen 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

Named alongside it

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

ConeDevelopable surfaceStandard parallelMercatorTaxonomyAspectAzimuthalConformalityConicCylindricalEqual-areaGaussian curvature

All concepts