The Winding Number Is Always an Integer
Let be a closed curve (i.e., ) that avoids the origin. The winding number of around is defined by
Show that is always an integer, without invoking any machinery about branches of the logarithm or homotopy theory. Use only the following raw ingredients:
- Define .
- Consider the function .
Why must be an integer?
Answer: Winding Number Is Always an Integer
Key Idea / Intuition
The winding number counts how many times loops around the origin. The cleanest proof avoids all topology and branch-cut gymnastics by constructing a "lifted" function that tracks the running phase of . If we form , where is the "log-derivative integral," then turns out to be constant. Since is a closed curve, this forces , which means must be an integer multiple of — and that integer is exactly the winding number.
Formal Proof / Solution
Step 1: Define the "running logarithm" .
Set
This is well-defined since for all , and is (piecewise) .
Note immediately that
Step 2: Show is constant.
Differentiate:
But , so
Hence is constant on .
Step 3: Evaluate at the endpoints.
Since is constant:
But is closed: . Therefore
Since , we can cancel it:
Step 4: Conclude integrality.
The equation (for ) holds if and only if for some .
Therefore
and so
Summary of the trick: The auxiliary function is the "exponential integrating factor" that kills the term, making . The closedness of then forces , which is the algebraic reason the winding number is an integer.
Source: Complex Analysis, Stein & Shakarchi, Chapter 1; mathematical folklore