Normalize the loop by
Choose a continuous lift satisfying
Because , the difference is an integer independent of the chosen lift. The winding number of a continuous closed path is
If is a lift of , then is a lift of
Therefore
Define
The 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. Then
is 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 gives
contrary to the hypothesis. Hence

Articles by others on the same topic (0)

There are currently no matching articles.