Hatcher-Algebraic-Topology · Problem 1.3.9

The Fundamental Group

Mathematics — Graph Theory · covering-spaces

Problem

Show that if a path-connected, locally path-connected space

X

has

\pi_1(X)

finite, then every map

X \to S^1

is nullhomotopic. [Use the covering space

\mathbb{R} \to S^1