Homotopy invariance of loop concatenation

Stub grade: A*

This page is a stub

This page is a stub, so it contains little or minimal information and is on a to-do list for being expanded.The message provided is:

Stub page, chore to write, probably needs redoing

Note: the homotopy in the title means homotopy [ilmath]\text{rel }\{0,1\}

Marked as A* because I wrote it in such a bored mood, it needs to be checked ASAP[/ilmath]

Statement

Here [ilmath]I:=[0,1]:=\{x\in\mathbb{R}\ \vert\ 0\le x\le 1\}\subset\mathbb{R}[/ilmath] will denote the closed unit interval. Let [ilmath]Top.[/ilmath] and [ilmath](Y,\mathcal{ K })[/ilmath] be topological spaces, let [ilmath]b\in X[/ilmath] be given and let [ilmath]\ell_1,\ell_2,\ell_1',\ell_2'\in[/ilmath][ilmath]\Omega(X,b)[/ilmath], then^{Corollary to 7.10:} we have:

• If [ilmath]H_1:\ \ell_1\simeq\ell_1'\ (\text{rel }\{0,1\})[/ilmath] and [ilmath]H_2:\ \ell_2\simeq\ell_2'\ (\text{rel }\{0,1\})[/ilmath]

Then

• [ilmath]H:\ \ell_1*\ell_2\simeq\ell_1'*\ell_2'\ (\text{rel }\{0,1\})[/ilmath] - [ilmath]*[/ilmath] is the operation of loop concatenation, an instance of path concatenation

This can perhaps be better written symbolically using [ilmath][\ell][/ilmath] to denote the equivalence class of [ilmath]\ell[/ilmath] under (equivalence) relation of end point preseriving homotopy:

• [ilmath]\forall\ell_1,\ell_2,\ell_1',\ell_2'\in\Omega(X,b)[([\ell_1]=[\ell_1']\wedge[\ell_2]=[\ell_2'])\implies[\ell_1*\ell_2]=[\ell_1'*\ell_2']][/ilmath]

Proof

The homotopy concatenation, [ilmath]H:=H_1*H_2[/ilmath], is easily shown to be the required homotopy. This is actually an instance of Homotopy invariance of path concatenation

Grade: A

This page requires one or more proofs to be filled in, it is on a to-do list for being expanded with them.

Please note that this does not mean the content is unreliable. Unless there are any caveats mentioned below the statement comes from a reliable source. As always, Warnings and limitations will be clearly shown and possibly highlighted if very important (see template:Caution et al).
The message provided is:

Check this page and demote. It was such a chore to write, I just want it done!