Matpic
mathematics, in pictures
Concept

Jordan curve

A closed curve in the plane that never crosses itself. The theorem named after it says the complement of such a curve falls into exactly two pieces, which is obvious for the curves anyone draws and needs real machinery for the ones the hypotheses actually allow.

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

Stage 3 of a curve that has area. A square split into 64 smaller squares by removing crosses of decreasing width, the squares joined in Hilbert order; the kept area is 63.2 per cent and its limit is 0.5931.

A curve that has area

The Jordan curve theorem assumes three things and nothing else — continuous, closed, no self-crossing. Everything else the eye supplies is false of some curve that satisfies all three, including the assumption that a curve is thin.

topology · Jordan curve Every ear carried to a slice of a disc. The corridor's triangulation on the left and the same triangulation of a regular 20-gon on the right, with four points and their images marked; the map is affine on each triangle and agrees on every shared edge.

Every loop is a circle in disguise

Separating the plane is the weak half of what the eye believes about a closed curve. The strong half is that the inside is a disc — that the whole plane can be bent until the curve is a round circle — and for a polygon that is a construction rather than an argument.

topology · Jordan curve A ray through a knotted tube, crossing it 5 times. A closed surface in space — a tube round a trefoil knot — with a point, a ray from it and every crossing of the surface marked; the parity of the count says which side of the surface the point is on.

Two pieces, in every dimension

A closed curve cuts the plane in two. A closed curve in space cuts nothing at all, and it takes a closed surface to do the job — which is the shape of the general theorem, and the reason the word "dimension" means anything.

topology · Jordan curve Alexander's horned sphere at stage 3. A tree of clasped pairs of horns, 7 of them, each pair's two circles passing once through the other's disc; the horns shrink geometrically and their tips converge.

A ball whose outside is not one

Alexander's sphere separates space into two pieces, exactly as the theorem promises. Its inside is an ordinary ball. Its outside is not, and the obstruction is a tree of clasped horns whose tips never stop.

topology · Jordan curve Four ways to say which pixels touch. curve 8, rest 4: curve 1 pieces, rest 2 pieces; curve 8, rest 8: curve 1 pieces, rest 1 pieces; curve 4, rest 4: curve 12 pieces, rest 2 pieces; curve 4, rest 8: curve 12 pieces, rest 1 pieces.

A curve of pixels needs two kinds of touching

On a screen a closed curve is a ring of pixels, and whether it has an inside depends on which pixels count as touching. Let diagonal pixels touch, and the inside leaks out through the corners; forbid it, and a curve can fence in a region while being twelve separate dots. Of the 1,048,575 sets of pixels in a small window, every simple closed curve obeys the Jordan curve theorem exactly when the curve and the rest of the plane are given different rules.

topology · Jordan curve Five squares on one octagon. Octagon [[1.0756,0.5516],[0.6082,1.2964],[-0.466,1.2294],[-0.8758,0.3153],[-0.797,-0.3348],[-0.3706,-0.7683],[0.2718,-0.6558],[1.1693,-0.4453]]; squares with sides 1.4975, 1.4588, 1.4407, 1.3929, 1.3921.

An odd number of squares on every polygon

Does every closed curve that does not cross itself pass through the four corners of some square? Toeplitz asked in 1911, and for polygons and smooth curves the answer is yes, because the squares can be counted and the count is odd. For rectangles of a fixed shape the count is even, which is why they needed a different proof — and for an arbitrary continuous curve the square is still not proved to exist.

topology · Jordan curve

Named alongside it

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

Closed curveHomeomorphismCounterexampleParityPolygonCantor setConnectednessContinuityDimensionExhaustive searchKnotLimit

All concepts