Concept

Conformality — where it appears

The property of preserving angles at every point, which forces the two principal scale factors to be equal and the indicatrix to be a circle. It is measured here rather than named: no projection is called conformal until its maximum angular deformation has been found to be at the arithmetic noise floor.

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

The tile pyramid, four levels down to quadkey 120. The world as a square, quartered three times. Each level's tile is exactly half the width of its parent, so a tile is four tiles at the next level and never needs resampling to serve one — the property the whole scheme rests on, and one that holds only because the projected world is square. Level 3 has 64 tiles at 19567.9 metres per pixel, which at 51.5° north is 12181.3 metres of ground per pixel rather than the number the scheme publishes.

A screen map is a pyramid of tiles

The scheme every slippy map runs on is a coordinate system with three integers and one projection, and almost all of it is forced. A square world is what makes the quadtree work, the levels are exact powers of two, and the published resolution — 156,543 metres per pixel at zoom zero — is a distance on the ground at exactly one latitude.

applied · Screen
Angular deformation against latitude, four projections. The same quantity for Mercator, Gall–Peters, Winkel tripel, Robinson, from the equator to 80°. A conformal projection sits flat on zero in the first of these plots and runs away in the second; an equal-area projection does the reverse. Nothing is flat in both.

Every projection minimises something

A projection is the solution to an optimisation problem, and naming the objective explains more than naming the family. Some objectives are exact constraints, some are least-squares fits, and one is a table of numbers a man adjusted until it looked right.

choosing · Choosing
Every projection in the library, measured against both properties. Maximum angular deformation across the bottom, maximum areal error up the side, both on logarithmic scales and both measured over several hundred sample points rather than taken from the projection's description. Conformal projections lie on the left edge, equal-area ones along the bottom, and the corner where both vanish is empty because a projection there would be an isometry of the sphere onto the plane. All 26 are plotted; the four named here are Mercator, Mercator (ellipsoidal), Web Mercator, Gall–Peters.

Web Mercator is not conformal

It carries almost every map on the internet, it is named after the projection whose entire purpose is preserving angles, and it does not preserve angles. The test that found it was not looking for it.

wrong · Audit
What "1:136,495" means at each latitude, at zoom 12. A screen map at zoom 12 prints one scale for the whole world. The curve is how much larger in scale the map really is, measured from the projection's own derivatives rather than from a formula: at 60° it is 1.98 times, so the map labelled 1:136,495 is a 1:68,765 map. The hollow marks are sec φ, the textbook answer. They do not sit on the curve — the worst gap is 9949 parts per million at 85° — because Web Mercator puts a geodetic latitude into a spherical formula, and the same spherical Mercator measured the same way reproduces sec φ exactly.

The scale of a screen map is not one number

A zoom level prints one scale for the whole world, and the map is at that scale along exactly one line. At 60° north the picture labelled 1:136,495 is a 1:68,765 map — and the factor is not quite sec φ either, because the projection puts a geodetic latitude into a spherical formula.

applied · Screen
New York to Madrid on Mercator. Two routes. The great circle is 5768 km and is the shortest path on the sphere. The rhumb line holds a single compass bearing the whole way and is 5939 km — 171 km further, or 3.0 per cent. On Mercator the rhumb line departs from straight by 9.6e-16 of its own length.

Why Mercator exists

A ship can hold a compass bearing and cannot easily hold a great circle. Mercator is the answer to one question — what must a map do so that a constant bearing is a straight line — and it answers it exactly.

paths · Paths
Every projection in the library, measured against both properties. Maximum angular deformation across the bottom, maximum areal error up the side, both on logarithmic scales and both measured over several hundred sample points rather than taken from the projection's description. Conformal projections lie on the left edge, equal-area ones along the bottom, and the corner where both vanish is empty because a projection there would be an isometry of the sphere onto the plane. All 26 are plotted; the five named here are Mercator, Stereographic, Gall–Peters, Mollweide, Winkel tripel.

The trade-off is two lines

Conformal means the two principal scales are equal. Equal-area means their product is one. Both at once forces both to one, which is an isometry, which the curvature forbids. That is the entire argument.

