Skip to content
The Lumenary

Practice · Advanced undergraduate

Homotopy and the fundamental group

Homotopy and the fundamental group

Warm-upHuman

Which of these spaces are simply connected? (Choose all that apply.)

Choose all that apply

Homotopy and the fundamental group

Warm-upHuman

Under the isomorphism π1(S1,1)≅Z\pi_1(S^1, 1) \cong \mathbb{Z} of Theorem 6, what integer corresponds to the class of the loop γ(s)=e−6πis\gamma(s) = e^{-6\pi i s}?

Homotopy and the fundamental group

CoreHuman

In the proof that the degree is well defined, we lift a path homotopy FF from γ\gamma to γ′\gamma' to F~\tilde F, and then claim that t↦F~(1,t)t \mapsto \tilde F(1, t) is constant. Why is it constant?

Choose one

Homotopy and the fundamental group

CoreHuman

Brouwer's theorem says every continuous map D2→D2D^2 \to D^2 has a fixed point. For which of these spaces is there a continuous map to itself with no fixed point? (Choose all that apply.)

Choose all that apply

Homotopy and the fundamental group

CoreHuman

The closed orientable surface of genus 2 is an octagon with sides glued by the word aba−1b−1cdc−1d−1a b a^{-1} b^{-1} c d c^{-1} d^{-1}. What does the Seifert–van Kampen theorem give for its fundamental group?

Choose one

Homotopy and the fundamental group

CoreFormal

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?

Choose one

Homotopy and the fundamental group

CoreComputational

Implement path lifting for the angle. Write winding_number(points) for a list of non-zero complex numbers points describing a closed loop around 00 (the last point equals the first). Add up the changes of angle between consecutive points, each taken in (−π,π](-\pi, \pi], and return the total divided by 2π2\pi, rounded to the nearest integer.

Runs entirely in your browser, in an isolated worker. Nothing is sent to a server.

Homotopy and the fundamental group

StretchHuman

How many connected 2-sheeted covering spaces does the figure eight S1∨S1S^1 \vee S^1 have, up to isomorphism?

Homotopy and the fundamental group

StretchHuman

In the plane with two holes, let aa and bb be loops going once around the first and the second hole. True or false: the loop aba−1b−1a b a^{-1} b^{-1}, which winds 00 times around each hole, is null-homotopic.

Choose one