Matpic
mathematics, in pictures
Concept

Loop — where it appears

A path in a space that ends where it began. Which loops can be shrunk to a point is the first question topology asks of a space, and the answer already distinguishes a disc from a ring.

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

3 loops in one ring, and the number that separates them. Loops drawn in an annulus, each labelled with how many times it goes round the hole. Loops with different counts cannot be deformed into one another without leaving the ring.

A loop that cannot be pulled tight

A hole is a strange thing to point at, because it is precisely where the surface is not. What can be pointed at is a loop of string lying on the surface — and the hole announces itself by refusing to let that loop be pulled in to a point.

topology · homotopy 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 wedge of 2 circles. Several circles all passing through one common point, each labelled with a generator, so that a loop is a word in those letters.

The subgroup that is freer than the group

A free group on two letters contains a subgroup of index three that is free on four. Nothing about a group makes that plausible; everything about a graph makes it obvious, and the argument is to stop looking at the group and start looking at the space whose loops it is.

topology · covering spaces

Named alongside it

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

Covering spaceFundamental groupWinding numberHomotopyInvariantOrientationContinuityDeck transformationDeformationFree groupGeneratorGenus

All concepts