impossibility · Curvature
A 1,000 km bar on Mercator, drawn at 0° and read elsewhere. The same length of paper, carried up the map. Each pair of bars is the ground distance that length actually spans at that latitude — the filled bar along the parallel, the outline along the meridian. At 75° the reading along the parallel is 259 km against the 1,000 the bar claims, an error of 74 per cent. The two readings agree everywhere, because Mercator is conformal — so one number per latitude corrects any measurement taken off it.

A scale bar is right in one place

The bar in the corner of a world map is a picture of a distance, and it is a true picture along one line. On Mercator it reads 500 kilometres for a thousand at 60° north — and on an equal-area map it reads 500 one way and 2,000 the other, so the projection recommended for measuring is the one on which no single correction exists.

applied · Screen
Transverse Mercator. The graticule of the Transverse Mercator projection at 30° of longitude and 15° of latitude. the only projection on which a constant compass bearing is a straight line. It is conformal.

Transverse Mercator and the series that computes it

The projection most of the world's survey data lives in has no closed form. What every national grid actually computes is a truncated power series in the flattening, and how far it can be trusted is an engineering parameter rather than a property of the projection.

families · Ellipsoid
Every projection in the library, measured against both properties. Maximum angular deformation across the bottom, maximum areal error up the side, both on logarithmic scales and both measured over several hundred sample points rather than taken from the projection's description. Conformal projections lie on the left edge, equal-area ones along the bottom, and the corner where both vanish is empty because a projection there would be an isometry of the sphere onto the plane. All 26 are plotted; the six named here are Mercator, Web Mercator, Gall–Peters, Mollweide, Equirectangular, Stereographic.

Measuring instead of naming

A projection is called conformal because that is its name. Running the definition as a computation over several hundred points takes about twenty lines, catches a projection the whole internet uses, and is almost never done.

distortion · Tissot
The least distortion possible over a 20° 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.0311 at the rim, marked. Every other conformal projection drawn here rises past that line before it gets there. It shows an optimum rather than a comparison.

Scale distortion is the third failure

A map's stated scale is its scale at one place. Everywhere else it differs, by a factor that no conformal projection can avoid and that neither of the two usual distortion measures reports. It is the failure everybody uses and nobody counts.

distortion · Tissot
Two square worlds: Mercator's areas against an equal-area scheme's angles. Both projections give a world exactly as wide as it is tall, so either could carry a quadtree of square tiles. Mercator keeps every angle and inflates area by sec²φ — 132-fold at 85°. The cylindrical equal-area scheme whose world is square has standard parallels at ±55.65° — the solution of π cos²φ₀ = 1 — and keeps every area exactly, at a cost of nothing there and 145° of angular deformation at the edges. At the standard parallel itself Mercator's areal factor is 3.142, which is π, because the square-world condition and sec²φ are the same equation.

The pyramid did not have to be Mercator

The usual defence is that a quadtree needs a square world and Mercator supplies one. So does the cylindrical equal-area with standard parallels at ±55.654° — the solution of π cos²φ₀ = 1 — and it needs no polar cut at all. What Mercator actually buys is conformality, and the price of giving it up is 13.8° of shear at 60° north.

applied · Screen
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
Every mixture of Equirectangular at 50.46° and Aitoff. Airy's criterion over the whole sphere, for every weighted average of the Winkel tripel's own pair. Each mixture is normalised to its own best constant scale first, so the comparison is about shape rather than size. The curve has its minimum at w = 0.45, where the criterion is 0.3037 against 0.4114 and 0.4290 at the two ends. That is a projection nobody constructed beating both projections somebody did, by 26 per cent.

The average of two projections

The Winkel tripel is literally the arithmetic mean of two other projections, and this site's implementation of it agrees with that mean to the last bit. Averaging beats both ingredients by 26 per cent — and it preserves conformality exactly, destroys equal-area completely, and can turn eighteen per cent of the world inside out without either distortion measure saying so.

choosing · Choosing
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
Which way Sinusoidal stretches the ground. The major axis of Tissot's indicatrix at 180 points, drawn as a stroke rather than an ellipse because the argument is the orientation. Longer strokes mark more elongated indicatrices. The direction departs from the graticule by up to 44.4°, so the scale "along the meridian" is not the scale along the direction that is actually stretched most.

Distortion has a direction

