Projective line — where it appears
Named by 10 essays across 2 fields — each of them below, with the objects they name alongside it.
A line is a space of its own
Most of what is said about projective geometry in pictures is said about the plane. One dimension down there is a smaller object with a complete theory: a point of a line is one ratio, a map of a line is three numbers, three pairs fix it, and the cross-ratio is not merely an invariant but the only one — which is a claim that can be made to fail.
The map a row of posts is
Walking one bay further down a row is a map of the drawn line to itself, and which map it is settles everything about how the spacings behave. It is parabolic — one fixed point, counted twice, and that point is the vanishing point — which is why the drawn posts crowd toward it and never arrive. Doubling a distance instead gives a hyperbolic map whose multiplier a straightedge can read.
Perpendicular is a pairing
On a horizon, the vanishing point of a direction and the vanishing point of the direction at right angles to it are joined by a map that is its own inverse. Such a map has two degrees of freedom rather than three, so two pairs determine it — and its two imaginary fixed points are the focal length and the centre of the picture, handed back from two rectangles on one floor with nothing assumed.
What a straightedge reaches on a receding line
Three marks on a receding line fix a coordinate, and everything a straightedge builds from them is a ratio of whole numbers. Three complete quadrangles put 1655 marks on the unit interval with no gap above 0.0038, a third costs two quadrangles where repeated halving never reaches one at all, and the same net built on a line that does not recede arrives at the identical 30 coordinates.
The stair that turns has a vanishing point that moves
A spiral stair's treads are one rectangle turned by a constant angle, so every front edge has its own vanishing point and the twelve lie on one horizon to 2.8e-14 pixels. Four consecutive of them read a cross-ratio of 1.353720, and the formula behind it holds no focal length, no principal point and no eye — so a photograph gives the builder's 12° turn back.
Four points on a conic look the same from anywhere on it
Four marks on a photographed circle subtend the same cross-ratio at every point of the curve — 1.627695, unmoved over twenty-two positions of the fifth point, to 1.1e-13 degrees of projective spread. A fifth point 6.1 pixels off the conic reads anything from 1.00 to 2.52, so the invariant belongs to the curve rather than to the four marks.
A line is a closed curve
The point at infinity is an ordinary point, so a projective line is a circle — and the consequence is about order. Betweenness broke in 21.1 per cent of ten thousand random projectivities and separation in none of them, and the zero is a reading rather than a blind instrument because a fold of the same circle breaks it 3,522 times.
Three kinds of map on a row of posts
A projectivity of a line has two fixed points, one, or none, and every one of the three is a picture this collection already draws. The three orbits are told apart by where they go — one piles onto a fixed point, one crawls, and the third returns after six steps and is 1.9e-11 pixels from where it started.
Every projectivity is two perspectivities
A perspectivity is what one eye does between two lines, and two of them compose to any projectivity at all. The construction closes on a point nobody used to 1.4e-14 pixels, both of its free choices move the second centre 663 pixels across the picture, and the composite does not move at all.
The picture contains what is behind the camera
A pinhole maps a direction, and a line has one direction, so a point behind the eye lands on exactly the same mark as its reflection in front — here to 6.4e-14 pixels. The sign the division throws away is why cheirality is a fact supplied from outside the picture rather than measured in it.
Named alongside it
The objects these essays reach for when they reach for this one.
Cross-ratioVanishing pointpoint at infinityProjectivityFixed pointDemonstrationHomographydegrees of freedomInvariantInvolutionProjective invariantHorizon