🧮 Brain Teaser

Tuesday, May 5, 2026

Today's topic: Topology / Algebra

The Fundamental Group of the Circle Is ℤ

Let ε:RS1\varepsilon : \mathbb{R} \to S^1 be the covering map ε(t)=e2πit\varepsilon(t) = e^{2\pi i t}, and let γn:[0,1]S1\gamma_n : [0,1] \to S^1 be the loop γn(s)=e2πins\gamma_n(s) = e^{2\pi i n s} based at 1S11 \in S^1 (winding nn times around the circle).

(a) Without any machinery, explain why γ1\gamma_1 and γ2\gamma_2 cannot be homotopic as loops based at 11.

(b) Conclude that π1(S1,1)Z\pi_1(S^1, 1) \cong \mathbb{Z}, and identify what the integer attached to a loop γ\gamma represents geometrically.

fundamental groupcovering spaceswinding numberhomotopypi_1(S^1)

PM question not yet generated

Scheduled for 4:00 PM ET

Questions generated automatically twice a day · browse the archive →