Knotentheorie

Die Knotentheorie ist ein Forschungsgebiet der Topologie. Sie beschäftigt sich unter anderem damit, die topologischen Eigenschaften von Knoten zu untersuchen. Eine Fragestellung ist etwa, ob zwei gegebene Knoten äquivalent sind, also ob sie ineinander überführt werden können, ohne dass dabei die Schnur „zerschnitten“ wird. Die Knotentheorie beschäftigt sich im Gegensatz zur Knotenkunde nicht mit dem Knüpfen von Knoten in der Praxis, sondern mit mathematischen Eigenschaften von Knoten.
Inhaltsverzeichnis

1 Mathematische Definition
1.1 Technische Details: zahme Knoten und ambiente Isotopie
2 Knotendiagramme und Reidemeister-Bewegungen
3 Knoteninvarianten
4 Anwendungen
5 Siehe auch
6 Literatur
7 Weblinks
8 Einzelnachweise

Mathematische Definition

Man nehme ein verknotetes Stück Schnur und binde die beiden Enden zusammen; in der Fachsprache heißt das Ergebnis eine Einbettung der Kreislinie in den dreidimensionalen Raum. Zwei Knoten gelten als gleich, wenn sie durch eine stetige Verformung ineinander überführt werden können (Isotopie).

In der Knotentheorie werden auch Einbettungen von mehreren Kreislinien untersucht; diese nennt man Verschlingungen. Eine andere Erweiterung des Themas sind mehrdimensionale Knoten, das heißt Einbettungen der Sphären der Dimension n in den n+2-dimensionalen Raum für n>1.
Technische Details: zahme Knoten und ambiente Isotopie

Streng genommen muss die obige Definition an zwei Stellen nachgebessert werden, um dem herkömmlichen Knotenbegriff zu entsprechen, denn:

Ein wilder Knoten
Sie lässt wilde Knoten zu, d. h. unendlich viele Knoten in einem (endlichen) Stück Schnur.
Mit einer gewöhnlichen Isotopie kann man einen Knoten so stramm ziehen, dass er verschwindet.[1]

Es gibt zwei Wege, diese Problem zu beheben:

Man ersetzt Isotopie durch ambiente Isotopie, und beschränkt sich auf zahme Knoten: Bei einer ambienten Isotopie muss auch der Raum um den Knoten sich stetig deformieren; ein Knoten heißt zahm, falls er zu einem stückweise linearen Knoten ambient isotop ist.[2]
Man beschränkt sich auf glatte Isotopien zwischen glatten Knoten, denn jeder stetig differenzierbare Knoten ist zahm[3], und jede glatte Isotopie lässt sich zu einer ambienten Isotopie fortsetzen[4].

Beide Lösungen sind äquivalent[5]. Ab jetzt gelten alle Knoten als zahm.
Knotendiagramme und Reidemeister-Bewegungen

In der Knotentheorie wird ein Knoten oft durch seine Projektion auf eine Ebene dargestellt. Jeder (zahme) Knoten hat eine reguläre Projektion, d.h. eine Projektion mit nur endlich vielen Doppelpunkten (Kreuzungen)[6].

Um aus einer Projektion den Knoten rekonstruieren zu können, muss man bei jeder Kreuzung angeben, welcher der beiden Stränge oben bzw. unten liegt. Eine Projektion mit dieser Zusatzinformation nennt man ein Knotendiagramm. Jeder zahme Knoten lässt sich somit durch ein Diagramm darstellen. Ein solches Diagramm ist jedoch nicht eindeutig, denn jeder Knoten lässt sich durch unendlich viele verschiedene Diagramme darstellen. Zum Beispiel ändern die folgenden lokalen Züge zwar das Diagramm, nicht aber den dargestellten Knoten:
Die drei Bewegungstypen („Reidemeister-Bewegungen“) Reidemeister move 1.png; Reidemeister move 2.png; Reidemeister move 3.png.
Typ I Typ II Typ III

