Concept

degrees of freedom — where it appears

The number of independent quantities a family of maps or configurations needs, which for a planar projectivity is eight and for a homology five.

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

1234512345a point is chosen hereand must be on this linematch to its own epipolar line: 1.4e-13 px5 of 44 correspondences drawn

A point is a line over there

Knowing where a mark sits in one photograph does not say where it sits in the other. It says which line it is on, which removes one of the two unknowns and leaves one — and the five lines drawn here meet at a point to within a thirtieth of a billionth of a pixel.

twoviews · epipolar
axis — the ground line, fixed pointwisecentreaxisthe ground linefixed pointwisecentre(0.150, 4.020)height + distanceratio-1.481481−distance / heightheight × aspect = 2.592, and neither aloneeye recovered to 4.8e-12 mmeye 1.62 m up, 2.40 m backthree numbers back to the eye: 2.2e-16 m

The marks name the place, not the height

Run the site's own round trip on an anamorph — hand the machinery the floor marks and ask for the eye back — and it returns the spot on the floor to eleven decimal places with nothing assumed at all. It does not return the height. What the marks fix is the product of the eye's height with the design's aspect ratio, and no amount of looking at the floor separates the two.

viewing · anamorphrecovery
planeevery linecylinderone parameter · parallelno meeting pointstereographicone parameter · concurrentthey meet to 1e-12equirect.one parameter · parallelno meeting point3 of 4 keep a curvethe signature has three values, not eight

The lines a surface leaves alone

Only the plane draws every straight line straight, which this site has measured and which gets read as though a curved surface bent everything. It does not. Every curved picture surface here keeps a one-parameter family of world lines exactly straight, and the family is a curve on the sphere of lines rather than a region of it — so a grid of samples finds none of it, which is what the first version of this measurement reported.

curved · straightfamily
horizonthe horizon does not cut the circle — the pair is complexrectified from the two points aloneangles: 2.2e-13°ratios: 5.6e-15length: —circle of radius 1.05 ma dash is a quantity two points cannot buy

The two points a picture hides

The stratification rung says a photograph of a plane is projective, becomes affine when the vanishing line is known, and becomes metric with one more fact. The one more fact has a size and a shape: it is two points, complex conjugates on the vanishing line, and a rectification built from those two and nothing else returns every world angle to a tenth of a picodegree and every ratio of lengths to five parts in a quadrillion — and refuses to name a length.

foundations · circularpoints
centrefaint dots: before · solid: afterhomologyratio 2.4000

What a flat map leaves alone

A projectivity of the plane is eight numbers in a matrix, and reading them tells a reader nothing. What it does is decided by its fixed points, and there are exactly three cases: three isolated fixed points, or a whole line of them with one point off it, or a whole line of them with the point fallen onto it. The middle case has five numbers instead of eight and every point slides along a line, and it is what most of the maps this site builds turn out to be.

foundations · fixedstructure

Named alongside it

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

DemonstrationCharacteristic ratioConditioningDegeneracyFixed pointHomographyPlanar homologyscale ambiguityAbsolute conicAffine mapAnamorphosisAnisotropy

All concepts