# 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