Isotopy of immersions

From Diffgeom

Definition

Suppose are smooth manifolds of dimensions and are two smooth immersions. An isotopy from to is a map such that the following hold:

  • is a smooth map
  • and : In other words is a homotopy from to
  • For each , the map from to given by is an immersion

Facts