Tissot's indicatrix is an ellipse, an ellipse has an orientation, and the orientation is never reported. On most projections it is not along the meridian, on a conformal one it does not exist at all, and both facts are computable from the same four derivatives as everything else.

distortion · Tissot
The area of one 20° × 10° cell at 50–60° north, seven ways. The cell has an exact area — R²Δλ(sin φ₂ − sin φ₁), 1,416,580 square kilometres — so every other row is a measurement of the method rather than of the ground. The equal-area projection returns it to 1.000000 and the spherical polygon formula to 1.000000, which is three routes agreeing — and the same cell integrated on the ELLIPSOID comes out 0.45 per cent away from all three, because the sphere is a model. Taking the shoelace in Mercator gives 3.06 times too much, and treating degrees as a length gives 1.75 times — about sec φ at the cell's middle, which is where that error comes from.

Computing an area needs a surface

A shoelace over a ring of coordinates returns a number whatever the coordinates are. For one twenty-by-ten-degree cell it returns 1.75 times the true area in degrees, 3.06 in a conformal plane, and exactly the closed form in an equal-area one — and the closed form itself is 0.45 per cent out, because the sphere is a model too.

applied · Dataset

Tissot stops at the first derivative

Every quantity this site has measured is read off one derivative of the projection. A map can be conformal at a point — the indicatrix a circle, the angular deformation zero to eleven figures — and still bend every geodesic through it, at a rate of 0.839 radians of turning per radian of arc.

distortion · Flexion

The azimuthal family is one function

Five azimuthal projections are taught as five viewpoints — from the centre, from the far pole, from infinity. They are one projection with five choices of how far out to draw a point at angular distance ρ, and each named property is a differential equation in that one function: f′ = f/sin ρ integrates to the stereographic projection and f f′ = sin ρ to Lambert's, from nothing but true scale at the centre.

families · Families

Bending and stretching are one failure

The ladder was written expecting flexion and skewness to be two independent ways for a map to be wrong. On a conformal projection they are not independent at all: the two extremes are the same size to four figures and sit exactly ninety degrees apart, because both are components of a single vector.

distortion · Flexion

A map does not say what it is

Every map on this site is one the site drew, from a projection it chose. Every map a reader has ever used is the other kind — a picture whose projection is a sentence in a corner, a legend, or nothing at all. The graticule is enough to recover it: fit every candidate to the crossings and rank what is left over.

wrong · Identify

Two projections that cannot be told apart

Over a small enough region every projection is the same picture, so the question is how small. The answer is not one number: two conformal projections need twelve degrees of extent before their graticules can be separated, and two projections with different anisotropy separate below one.

wrong · Identify

Solving for the map instead of choosing it

Chebyshev's criterion has sat on this site since its second phase with one case it could be applied to: the spherical cap, whose answer is the stereographic projection. For any other region the site stated the criterion and stopped. It is a linear least-squares fit, and the fitted map beats every named projection over the region it was fitted to.

choosing · Condition

What a face can preserve

The obvious map onto a polyhedron's face is the gnomonic, and it draws every great circle straight while stretching the corners by a factor of 1.50. Replace it with a construction that holds the areal factor at one to a part in a million and the shape error rises from 8.0° to 11.9° — the same trade the whole sphere forces, arriving on a piece of it a twentieth the size.

families · Polyhedral

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

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

The operation decides the coordinate system

Five candidate planes over one region, scored on the three things a spatial operation depends on. The conformal conic wins shape and distance and is 11.7 per cent out on area; the equal-area member is exact on area and 38.9° out on shape. No candidate is exact in two columns, and no candidate ever will be, because one that was would be an isometry.

applied · Dataset

How many times, not whether

Three rungs of this ladder answer yes or no and have no other kind of answer. The degree is the first quantity here that counts: a continuous map of the sphere to itself covers it a whole number of times, injectivity forces that number to ±1, and the number is recoverable three ways — by counting preimages, by integrating swept area, and from the rate at which the preimages coalesce.

impossibility · Topology

A projection between two projections

Every distortion measured on this site so far compares a map with the sphere. The operation a machine actually performs compares a map with another map — and that map has its own two principal scales, its own areal factor and its own angular deformation, none of which is the difference of the two it was built from.

