= Solution
For tame or smooth embeddings $f_0,f_1:S^1\hookrightarrow S^3$, <ambient isotopy> means there is a continuous family $F_t:S^3\to S^3$, $0\le t\le1$, of <homeomorphisms>, with $F_0=\mathrm{id}$ and $F_1\circ f_0=f_1$. Equivalently the map $(x,t)\mapsto(F_t(x),t)$ is a <homeomorphism> of $S^3\times[0,1]$ preserving the time coordinate. In the smooth category one uses <diffeomorphisms> and a smooth isotopy. If only unparametrized images are compared, the last condition is $F_1(f_0(S^1))=f_1(S^1)$; for oriented knots it must also preserve the strand <orientation>.
A <link> is an embedding of a finite disjoint union of circles. Choose a point of $S^3$ outside it and identify the complement of that point with $\mathbb R^3$. A generic planar projection gives an immersion with only finitely many transverse double points, no triple points and no singularities of the projected strands. A <link diagram> is this planar immersed union together with the over/under information at each double point, recording which strand has the larger height. An oriented <link diagram> also records each component's <orientation>. The crossing data are indispensable: the planar immersion alone does not specify the link.
Back to article page
