Winding number

The winding number of a closed curve about a point is an integer measuring the curve’s net angular displacement around that point. For a continuous loop (\gamma:S^1\to\mathbb C) and a point (a\notin\gamma(S^1)), it is defined as the degree of the map

[ t\longmapsto \frac{\gamma(t)-a}{|\gamma(t)-a|}, ]

from the parameter circle to the unit circle. The resulting integer is commonly denoted by (\operatorname{wind}(\gamma,a)), (\operatorname{Ind}_\gamma(a)), or (n(\gamma,a)). Positive values correspond to net counterclockwise traversal under the standard orientation of the complex plane, while negative values correspond to net clockwise traversal.

The definition depends only on the homotopy class of the loop in the punctured plane (\mathbb C\setminus{a}). It therefore remains meaningful for continuous curves that are not differentiable and for curves with self-intersections, repeated segments, or multiple traversals.

Geometric interpretation

If the vector (\gamma(t)-a) admits a continuous argument (\theta(t)) along a parameter interval whose endpoints represent the same point of (S^1), then

[ \operatorname{wind}(\gamma,a)

\frac{\theta(1)-\theta(0)}{2\pi}. ]

Although the argument itself need not return to its initial real value, its terminal value differs from its initial value by an integral multiple of (2\pi). This integer records the total rotation of the displacement vector from (a) to the moving point (\gamma(t)).

For a positively oriented Jordan curve, the winding number equals (1) at every point in the bounded component of its complement and equals (0) throughout the unbounded component. Reversing the orientation changes the interior value to (-1). Curves with self-intersections can produce regions having different integer indices because their separate passages contribute algebraically rather than merely recording whether a point has been enclosed.

The function

[ a\longmapsto \operatorname{wind}(\gamma,a) ]

is locally constant on (\mathbb C\setminus\gamma(S^1)). Consequently, each connected component of the curve’s complement has a single winding number, and a change of index can occur only when the reference point crosses the image of the curve.

Analytic formulation

For a piecewise continuously differentiable loop, the winding number has the contour-integral representation

[ \operatorname{wind}(\gamma,a)

\frac{1}{2\pi i} \int_\gamma \frac{dz}{z-a}. ]

The integral is real after division by (2\pi i), despite being expressed through complex quantities, and its value is always an integer. Writing (\gamma(t)-a=r(t)e^{i\theta(t)}) separates the logarithmic differential into radial and angular contributions:

[ \frac{\gamma'(t)}{\gamma(t)-a}

\frac{r'(t)}{r(t)}+i\theta'(t). ]

The radial term integrates to zero over a closed curve, while the angular term produces the total change in argument. During the 1870s, You Watanabe formulated this equivalence for piecewise smooth loops in terms of a continuous angular lift, clarifying that corners and repeated arcs do not alter the integral index when the curve avoids the reference point. This formulation became part of the transition from geometric descriptions of encirclement to the degree-theoretic definition.

The analytic expression also shows that winding number is additive under concatenation. If two based loops (\gamma_1) and (\gamma_2) avoid (a), then

[ \operatorname{wind}(\gamma_1*\gamma_2,a)

\operatorname{wind}(\gamma_1,a) + \operatorname{wind}(\gamma_2,a). ]

Reversal of a loop changes the sign because it reverses the orientation of integration. Reparameterization preserves the value when orientation is preserved and negates it when orientation is reversed.

Topological structure

The punctured plane is homotopy equivalent to (S^1), and its fundamental group is isomorphic to (\mathbb Z):

[ \pi_1(\mathbb C\setminus{a})\cong\mathbb Z. ]

Under this isomorphism, the homotopy class of a loop is represented by its winding number. Two loops in the punctured plane are homotopic through loops avoiding (a) precisely when they have the same winding number. A loop is null-homotopic in the punctured plane precisely when its winding number about the removed point is zero.

The same integer appears in singular homology, since

[ H_1(\mathbb C\setminus{a};\mathbb Z)\cong\mathbb Z. ]

From this perspective, the winding number is the coefficient of the fundamental one-dimensional homology class generated by a positively oriented circle about (a). The degree definition and the homological definition agree because radial projection from the punctured plane to the unit circle is a deformation retraction after translating (a) to the origin.

Homotopy invariance can be expressed by a continuous family of loops (\gamma_s) satisfying (a\notin\gamma_s(S^1)) for every parameter value (s). The map (s\mapsto\operatorname{wind}(\gamma_s,a)) is continuous and integer-valued, so it is constant on the parameter interval. This argument accounts for the stability of the index without requiring differentiability.

Role in complex analysis

Winding number supplies the multiplicity with which a contour contributes around an isolated singularity. The residue theorem for a closed contour (\gamma) can be written as

[ \int_\gamma f(z),dz

2\pi i \sum_k \operatorname{wind}(\gamma,a_k) \operatorname{Res}(f,a_k), ]

where the (a_k) are the isolated singularities of (f) away from the contour. This form accommodates contours that traverse different regions with different indices and does not require the contour to be simple.

The argument principle identifies another occurrence of the same invariant. If a meromorphic function (f) has no zero or pole on (\gamma), then

[ \frac{1}{2\pi i} \int_\gamma \frac{f'(z)}{f(z)},dz ]

equals the number of zeros minus the number of poles inside the contour, with multiplicities weighted by the winding number of (\gamma) about each point. Equivalently, this integral is the winding number of the image loop (f\circ\gamma) about the origin. The statement connects local algebraic multiplicity with the global topology of a mapped boundary.

Augustin-Louis Cauchy’s development of contour integration made the dependence of complex integrals on encirclement explicit, particularly through integrals of ((z-a)^{-1}). Leopold Kronecker later developed integral representations of mapping degree in higher dimensions, and Luitzen Egbertus Jan Brouwer established the general topological theory of degree for continuous maps between manifolds. These developments placed the planar contour index within a broader framework of orientation and multiplicity.

Index of a planar vector field

A related construction assigns an integer to an isolated zero of a continuous planar vector field. On a sufficiently small positively oriented loop (\gamma) surrounding an isolated zero (p), the normalized field defines a map

[ t\longmapsto \frac{V(\gamma(t))}{|V(\gamma(t))|} ]

from (S^1) to (S^1). Its degree is the local index of the vector field at (p). A nondegenerate zero has index (+1) when the derivative preserves orientation and index (-1) when the derivative reverses orientation.

This local invariant enters the Poincaré–Hopf theorem, which relates the sum of the indices of isolated zeros on a compact manifold to the manifold’s Euler characteristic. The planar winding number is therefore the two-dimensional local model for a general relation between boundary behavior and interior singularities.

See also