Let
$$\alpha \left(s \right) =\left( \cos{2\pi s},\sin{2\pi s}\right)$$ and $$\beta \left(s \right) =\ \left( \alpha \land\left( \alpha \land \overline{\alpha} \right)\right)\left( s \right)$$ with $s \in \left[0,1 \right]$ and $\overline{\alpha}=\alpha \left( 1-s \right)$ be two loops (closed paths) in $\mathbb{S}^1$.
With $\land$ defined as:
$$\left(\gamma_{1}\land\gamma_{2}\right)\left(s\right)=\begin{cases} \gamma_{1}\left(2s\right) & s\in\left[0,\frac{1}{2}\right]\\ \gamma_{2}\left(2s-1\right) & s\in\left[\frac{1}{2},1\right] \end{cases}$$
These are the things that I want to find:
- An explicit parametrization of $\beta$.
- An homotopy lifting of $\beta$, $\beta ':I \rightarrow \mathbb{R}$ so that $\beta '\left( 0 \right)=1$.
- Homotopy $F \left(s,t \right)$ between $\beta$ and $\alpha$ relative to the point $\left( 0,1\right)$, in other words, so that $F \left(0,t \right)=F \left(1,t \right)= \left(1,0 \right)$ $\forall t$.
Any ideas? I will edit this post with my advances so I with your help can develop an answer
Here are some ideas for the respective exercises: