Let , a continuous map into the unit circle. By uniform continuity, partition so finely that on each interval beginning at , . This ratio lies in the right half-plane and has a continuous complex argument with value zero at . Starting from , add these local arguments successively, matching endpoint values. This constructs a continuous real lift with .
Any two such lifts with the same initial value differ by a continuous function taking values in , and hence coincide. Since the curve closes, . Define its winding number byChanging the chosen initial argument adds a constant multiple of to the whole lift, so the winding number is independent of that choice. No differentiability of the curve is required.
Articles by others on the same topic
There are currently no matching articles.