End-point-preserving homotopic paths

Stub grade: D

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:

Not important, terminology is from Mond's 2013 lecture notes. Some authors use path homotopy but we reserve this for map homotopy where the maps are paths (ie a free homotopy), we use this to distinguish homotopic paths ($\text{rel }\{0,1\}$) from just paths that are homotopic maps Alec (talk) 14:31, 25 April 2017 (UTC)

Definition

Let $p,g:[0,1]\rightarrow X$ be paths in a topological space $(X,\mathcal{ J })$, we say they are end-point-preseriving-homotopic - or epph for short - if they are homotopic maps relative to $\{0,1\}$