Does there exist a notion of Jordan curve homotopy? 


In particular, suppose we have two Jordan curves $C\_0 : S^1 \rightarrow \mathbb{R}^2$ and $C\_1 : S^1 \rightarrow \mathbb{R}^2$. When does there exist a continuous function $f: S^1 \times [0,1] \rightarrow \mathbb{R}^2$ such that:


$f(x,0) = C\_0(x)$, $f(x,1) = C\_1(x)$, and for all $t \in [0,1]$, the function $C\_t: S^1 \rightarrow \mathbb{R}^2$ defined by $C\_t(x) = f(x,t)$ is a Jordan curve. 


My intuition tells me that such a function always exists, but I'm unsure about how to go about proving this. Also, if this is a known result, are there similar results for manifolds other than $\mathbb{R}^2$?



Jordan Curve Homotopy
Homotopies through embeddings are usually called isotopies. 


There is a subtlety called local flatness that comes up in higher dimensions. Let $E$ be any embedding of $\mathbb R$ in $\mathbb R^3$ such that $E(s)=(s,0,0)$ when $s<-1$ or $s>1$. Define a homotopy $H\_t$ with $E\_0(s)=(s,0,0)$ for all $s\in \mathbb R$ and $E\_1=E$, as follows: $E\_t(s)=tE(s/t)$ if $-t\le s\le t$ and otherwise $E\_t(s)=(s,0,0)$. This is a homotopy through embeddings, but it (un)ties the knot. This is easily adapted to apply to examples of embeddings of $S^1$ in $\mathbb R^3$, for example. 


The way to fix this problem is to only consider embeddings that are locally flat and isotopies that are locally flat. An embedding $E:M\to N$ is (topologically) locally flat if for every point $p\in M$ there exist charts around $p$ and $E(p)$ such that $E$ looks like $(x\_1,\dots,x\_m)\mapsto (x\_1,\dots,x\_m,0,\dots,0)$. An isotopy $E\_t$ is locally flat if for each point $p\in M$ and time $\tau\in I$ there are charts around $(p,\tau)\in M\times I$ and around $(E\_\tau(p),\tau)\in N\times I$, both of them using projection to $I$ as last coordinate, such that locally $(x,t)\mapsto (E\_t(x),t)$ looks like $(x\_1,\dots,x\_m,t)\mapsto (x\_1,\dots,x\_m,0,\dots,0,t)$. Local flatness is automatic when $m=1$ and $n=2$. The example I gave (with $m=1$ and $n=3$) was such that the isotopy was not locally flat although if the original embedding $E\_1$ was locally flat then for every $t$ the embedding $E\_t$ was, too. 


The Alexander horned sphere ($m=2$, $n=3$, not locally flat) can be smoothed out by such a procedure, too. 


Another way of limiting oneself to the right kind of isotopies is to use ambient isotopies: to require $E\_t$ to be $H\_t\circ E\_0$ where $H\_t$ is a homeomorphism $N\to N$ depending on $t$. (Local flatness in the case $m=n$ follows from invariance of domain.)


Another way is to limit oneself to smooth embeddings (meaning, as usual, smooth maps that are topological embeddings and that are one to one on the tangent-space level, or equivalently locally flat in the smooth category) and smooth isotopies.


