Relative Homotopy
In order to define the fundamental group, one needs the notion of homotopy relative to a subspace. These are homotopies which keep the elements of the subspace fixed. Formally: if f and g are continuous maps from X to Y and K is a subset of X, then we say that f and g are homotopic relative to K if there exists a homotopy H : X × → Y between f and g such that H(k,t) = f(k) = g(k) for all k ∈ K and t ∈ . Also, if g is a retract from X to K and f is the identity map, this is known as a strong deformation retract of X to K. When K is a point, the term pointed homotopy is used.
Read more about this topic: Homotopy
Famous quotes containing the word relative:
“And since the average lifetime—the relative longevity—is far greater for memories of poetic sensations than for those of heartbreaks, since the very long time that the grief I felt then because of Gilbert, it has been outlived by the pleasure I feel, whenever I wish to read, as in a sort of sundial, the minutes between twelve fifteen and one o’clock, in the month of May, upon remembering myself chatting ... with Madame Swann under the reflection of a cradle of wisteria.”
—Marcel Proust (1871–1922)