distortion · Tissot

An area on the grid is not an area on the ground

A grid's scale factor is a property of lengths and what a surveyor sells is an area. Squaring a departure doubles it, so a hectare drawn on the British grid at its central meridian has 10,008 square metres of ground under it — and correcting an area with the line factor instead of its square leaves half the error behind.

practice · Grid

The condition does not always decide the map

Write a family as a shape with an unknown function in it and every classical property becomes a differential equation. In three families the equation has one solution and the named projection is what comes back. In the fourth it has a whole function of solutions, which is why that family has forty members and the others have three.

families · Families

An error ellipse is an indicatrix

A positional covariance pushed through a projection is the same matrix sandwich that produces Tissot's indicatrix, so the error ellipse drawn on a map and the distortion ellipse drawn beside it are the same ellipse. A five-metre circular accuracy is drawn at an axis ratio of 3.04 on one common projection — and the same projection draws a genuinely lopsided 304 by 100 metre error as a perfect circle.

distortion · Precision

Every equal-area map is every other one

Take Mollweide and slide every row of the page sideways by an amount that depends on the row. The result satisfies the equal-area condition to 6 × 10⁻¹², exactly as well as Mollweide does, and it is a ruin — the angular deformation at one ordinary point has gone from 11° to 60°. Equal-area is one equation, and one equation leaves a whole function free.

choosing · Condition

The best grid a country could have had

A national grid is a conformal map chosen for one region, so its whole design problem is one number: the spread of its scale factor. That number has a theoretical floor, this site can now compute it, and the adopted grid turns out to be either exactly optimal or half as good again — depending entirely on which box the country is declared to be.

practice · Grid

The shortest route a vehicle can fly

A shortest path under a metric says nothing about whether the thing travelling can follow it. Bound the curvature and the route depends on two headings as well as two positions: the turning cost is a fixed 1.81 kilometres whatever the leg length, so it is 18 per cent of a short leg and 0.28 per cent of a long one, and the whole of it vanishes when the vehicle happens to be pointing the right way.

paths · Paths

The inverse of the series is not the series of the inverse

Transverse Mercator on an ellipsoid has no closed form, so every national grid computes it as a truncated series. There are two of them — one out and one back — and they are separate approximations. Composing them does not give the identity: at the order every grid formula in ordinary use is written to, a point three degrees from the central meridian comes back 0.39 mm north of where it started.

families · Ellipsoid

The same projection on a different body

A projection's distortion does not depend on the body's size at all — only on its flattening — so Web Mercator's 0.3848° of angular deformation is not a fact about Web Mercator. It is 2f radians, and the same mistake made on Mars measures 0.6765°, on Jupiter 7.68°, and on a body scaled ten times larger than Mars the identical number to twelve figures.

datums · Bodies

Two charts are enough, and one is not

The topological minimum for an atlas of the sphere is two sheets, and the counting fixes a price nobody chose: the worst point of any two-chart atlas is 90° from a chart's centre, where a conformal chart's areal factor is exactly 4 and an equal-area one's angular deformation is 38.94°. A national series has a hundred and twenty thousand sheets, and a hundred and twenty thousand minus two of them are bought by accuracy.

impossibility · Topology

The indicatrix at a point that has none

Ten essays on this ladder take the derivative for granted. Rung three proved the indicatrix is a limit and every figure since has assumed the limit exists. There are points on the maps this collection draws where it does not, and they are not exotic: the horizon of a gnomonic map, and every corner of every polyhedral net.

distortion · Tissot

The bound on the body the country is on

The best conformal grid a country could have had was computed against a bound solved on a sphere, with a note saying the flattening was second order and unquantified. It is second order for a named projection — every family's best candidate moves by under 0.7 per cent — and it is 22 per cent for the bound, because an optimal map has already cancelled its own variation and has nothing left to hide a new one in.

practice · Grid

Not every distortion can be asked for

Six essays have written projections as conditions and asked how much freedom a condition leaves. The reverse question has never been put: a cartographer knows what distortion they want, so can they ask for it? For a conformal map the answer is a single equation, it is the Theorema Egregium in disguise, and asking for no distortion anywhere fails it by exactly the curvature of the sphere.

choosing · Condition

A slope is not a shape

