I want your advice on my solution of this problem.
Show that for a space $X$, the following three are equivalent:
(a) Every map $S^1 \rightarrow X$ is homotopic to a constant map, with image a point.
(b) Every map $S^1 \rightarrow X$ extends to a map $D^2 \rightarrow X$.
(c) $\pi_1(X,x_0)=0$ $\forall x_0 \in X$.
$(c) \rightarrow (a)$: Take a map $f:S^1\rightarrow X$, and the constant loop at $x_0$ (which from (c) we know there's only this loop), and take the linear homotopy connecting $f$ and $x_0$.
$(b)\rightarrow (c)$: I am not sure if this is right, but I want somehow to induce some isomorphism from $\pi_1(D^2,y_0)$ to $\pi_1(X,x_0)$ in which case we'll get the required result. So I argued that we take as a map the extension of a map $S^1\rightarrow X$ to a map $D^2\rightarrow X$, but I don't see how to argue that the last map is homeomorphism, any advice?
$(a) \rightarrow (b)$: I am given $f:S^1\rightarrow X$, and it's homotopic to some point $x_0$, so I thought to extend $f$ on the whole ball, by defining the map: $g(x)= f(x)$ if $|x|=1$ and $g(x)=x_0$ if $|x|<1$.
Is any of what I typed right, what do I need to amend?