Definition
Let and be topological spaces and be embeddings of into .
An isotopy from to is a continuous map such that
- is an embedding.
For smooth manifolds
If we also require the embeddings to be diffeomorphisms then isotopies of are in correspondence with time dependent vector fields on