Unknot

The unknot arises in the mathematical theory of knots. Intuitively, the unknot is a closed loop of rope without a knot in it. A knot theorist would describe the unknot as an image of any embedding that can be deformed, i.e. ambient-isotoped, to the standard unknot, i.e. the embedding of the circle as a geometrically round circle. The unknot is also called the trivial knot. An unknot is the identity element with respect to the knot sum operation.

Deciding if a particular knot is the unknot was a major driving force behind knot invariants, since it was thought this approach would possibly give an efficient algorithm to recognize the unknot from some presentation such as a knot diagram. Currently there are several well-known unknot recognition algorithms (not using invariants), but they are either known to be inefficient or have no efficient implementation. It is not known whether the current invariants, such as finite type invariants, are a complete invariant of the unknot. Even if they were, the problem of computing them efficiently remains.

Many useful practical knots are actually the unknot, including all knots which can be tied in the bight.cite web|url=http://www.volkerschatz.com/knots/knots.html|title=Knotty topics|author=Volker Schatz|accessdate=2007-04-23]

ee also

*Knot (mathematics)
*Unknotting problem
*Unlink

References