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

Quadratic law — where it appears

The rule that an error made by treating a curved surface as flat grows as the square of the region's size, which is what sets every tolerance radius here. It is what sets the radius inside which a survey may be computed in the plane, and the radius follows from the tolerance rather than from convention.

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

A scale factor is a property of a point, and a distance is not. The grid scale factor sampled along a 362 km line on the British National Grid at a bearing of 90°, with the three rules in use drawn as the constants they replace it by. In a transverse Mercator k depends on the easting almost alone and goes as its square, so along an east–west line the curve is very nearly a parabola. The endpoint mean is the chord across it and lands 268.6 ppm high, which is 97.3 m over this line. Simpson's rule integrates a parabola exactly and lands 0.004 ppm out — 1.3 mm. Neither number is about the line's length.

The scale factor of a line

A scale factor is a property of a point and a distance is not measured at a point. The three rules in use for averaging one along a line differ by a hundred metres on a 362-kilometre baseline, and which of them is adequate is decided by the line's direction rather than its length.

practice · Grid What grid spacing a tolerance buys. The worst bilinear interpolation error across OSGB36's ground, against the spacing of the table it is interpolated from, both axes logarithmic. The smooth shift falls by exactly four for every halving, which is what second-order interpolation does. Adding a 30 centimetre ripple 2 degrees across — three parts in a thousand of the 99 metre shift it rides on — moves the spacing needed for 20 millimetres from 1° to 0.125°, which is 64 times as many nodes.

When a formula is not enough

National mapping agencies distribute datum shifts as tables of numbers on a grid rather than as parameters. What decides the spacing that table needs is not the size of the shift — a hundred-metre shift tabulates coarsely, and a thirty-centimetre ripple riding on it does not.

datums · Datum 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 London to Tokyo in three straight legs. The great circle, and the route a plan of three constant-heading legs actually follows between waypoints on it. The two touch at the waypoints and part between them by up to 456 km, and the flown route is 253 km longer than the direct one. The headings are 50°, 109°, 149°. Two routes. The great circle is 9559 km and is the shortest path on the sphere. The rhumb line holds a single compass bearing the whole way and is 11296 km — 1737 km further, or 18.2 per cent. On Orthographic the rhumb line departs from straight by 2.4e-1 of its own length.

Flying a curve in straight legs

Nobody steers a great circle, because a great circle requires the heading to change continuously. What is actually flown is a handful of constant-heading legs between waypoints on it, and the gap between plan and curve falls as the square of the number of legs.

paths · Paths London to Tokyo, round a 15° exclusion. The direct great circle, dashed, runs through the disc. The admissible shortest route leaves it along a great circle tangent to the rim, follows the rim, and leaves along another tangent — which is the closed-form answer and is checked against a shortest-path search over the rim that knows nothing about tangents. It costs 39 kilometres on 9559, which is 0.41 per cent. The rim stretch is 293 kilometres of it, and it is the only part of the route that is not a geodesic anywhere along its length. Drawn in Orthographic.

A route that must go round

Every route on this site so far has been free to go anywhere, and no real route is. The shortest path past a circular exclusion is two tangent great circles and an arc of the rim — a closed form that agrees with a shortest-path search to three metres in 9,598 kilometres — and it costs not the obstacle's size but the square of how far the obstacle reaches past the route.

paths · Paths 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 Three curves between 45°N and 55°N, 3026 km apart. The normal section observed from the first point, the normal section observed from the second, and the geodesic, each plotted as its distance to one side of the great-circle chord between the two ends. The two sections are 79.0 metres apart at their widest and the geodesic runs between them, 53.3 metres from the first. In LENGTH they differ by almost nothing — 2.40 millimetres over 3026 kilometres — so an observation that follows the wrong one measures the right distance along the wrong ground. On a sphere all three coincide exactly.

The normal section is not the geodesic

A theodolite at A sighted on B swings in one plane and the instrument at B sighted back swings in another, so the two observations trace different curves on the ground — 79 metres apart over 3,026 kilometres — and the shortest path is neither of them. The lengths differ by 2.4 millimetres, so the wrong curve measures the right distance along the wrong ground.

wrong · Ellipsoid Fitting a polynomial to Mollweide, and what each order buys. An affine, a quadratic and a cubic transformation fitted by least squares between the sphere and Mollweide over patches from 8° down to 0.5° radius, centred at 20°E 40°N. Each is a straight line on these axes and its slope is one more than its own degree: 1 → 2.00, 2 → 3.00, 3 → 4.00. That is not a coincidence and it is this ladder's subject: the first thing a model of degree d cannot represent is the term of degree d+1, so the affine model's error is governed by the second derivative — the flexion and skewness measured everywhere else here.

