A homotopy through closed paths avoiding the base point cannot change the integer winding number.
If closed continuous paths satisfy for every , then never vanishes. It is therefore a homotopy through closed paths in , and
For a polynomial of positive degree, on a sufficiently large circle its leading term dominates the remaining terms. The dominated-perturbation lemma therefore gives winding number to the loop . If had no zero, radial contraction of the input circle would map under to a homotopy with a constant loop in , which has winding number zero. This contradiction proves the Fundamental theorem of algebra.
If a continuous retraction from a closed disc to its boundary existed, applying it to a contraction of the boundary circle inside the disc would give a homotopy in from a loop of winding number one to a constant loop of winding number zero. Homotopy invariance of winding number rules this out.

Articles by others on the same topic (0)

There are currently no matching articles.