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

Spherical excess — where it appears

The amount by which a spherical triangle's angles exceed 180 degrees, equal to its area divided by the square of the radius. It is Gauss–Bonnet in its most elementary form and it is how a spherical polygon's area is computed here.

Named by 10 essays across 4 fields — each of them below, with the objects they name alongside 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.

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

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.

impossibility · Curvature 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.

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.

wrong · Audit The conformal map onto a square face of a cube. The spherical face of a cube carried onto its flat face by a map that is conformal everywhere — the measured angular deformation over the drawn interior is 1.63e-6°, which is the arithmetic's own floor. The rings and spokes are circles and radii on the sphere, and they cross at right angles here because that is what conformal means. The map was solved for as 16 terms of a series rather than written down: the face's edge comes out straight to 0.33 per cent of its own half-width, and that residual — not the conformality — is what more terms buy. At each corner the map behaves like ζ^0.75, so the scale factor there is infinite.

A conformal map onto a face

The polyhedral ladder ended owing a conformal face map, on the grounds that it needs elliptic functions. It does not: a conformal map of the sphere is an analytic function of one conformal coordinate, so the map is a power series, choosing it is a least-squares fit — and its scale factor is infinite at the corners, which is the angle deficit arriving as a singularity.

families · Polyhedral 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.

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.

impossibility · Curvature A ring round the pole at 80°, and the two pieces it makes. the boundary of a small polar cap — and of everything else. A closed curve divides a sphere into two pieces and neither of them is the outside: one is 4 thousand square kilometres and the other is 506 thousand, a ratio of 130.6 to one, and the coordinates are the same either way. The two colours are the two pieces, sampled at points rather than shaded, because shading one of them would already be the decision this figure is about.

A polygon on a sphere has no outside

Seven essays have treated a stored ring as a boundary between inside and outside. A closed curve on a sphere divides it into two pieces and neither of them is the outside, so every polygon in every file depends on a convention that no coordinate carries — and the two conventions in common use disagree by a factor of fourteen on any ring that contains a pole.

applied · Dataset An angle is a difference of two directions, and the error does not cancel between them. A geodesic triangle with sides of 30 km at 45° N, its first side laid off on a bearing of 45° and the second 60° round from it. Substituting a sphere carrying the geodetic latitude turns each direction at a corner by an amount that runs as the sine of twice its azimuth, so the two directions at A are turned by different amounts and the angle between them is wrong by their difference. Here the worst single direction is out by 345.79″ and the worst angle by 521.09″ — larger, not smaller. Bessel's sphere, which also corrects the longitude, keeps every angle to 6.2e-9″.

An angle is a difference, and the difference doubles the error

Substituting a sphere for the ellipsoid turns every direction at a point, and a surveyor measures angles rather than directions — so the obvious hope is that a turn common to both directions cancels in their difference. It does not cancel, because the turn is not common: it runs as the sine of twice the azimuth, and the largest angle error is exactly twice the largest direction error at a well-shaped corner. A first-order triangulation computed on the geodetic-latitude sphere carries angles nearly nine minutes of arc wrong, and its closure check passes perfectly.

wrong · Ellipsoid Where the correction overtakes the sphere it is correcting for. The worst angle error of four substituted spheres against the size of the triangle, with Legendre's spherical excess on the same axes. The two that are wrong at first order in the flattening are flat in the side, because the error belongs to the latitude and not to the distance. The two that are right at first order have no such floor, so what is left is a term rising in proportion to the side. The excess rises as its square, so each pair meets exactly once, and the meeting decides which of the two corrections a computation is entitled to ignore: the geodetic latitude at 490 km, the rectifying latitude at 247 km, the conformal latitude at 23.8 km, the geocentric latitude at 17.6 km.

The correction is the smaller of the two corrections

Legendre's theorem subtracts a third of the spherical excess from each angle of a triangle and solves the rest as a plane figure. It is the correction every nineteenth-century computer applied and the one every textbook explains. Beside the error the choice of substituted sphere leaves in the same triangle it is small: on the thirty-kilometre triangle a first-order chain is made of, omitting it costs 166 millimetres in a computed side and using the geodetic-latitude sphere costs 43 metres. The two terms scale differently, so each sphere has a size at which the correction overtakes it — and for the two spheres a careful computer would have chosen, that size falls inside a real chain.

wrong · Ellipsoid 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.

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.

impossibility · Curvature Along a meridian a good sphere's error adds up triangle by triangle; a bad base does not. A strip of thirty-kilometre equilateral triangles running north from 45°, each side computed from the last by Legendre's theorem on a substituted sphere. The scale error of the side just computed, against how many triangles lie between it and the measured base. The conformal sphere adds 7.90 ppm a triangle and reaches 158.1 ppm after 20; the geocentric, 158.9 ppm; the authalic, −52.4 ppm; the rectifying, 0.29 ppm. Shaded: three standard deviations of the scale error one-second angles leave, 3.96 ppm a triangle, growing as the square root of the count. Dashed: a base measured 8 ppm long, which stays 8 ppm at every triangle.

A strip of triangles carries the sphere's error to the next base

One triangle cannot tell a substituted sphere from a bad base: both leave the computed side a few parts per million long. A triangulation is not one triangle but a strip, each computed side the next one's base, and along it the two come apart completely. A bad base is one factor, the same at every triangle. A sphere's error is made afresh in each triangle and the strip adds it up, and what it adds up to at the far end is exactly the change in that sphere's own meridian scale between the two ends — 158 parts per million for the conformal sphere over twenty triangles north from 45°, predicted to half a part. Along a parallel it is nothing; at a check base three triangles on it is already three times the noise of one-second angles.

wrong · Ellipsoid

Named alongside it

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

VerificationGeodesicAuxiliary latitudeBoundaryConformal latitudeGauss–Bonnet theoremGaussian curvatureGeodetic latitudeSurvey networkToleranceTriangulationAngle deficit

All concepts