Functoriality and Applications

due by Monday, Nov 2, 2020
  1. Let $f: (X, x_0)\to (Y, y_0)$ be a map between based topological spaces and let $f_*: \pi_1(X, x_0)\to \pi_1(Y, y_0)$ be the induced map on fundamental groups. Prove or disprove the following statements:

    • (a) If $f$ is injective then so is $f_*$.
    • (b) If $f$ is surjective then so is $f_*$.
    • (c) If $f$ is a homeomorphism then $f_*$ is an isomorphism.
  2. For each of the following subsets of the $2$-sphere $S^2 = \{(x, y, z)\in \mathbb{R}^3 : x^2 + y^2 + z^2 = 1\}$, prove or disprove that $S^2$ retracts onto the given subset. Note: we do not mean deformation retracts.

    • (a) The north pole $N = \{(0, 0, 1)\}$
    • (b) The equator E = $\{(x, y, 0)\in \mathbb{R}^3 : x^2 + y^2 = 1\}$.
    • (c) The closed northern hemisphere $H = \{(x, y, z)\in \mathbb{R}^3 : x^2 + y^2 + z^2 = 1, z \geq 0\}$