Here the target of is the unit circle. The boundary loop extends through the disk, so the radial homotopy contracts it to a constant loop. Thus its winding number is zero. On the boundary put , also circle-valued. Adding argument lifts gives . If never vanished, would avoid , which is the only negative real point of the unit circle. Part (iii) would give , contradicting . Therefore there is a boundary point with . The circle-valued hypothesis is essential; it is not a claim about arbitrary complex-valued .
Articles by others on the same topic
There are currently no matching articles.