nLab delayed homotopy

Contents

Context

Topology

topology (point-set topology, point-free topology)

see also differential topology, algebraic topology, functional analysis and topological homotopy theory

Introduction

Basic concepts

Universal constructions

Extra stuff, structure, properties

Examples

Basic statements

Theorems

Analysis Theorems

topological homotopy theory

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.

Last revised on October 25, 2010 at 17:16:55. See the history of this page for a list of all contributions to it.