Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

From Hirsch's Differential Topology, p. 180.

The first of the isotopy extension theorems says;

Let $A\subset M$ be a compact submanifold and $F:V\times I \rightarrow S^{3}$ an isotopy of $A$. If either $F(V\times I) \subset \delta M$ or $F(V\times I) \subset M - \delta M$, then $F$ extends to a diffeotopy of $M$ having compact support.

What I don't understand is why this does not imply that every isotopy of knots is automatically an ambient isotopy. Since knots are compact and $S^{3}$ has no boundary.

Please help, very confused!

share|cite|improve this question
Hatcher's Differential Topology ?? What's that? FYI, it does imply isotopic knots are ambient isotopic, that's the point. Perhaps you mean a book by Milnor or Guillemin and Pollack by a similar name? – Ryan Budney Nov 2 '11 at 0:59
Sorry, the book's by Morris Hirsch. – Dilitante Nov 2 '11 at 1:01
A remark that might be helpful: for smooth knots, ambient isotopy and isotopy are the same. However in the topological category, these notions differ. For example, you could pull a trefoil tight until the knotted part vanishes to a point. This is a topological isotopy, but not a smooth isotopy. – Grumpy Parsnip Nov 2 '11 at 1:11

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.