Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2007/iii/paper-24/3/a/solution

For tame or smooth embeddings , ambient isotopy means there is a continuous family , , of homeomorphisms, with and . Equivalently the map is a homeomorphism of 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 ; 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 outside it and identify the complement of that point with . 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.

New to topics? Read the docs here!