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

First fundamental form — where it appears

The three numbers E, F and G that say how a coordinate patch measures length, and all a distortion calculation needs — no latitude required. Gauss's theorem says the curvature can be computed from these three numbers alone, without leaving the surface — which is what makes the impossibility intrinsic.

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

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 How much curvature varies from place to place, body by body. The Gaussian curvature along a meridian, each body against its own smallest value, so the curves are comparable. Written from the bodies actually drawn: Earth varies by 1.0135, Mars varies by 1.0239, Vesta varies by 2.71, Phobos varies by 4.16, from the flattest place on each to the sharpest. A surface of constant curvature is a sphere and nothing else is, so the impossibility argument this field is built on has a local version on every real body: how flat a patch is depends on where the patch is.

Curvature that varies from place to place

The impossibility this site is built on was argued on a sphere, where the curvature is one number. On the Earth it varies by 1.35 per cent, on Jupiter by 31, on Vesta by a factor of 2.7 — and on a body with three axes it varies along a parallel, which no formula in latitude can express.

impossibility · Curvature Three surfaces with the same curvature, one of which is a sphere. Every one of these is a surface of revolution whose Gaussian curvature is 1 at every point, built by solving r″ + r = 0 for the meridian rather than by writing a shape down. The spindle closes to a point with an angle deficit, the sphere closes smoothly, and the bulge does not close at all — it ends in two circular edges. A surveyor confined to a patch of any of them, measuring angles and distances, cannot tell which one it is.

Two surfaces with the same curvature

The ladder's base says curvature is the obstruction to a faithful map. It has never asked whether curvature is the whole obstruction — and it is, locally: there is a whole family of surfaces with the unit sphere's curvature at every point, none of them a sphere, and a geodesic circle drawn on one agrees with the same circle on another to one part in 10¹⁴.

impossibility · Curvature Vesta, with its own coordinate lines. Vesta drawn in an orthographic projection — every figure here is a projection, including this one — with the parametric coordinate lines its published coordinates are written in. Its three semi-axes are 286.3, 278.6 and 223.2 km, so the equator is an ellipse rather than a circle and the body has no axis of revolution to define a latitude against. The surface's own radius runs from 223.2 to 286.2 km, a ratio of 1.282, and the outward normal departs from the direction out of the centre by up to 14.10°.

A map of a body with three axes

Every projection on this site is written in a latitude, and a body with three unequal axes has none: the coordinate lines are not perpendicular, Lambert's equal-area formula spreads areas by 28 per cent on Vesta, and the equal-area map that does work has a different one on every meridian.

datums · Bodies A conformal map of Vesta, in the coordinates that make one possible. The body's own isothermal coordinate, used as the map — which is Mercator's construction carried out on a body that has no axis to be Mercator about. The lines are Jacobi's ellipsoidal coordinates, which are the surface's lines of curvature, at 30° and 20° spacing; the two quadratures that turn them into an isothermal pair are one-dimensional. The measured angular deformation away from the marked points is 1.1e-6°, which is this site's noise floor, and the areal factor spans a factor of 162 — conformal, and emphatically not equal-area. The four marks are the umbilics, where the coordinate collapses and the map has nothing to say.

A conformal map of a body with three axes

This site built an equal-area map of a triaxial body and wrote down what it could not do: the conformal one, which needs an isothermal coordinate that a surface with no axis of revolution was said not to have. It has one, Jacobi found it in 1839 for a different reason, and it takes two one-dimensional integrals.

datums · Bodies Four averages of one region's indicatrices — Robinson over the whole sphere. The faint ellipses are the indicatrix at ninety sampled places; the four drawn over them are four candidate averages of exactly that set. The arithmetic mean of the tensors gives semi-axes 1.1621 and 1.0182; the log-Euclidean mean gives 1.0053 and 0.9608; the Karcher mean gives 1.0042 and 0.9619; and taking the mean of a and the mean of b separately — which is what a published average distortion usually is — gives 1.2335 and 0.8200. Their maximum angular deformations are 7.57°, 2.60°, 2.47°, 23.23°, against a mean of the pointwise deformations of 20.67°. Five numbers, one set of ellipses.

An average of ellipses is not an ellipse

Rung three integrates distortion over a region and finds the weighting is somebody's opinion. It never asked what was being averaged. An indicatrix is a positive-definite matrix, matrices form a cone rather than a vector space, and the arithmetic average of an equal-area map's indicatrices comes back inflating area by up to 11 per cent.

distortion · Tissot A conformal map solved rather than written down. The same patch of parameters on two bodies, mapped to the plane by solving the discrete Cauchy–Riemann equations — one complex equation per triangle, 1568 triangles, least squares, conjugate gradients, and no formula for either surface. Left: a sphere, where the answer is known in closed form and is not used. Right: a body with a bump on it, which has no isothermal coordinate and therefore no closed form at all. The parameter lines cross at right angles in both, to a median of 0.60° and 1.25° of angular deformation.

A conformal map of a body that is not a quadric

Jacobi's ellipsoidal coordinates give a triaxial body a conformal map by two quadratures, and this collection wrote down what that argument uses: the surface has to be a quadric. A real body is not. Solving the discrete Cauchy–Riemann equations instead — one complex equation per triangle, two thousand triangles, conjugate gradients — gives a conformal map of a bumped body to a median of 1.10°, converging at first order in the mesh, with the areal factor spreading by 3.07 and refusing to converge at all.

datums · Bodies

Named alongside it

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

Closed formTriaxial ellipsoidConformalityGaussian curvatureIntrinsic geometryIsometryPlanetary datumTheorema EgregiumAngular deformationDevelopable surfaceEqual-areaInvariant

All concepts