Let $S^{-}=\left\{0\right\}\times [-1,1]$ and $S^{+}= \left\{(x,\sin(1/x):x\in ]0,1]\right\}$ and $S=S^{-}\cup S^{+}$ (topologist's sine curve)
Hi. I would like to know if the following statement that seem intuitive to me are correct (and then try to proves them rigorously)
It is known that $S$ is connected but not path connected but: $S^{-}$ and $S^{+}$ are simply connected? i.e $S^{\pm }$ is path connected and for any $x_0\in S^{\pm}$, $\pi_{1}(S^{\pm},x_0)=\left\{[e_{x_0}]\right\}$ ($e_{x_0}$ is trivial loop in $x_0$)
Visualization: Both $S^-$ and $S^+$ are contractible. It is easy to show that $S^-$ contracts to the point $(0,0)$. And note that $S^-$ is homeomorphic to the the open-closed interval $(0,1]$ as you can stretched and straighten the curve $S^+:=\big\{\big(x,\sin\frac{1}{x}\big) :0<x\leq 1\big\}$ to make it a line segment.
Proof: Note that $S^-$ is homeomorphic to $[-1,1]$ and $H_t:[-1,1]\ni x\longmapsto (1-t)x\in [-1,1]$ for all $0\leq t\leq 1$ defines a contraction of $[-1,1]$ to $0\in [-1,1]$.
Next note that $S^+$ is homeomorphic to $(0,1]$ via projection on the first component i.e. $S^+\ni \big(x,\sin\frac{1}{x}\big)\longmapsto x\in (0,1]$. Now, $(0,1]$ is a contactible, so we are done.