nLab
delayed homotopy

Contents

Idea

A homotopy between continuous functions between topological spaces is called delayed if it starts out being constant near one boundary of the interval.

(If it is constant near both boundaries we say it has sitting instants).

Definition

For I=[0,1]I = [0,1] the unit interval and XX and YY any topological spaces, a continuous map F:X×IYF: X\times I\to Y is a delayed homotopy (between F(,0)F(-,0) and F(1))F(-1)) if there exist t 0>0t_0\gt 0 such that F(x,t)=F(x,0)F(x,t)=F(x,0) for all 0tt 00\leq t\leq t_0.

Properties

In Dold-fibrations

Delayed homotopies appear in an alternative characterization of Dold fibrations. See there for details.

Smoothing of delayed homotopies

If a continuous homotopy between two smooth functions is delayed at both ends of the inerval it may be approximated by a smooth homotopy . See Steenrod-Wockel approximation theorem.

Revised on October 25, 2010 17:16:55 by Urs Schreiber (131.211.232.186)