Homotopy between composites associated in different ways

Statement

Existential version

Suppose $f_{1},f_{2},f_{3}$ are loops based at a point $x_{0}$ in a topological space $X$. We can consider two differently associated products of these three loops:

$\!a=(f_{1}*f_{2})*f_{3},b=f_{1}*(f_{2}*f_{3})$

$a$ and $b$ are homotopic loops, i.e., they are in the same homotopy class of loops based at $x_{0}$.

Constructive/explicit version

We first note the explicit piecewise definitions of $a$ and $b$:

$a=\lbrace {\begin{array}{rl}f_{1}(4t),&0\leq t\leq 1/4\\f_{2}(4t-1),&1/4<t\leq 1/2\\f_{3}(2t-1),&1/2<t\leq 1\\\end{array}}$

and:

$b=\lbrace {\begin{array}{rl}f_{1}(2t),&0\leq t\leq 1/2\\f_{2}(4t-2),&1/2<t\leq 3/4\\f_{3}(4t-3),&3/4<t\leq 1\\\end{array}}$

If we denote the homotopy by $H$, we want $H(t,0)=a(t),H(t,1)=b(t)$ and $H(0,s)=H(1,s)=x_{0}$. This homotopy is explicitly given by Fill this in later

Graphical version

Fill this in later