Every map in this collection has carried geometry. An applied map far more often carries a field — elevation, pressure, a density — and the first thing anybody does with one is differentiate it. A gradient is a covector, it transforms by the inverse transpose of the Jacobian, and the ellipse that governs it is the indicatrix turned inside out.

distortion · Gradient

A grid reference names a square

This ladder has priced everything about a grid except how a coordinate on it is written. A grid reference is truncated rather than rounded, so it names the south-west corner of a square rather than a point in it — and a population of references is displaced half a cell each way, which is a bias rather than scatter and does not average out.

practice · Grid

The contour is right and the reading is wrong

There is exactly one thing about a field that no projection can get wrong: which points share a value. The contour lines on any two maps of the same field are the same set of points. Every quantity a reader takes off them — the spacing, the length, the area between two of them, the hypsometric curve — is not, and the two kinds of map get different ones wrong.

distortion · Gradient

Water runs downhill on the ground, not on the page

A drainage network is the set of steepest-descent trajectories of a field, so it is built entirely out of directions. A conformal map preserves those directions exactly and therefore preserves the whole network; an equal-area map does not, and sends a route up to 892 kilometres away from where the water actually goes.

distortion · Gradient

The nearest map to an impossible request

Rung seven found that not every distortion can be asked for. It never asked what happens when one is asked for anyway — and the answer has a shape: the achievable fields are the solutions of an elliptic equation, a request is a point off that set, and the nearest point leaves a residual whose floor is the curvature rather than the size of the ask.

choosing · Condition

The tolerance that decides the verdict

Every verdict handed out about a projection's claimed property rests on a tolerance chosen once, long ago, at sixty times a measured noise floor. Swept, it decides nothing: the population is bimodal, the tolerance sits in a gap 238,000 times wide for conformality and 646 million times wide for equal area, and the verdict with the least room is a passing one whose margin is the arithmetic's rather than the map's.

wrong · Audit

The corner is not at the midpoint

An earlier measurement took the corner a feature gets crossing a polyhedral seam, and found none at all under the gnomonic face map. It crossed at the edge's own midpoint every time — the one point on the edge where a face's own mirror symmetry forces the corner to vanish. Two fifths of the way to the vertex the gnomonic gives 20.15°, the equal-area map 7.28° and the conformal map under a degree, which reverses the ordering entirely.

families · Polyhedral

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

The nearest equal-area map to an impossible request

Every number in the measurement before this one is inside the conformal achievable set, because Liouville's is the conformal condition. The equal-area set is one equation on two functions and never refuses: the same four requests are met to nine parts in a billion, and charged for in angle instead.

choosing · Condition

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

The slope of a field that was measured

Three rungs differentiate a formula, which is what makes the projection the only thing under test. A real field is a grid of numbers with an error on each of them, and differencing such a thing divides the noise by the spacing — so a finer grid gives a worse slope, there is a best spacing, and it is the cube root of the noise.

distortion · Gradient

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

The exact map says the seam is smooth

The conformal seam's corner could only be bounded at about two degrees, because the series it was fitted with holds its boundary condition to three parts in a thousand. An exact map exists — the stereographic projection composed with ∫dt/√(1 − t⁴) — and it settles it: the corner falls in exact proportion to the arc the tangent is read over, fitted exponent 0.99, while the gnomonic's 21.4572° is the same to four decimals at every span.

families · Polyhedral

Four radii of the Earth

The ellipsoid is usually handled with an auxiliary latitude. Every such construction also needs a radius, and the radius that makes each property exact is a different number: the published 6371 km is right for an area to half a part per million and wrong for a meridian distance by 559 — while the radius a conformal map needs is not a constant at all, and spans 6,739.

families · Ellipsoid

A crossing bends by a law only a conformal chart can show

A ship leaving pack ice for open water takes its quickest route by bending at the ice edge, so that the sines of its angles to the perpendicular stand in the ratio of its two speeds. The law has nothing in it but angles, so on Mercator it can be checked with a protractor — and on a plate carrée at sixty degrees north the same crossing reads as a ship making ten kilometres an hour in the ice rather than six.

paths · Paths

The map depends on where it was cut

Solving the discrete conformal equations on a triangulated body gave an areal spread of 3.07, with the number possibly belonging 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 condition imposed at points is not a condition

