Matpic
mathematics, in pictures
Concept

Boundary

The edge of a region — the points lying in neither its inside nor its outside. What a set does at its boundary decides whether it is open or closed, and both fixed-point and extreme-value arguments turn on it.

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

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 A map of the interval must fix a point. a continuous map of the interval, drawn with the diagonal. Every continuous map of the interval into itself meets the diagonal somewhere; this one does so at x = 0.6944.

Something always stays put

Stir a cup of coffee however violently and let it settle. Some molecule is exactly where it started. Crumple a map and drop it on the region it depicts, and one point lies over the place it names.

topology · Fixed points A point, a ray, and 9 crossings. A closed curve wound into a spiral corridor, with a marked point, a ray from it and every crossing marked; an odd count means the point is inside.

Which side of the line is inside

A closed curve with no self-crossings divides the plane into an inside and an outside. Nobody doubts it, almost nobody can prove it, and on a curve wound tightly enough nobody can see which side a given point is on either.

topology · Jordan curve A lattice polygon of area 22.5. A polygon with all its corners on the integer grid, with the 20 grid points strictly inside and the 7 on its boundary marked; its area is the first count plus half the second, less one.

Area by counting dots

Draw a polygon with every corner on a grid of dots. Count the dots strictly inside, add half the dots on the edge, subtract one — and the answer is the area, exactly, with no measuring anywhere.

discrete · Pick theorem Three sets where a fixed point escapes, and one where it cannot. A ring turned about its centre, an open disc halved toward a point of its rim, the plane shifted sideways, and the closed disc turned and shrunk. Only the last has a point that its map leaves where it is.

Where the fixed point escapes

The theorem asks for a set that is closed, bounded and free of holes. Drop any one of the three and a map appears that moves every single point — and in each case the point that should have stayed still can be seen leaving.

topology · Fixed points The Klein bottle, drawn where it does not fit. A closed one-sided surface in three dimensions, drawn as a tube with a figure-eight cross-section that turns over once on the way round, with the circle where the drawing passes through itself marked.

The bottle that needs a fourth dimension

Take the Möbius band's rectangle and glue the second pair of edges too. The result is closed, one-sided, and cannot be built in three dimensions without passing through itself — which is a fact about the room rather than about the surface.

topology · Orientability

Named alongside it

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

CounterexampleEuler characteristicBrouwerContinuityFixed pointGluing diagramKlein bottleNon-orientableTopological invariantWinding numberAreaClosed curve

All concepts