## You are here

Homediffeotopy

## Primary tabs

# diffeotopy

Let $M$ be a manifold and $I=[0,1]$ the closed unit interval. A smooth map $h\colon M\times I\rightarrow M$ is called a *diffeotopy* (on $M$) if for every $t\in I$:

$h_{t}:=h(-,t)\colon M\rightarrow M$ |

is a diffeomorphism.

Two diffeomorphisms $f,g\colon M\to M$ are said to be *diffeotopic* if there is a diffeotopy $h\colon M\times I\to M$ such that

1. $h_{0}=f$, and

2. $h_{1}=g$.

Remark. Diffeotopy is an equivalence relation among diffeomorphisms. In particular, those diffeomorphisms that are diffeotopic to the identity map form a group.

Two points $a,b\in M$ are said to be *isotopic* if there is a diffeotopy $h$ on $M$ such that

1. $h_{0}=id_{M}$, the identity map on $M$, and

2. $h_{1}(a)=b$.

Remark. If $M$ is a connected manifold, then every pair of points on $M$ are isotopic.

Pairs of isotopic points in a manifold can be generazlied to pairs of isotopic sets. Two arbitrary sets $A,B\subseteq M$ are said to be *isotopic* if there is a diffeotopy $h$ on $M$ such that

1. $h_{0}=id_{M}$, and

2. $h_{1}(A)=B$.

Remark. One special example of isotopic sets is the isotopy of curves. In $\mathbb{R}^{3}$, curves that are isotopic to the unit circle are the trivial knots.

## Mathematics Subject Classification

57R50*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff
- Corrections