Matpic
mathematics, in pictures
Concept

Orientation

A consistent choice of which way round a surface or a path is traversed, on the surfaces where such a choice can be made at all. It exists on a sphere or a torus and not on a Mobius band, and its absence is what makes a surface non-orientable.

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

A linear map redrawing the plane. The integer grid before and after a linear transformation; the shaded unit square becomes a parallelogram whose area is the determinant.

A matrix is a picture of what happens to the grid

Four numbers in a box is not an object anyone has intuitions about. The same four numbers, shown as an instruction for redrawing the plane, are.

algebra · Linear maps A Möbius band. A strip joined end to end after a half twist, so it has one side and one edge.

The surface with one side, and what happens when it is cut

A strip of paper, half a twist, and a join. The result has one side and one edge, and cutting it down the middle does not produce two of anything.

topology · Orientability the trefoil. the trefoil, drawn as a closed curve with 3 crossings. At each crossing the strand passing underneath is broken, which is the only information the flat picture carries that the curve alone does not.

Three moves, and what they cannot undo

A knot is a closed loop of string, and two knots are the same if one can be wiggled into the other. Reidemeister reduced all possible wiggling to three local pictures — which is what makes it possible to prove that a knot is knotted.

topology · Knots The field that cannot be combed. A tangent field on the sphere, flowing along the meridians. Every arrow is tangent to the surface, and at the two poles there is no direction for an arrow to take — the field is zero there, and no rearrangement removes both zeros.

Nothing on a sphere can be combed flat

Point an arrow along the surface at every place on a sphere, continuously, and somewhere an arrow has to vanish. On a doughnut it can be done. The difference between the two is a number that was already known from counting corners.

topology · Fixed points The unit square, mapped: area × 5. The unit square and the parallelogram it becomes under a linear map, with the area of that parallelogram computed from its own corners and set against ad − bc.

The number that says how much room is left

A linear map takes the unit square to a parallelogram. The area of that parallelogram is one number, it is computable from the four entries of the matrix, and almost everything the determinant is used for is a restatement of that sentence.

algebra · Determinant The four ways to glue a square's edges in pairs. Squares with their edges arrowed to show which is glued to which and which way round, each with the vertices, edges and faces the gluing leaves, and the surface those numbers name.

Every surface is a sphere with handles

Take a square and say which edges are to be glued to which, and which way round. Four such rules give four different surfaces — and two numbers computed from the rule, without ever building the surface, say which one.

topology · Surface classification the Hopf link, with every crossing signed. A diagram of the Hopf link with the under-strand broken at each crossing and each crossing between two components marked with its sign, which add to twice the linking number.

Two loops and one number

Give each crossing between two closed curves a sign, add them up, halve — and the answer does not depend on how the curves were drawn, how they are pushed about, or which way the picture was projected.

topology · Linking number The line spiralling over the circle. A circle with a helix drawn above it: the helix is the real line, and the map that sends each of its points straight down onto the circle covers the circle once per turn. Above one marked point sits a column of points, one per turn.

The same loop, unrolled

Spread a circle out into a line spiralling above it, and a loop that closes downstairs becomes a path that does not — so a question about which loops can be shrunk becomes a question about where a path ends, which is easy.

topology · Covering spaces a loop that dips through and back, and the punctures of the disc. A link drawn with a shaded disc spanning the first loop, seen at an angle, with every place the second loop passes through the disc marked with the direction it was travelling in.

Zero can mean two different things

The linking number counts how often one loop pierces a surface the other one bounds. Two punctures of opposite sign add to nothing, and a loop that never goes through adds to nothing as well — so the answer zero is two pictures wearing one number.

topology · Linking number A frame carried round a Möbius band. A flat rectangle whose ends are about to be joined, with a pair of arrows carried along it — one along the band and one across it — and the sign of the frame at each station.

Orientation is a sign

Carry a pair of arrows once round a loop and compare them with the pair they started as. The comparison is a determinant, its sign is the whole of the answer, and no room, no side and no normal vector appears anywhere in the statement.

topology · Orientability A parallelepiped of volume 2.94. The image of the unit cube under a three-by-three matrix, beside the six signed products whose sum is its volume.

The only function that behaves like a volume

Ask for a function of the columns of a matrix that scales when a column scales, vanishes when two columns agree, and gives one on the identity. Three conditions, and there is exactly one such function in every dimension.

algebra · Determinant Two inversions, and the number four points agree on. Four points, their images after one inversion and after a second in a different circle, with the cross-ratio computed at each stage; it is conjugated once and restored twice.

The number four points agree on

One inversion is a reflection and reverses orientation. Two of them compose to a motion, and what that motion leaves alone is a single number computed from any four points.

geometry · Inversion Perpendicular to both, and as long as their parallelogram. The vectors (2, 0.4, 0.2) and (0.6, 1.8, 0.3), the parallelogram they span, and their cross product (−0.24, −0.48, 3.36), drawn perpendicular to both with a length of 3.403, which is the parallelogram's area.

A plane disguised as an arrow

The cross product of two arrows is an arrow perpendicular to both, as long as the area of their parallelogram. Reflect everything in a mirror and it points the wrong way, because it was never an arrow: it is a plane, written as the one direction a plane in three dimensions leaves over.

algebra · Inner product Reducing abcabc to a standard form. The gluing word abcabc rewritten step by step into one of the classification's standard forms, with the move used and the two invariants recomputed at each step.

Every word driven to a normal form

The classification is usually met as a statement: two numbers name the surface. The proof is a procedure — a short list of cut-and-reglue moves that drive any gluing word to one of the standard forms, with a measure that never rises to say why the procedure stops.

topology · Surface classification 4 surfaces with an edge, and the three numbers they need. Polygons whose gluing words leave some edges unpaired, each with its Euler characteristic, its sidedness and the number of boundary circles the unpaired edges form.

The third number a surface needs

Leave an edge unpaired in a gluing word and the surface acquires an edge of its own. Two numbers no longer name it — a count of boundary circles is needed as well — and with that third number the list is complete again, every triple occurring exactly once.

topology · Surface classification The Seifert circles of the trefoil. The trefoil with an orientation, cut at each of its 3 crossings and reconnected the way the orientation allows. The 6 segments form 2 circles, and the surface built from them has genus 1.

The surface a knot bounds

Every knot is the edge of a surface with two sides, and Seifert found a way to build one from any diagram: smooth the crossings, fill the circles that result with discs, and join them with twisted bands. Counting the handles gives an upper bound on how complicated the knot is, the Alexander polynomial gives a lower one, and for the simplest knots the two meet.

topology · Knots Every way to pair the edges of a hexagon. Chord diagrams of all 15 pairings of a 6-gon's edges, shaded by the surface each gluing makes: 5 spheres, 10 tori.

Every way to pair a polygon's edges

A hexagon's six edges can be paired in fifteen ways. Glue each pair head to tail and five of the fifteen give a sphere and ten give a torus; an octagon's 105 pairings give 14 spheres, 70 tori and 21 surfaces with two handles. The spheres are exactly the pairings whose chords never cross, and the whole table obeys one recurrence found in 1986.

topology · Surface classification

Named alongside it

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

Euler characteristicTopological invariantGenusDeterminantGluing diagramInvariantKnotMatrixNon-orientableWinding numberBasisBoundary

All concepts