Every projection written as a condition is solved by imposing that condition at a finite set of samples because that is what a linear system is. With barely more equations than unknowns the residual the solver reports is 8.3 times too good — and refining the collocation twentyfold does not improve the map at all, it only makes the report honest.

choosing · Condition

The span ladder, run on all five

A recorded shortfall said the exact map's span ladder was one loop away from settling the seam on the five Platonic solids. The loop was run and the answer is the other one: the series conformal face map has a corner that does not shrink with the measurement span on any of them — 4.10° on the tetrahedron, 0.77 on the cube, 0.004 on the icosahedron — and it belongs to the truncation rather than to conformality.

families · Polyhedral

Cuts of the same size in different places

Where a body is cut decides how well it can be mapped, by a factor of ten — established with five windows of five different sizes, so *where* and *how much* were confounded and the factor could have been entirely about extent. Held to the same surface area to a quarter of a per cent, the answer survives at a factor of 1.32, and what predicts it is the curvature the window encloses.

datums · Bodies

The nodes were evenly spaced

Refining an evenly collocated fit improves the solver's report and leaves the map alone. Moving the same number of nodes to the Chebyshev positions — crowded toward the corners, where a conformal map of a polygon is singular — makes the fit settle: 7.030 × 10⁻⁵ at forty-eight nodes and exactly that at every count above it, against an even fit that wanders by 43 per cent and never converges at all.

choosing · Condition

A ring can be drawn whole, and only one way

A band of latitude has a hole in it, and a region with a hole has a number no angle-keeping map can change. Draw the band without cutting it and that number forces the map: the stereographic from one pole is the least-varying picture there is. One cut along a meridian frees the cone constant, and the scale variation the cut buys back runs from nothing on a polar cap to a factor of 2.13 between the tropics.

impossibility · Topology

A line of position is Newton's method, but only on a conformal chart

An altitude of a star puts a ship on a circle five thousand kilometres across, and the intercept method replaces that circle with a straight line. On Mercator the fix those lines give is one step of Newton's method: its error falls as the square of the assumed position's, and re-running it turns 300 kilometres into 24 metres in two steps. On a sheet that does not correct longitude for latitude it keeps a fixed share of every east–west error, one less the cosine of the latitude — 36 per cent at 50° north.

paths · Position fix

Simplification does not commute with the projection

A pipeline either simplifies the geometry and then projects it, or projects it and then simplifies. Both orders are in use, neither is recorded, and given the same tolerance in ground metres they keep different vertices — 129 of them on the ground, 367 in degree space at 80°, and 459 on an equal-area page.

applied · Generalise

A cocked hat holds the ship one time in four

Three lines of position with any error in them bound a small triangle, and the instinct is that the ship is inside. With independent errors it is inside one time in four, whatever the triangle's shape. A common error in every sight makes that almost always when the stars surround the ship and almost never when they do not. And on a sheet that forgets the latitude, the triangle keeps its size and moves off the ship altogether.

paths · Position fix

A long window and a square one

Rung nine held the patch's area and found that where the cut goes still changes the map by a third, with the curvature it encloses predicting the change at r = 0.969. It recorded that it had held area and curvature and not shape. Sweeping the shape at constant area separates two things that had looked like one: the map is curvature and the cost is shape.

datums · Bodies

Chebyshev's map is the best at its worst, and not on average

Chebyshev's criterion makes a conformal map's scale constant on the boundary of a region, and no conformal map has a smaller range of scale inside it. The same series, fitted instead to make the scale as nearly constant as possible over the area, is a different map on every region but a cap. On a spherical square Chebyshev's map is 8.3 per cent worse in root-mean-square, the other map's range is 16.5 per cent wider, and every map between them trades one for the other.

choosing · Condition

The residual reports the error the fix was immune to

A fourth sight gives a four-line fit something three lines never had: a leftover. The leftover is a real measurement of the sights, and it is useless exactly where it is needed. One number computed from the four azimuths alone — before any star is observed — says how much of a common error reaches the residual, and it is 1 when the bodies stand at the quarters of the compass, where such an error moves the fix by nothing at all, and 0.004 when they are bunched within sixty degrees, where it moves the fix by two kilometres.