Diese Züge werden Reidemeister-Bewegungen genannt, zu Ehren von Kurt Reidemeister. Dieser hat 1927 gezeigt, dass diese drei Züge bereits ausreichen: Zwei Knotendiagramme stellen genau dann den gleichen Knoten dar, wenn sie durch eine endliche Folge von Reidemeister-Bewegungen ineinander überführt werden können.
Knoteninvarianten

Zwei Knoten können sehr unterschiedlich aussehen und trotzdem im obigen Sinne gleich sein. Folglich kann es schwierig sein, direkt nachzuweisen, dass zwei Knoten nicht gleich sind. Daher wählt man einen indirekten Weg: Knoteninvarianten.

Eine Knoteninvariante ordnet jedem Knoten eine Zahl (oder ein Polynom oder eine Gruppe usw.) zu, und zwar so, dass der Wert sich nicht ändert, wenn man den Knoten im dreidimensionalen Raum stetig deformiert. Anders gesagt: Man ordnet jedem Knotendiagramm einen Wert zu, und zwar so, dass die Reidemeister-Züge den Wert nicht ändern. Beispiele:

Die Kreuzungszahl[7] eines Knotens K ist die kleinstmögliche Anzahl von Kreuzungen, die in irgendeinem Knotendiagramm von K vorkommt. Dass die Kreuzungszahl eine Invariante ist, geht bereits aus ihrer Definition hervor; aber die Berechnung ist im Allgemeinen sehr schwer.
Die Dreifärbungszahl[8]: Ein Knotendiagramm besteht aus Bögen und Kreuzungen; an jeder Kreuzung treffen sich drei Kreuzungen. Bei einer Dreifärbung ordnet man jedem Bogen eine der Farben rot, blau oder grün zu, und zwar so, dass an jeder Kreuzung die drei Bögen entweder drei verschiedene Farben oder dreimal die gleiche Farbe haben. Die Dreifärbungszahl ist die Anzahl der Dreifärbungen. Mit der Dreifärbungszahl weist man nach, dass der Kleeblattknoten verknotet ist, und dass die Borromäische Ringe tatsächlich verlinkt sind.
Das Jones-Polynom ordnet jedem Knoten ein Laurentpolynom zu. Das Jones-Polynom kann man mit Hilfe von Knotendiagrammen algorithmisch berechnen, indem man für alle Kreuzungen geeignete Terme zu einem Gesamtpolynom addiert. Zur Invarianz genügt es zu zeigen, dass das so konstruierte Polynom invariant unter den drei Reidemeister-Bewegungen ist. Das Jones-Polynom kann das Kleeblatt-Knoten von seinem Spiegelbild unterscheiden.

Bis heute ist noch keine einfach berechenbare Knoteninvariante gefunden worden, die alle nicht-äquivalenten Knoten unterscheidet, also für zwei Knoten genau dann identisch ist, wenn diese äquivalent sind. Dies ist ein wichtiges Ziel der aktuellen Forschung (Lösungen hierfür gibt es eventuell im Bereich der Floer-Homologien). Es ist auch unbekannt, ob das Jones-Polynom den trivialen Knoten erkennt, also ob es einen nicht-trivialen Knoten gibt, dessen Jones-Polynom gleich dem des trivialen Knoten ist.
Anwendungen

Lange Zeit war die Beschäftigung mit Knoten eher von rein theoretischem Interesse. Mittlerweile existieren aber eine Reihe wichtiger Anwendungen, etwa in der Biochemie bzw. Strukturbiologie, mit denen überprüft werden kann, ob komplizierte Faltungen von Proteinen mit anderen Proteinen übereinstimmen. Ähnliches gilt für DNA. Weitere aktuelle Anwendungen gibt es in der Polymerphysik. Eine wichtige Stellung nimmt die Knotentheorie in der modernen theoretischen Physik ein, wo es etwa um Pfade in Feynmandiagrammen geht.

Die Knotentheorie wird auch in benachbarten Gebieten der Topologie und Geometrie genutzt. Zur Untersuchung 3-dimensionaler Räume sind Knoten sehr nützlich, da sich jede orientierbare geschlossene 3-dimensionale Mannigfaltigkeit durch Dehn-Chirurgie an einem Knoten oder einer Verschlingung erzeugen lässt. In der hyperbolischen Geometrie spielen Knoten eine Rolle, weil die Komplemente der meisten Knoten in der 3-dimensionalen Sphäre S^3 eine vollständige hyperbolische Metrik tragen.
Siehe auch

