Concept

Boundary — where it appears

The edge of the region a map is drawn for, which is where an optimal conformal map holds its scale constant and where most criteria take their extremes. Chebyshev's criterion states the connection: the optimal conformal map of a region is the one whose scale is constant along it, which is a maximum principle in disguise.

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

The scale factor was chosen, and the choice is a V. The worst departure of the grid scale factor from unity across a region 9° wide and 9° tall, for every scale factor between 0.998108 and 1.0002, on a central meridian of 2°W. A tangent projection touches at one meridian and is too big everywhere else, at 1987 ppm. Scaling the whole grid down slides that interval until it straddles unity, and the minimum sits at 1/√k_max = 0.999008102, where the worst departure is 993 ppm — a factor of 2.00, which is the most this construction can buy and is reached exactly. The published value marked beside it was chosen the same way, for this region, in the 1930s.

The scale factor was chosen

A grid's scale factor is not a constant of nature. Britain's 0.9996012717 is the reciprocal square root of the worst distortion a tangent projection would have had over the country, it halves the worst-case error exactly, and the halving is the most that construction can ever buy.

practice · Grid
The least distortion possible over a 30° region. Scale factor along a radius of the cap, each projection normalised to unit scale at the centre. Chebyshev's criterion names the projection whose scale is constant on the boundary as the conformal map of least scale variation, and for a cap that is the stereographic projection centred on it — reaching exactly sec²(ρ/2) = 1.0718 at the rim, marked. Every other conformal projection drawn here rises past that line before it gets there. This is the only figure on the site showing an optimum rather than a comparison.

Total curvature and the scale rule

The impossibility has a size. A region covering a fraction of the sphere carries a fixed amount of curvature that any flat map must absorb, and for a circular region the least distortion any conformal projection can achieve is a closed form nobody can beat.

impossibility · Curvature
The least distortion possible over a 30° region. Scale factor along a radius of the cap, each projection normalised to unit scale at the centre. Chebyshev's criterion names the projection whose scale is constant on the boundary as the conformal map of least scale variation, and for a cap that is the stereographic projection centred on it — reaching exactly sec²(ρ/2) = 1.0718 at the rim, marked. Every other conformal projection drawn here rises past that line before it gets there. This is the only figure on the site showing an optimum rather than a comparison.

Chebyshev's criterion

The only optimality theorem in the subject. Among all conformal projections of a region, the one with least scale variation is the one whose scale factor is constant on the boundary — a criterion with a proof, a unique answer, and a test the site can run.

choosing · Choosing
The sixty zones, each six degrees wide. Every zone is a separate transverse Mercator projection about its own central meridian, so the world is covered by sixty maps rather than one. Zone 31 is picked out, running from 0° to 6° with its axis on 3°. Coordinates do not carry across a zone boundary — a point on either side of one has two entirely different eastings, and nothing in the numbers says which zone they belong to.

UTM and the zone system

Sixty separate maps of the world, each six degrees wide, each with a scale factor of 0.9996 chosen so the projection is wrong everywhere and less wrong at the edges. Every constant in the definition is a measured trade rather than a convention.

families · Ellipsoid
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
A feature across nine tiles at zoom 4, and the nine labels it gets. A rectangle from -10° to 30° east and 36° to 62° north, drawn in the projected plane with the tile boundaries over it. A renderer that draws each tile from the geometry inside that tile puts the label at the centroid of the piece, marked hollow; the whole feature's centroid is the filled mark. The furthest piece's label is 1863 kilometres from it. The pieces' areas sum to the whole to 2.2e-16 of a relative part, so the clipping is exact and the displacement is the operation rather than an error in it.

A tile is drawn without its neighbours

Independence is what makes the scheme scale: one request touches one square of the world. It also means a feature crossing nine tiles is nine features, each labelled at its own centroid — up to 1,863 kilometres from the whole one — and the displacement is bounded by the size of the feature rather than the size of a tile, so it grows as the reader zooms out.

applied · Screen
What a grid of one's own is worth. For every candidate central meridian, the best worst-case distortion achievable over the region once the scale factor has also been optimised — so each point on the curve is already the bottom of its own V. The minimum is at 2.9°W with k₀ = 0.9993009, giving 700 ppm. The dashed line is UTM zone 30, whose meridian and scale factor were chosen for no region in particular, at 1059 ppm. The national grid is better by a factor of 1.51 — which is the whole of the answer to why a country publishes a grid rather than using the zones, and it is a smaller factor than the argument is usually made to sound.

Designing a grid for one region

A country with a grid of its own beats the international zone that would otherwise carry it by a factor of 1.51. That is worth having and it is much less than the argument is usually made to sound, and the difference between the two numbers is the whole case for and against national grids.

practice · Grid
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
Both zones are right, and one of each is not. A 20 km baseline straddling the boundary between UTM zones 31 and 32 at 52°N, computed from grid coordinates three ways, on logarithmic bars. Taking both ends in zone 31 and taking both in zone 32 give answers 0 nanometres apart — the resolution a double has left after carrying a six-figure easting rather than a disagreement — so a job may use either and the overlap belt every zone publishes exists to let it. Taking each end from the zone it nominally belongs to gives 392 km, because the two eastings are measured from meridians six degrees apart and subtracting them measures nothing at all. The same ground point is 706 km east in one zone and 294 km east in the other, and both coordinates are correct.

Where two zones meet

A twenty-kilometre baseline across a zone boundary is computed correctly in either zone — the two answers differ by nanometres — and taking one end from each returns 392 kilometres. Both zones are right and the seam between them is not a small error but a category one.