paths · Position fix

The map that keeps the most ground inside a tolerance

A surveyor does not want the smallest worst case or the smallest mean square. They want as much of the territory as possible within a stated tolerance of true scale and are indifferent to how far outside the rest goes. That is a third criterion, it is answered by a third map, and on a 25° square at half a per cent it keeps 64.1 per cent of the area where the mean-square map keeps 45.4 and Chebyshev's 37.0 — bought by sending a tail out to 5.6 per cent where Chebyshev's worst is 1.5.

choosing · Condition

A confidence ellipse is honest only where the sheet keeps angles

The cocked hat covers seven square kilometres and holds the ship a quarter of the time; the confidence ellipse from the same three sights covers fifty and holds it ninety-five per cent, which is what it was built to do. On a plotting sheet whose longitude is not corrected for latitude that ellipse fails in two unrelated ways — its centre is displaced, which costs coverage and depends on the navigator's own assumed position, and its shape is misread, which costs nothing but meaning and depends only on the latitude.

paths · Position fix

The map is finer than the paper it is folded from

Thirteen measurements price a polyhedral map in angles, areas and lengths, and none of them is about paper. A hand-folded net is accurate to about a degree of dihedral angle, which displaces the far edge of a cube's face by 0.955° of arc — 106 km at Earth scale — and that floor does not shrink when the globe is made larger, because a degree is a degree. Against it the conformal face map's seam corner is 0.769° on a cube and 0.0040° on an icosahedron, where it is 165 times finer than the sheet can be folded to.

families · Polyhedral

Two islands are three numbers, and the proof does not survive them

A sea with one island at its centre has one conformal invariant and a forced best map. Put two islands in it and there are three invariants, readable in closed form because stereographic projection carries circles to circles — and the forcing is gone. The theorem that picked the map needed the region to be unchanged by rotation, not to have one hole, and a single harmonic term two hundredths in size beats the stereographic by 0.19 per cent the moment an island moves off centre.

impossibility · Topology

One cut belongs to the island that would cost most alone

A sea with two islands pays a few per cent for being drawn whole by an angle-keeping map, and one cut buys back part of it. Which island to cut is a design choice that leaves the ground exactly where it was, and it is not decided by size: across twenty arrangements of a large island and a small one, the cut worth most goes to the island that would cost the sea most if it were alone in it — in eighteen of twenty, the other two near-ties — which is usually the more central one. A cut joining the two islands buys almost nothing, and the better cut is nearly always the longer.

impossibility · Topology

Whether the ellipses point the same way

Alignment was found to decide whether the average of a region's deformations is above or below the deformation of its average, and stated it at ten projections over one region. Swept over a hundred and eight pairs, the answer is that alignment belongs to the projection 28 per cent, to the region 38, and to neither 33 — and two rows of the table turn out not to be measurements at all.

distortion · Tissot

The strain a map adds to the ground's

A ground carried rigidly at forty millimetres a year deforms nothing, and read off a Mercator sheet at sixty degrees north it reports 10.9 nanostrain a year. Along a profile through a real boundary the invented part is 0.0 per cent of the answer where the zone is loud and 884 per cent where it is quiet.

datums · Strain

The second cut goes across the sea

With two islands and one cut, the island that would cost the sea most alone names the cut. With three islands and two cuts, the obvious rule — cut the two dearest — names the best pair in only 23 of 40 seas, and loses up to 23 points of what three cuts would buy. It fails when the two dearest sit on the same side of the sea, where their cuts do each other's work. The best pair keeps the dearest island in 37 of 40; its partner is the island across the centre from it, which is right in 32 of 40 and never costs more than 12 points. A cut joining two islands is never worth a second cut to the sea.

impossibility · Topology

The query a fast path actually answers

Fifteen rungs price what a stored coordinate means and none asks what it is searched with. No index answers "within two hundred kilometres of here"; an index answers "inside this rectangle of stored coordinates", and the rectangle is built by somebody's arithmetic — which at 55° north silently drops a tenth of the true answer on a conformal projection and three fifths of it on an equal-area one.

applied · Dataset

A sea with five islands is seldom worth five cuts