A local model has an order

Every georeferencing tool fits a polynomial between two coordinate systems and the choice of degree is usually made by counting control points. What it buys is an order of convergence — 2, 3 and 4, measured — and the first term an affine model cannot hold is the second derivative this ladder has spent five essays on.

distortion · Flexion Which corrections a 10 mm job may leave out. Each correction inverted: the line length — or, for the last row, the patch radius — at which that correction alone reaches 10 mm, for a job 150 m above the ellipsoid on 2° of ground, 0.0° from the British National Grid's central meridian. The tightest is the slope reduction at 16 m. Three of the four rows are linear in the tolerance, so this ranking is the same at a millimetre and at a decimetre; what does change it is the site — move the job up a mountain or onto steeper ground and the order is different, which is why a specification's list is not transferable.

The tolerance decides the model

Every correction inverts to a distance — the line length at which it alone exceeds a stated tolerance. The ranking those distances produce is the same at a millimetre and at a decimetre, and it is different for two jobs at the same tolerance on different ground.

practice · Reduction Past the five solids: what more faces buy, and what they cost. The icosahedron subdivided 2, 3, 4, 6, 8 ways, giving 20, 80, 180, 320, 720, 1280 faces. The worst angular deformation inside a face falls from 13.1° to 0.26°, with a fitted exponent of -0.947 against the face count — the reciprocal, as it must be, because a face's angular size goes as the inverse square root of the count and the gnomonic's deformation goes as the square of that. The total cut length rises from 11.6 to 96 sphere radii, fitted at 0.509. Both exponents together say the whole economics of the family in one line: halving the distortion costs √2 times the cutting, for ever.

More faces, less distortion, more cutting

The five regular solids are where polyhedral mapping stops, and they stop because there are only five rather than for any reason about maps. Subdivide instead, and the family runs to any number of faces with two fitted exponents: distortion falls as the reciprocal of the count and cutting rises as its square root.

families · Polyhedral Where the middle of a 20° × 20° region is, in five planes. The region is drawn in longitude and latitude — which is itself a projection, and one of the ones being compared. Each filled mark is the shoelace centroid computed in one projected plane and inverted back to the ground; the hollow mark is the centre of area on the sphere, by integration. They spread over 273 kilometres. The equal-area member is 66 kilometres out, because a centroid is a first moment and preserving area says nothing about where the area sits.

A centroid belongs to a plane

Every renderer labels a region at its centroid, and every centroid is a shoelace over coordinates as stored — which is a statement about the plane they are in. Six planes put the middle of one 20° × 20° region up to 273 kilometres apart, the equal-area member is 66 kilometres out, and the disagreement falls as the square of the region's size.

applied · Dataset Two readings of the same triangle, and the band between them. The same three vertices, joined two ways: with straight lines in the plane the coordinates are stored in, and along the ground. Every dot is a point the two readings disagree about — inside on one and outside on the other. The band covers 29.5 per cent of the polygon, which is 4241 thousand square kilometres, and it is not an error in either reading: the file does not say which one it means. Densifying the stored boundary removes it, which is the only fix there is. Drawn in Equirectangular.

Inside is a claim about the edges

Whether a point is inside a polygon is not a property of the point and the polygon. It is a property of the plane the edges were understood to be straight in, and between two readings of the same file there is a band of disagreement — 29 per cent of one triangle's area, 4.2 million square kilometres, and the file does not say which reading it means.

applied · Dataset 10,000 observations of one place, averaged 120 times. Left: 400 single observations of the same place, with a 60-kilometre standard deviation east and north, drawn across ±400 km. They are scattered about the truth and their average is unbiased on the ground. Right: 120 independent averages of 10,000 such observations each, computed on the page and taken back to the ground, drawn across ±1.8 km. The cloud is tight, as averaging ten thousand things should make it, and it is not centred on the cross: it sits 489 m away, against 403 m predicted by the projection's second derivative alone.

The average of noisy positions moves

Average sixty thousand scattered observations of one place on a Mercator map and the answer is 404 metres too far north — at every sample size, because it is a bias and not noise. The same average on the Lambert cylindrical equal-area is 404 metres too far south, the two being ½ (σ²/R) tan φ and its exact negative, and on the plate carrée it is not displaced at all.

