Difference between revisions of "Loop concatenation"
(Started page) |
(Added see-also pointing to path and loops page, tidied up a few things, added note in stub message) |
||
| Line 1: | Line 1: | ||
| − | {{Stub page|grade=A*|msg=Stub page}} | + | {{Stub page|grade=A*|msg=Stub page. Be sure to link to [[concatenation of loops and paths (homotopy)]] and [[path concatenation (topology)]]}} |
__TOC__ | __TOC__ | ||
==Definition== | ==Definition== | ||
| − | Loop [[concatenation]] is a special case of | + | Loop [[concatenation]] is a special case of {{link|path concatenation|topology}}. We use {{M|1=I:=[0,1]\subset\mathbb{R} }} to denote the [[closed unit interval]] in [[reals|{{M|\mathbb{R} }}]]. |
Let {{Top.|X|J}} be a [[topological space]] and let {{M|\ell_1:I\rightarrow X}} and {{M|\ell_2:I\rightarrow X}} be [[loops]] in {{Top.|X|J}} based at {{M|b\in X}}<ref group="Note">That is: {{XXX|Put definition of loop based at {{M|b\in X}} here}}</ref>; then we can ''[[concatenate]]'' the loops: | Let {{Top.|X|J}} be a [[topological space]] and let {{M|\ell_1:I\rightarrow X}} and {{M|\ell_2:I\rightarrow X}} be [[loops]] in {{Top.|X|J}} based at {{M|b\in X}}<ref group="Note">That is: {{XXX|Put definition of loop based at {{M|b\in X}} here}}</ref>; then we can ''[[concatenate]]'' the loops: | ||
| Line 22: | Line 22: | ||
See: [[The fundamental group]] for more information. | See: [[The fundamental group]] for more information. | ||
| + | ==See also== | ||
| + | * {{link|Concatenation of loops and paths|homotopy}} | ||
==Notes== | ==Notes== | ||
<references group="Note"/> | <references group="Note"/> | ||
Latest revision as of 09:17, 6 November 2016
Contents
Definition
Loop concatenation is a special case of path concatenation. We use [ilmath]I:=[0,1]\subset\mathbb{R}[/ilmath] to denote the closed unit interval in [ilmath]\mathbb{R} [/ilmath].
Let [ilmath](X,\mathcal{ J })[/ilmath] be a topological space and let [ilmath]\ell_1:I\rightarrow X[/ilmath] and [ilmath]\ell_2:I\rightarrow X[/ilmath] be loops in [ilmath](X,\mathcal{ J })[/ilmath] based at [ilmath]b\in X[/ilmath][Note 1]; then we can concatenate the loops:
- [ilmath]\ell_1*\ell_2:I\rightarrow X[/ilmath] by [ilmath](\ell_1*\ell_2):t\mapsto\left\{\begin{array}{lr}\ell_1(2t) & \text{for }t\in[0,\frac{1}{2}] \\ \ell_2(2t-1)&\text{for }t\in[\frac{1}{2},1]\end{array}\right.[/ilmath][Note 2] - we claim this is also a loop based at [ilmath]b[/ilmath] (see Claim 1)
- In words: the loop [ilmath]\ell_1*\ell_2[/ilmath] first does [ilmath]\ell_1[/ilmath] but at double the speed, thus completing [ilmath]\ell_1[/ilmath] by [ilmath]t=\frac{1}{2}[/ilmath]. Then, as [ilmath]\ell_1[/ilmath] ends at [ilmath]b[/ilmath] we're in a position to start [ilmath]\ell_2[/ilmath]. We do this at double speed, thus completing [ilmath]\ell_2[/ilmath] by time [ilmath]t=\frac{1}{2}[/ilmath].
Loops also lend themselves to other concatenations, all permutations of concatenations of [ilmath]\ell_1[/ilmath], [ilmath]\ell_1^{-1} [/ilmath], [ilmath]\ell_2[/ilmath] and [ilmath]\ell_2^{-1} [/ilmath] exist.
Caveats
Loop concatenation is not associative, that is:
- [ilmath](\ell_1*\ell_2)*\ell_3\ne\ell_1*(\ell_2*\ell_3)[/ilmath]
Notice the loop [ilmath](\ell_1*\ell_2)*\ell_3[/ilmath] does [ilmath]\ell_1[/ilmath] at 4x the normal speed, completing it by [ilmath]t=\frac{1}{4}[/ilmath], then embarks on [ilmath]\ell_2[/ilmath] at 4x the speed also, completing that by [ilmath]t=\frac{2}{4}=\frac{1}{2}[/ilmath], then embarks on [ilmath]\ell_3[/ilmath] at double speed, completing it by [ilmath]t=1[/ilmath].
Whereas, [ilmath]\ell_1*(\ell_2*\ell_3)[/ilmath] does [ilmath]\ell_1[/ilmath] at double speed, completing it by [ilmath]t=\frac{1}{2}[/ilmath], then embarks on [ilmath]\ell_2[/ilmath] at 4x speed, completing it by [ilmath]t=\frac{3}{4}[/ilmath], then embarks on [ilmath]\ell_3[/ilmath] at 4x speed, completing it by [ilmath]t=1[/ilmath].
Although the image of both loops is the same (that is: [ilmath]\big((\ell_1*\ell_2)*\ell_3\big)(I)=\big(\ell_1*(\ell_2*\ell_3)\big)(I)[/ilmath], they are clearly different. However [ilmath](\ell_1*\ell_2)*\ell_3[/ilmath] and [ilmath]\ell_1*(\ell_2*\ell_3)[/ilmath] are path homotopic, or homotopic [ilmath]\text{rel }\{0,1\} [/ilmath]
See: The fundamental group for more information.
See also
Notes
- ↑ That is: TODO: Put definition of loop based at [ilmath]b\in X[/ilmath] here
- ↑ We include [ilmath]t=\frac{1}{2}[/ilmath] in both parts as a nod to the pasting lemma.
