Knot equivalence

cosmos 3rd November 2017 at 1:58pm
Knot theory

aka equivalence of links..

The natural notion of equilance of Knots and links

Two knots are equivalent if there is a Homotopy F:[0,1]×RR3F:[0,1]\times \mathbb{R}\to \mathbb{R}^3 between functions producing the knots (remember the knot is defined as the image of a path function), such that for each tt, F(R,t)F(\mathbb{R},t) is a knot itself. Basically these are homotopies where you don't allow self-crossings

The definition of equivalence of links is like this, but with a homotopy for each of the link components, and with the condition that the set of components remains a link all through the transformation.

See here and here.

Reidemeister theorem


Equivalence of links and Reidemeister theorem extend for Oriented links.

We now require the homotopy between functions producing the oriented link components, but we now remember that an oriented link is not just the image of the function, but also its direction (given by, say the sign of the tangent vector at any point, for the given function/parametrization, remembering that the conditions don't allow sign changes).