Borromäische Ringe
Zopfgruppe
Torusknoten
Achtknoten (Mathematik)

Literatur

Colin C. Adams: The Knot Book. An elementary introduction to the mathematical theory of knots. 1994; 2004, ISBN 0-8218-3678-1
Das Knotenbuch. Einführung in die mathematische Theorie der Knoten. Spektrum, Heidelberg/Berlin/Oxford 1995, ISBN 3-86025-338-7
Meike Akveld: Knoten in der Mathematik. Ein Spiel mit Schnüren, Bildern und Formeln. Orell Fuessli, Zürich 2007, ISBN 978-3-280-04050-8
Gerhard Burde & Heiner Zieschang: Knots. de Gruyter, Berlin/New York 1985, ISBN 3-11-008675-1
Gunnar Hornig: Magnetes Geheimnis. In: RUBIN – Das Wissenschaftsmagazin der Ruhr-Universität Bochum. 2/01, S. 6–10 (PDF)
Louis H. Kauffman: Knots and Physics. World Scientific, 1991, ISBN 981-02-0343-8
Knoten. Diagramme, Zustandsmodelle, Polynominvarianten. Spektrum, Heidelberg/Berlin/Oxford 1995, ISBN 3-86025-232-1
Lee Neuwirth: Theorie der Knoten. In: Spektrum der Wissenschaft. August 1979, ISSN 0170-2971 (unter anderem: Modell eines mathematischen Knotens, Beziehungen zwischen Geometrie und Algebra)
Dale Rolfsen: Knots and Links. AMS Chelsea Publ., 2003, ISBN 0-8218-3436-3
Alexei Sossinsky: Nœuds. Genèse d'une théorie mathématique. Éditions du Seuil, Paris 1999, ISBN 2-02-032089-4 (Science Ouverte).
Mathematik der Knoten. Rowohlt-Taschenbuch-Verlag, Reinbek 2000, ISBN 3-499-60930-4

Weblinks

The KnotPlot Site von Robert G. Scharein (Software für interaktives Visualisieren, Manipulieren und Simulieren von mathematischen Knoten)
Marc Lackenby: Elementary Knot Theory (irreführender Titel, es handelt sich um eine Einführung in die aktuelle Forschung)

Einzelnachweise

↑ Gerhard Burde, Heiner Zieschang: Knots. 2 Auflage. de Gruyter, Berlin 2003, ISBN 3-11-017005-1, S. 2.
↑ Gerhard Burde, Heiner Zieschang: Knots. 2 Auflage. de Gruyter, Berlin 2003, ISBN 3-11-017005-1, S. 2-3.
↑ Richard H. Crowell, Ralph H. Fox: Introduction to Knot Theory. Springer, New York, ISBN 0-387-90272-4, S. 5 (Aussage 2.1).
↑ Florian Deloup: The fundamental group of the circle is trivial. In: The American Mathematical Monthly. 112, Nr. 5, Mai 2005, S. 417-425, doi:10.2307/30037492 (Theorem 5).
↑ Victor V. Prasolov, Alexei B. Sossinsky: Knots, Links, Braids and 3-Manifolds (= Translations of Mathematical Monographs. 154). American Mathematical Society, Providence, RI 1997, ISBN 0-8218-0588-6, S. 8 (§1.3).
↑ Richard H. Crowell, Ralph H. Fox: Introduction to Knot Theory. Springer, New York, ISBN 0-387-90272-4, S. 7 (Aussage 3.1).
↑ Charles Livingston: Knotentheorie für Einsteiger. Vieweg, Braunschweig/Wiesbaden 1995, ISBN 3-528-06660-1, S. 116.
↑ Charles Livingston: Knotentheorie für Einsteiger. Vieweg, Braunschweig/Wiesbaden 1995, ISBN 3-528-06660-1 (Abschnitte 3.2 und 3.3).