B2.8

Algebraic Topology
Part II, 2003

Define the fundamental group of a topological space and explain briefly why a continuous map gives rise to a homomorphism between fundamental groups.

Let XX be a subspace of the Euclidean space R3\mathbb{R}^{3} which contains all of the points (x,y,0)(x, y, 0) with (x,y)(0,0)(x, y) \neq(0,0), and which does not contain any of the points (0,0,z)(0,0, z). Show that XX has an infinite fundamental group.