- Thread starter
- #1

Ive been going over some Topology past papers for a course I'm currently doing and this question really has me stumped. Any help you can offer I'd really appreciate...

Let $\sim$ be the equivalence relation on $S^1$ x $I$ which identifies all the points in $S^1$ x $\left \{ 1 \right \}$, and let

$W = (S^1$ x $I ) / \sim$

be the identification space. Construct a homeomorphism $\phi : W \to D^2$ such that $\phi[z, 0] = z \in S^1$ for all $z \in S^1$. Write down a formula for the inverse homeomorphism $\phi^{-1}: D^2 \to W$.

Then use this solution to prove that a continuous function $f : S^1 \to X$ is homotopic to a constant function iff $f$ has an extention to a continuous function $F : D^2 \to X$. This should include explicit formulae relating $F$ and a homotopy to $f$ to a constant map.