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

The angles of a triangle, and the curvature inside it

Drawn here at the parameters it defaults to, with every essay that calls it.
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.

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.

It is one of 78 figures drawn by the same construction, and the drawing above is this one with nothing changed.

12 essays call it. Every call below passes it something, because a placement that passes nothing draws whichever member of the family the generator happens to default to rather than the one its essay argues about.

Where it is called

Changing this changes every one of these figures.

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. The impossibility

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.

 How large a patch can be treated as flat, at 10 parts per million. The smallest scale distortion any map of a circular patch can have, against the radius of the patch, on logarithmic axes. The line is straight with a slope of 2.00: the error grows as the SQUARE of the size, so a patch ten times wider is a hundred times worse. A tolerance of 10 ppm is reached at a radius of 40.3 km — 81 km across — and that is the number behind the boundary between plane surveying and geodesy. The impossibility

How small is flat enough

A builder works in plane coordinates and a national mapping agency does not, and the line between them is not a convention. The unavoidable error of treating a patch of the Earth as flat grows as the square of its size, and the size at any stated tolerance is a number.

 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. The impossibility

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.

 A triangle of 25.0° excess, drawn on Mercator. The three geodesic sides as curves and the three straight sides a ruler draws, with each vertex labelled by how far the ruler's angle is from the true one. The straight-sided triangle's angles sum to exactly 180° because it lies in a plane, and the real one's sum to 205.02°, so the three errors have to account for the whole 25.02° of spherical excess between them — and they do so on this conformal projection exactly as they do on any other. What is taught wrongly

Conformal does not mean the angles are right

A conformal projection preserves angles between curves at a point. Draw a triangle on one with a ruler and its angles are wrong by degrees — and the total error is fixed before the projection is chosen, because a plane triangle sums to 180° and the real one does not.

 The signal, and four instruments' noise. The spherical excess of an equilateral triangle at 45° north against its side, with the standard deviation of a measured excess — σ√3 — ruled for four instrument accuracies. A fifty-kilometre triangle, which is about the largest anybody routinely observed, has an excess of 5.49 seconds of arc. A theodolite reading to one second gives that excess a standard deviation of 1.73 seconds, so the measurement carries about three significant bits. The rest of the argument follows from that ratio. The impossibility

How big a triangle it takes

Gauss proved that a surface-dweller can read the curvature off a triangle's angles. Doing it is another matter: a fifty-kilometre triangle has 5.49 seconds of excess, a one-second theodolite gives that excess a standard deviation of 1.73, and reading K to one per cent needs a side of 281 kilometres. Not one of the great surveys built a triangle within a factor of three of that.

 Bigger triangles, and how much bigger depends on what is fixed. How well a survey can resolve Gaussian curvature, against the side of its triangles, under three things being held fixed. One triangle: the accuracy improves as the inverse SQUARE of the side, fitted exponent -2.000. A chain of fixed length, which is what every great arc was: bigger triangles mean fewer of them, and the exponent is -1.503 — exactly three halves. A network covering a fixed area: -0.999, exactly one. The trade depends on what a survey is short of. The impossibility

How many triangles it takes

Pricing one triangle left the fact that a survey observes hundreds unaccounted for. Averaging n of them divides the noise by √n, and n is not free: a chain of fixed length holds fewer big triangles than small ones, so the accuracy improves as the side to the power three halves rather than two. Struve's 141 triangles of forty kilometres are worth exactly Gauss's seven of eighty-five.

 The geoid's curvature is whatever degree the model was stopped at. The Gaussian curvature a geoid model contains, as a fraction of the sphere's own, against the degree the spherical harmonic series is truncated at. It rises in proportion to the cutoff, because a degree-n undulation moves the curvature by n(n+1) − 2 times its own amplitude while the amplitude itself falls only as n to the three halves. The dashed line is the ellipsoid's whole variation from equator to pole, 1.33 per cent; the geoid overtakes it at degree 1332, a half-wavelength of 15 km. Below that resolution the ellipsoid's flattening is the larger term and above it the geoid's own bumps are. The impossibility

The geoid has a curvature only if you say where you stopped

Thirteen measurements have priced the curvature of surfaces that are stated — a sphere, an ellipsoid, a triaxial body, a surface with a hole, real relief. The surface a height actually refers to is none of them. It is an equipotential of the Earth's own gravity, it is only ever given as a series stopped at a degree, and its Gaussian curvature carries two more powers of the degree than its height does. So the omitted height converges, the omitted slope diverges as a logarithm, and the omitted curvature diverges as a power: EGM96 carries 0.36 per cent of the sphere's own curvature, EGM2008 carries 2.19, and a one-kilometre model would carry twenty.

 The geoid's curvature at a point has no limit; averaged over a triangle it settles. Dashed: the curvature a geoid model contains at a point, as a fraction of the sphere's own, rising in proportion to the degree the model stops at — from 0.36 per cent at degree 360 to 36 per cent at 36,000. Solid: the geoid's contribution to the mean curvature over equilateral triangles of 1, 10, 50 and 100 km, the rms of the anomaly in each one's spherical excess divided by that excess. Each rises while the model is coarser than the triangle and settles once it is finer: the 50 km triangle reads 0.64 per cent at EGM2008's degree 2190 and 0.68 per cent at 36,000; the 1 km triangle 2.19 per cent and 27 per cent. The impossibility

A triangle reads the geoid's curvature, and that one converges