practice · Grid
The scale factor across Europe, from the middle outwards. Each band is the range the larger principal scale factor takes on the ring at that distance from the centre of Europe: 0 is the middle, 1 the frontier. two of the three projections drawn are conformal, and every one of those reaches its maximum at the right-hand edge, because the logarithm of a conformal map's scale factor is subharmonic. None of them reaches a maximum inside the region.

Where the worst point is

The largest scale error on a conformal map of a country is always on the frontier, never inside it, whatever the country's shape and whichever conformal projection was chosen. It is a theorem rather than a tendency, and it is the reason Chebyshev's criterion works.

distortion · Tissot
A grid scaled to the ground, and where it stops being one. A surface coordinate system on the British National Grid: the grid multiplied by 1.0004044, the reciprocal of the combined factor at a project origin 120 m above the ellipsoid, so that a grid distance equals a ground distance there. It is exact at the origin by construction and wrong everywhere else, and the two directions are not comparable — the axis is logarithmic across five decades. 60 km due east the set-out distance is out by 5559 mm, and the same distance due north by 20.5 mm. The scale factor of a transverse Mercator depends on the easting and almost not at all on the northing, so a system sold as good "within a few kilometres" has a useful area that is a strip rather than a circle.

A grid scaled to the ground is not a map

Construction sites work in coordinates where a tape reading equals a computed distance, which is achieved by multiplying the national grid by a constant. The result is exact at one point, degrades east–west forty times faster than north–south, and is not a map projection at all.

practice · Grid
Everywhere within 3,000 km of London, drawn in Lambert cylindrical. The set of places exactly 3,000 kilometres from London by the shortest route, projected point by point. On the ground it is a circle — every point of it is the same distance from the centre, in every direction. On this page the longest radius from the drawn centre is 4.17 times the shortest, so a reader with a ruler measures two different distances for one ground distance depending on which way the ruler points. The two extreme radii are drawn.

A circle of a distance is not a circle

Eleven essays in this field have followed a route across a map. A range ring is not a route — it is the edge of a set — and drawing one exposes a failure the route essays cannot: the same ground distance comes out 4.17 times longer in one direction than another on a common projection, and 13.03 times at 70° north.

paths · Reach
A 20° shape across the antimeridian, in the space where the numbers live. Longitude runs across the page from −180° to 180°, which is where the failure is: the shape is one rectangle on the ground and two pieces in the numbering, and every operation that treats longitude as a real number sees the two. The bounding box comes out 359° wide instead of 20°, the planar area comes out 17 times too large because the shoelace encloses the complement, and the midpoint of a segment from one edge to the other lands 20015 kilometres away — the antipode of where it belongs. The true area, from the closed form, is 4,920,667 square kilometres.

The antimeridian is a cut in the numbers

A twenty-degree box across 180° has a bounding box of 359.4°, a planar area seventeen times too large, and a midpoint 20,015 kilometres from where it belongs — which is the antipode, exactly. Moving the cut moves the failure and never removes it, because a circle cannot be numbered by an interval.

applied · Dataset
Which of eight places is nearest, decided on the ground and decided on the page. Every cell of the window shaded by which of eight places across Europe is nearest on the ground, with the cells the page's own answer would hand to a different site drawn in the failure colour. Plate carrée misassigns 13.67 per cent of the window's ground area — 3,058 thousand square kilometres. The misassigned cells are not scattered: they lie in bands along the boundaries, which is what a systematic error looks like and what a sampled test of a few query points is least likely to find.

Nearest of many is a partition

One reach question with one source is a disc. With several sources it is a division of the whole surface, every place belonging to whichever source is nearest — and computing that division in the plane the data is stored in hands away between 0.75 and 22.16 per cent of the ground, in unbroken strips up to 1,591 kilometres across.

paths · Reach
Everywhere within 200 km of the route from London to Tokyo. The shortest route between the two places, and the set of places within 200 kilometres of it, with both edges computed on the sphere and then projected. On the ground the set holds 3.949 million square kilometres — the band 3.823 and the two end caps 0.126, which between them make one disc of the corridor's own width. Drawn in Mollweide the corridor is visibly wider at one end than the other, and the ground it stands for is not.

A corridor has a width the page cannot keep

Buffering a line is the most-run operation in spatial analysis and the corridor it produces is a reach set with two failures nobody separates: stroked on the page, one width covers 190 to 471 kilometres of ground along a single route; computed in closed form, the formula stops being the area at a width the route's own length fixes, and eventually claims more ground than the sphere has.

paths · Reach
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

The most compact shape depends on the paper

A geodesic disc attains the isoperimetric bound on a sphere — its score is one, exactly, at any radius. Score the same nine regions from their images on ten projections and four of them put something else on top, an oval and its own 45° rotation come out 4.7 per cent apart, and the projection that preserves the order is not the equal-area one.

paths · Reach

The score is not stable at any scale

One boundary, read at eight resolutions from sixteen points to two thousand and forty-eight: the compactness score falls from 0.980 to 0.834 and is still falling. Changing the projection instead moves it by 0.69 per cent. The two decisions are made by the same person on the same afternoon and only one of them is ever reported.

paths · Reach

The map depends on where it was cut

The previous rung solved the discrete conformal equations on a triangulated body and reported an areal spread of 3.07, then recorded that the number might belong to the patch, the boundary and the two pinned vertices rather than to the surface. It belongs to the pins: hold a different pair and it runs from 2.68 to 7.44, while the typical angular deformation does not move at all.

datums · Bodies

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

Named alongside it

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

ToleranceScale factorNational GridVerificationZoneConventionPurposeReachRegional distortionUTMAreaClosed form

All concepts