Skip to content
The Lumenary
Wonder TrailOptional · never gradedStarts from Complex numbers

Loops around a hole

1

The question

Walk around a tree and come back to where you started. How many times did you go around it? Can you change that number by wandering differently — without ever walking through the tree?

Try the experiment before reading on. There’s no wrong way to explore.

2

Experiment

Winding around a hole

Follow a closed loop and count how many times it goes around each hole: counter-clockwise turns minus clockwise turns.

p₁

Drag a hole to move it. Press Play to send the point around the loop, or use the slider. The small square marks the start.

Winding number around p₁1

(1/2πi)∮ dz/(z − p₁) ≈ 1.000 + 0.000i

Turns swept so far by each dashed arrow:

p₁: 0.00

The winding number is found by adding up the small changes in direction of the arrow from the hole to the moving point, and dividing the total by 360°. Counter-clockwise counts as positive.

Two loops in the plane with one hole can be deformed into each other, without ever crossing the hole, exactly when they have the same winding number. In the language of topology: the fundamental group of the punctured plane — like that of a circle — is the integers, π₁ = ℤ.

A link to complex analysis: think of the plane as the complex numbers and of a hole as a point a. Then (1/2πi)∮ dz/(z − a) equals the winding number around a. The values above are computed numerically along the loop.

3

Hints, if you want them

    4

    What’s going on

    What’s going on

    The number of times a closed path goes around a point is its winding number. If the point is aa and the path is traced by a complex number z(t)z(t), the winding number is the total change in the argument of z−az - a, divided by 2π2\pi. It is always a whole number, because the path ends where it began.

    Here is the key fact: if you deform a loop continuously without ever passing through aa, its winding number cannot jump — a whole number that changes continuously cannot change at all. So loops in the plane with a hole are sorted by their winding number, and two loops can be deformed into each other exactly when their winding numbers agree. In the language of topology, the fundamental group of the plane with one point removed is Z\mathbb Z.

    Complex analysis computes the same number with an integral:

    12πi∮dzz−a=winding number.\frac{1}{2\pi i}\oint \frac{dz}{z - a} = \text{winding number}.

    Winding numbers even give a proof sketch of the fundamental theorem of algebra. A polynomial zn+…z^n + \dots maps a very large circle to a loop that winds nn times around 00, while a tiny circle near the origin maps to a loop that winds 00 times around 00 unless p(0)=0p(0) = 0. Shrinking the circle changes the winding number from nn to 00, which can only happen if the image loop passes through 00 somewhere — that is, if the polynomial has a root. (Turning this sketch into a proof takes care; see the fundamental-group lesson.)

    With two holes the story changes: loops are no longer classified by two winding numbers, because going around one hole and then the other is different from the reverse order. The fundamental group becomes non-commutative.

    Computationally testedAI-drafted · awaiting human review
    5

    Where this leads