The geoid's Gaussian curvature at a point has no value: its spectrum carries two more powers of the degree than the height's, and the sum never settles. A surveyor's triangle does not measure it at a point. By Gauss–Bonnet its excess is the total curvature over its area, which on the geoid is the flux of the deflection of the vertical through its three sides — a first derivative averaged along lines, and that sum converges. A fifty-kilometre triangle reads 0.64 per cent of the sphere's curvature from the geoid at EGM2008's degree and 0.68 at degree 36,000, where the curvature at a point has grown sixteenfold. The quantity nothing could measure was the one nobody measures.

 Round a triangle the geoid's deflection has a flux and no circulation. A fifty-kilometre triangle on a stated patch of geoid whose undulations follow Kaula's spectrum between 10 and 400 km, with the deflection of the vertical drawn as strokes down the geoid's slope. Beside each side, the deflection's component across it and along it, each integrated along the side, in metres: across −0.689, −0.538, +0.499; along −0.235, +0.275, −0.040. The sum across is −0.727 m, which over the Earth's radius is −0.0235″ of the triangle's excess. The sum along is +0.000003 m — the geoid's height carried round the loop and returned to where it started. The impossibility

A levelling loop reads the circulation, and the geoid has none

A triangle of angles reads the geoid as the flux of the deflection of the vertical through its sides. A levelling loop is the other integral round the same curve, the circulation, and at the geoid that one is identically zero, because the deflection is the slope of a height. What a levelling loop run on the ground misses by is the Jacobian of gravity and height over the loop: 31 mm round a fifty-kilometre loop in a stated mountain range, none of it from the free-air gradient that changes gravity by 1,333 mGal there, uncorrelated with what the triangle reads, and two and a half times the noise of the levelling where the triangle's reading is a fiftieth of its own.

 The mountain's gravity follows the ground and the root's does not. A profile 260 km long across the stated mountain patch. Top: the height of the ground. Bottom: the gravity at the ground from the terrain's own rock, a sheet at 2,670 kg/m³ (solid), and from a root at 30 km carrying the same mass with the opposite sign (dashed). Over the whole patch the rock's gravity correlates with the height at 0.99, so of its 54.0 mGal rms only 7.8 is not a function of the height under it. The root's, smoothed over thirty kilometres, correlates at −0.85, and of its 10.0 mGal 5.3 is free of the local height. A levelling loop misses by exactly that free part, which crosses the ground's contours. The impossibility

A levelling loop weighs the root, and a triangle weighs the mountain

A mountain range is carried partly by a root of light crust beneath it, and a survey that knows the ground can ask how much. Put a root thirty kilometres down under a stated range and it moves a levelling loop's misclosure by 85 per cent as much as the mountains' own rock does, and a triangle's excess by 16 per cent: the root's gravity is a smoothed copy of the ground, and a smoothed copy crosses the contours. Read against their noise, pinning the root's share to a tenth takes about 2,700 fifty-kilometre loops, a million triangles or 550 astronomic stations — and if the rock's density is unknown too, a triangle cannot tell a compensated mountain from a lighter one.

 A triangle never sees the root against its own noise; a levelling loop sees it until it is deep. For a root at each depth carrying all of the terrain's mass, the rms of each reading's response to it over 160 placements, divided by that reading's noise — the background the root sits in plus the observing error. A 25 km loop: 34.2 per cent at 10 km, 15.6 at 30, 3.9 at 60. A 50 km loop: 37.6 per cent at 10 km, 20.1 at 30, 5.5 at 60. A 100 km loop: 34.9 per cent at 10 km, 20.2 at 30, 6.1 at 60. A 50 km triangle: 3.1 per cent at 10 km, 1.0 at 30, 0.2 at 60. The triangle's response falls with depth more steeply than the loop's, which is what made their ratio look like a gauge of depth, but at every depth it is a few per cent of its noise or less. The impossibility

A loop reads a root's depth from its own pattern, and a triangle reads none of it

A levelling loop and a geodetic triangle respond to a buried root in proportions that change with its depth, so their ratio looked like a gauge of how deep a range is compensated. It is not, because a triangle's response to a root at 30 km is a hundredth of its own noise. The depth is there in the loops alone: a root changes the pattern of misclosures from loop to loop as it deepens, and 1,600 loops of 50 km place a 10 km root within a factor of 1.5 three times in four and a 30 km root about half the time. A 60 km root is not placed even by 6,400, and when the depth is fitted rather than stated, such a root is read as a light shallow one carrying 25 per cent of the mass where it carries 60.

 A gravity station sees a buried root against its own noise three or four times as well as a loop near the surface, and half again as well at sixty kilometres. For a root at each depth carrying all of the terrain's mass, the rms of each reading's response to it over 160 placements on the stated range, divided by that reading's noise — the background the root sits in plus the observing error. A gravity station (noise 28.6 mGal): 111.5 per cent at 10 km, 38.5 at 30, 9.0 at 60, 1.4 at 100. A 50 km loop (noise 25 mm): 37.6 per cent at 10 km, 20.1 at 30, 5.5 at 60, 0.9 at 100. A 100 km loop (noise 39 mm): 34.9 per cent at 10 km, 20.2 at 30, 6.1 at 60, 1.1 at 100. A 50 km triangle (noise 1.7″): 3.1 per cent at 10 km, 1.0 at 30, 0.2 at 60, 0.0 at 100. The impossibility

Gravity is worth four loops a station, and the background still hides a deep root

Levelling loops alone place a range's compensating root at ten kilometres three times in four from 1,600 loops, and do not place one at sixty from 6,400. Gravity measured on the ground reads the root's attraction directly, and a station is worth about four loops for a shallow root and two for one at thirty kilometres. It does not place the deep root either: 1,600 stations put a sixty-kilometre root within a factor of 1.5 of its depth in fewer than one survey in five. With the background field taken away, a hundred stations place it every time. What hides the deep root is not the reading but the geoid's own mass that the range does not explain, and either half of its spectrum is enough to do it. Fitted for depth, gravity reads the deep root as too heavy, where the loops read it as too light.

The whole library