Difference between revisions of "Notes:Homotopy terminology"

Revision as of 17:56, 27 April 2016

Homotopy

Homotopy is a continuous map, [ilmath]F:X\times I\rightarrow Y[/ilmath] where [ilmath]I[/ilmath] denotes the unit interval, [ilmath][0,1]\subseteq\mathbb{R} [/ilmath]^[1].
Here [ilmath]X[/ilmath] and [ilmath]Y[/ilmath] are topological spaces

Homotopic maps

If [ilmath]f,g:X\rightarrow Y[/ilmath] are continuous maps, we say that "[ilmath]f[/ilmath] is homotopic to [ilmath]g[/ilmath]" if^[2]:

• There is a homotopy, [ilmath]F:X\times I\rightarrow Y[/ilmath] such that [ilmath]F(x,0)=f(x)[/ilmath] and [ilmath]F(x,1)=g(x)[/ilmath] ([ilmath]\forall x\in X[/ilmath])

Homotopic relative to [ilmath]A[/ilmath]

If [ilmath]f,g:X\rightarrow Y[/ilmath] are continuous maps and [ilmath]A\in\mathcal{P}(X)[/ilmath], we say that "[ilmath]f[/ilmath] is homotopic to [ilmath]g[/ilmath] relative to [ilmath]A[/ilmath]" if^[3]:

• There is a homotopy, [ilmath]F:X\times I\rightarrow Y[/ilmath] such that [ilmath]F(x,0)=f(x)[/ilmath] and [ilmath]F(x,1)=g(x)[/ilmath] AND
• [ilmath]F(a,t)=f(a)=g(a)[/ilmath] for all [ilmath]t\in I[/ilmath] and [ilmath]\forall a\in A[/ilmath]

Homotopic paths

This is a special case, here we are dealing with [ilmath]A:=\{0,1\}[/ilmath] and [ilmath]F:I\times I\rightarrow X[/ilmath], the maps we are building a homotopy between are of the form:

• [ilmath]\alpha:I\rightarrow X[/ilmath]

And we say:

• [ilmath]\alpha_1[/ilmath] is homotopic to [ilmath]\alpha_2[/ilmath] (rel [ilmath]\{0,1\} [/ilmath]) if there is a homotopy between them.

References

1. ↑ Algebraic Topology - Homotopy and Homology - Robert M. Switzer
2. ↑ Topology - James R. Munkres
3. ↑ Introduction to Topology - Theodore W. Gamelin & Robert Everist Greene