Loops around a hole
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.
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.
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.
Hints, if you want them
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 and the path is traced by a complex number , the winding number is the total change in the argument of , divided by . 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 , 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 .
Complex analysis computes the same number with an integral:
Winding numbers even give a proof sketch of the fundamental theorem of algebra. A polynomial maps a very large circle to a loop that winds times around , while a tiny circle near the origin maps to a loop that winds times around unless . Shrinking the circle changes the winding number from to , which can only happen if the image loop passes through 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.
Where this leads
- Advanced undergraduate · Lesson availableHomotopy and the fundamental groupHomotopy of maps and paths, the fundamental group, covering spaces, the computation π₁(S¹) ≅ ℤ, the Seifert–van Kampen theorem and applications such as the two-dimensional Brouwer fixed-point theorem.
- Advanced undergraduate · Lesson availableComplex analysisHolomorphic functions and the Cauchy–Riemann equations, contour integration and Cauchy's theorem, power series, Liouville's theorem, the residue theorem and conformal maps.
- First-year graduate · Lesson availableAlgebraic topologySingular and cellular homology, CW complexes, exact sequences and Mayer–Vietoris, homotopy invariance, cohomology and cup products, with applications such as invariance of dimension and the Lefschetz fixed-point theorem.