With three islands in a sea, the second cut went across the sea from the first, and the number of cuts worth spending looked like the number of directions the islands point. With four and five islands that survives in part and breaks in part. Choosing the dearest island and then, each time, the island farthest in bearing from every island already cut names the best pair of cuts in 28 seas of 40, where the two dearest name it in 16 — and it fails at three cuts of five, because the best three cuts often do not contain the best two. The dearest island is no longer reliably among the best pair. And 39 seas of 40 are worth fewer cuts than they have islands: the count follows the widest gap in the islands' bearings more closely than it follows how many islands there are.

impossibility · Topology

The curvature of a field is not the curvature of its picture

Whether a place is a spur or a hollow is the sign of a second derivative, and every automatic terrain classification is built on it. Read off an equal-area grid, that sign is wrong on 13.25 per cent of a sheet — and conformality reduces it to 0.30 per cent without removing it.

distortion · Gradient

On a body with a hole, north can be up everywhere

Varying a body's shape never changes its topology, which is what every impossibility about maps actually rests on. A torus has a nowhere-zero tangent field, a total curvature of zero rather than 4π, and a conformal world map with no cut and no singular point — and it still cannot be flattened, for the one reason that survives.

datums · Bodies

The cheapest map that meets its areas

An earlier essay bracketed a cartogram's least cost between a construction charging eighty degrees and a bound valid only for symmetric densities, and recorded the gap as a shortfall. One request settles it: a density of contrast eighty whose least cost is exactly zero, met by a map written down in closed form, while the standard construction charges 43.8° for it.

distortion · Cartogram

A tolerance in map units is not a tolerance

A snapping tolerance is a number, and the number is in whatever units the file is in. Five map units on Web Mercator is 4.97 metres of ground at the equator and 0.87 at eighty degrees — so a rule that merges two features three metres apart merges them everywhere below 52.8° north and refuses everywhere above it, in one pass, over one dataset, with nothing recording where the boundary is.

applied · Dataset

The ellipses are a sample, drawn at a size somebody chose

Thirteen essays measure with the indicatrix and none audits it as an instrument. A published field has a gauge nobody states and a placement nobody states: on Mercator the standard convention draws twenty-five identical circles while the areal factor runs over a factor of 14.9, and the average a reader takes off any of these fields is between 22 and 64 per cent too high.

distortion · Tissot

What the page cannot move

Six rungs measure what a page does to a field's readings and every one of them moves. The critical points do not: found on the sphere and found again in a projection's own page coordinates with nothing shared between the searches, they agree to 10⁻⁷ degrees and in type at every point, on every projection. What the page does move is their shape, by a factor bounded exactly by the indicatrix's axis ratio squared.

distortion · Gradient

The lines where the bending vanishes

Every projection has a line printed in its margin — the standard parallel, where the scale is exactly one. It has a second special line nobody prints: the one along which a geodesic is drawn straight to second order. On Gall–Peters they are forty-five degrees apart, and the rule turns out to be tangency — a tangent construction puts both lines at its point of contact and a secant one moves only the first.

distortion · Flexion

The fourth number the ellipse does not carry

A Jacobian has four independent entries and an indicatrix reports three. The missing one is the rigid rotation in the polar decomposition A = R·S, the indicatrix is exactly S, and R is what turns north into grid north: for the transverse Mercator it agrees with the survey formula for convergence to 5 × 10⁻¹⁰ degrees, from a different library and a different derivative.

distortion · Tissot

Two indicatrices do not make a third

Reprojecting is composing, and the composite's indicatrix is not a function of its parents'. Mollweide followed by Hammer is gentler than either map over eighty per cent of the sphere; the sinusoidal followed by Gall–Peters is worse than both everywhere. What separates them is one angle, and it is the number rung ten showed the ellipse does not carry.

distortion · Tissot

A current drawn on a page has sources

Seven rungs project a scalar field and ask what the page does to its gradient. A wind or a current is the other half of what gets mapped, and the operator that matters for it is the divergence — which is preserved by an equal-area map exactly, by no other map at all, and by a conformal map least of anybody's expectation.

distortion · Gradient

Named alongside it

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

VerificationEqual-areaScale factorClosed formToleranceAngular deformationLeast-squaresAreal factorInvariantJacobianPurposeAnisotropy

All concepts