Normalize the loop byChoose a continuous lift satisfyingBecause , the difference is an integer independent of the chosen lift. The winding number of a continuous closed path is
DefineThe strict inequality ensures that for every , while . Thus is a homotopy through closed loops in from to . By homotopy invariance of winding number,
Suppose for contradiction that has no zero in the closed disc. Thenis a homotopy through loops in . At it is , while at it is the constant loop with value . A constant loop has winding number zero, so homotopy invariance givescontrary to the hypothesis. Hence
Articles by others on the same topic
There are currently no matching articles.