Homotopy and the fundamental group
Warm-upHumanWhich of these spaces are simply connected? (Choose all that apply.)
Which of these spaces are simply connected? (Choose all that apply.)
Under the isomorphism of Theorem 6, what integer corresponds to the class of the loop ?
In the proof that the degree is well defined, we lift a path homotopy from to to , and then claim that is constant. Why is it constant?
Brouwer's theorem says every continuous map has a fixed point. For which of these spaces is there a continuous map to itself with no fixed point? (Choose all that apply.)
The closed orientable surface of genus 2 is an octagon with sides glued by the word . What does the Seifert–van Kampen theorem give for its fundamental group?
The lesson's Lean theorem circle_not_retract takes a simply connected space X, maps i : C(AddCircle 1, X) and r : C(X, AddCircle 1), and a hypothesis h, and proves False. Which hypothesis h makes it the no-retraction theorem?
Implement path lifting for the angle. Write winding_number(points) for a list of non-zero complex numbers points describing a closed loop around (the last point equals the first). Add up the changes of angle between consecutive points, each taken in , and return the total divided by , rounded to the nearest integer.
How many connected 2-sheeted covering spaces does the figure eight have, up to isomorphism?
In the plane with two holes, let and be loops going once around the first and the second hole. True or false: the loop , which winds times around each hole, is null-homotopic.