distortion · Precision The set a reach map shows, drawn from eight bearings. A geodesic disc of 4,000 km and the polygon a fan of eight bearings draws round it, on an equal-area azimuthal page centred on the disc so that the shaded ground is proportional to the ground it stands for. Every vertex of the polygon is on the true boundary and every edge between two of them is a chord, so the drawn set is inside the true one — always, at every count, for any convex reach set. The area it misses is 7.53% of 48,635,855 km², and it is not an error that care removes. It is what a finite fan is.

Every reach set ever drawn is too small

An isochrone is drawn by walking out along a finite number of bearings and joining the points, so its vertices are on the true boundary and its edges are chords — which puts the drawn set inside the true one, always, at every count, for any convex reach set. The deficit falls as the square of the count, and a spherical cap loses less than a circle by exactly cos t (1 + cos t)/2.

paths · Reach A 6° query against a cube scheme, and the cells it fetches. The cells of a tangent-warped cube scheme at level 5, with the 29 cells a query of 6° radius touches shaded. The disc's own area is 16.84 cells; the count is 29, because every cell the disc's boundary crosses is fetched as well as every cell inside it. In Hilbert order those cells form six contiguous ranges of identifiers, which is six range scans, and the span from the lowest to the highest covers 91 cells against the 29 wanted. Drawn in Mollweide, with the mesh shown only near the query.

A query is a disc, and a disc is not a cell

Everything a cell system does is an address lookup except the one question anybody actually asks it: find everything within five kilometres of here. That is a disc, and the number of cells it fetches is not its area divided by a cell's — at the radii a query is really made at, it is three to seventeen times that.

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

Rung eleven priced one triangle and recorded that a survey observes hundreds. 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

Where the valley breaks in two

The previous rung found a near-optimal set that is one connected sheet at a loose threshold and fourteen basins at a tight one, and explained the transition without testing it. The explanation is a prediction about region size and projection sharpness: swept over both, the threshold falls from 2.13 to 0.27 as a region grows from 6° to 30°, three projections lie on nearly one curve, and a fourth declines to join for a reason worth having.

choosing · Choosing

How wrong a flat picture has to be

The rung below proves no flat picture of four places is exact and leaves the size of the failure to a determinant nobody can read. Measured directly, the least error falls as the square of how much sphere the places span — fitted exponent 2.0088 — and the same exponent comes back from five different arrangements while the constant in front of it moves by a factor of seventeen.

impossibility · Embedding

The line a height is measured along

Five rungs have argued about the surface a height is measured *from* and every one of them took the line it is measured *along* to be straight and known. It is neither: through a stated buried mass a plumb line arrives 47 millimetres from the point below the summit, and the height it gives depends on the density of rock nobody has seen — 342 millimetres of spread at 4,000 metres and 1.37 metres at 8,000.

datums · Height

The line a commission can actually run

A boundary commission cannot run a parallel of latitude. It can sight a straight line between monuments, and a straight line between two points of equal latitude passes poleward of the parallel — by s² tan φ / 8R, which at a mile of spacing is fifty-eight millimetres and at a hundred kilometres is two hundred and twenty-six metres. The described line and the marked line are different curves, and the marked one governs.

practice · Boundary

A tripoint defined three times

A tripoint is very often not a coordinate in any treaty. It is a description — the point where the boundary between A and B meets the boundary between B and C — and each of those boundaries is itself a description. So the point is defined three times, once by each pair, and under one convention throughout the three definitions agree to half a micrometre. Under three they enclose 6.69 square kilometres.

practice · Boundary

Which features survive is not a sample

The rung below answers how many features a scale can carry and treats the population as a number. Which ones survive is a different question: keeping one feature in ten carries 99.99 per cent of the total length and inflates the median feature by a factor of 95, and the shape of the size distribution survives both exactly.

applied · Generalise

The area is unbiased and the perimeter is not

A boundary measured from noisy vertices comes out long, always, by σ²/d on every leg. The area enclosed by the same vertices comes out exactly right, because a shoelace is bilinear and the cross terms vanish. So densifying a boundary makes its area five times more precise and its perimeter three thousand times more wrong, and every compactness score computed from it falls short.

distortion · Precision

Named alongside it

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

ToleranceVerificationClosed formGeodesicBoundaryGreat circleNational GridAreaBiasCentroidConventionConvergence rate

All concepts