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

Cost — where it appears

What a step is charged, which is a distance only when the charge is symmetric and the same in every direction. A cost that keeps the triangle inequality and loses the symmetry is a quasi-metric, and every construction built on a distance has two versions under one.

Named by 7 essays across one field — each of them below, with the objects they name alongside it.

A reach set with a cost that depends on direction. Everywhere reachable in the time it takes to cover 3000 kilometres in still air, under a steady westerly, with the still-air set drawn inside it. The anisotropic set runs from 1653 kilometres against the flow to 4261 with it — a ratio of 2.58 — while the still-air set is round to 1.023, which is the lattice's own floor and not a shape. Drawn in an azimuthal equidistant centred on the source, so every radius on the page is a ground distance and none of the shape is the projection's.

A reach set with a cost that depends on direction

A reach set built out of a distance is symmetric and isotropic by construction. Nothing anybody travels is: in a flow at 45 per cent of a vehicle's own speed the same vehicle gets 4,261 kilometres one way and 1,653 the other — a ratio of 2.58 — while the ground it covers grows by ten per cent.

paths · Reach The set that can be reached is not the set that can reach. Two sets under a steady westerly: everywhere reachable from the marked place in a stated time, and everywhere from which the marked place can be reached in the same time. They have the same area to a fraction of a per cent — reversing a uniform flow is a reflection — and they overlap on only 32.3 per cent of their union. 67.7 per cent of the ground in one of them is not in the other.

The set that can be reached is not the set that can reach

The moment a cost stops being symmetric, two questions that read alike stop having the same answer. Under a flow at 45 per cent of a vehicle's own speed the set reachable from a place and the set from which the place is reachable have the same area to five significant figures and share 32 per cent of their union — so 68 per cent of the ground in one of them is not in the other.

paths · Reach The shortest route, and the shortest route a vehicle can fly. A leg of 60 kilometres for a vehicle whose minimum turning radius is 5, arriving on a heading 120° off the line and required to leave on one -60° off it. The straight line is the geodesic; the curve is the shortest curvature-bounded path, which is Dubins's RSR — a turn, a straight, a turn — at 67.29 kilometres against 60. The second curve is the runner-up word, drawn to show that the choice between them is a real one rather than a formality.

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 ground two divisions disagree about. seven places across the world dividing the sphere twice under a steady westerly. Outbound, a place belongs to the site that can reach it soonest; inbound, to the site it can reach soonest. The pale tints are the outbound division where the two agree; the dark ground is where they do not, and it is 50.7% of the sphere — 258,530,666 km². Every site's own share of the world barely moves between the two divisions, by at most 3.8%. The two divisions assign nearly the same AMOUNT of ground to each site and assign completely different ground.

A partition under a directed cost has two versions

Dividing a surface among several sites is one question when the cost is a distance and two questions when it is not. Under a steady flow at 0.45 of a vehicle's own speed, the division by who can reach a place soonest and the division by which place can be reached soonest disagree about 50.7 per cent of the sphere — while no site's own share of the world moves by more than 3.87 points.

paths · Reach The plan, the crossing that was flown, and the one a right forecast would have given. A crossing of NaN km planned against a jet forecast to sit on the fortieth parallel, flown through a jet that is actually 6 degrees further south, and re-planned six times on the way. Committing to the plan costs 167.81 hours. Re-planning costs 165.84. A vehicle that had known where the jet was would have taken 163.21. So the wrong forecast is worth 4.60 hours and re-planning recovers 1.97 of them.

A crossing is a chain of decisions

A route is handed back as a curve, and nothing anybody flies is decided once. Re-planning is worth exactly nothing when the forecast turns out right — a sub-path of an optimal path is optimal, and the chain is the plan. When it turns out wrong it recovers 19 per cent of the cost at two decisions and 83 at eighteen, and never all of it.

paths · Paths Everywhere reachable in 1 h 15 min on roads 5 km apart. The ground reachable in 1 h 15 min from a road crossing, with roads every 5 km in two directions at 80 km/h and the ground between them at 20 km/h, computed on a one-kilometre lattice. It reaches 100 km along a road and 67 km along the diagonal, and covers 18,873 km². The dashed diamond is the shape the set converges to as the roads get denser, whose area is 20,000 km². The dotted ring is what a range ring at road speed claims — 31,416 km², of which 39.9% cannot be reached — and the small dotted circle is what the ground alone would give.

The reach set takes the shape of the roads

On open ground a reach set is a disc. On a grid of roads it converges to the convex hull of a diamond and a disc, and once the roads are √2 times faster than the ground between them the ground's speed stops mattering at all. A range ring drawn at road speed then claims 57 per cent more ground than anybody can reach.

paths · Reach The quickest way out of the ice bends at the edge. A ship twelve kilometres inside a straight ice edge, making 6 km/h in the ice and 25 km/h in open water, bound for a point ten kilometres out into the water and twenty along. The dashed line is the straight route, 3.244 hours. The solid one is the quickest, 2.849 hours — 24 min sooner — and it reaches the edge only 2.55 km along, leaving the slow ice as directly as it can. At the edge it meets the perpendicular at 12.0° in the ice and leaves at 60.2° in the water, and the sines of those angles stand in the ratio of the speeds to within 4e-17.

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

Named alongside it

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

VerificationPurposeAnisotropyClosed formFlowIsochroneReach setRoute planningShortest pathToleranceCatchmentConformality

All concepts