Notice: Unexpected clearActionName after getActionName already called in /var/www/html/includes/context/RequestContext.php on line 338
Trivialer Knoten – Wikipedia (Deutsch) – Lokale Kopie Zum Inhalt springen

Trivialer Knoten

aus Wikipedia, der freien Enzyklopädie
(Weitergeleitet von Unknoten)

<templatestyles src="Mehrere Bilder/styles.css" />

{{#if: Triviale Knoten |
Triviale Knoten

}}{{#ifeq: | vertical

|
[[Datei:{{#if: Blue Unknot.png 
                       | Blue Unknot.png
                       | Vorlage:Platzhalterbild/file
}}|{{#if: | {{{Breite}}} | 150 }}px{{#if: | |alt={{{Alt1}}} }}{{#if: | |class={{{Class1}}} }}{{#if: | |{{{Beschreibung1}}} }}]]
{{#if: Vorlage:Mehrere Bilder/Align |
{{{Untertitel1}}}
}}
[[Datei:{{#if: Bowen-knot-in-rope.png 
                       | Bowen-knot-in-rope.png
                       | Vorlage:Platzhalterbild/file
}}|{{#if: | {{{Breite}}} | 150 }}px{{#if: | |alt={{{Alt2}}} }}{{#if: | |class={{{Class2}}} }}{{#if: | |{{{Beschreibung2}}} }}]]
{{#if: Vorlage:Mehrere Bilder/Align |
{{{Untertitel2}}}
}}
{{#if: |
[[Datei:{{{Bild3}}}|{{#if: | {{{Breite}}} | 150 }}px{{#if: | |alt={{{Alt3}}} }}{{#if: | |class={{{Class3}}} }}{{#if: | |{{{Beschreibung3}}} }}]]
{{#if: Vorlage:Mehrere Bilder/Align |
{{{Untertitel3}}}
}}
      }}{{#if:
|
[[Datei:{{{Bild4}}}|{{#if: | {{{Breite}}} | 150 }}px{{#if: | |alt={{{Alt4}}} }}{{#if: | |class={{{Class4}}} }}{{#if: | |{{{Beschreibung4}}} }}]]
{{#if: Vorlage:Mehrere Bilder/Align |
{{{Untertitel4}}}
}}
      }}{{#if:
|
[[Datei:{{{Bild5}}}|{{#if: | {{{Breite}}} | 150 }}px{{#if: | |alt={{{Alt5}}} }}{{#if: | |class={{{Class5}}} }}{{#if: | |{{{Beschreibung5}}} }}]]
{{#if: Vorlage:Mehrere Bilder/Align |
{{{Untertitel5}}}
}}
      }}
|
[[Datei:{{#if: Blue Unknot.png 
                     | Blue Unknot.png
                     | Vorlage:Platzhalterbild/file
}}|{{#if: | {{{Breite}}} | {{#if: 120 | 120 | 150 }} }}px{{#if: | |alt={{{Alt1}}} }}{{#if: | |class={{{Class1}}} }}{{#if: | |{{{Beschreibung1}}} }}]]
{{#if: 
                 |
                 | {{#if: Vorlage:Mehrere Bilder/Align
|
{{{Untertitel1}}}
                   }}
}}
[[Datei:{{#if: Bowen-knot-in-rope.png 
                      | Bowen-knot-in-rope.png
                      | Vorlage:Platzhalterbild/file
}}|{{#if: | {{{Breite}}} | {{#if: 120 | 120 | 150 }} }}px{{#if: | |alt={{{Alt2}}} }}{{#if: | |class={{{Class2}}} }}{{#if: | |{{{Beschreibung2}}} }}]]
{{#if: 
                 |
                 | {{#if: Vorlage:Mehrere Bilder/Align
|
{{{Untertitel2}}}
                   }}
}}
{{#if: |
[[Datei:{{{Bild3}}}|{{#if: | {{{Breite}}} | {{#if: | {{{Breite3}}} | 150 }} }}px{{#if: | |alt={{{Alt3}}} }}{{#if: | |class={{{Class3}}} }}{{#if: | |{{{Beschreibung3}}} }}]]
{{#if: 
                     |
                     | {{#if: Vorlage:Mehrere Bilder/Align
|
{{{Untertitel3}}}
                       }}
}}
      }}{{#if:
|
[[Datei:{{{Bild4}}}|{{#if: | {{{Breite}}} | {{#if: | {{{Breite4}}} | 150 }} }}px{{#if: | |alt={{{Alt4}}} }}{{#if: | |class={{{Class4}}} }}{{#if: | |{{{Beschreibung4}}} }}]]
{{#if: 
                     |
                     | {{#if: Vorlage:Mehrere Bilder/Align
|
{{{Untertitel4}}}
                       }}
}}
      }}{{#if:
|
[[Datei:{{{Bild5}}}|{{#if: | {{{Breite}}} | {{#if: | {{{Breite5}}} | 150 }} }}px{{#if: | |alt={{{Alt5}}} }}{{#if: | |class={{{Class5}}} }}{{#if: | |{{{Beschreibung5}}} }}]]
{{#if: 
                     |
                     | {{#if: Vorlage:Mehrere Bilder/Align
|
{{{Untertitel5}}}
                       }}
}}
}}
  }}

{{#ifeq: | vertical 

 |
 | {{#if:
|
Vorlage:Mehrere Bilder/Align
Vorlage:Mehrere Bilder/Align
{{#if: |
Vorlage:Mehrere Bilder/Align
       }}{{#if:
|
Vorlage:Mehrere Bilder/Align
       }}{{#if:
|
Vorlage:Mehrere Bilder/Align
       }}
   }}

}}

{{#if:

|
{{{Fußzeile}}}
}}

{{#if: {{#invoke:Expr|TemplateBooland}} 

    |
    | {{#ifeq: 0 | 0
        | 
      }}
  }}

Der triviale Knoten (auch: Unknoten) ist der einfachste mathematische Knoten, nämlich eine einfache geschlossene Schlaufe, die nicht verknotet ist (also ohne Schnitte zu einem glatten Ring auseinandergezogen werden kann). Er spielt in der Knotentheorie eine Rolle.

Viele in der Praxis vorkommende Knoten, zum Beispiel der Trompetenknoten und der Würgeknoten, sind triviale Knoten.<ref><templatestyles src="Webarchiv/styles.css" />{{#if:20110717230520 

      | {{#ifeq: 20110717230520 | *
    | Vorlage:Webarchiv/Wartung/Stern{{#if: Knotty Topics | {{#invoke:WLink|getEscapedTitle|Knotty Topics}} | {{#invoke:Webarchiv|getdomain|http://www.volkerschatz.com/knots/knots.html}} }} (Archivversionen)
    | {{#iferror: {{#time: j. F Y|20110717230520}}
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/DatumDer Wert des Parameters {{#if: wayback | wayback | Datum }} muss ein gültiger Zeitstempel der Form YYYYMMDDHHMMSS sein!
         | {{#if: Knotty Topics | {{#invoke:WLink|getEscapedTitle|Knotty Topics}} | {{#invoke:Webarchiv|getdomain|http://www.volkerschatz.com/knots/knots.html}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y|20110717230520}} im Internet Archive{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
      }}
  }}
      | {{#if:
          | {{#iferror: {{#time: j. F Y|{{{webciteID}}}}}
    | {{#switch: {{#invoke:Str|len|{{{webciteID}}}}}
       | 16= {{#if: Knotty Topics | {{#invoke:WLink|getEscapedTitle|Knotty Topics}} | {{#invoke:Webarchiv|getdomain|http://www.volkerschatz.com/knots/knots.html}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer }} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{{webciteID}}}|1|10}}/86400}} }} days}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
       | 9 = {{#if: Knotty Topics | {{#invoke:WLink|getEscapedTitle|Knotty Topics}} | {{#invoke:Webarchiv|getdomain|http://www.volkerschatz.com/knots/knots.html}} }} {{#ifeq:  | [] | [ | ( }}Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer}} vom {{#time: j. F Y| 19700101000000 + {{#expr: floor {{#expr: {{#invoke:Str|sub|{{#invoke:Expr|base62|{{{webciteID}}}}}|1|10}}/86400}} }} days}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
       | #default= Der Wert des Parameters {{#if: webciteID | webciteID | ID }} muss entweder ein Zeitstempel der Form YYYYMMDDHHMMSS oder ein Schüsselwert mit 9 Zeichen oder eine 16-stellige Zahl sein!Vorlage:Webarchiv/Wartung/webcitation{{#if:  || }}
      }}
    | c|{{{webciteID}}}}} {{#if: Knotty Topics | {{#invoke:WLink|getEscapedTitle|Knotty Topics}} | {{#invoke:Webarchiv|getdomain|http://www.volkerschatz.com/knots/knots.html}} }} (Memento{{#if: {{#if:  | {{{archiv-bot}}} |  }} |  des Vorlage:Referrer}} vom {{#time: j. F Y|{{{webciteID}}}}} auf WebCite{{#if:  | ;  }}{{#ifeq:  | [] | ] | ) }}
  }}
          | {{#if: 
              | Vorlage:Webarchiv/Today
              | {{#if:
                      | Vorlage:Webarchiv/Generisch
                      | {{#if: Knotty Topics | {{#invoke:WLink|getEscapedTitle|Knotty Topics}} | {{#invoke:Webarchiv|getdomain|http://www.volkerschatz.com/knots/knots.html}} }}  
                 }}}}}}}}{{#if:
    | Vorlage:Webarchiv/archiv-bot
  }}{{#invoke:TemplatePar|check
     |all      = url=
     |opt      = text= wayback= webciteID= archive-is= archive-today= archiv-url= archiv-datum= ()= archiv-bot= format= original=
     |cat      = Wikipedia:Vorlagenfehler/Vorlage:Webarchiv
     |errNS    = 0
     |template = Vorlage:Webarchiv
     |format   = *
     |preview  = 1
  }}{{#ifexpr: {{#if:20110717230520|1|0}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}}{{#if:|+1}} <> 1
    | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Genau einer der Parameter 'wayback', 'webciteID', 'archive-today', 'archive-is' oder 'archiv-url' muss angegeben werden.|1}}
  }}{{#if: 
    | {{#switch: {{#invoke:Webarchiv|getdomain|{{{archiv-url}}}}}
        | web.archive.org = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von Internet Archive erkannt, bitte Parameter 'wayback' benutzen.|1}} 
        | webcitation.org = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von WebCite erkannt, bitte Parameter 'webciteID' benutzen.|1}} 
        | archive.today |archive.is |archive.ph |archive.fo |archive.li |archive.md |archive.vn = 
          {{#if:  || }}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Im Parameter 'archiv-url' wurde URL von archive.today erkannt, bitte Parameter 'archive-today' benutzen.|1}}
      }}{{#if: 
         | {{#iferror: {{#iferror:{{#invoke:Vorlage:FormatDate|Execute}}|}}
             | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Wert des Parameter 'archiv-datum' ist ungültig oder hat ein ungültiges Format.|1}}
          |  }} 
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Pflichtparameter 'archiv-datum' wurde nicht angegeben.|1}}
      }}
    | {{#if: 
         | {{#if:  || }}Vorlage:Webarchiv/Wartung/Parameter{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Der Parameter 'archiv-datum' ist nur in Verbindung mit 'archiv-url' angebbar.|1}}
      }}
  }}{{#if:{{#invoke:URLutil|isHostPathResource|http://www.volkerschatz.com/knots/knots.html}}
    || {{#if:  || }}
  }}{{#if: Knotty Topics
    | {{#if: {{#invoke:WLink|isBracketedLink|Knotty Topics}}
        | {{#if:  || }}
      }}
    | {{#if:  || }}Vorlage:Webarchiv/Wartung/Linktext_fehlt
  }}{{#switch: 
    |addlarchives|addlpages= {{#if:  || }}{{#if: 1 |Vorlage:Webarchiv/Wartung/Parameter}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: enWP-Wert im Parameter 'format'.|1}}
  }}{{#ifeq: {{#invoke:Str|find|http://www.volkerschatz.com/knots/knots.html%7Carchiv}} |-1
    || {{#ifeq: {{#invoke:Str|find|{{#invoke:Str|cropleft|http://www.volkerschatz.com/knots/knots.html%7C4}}%7Chttp}} |-1
         || {{#switch: {{#invoke:Webarchiv|getdomain|http://www.volkerschatz.com/knots/knots.html }}
              | abendblatt.de | daserste.ndr.de | inarchive.com | webcitation.org = 
              | #default = {{#if:  || }}{{#if: 1 |Vorlage:Webarchiv/Wartung/URL}}{{#invoke:TemplUtl|failure| Fehler bei Vorlage:Webarchiv: Archiv-URL im Parameter 'url' anstatt URL der Originalquelle. Entferne den vor der Original-URL stehenden Mementobestandteil und setze den Archivierungszeitstempel in den Parameter 'wayback', 'webciteID', 'archive.today' oder 'archive-is' ein, sofern nicht bereits befüllt.|1}}
            }} 
       }}
  }}</ref>

Ein nichttrivialer Knoten ist ein Knoten, der sich nicht in den Unknoten verformen lässt.

Knotentheoretische Eigenschaften

Datei:Thistlethwaite unknot.svg
Komplizierteres Diagramm eines trivialen Knotens

Eine den trivialen Knoten repräsentierende Kurve ist zum Beispiel

<math>\left\{(x,y,0):x^2+y^2=1\right\}\subset \mathbb R^3</math>.

Ein Knoten ist ein trivialer Knoten, wenn er durch eine stetige Verformung (ohne dass dabei „die Schnur zerschnitten wird“) in die obige Kurve überführt werden kann. Es gibt durchaus kompliziert aussehende Knoten, die in Wirklichkeit trivial sind, ein Beispiel zeigt das Bild unten rechts.

Das Jones-Polynom des trivialen Knotens ist:

<math>\quad V(t) = 1.</math><ref>Unknot (en) auf MathWorld Aufgerufen am 25. September 2012</ref>

Sein Alexander-Polynom ist ebenfalls gleich 1.

Ein Knoten K in der 3-Sphäre ist genau dann trivial, wenn das Komplement <math>S^3\setminus K</math> homöomorph zum Volltorus ist.

1961 entwickelte der Mathematiker Wolfgang Haken einen Algorithmus, mit dem man bestimmen kann, ob ein Knotendiagramm einen trivialen Knoten zeigt oder nicht. Dazu verwendete er Seifert-Flächen und die Theorie normaler Flächen von Martin Kneser.<ref>{{#invoke:Vorlage:Literatur|f}}</ref><ref>Theorem of the Day: Haken's Unknot Theorem (PDF; 255 kB)</ref><ref>Haken, Theorie der Normalflächen, Acta Mathematica, Band 105, 1961, S. 245–375</ref> Der Algorithmus ist komplex und wurde nie implementiert. Haken zeigte damit die Entscheidbarkeit des Unknoten-Problems. Mit Hakens Algorithmus kann man allgemein entscheiden, ob zwei Haken-Mannigfaltigkeiten homöomorph sind. (Haken-Mannigfaltigkeiten sind irreduzible 3-Mannigfaltigkeiten, die eine inkompressible Fläche enthalten – im Falle eines Knotenkomplements ist die Seifert-Fläche diese inkompressible Fläche.)

Joel Hass, Jeffrey Lagarias und Nicholas Pippenger griffen die Theorie von Haken auf und zeigten, dass die normalen Flächen als ganzzahlige Punkte auf einem konvexen Kegel (ein hochdimensionales Polytop) dargestellt werden können, wobei eine Unknoten-Transformation einem extremalen Strahl auf dem Kegel entspricht. Der Unknoten-Algorithmus lässt sich dann auf ein Aufzählungsproblem der Knoten dieses Polytops zurückführen. Sie bewiesen 1999, dass Unverknotetsein in der Komplexitätsklasse NP ist, d. h. ein „Zertifikat“ dafür, dass ein Knoten trivial ist, lässt sich in polynomieller Zeit verifizieren.<ref>Hass, Joel; Lagarias, Jeffrey C.; Pippenger, Nicholas: The computational complexity of knot and link problems, Journal of the ACM 46(2), 185–211 (1999). Arxiv</ref> Die Nützlichkeit des Algorithmus für das Unknoten-Problem zeigte Benjamin Burton 2011, auch wenn er nicht in polynomialer Zeit ablief.<ref>Benjamin A. Burton, Maximal admissible faces and asymptotic bounds for the normal surface solution space, Journal of Combinatorial Theory, Series A, Band 118, 2011, S. 1410–1435, Arxiv</ref>

Unter der Annahme, dass die verallgemeinerte riemannsche Vermutung richtig ist, bewies Greg Kuperberg 2011, dass auch Verknotetsein in NP ist.<ref>Knoten und Komplexitätstheorie</ref> Ein Beweis, der die Riemannsche Vermutung nicht benutzt, wurde 2016 von Marc Lackenby gegeben.<ref>Marc Lackenby: The effizient certification of knottedness and Thurston norm</ref>

Es ist nicht bekannt, ob man mit dem Jones-Polynom den trivialen Knoten entdecken kann, d. h. ob <math>\quad V(t) = 1</math> nur für den trivialen Knoten gilt. Dies leistet aber die Heegaard-Floer-Homologie oder auch die Khovanov-Homologie.<ref>Peter Kronheimer, Tomasz Mrowka: Khovanov homology is an unknot-detector, Publications mathématiques de l'IHÉS, Juni 2011, Volume 113, Issue 1, pp 97–208.</ref>

Ein auch praktisch umgesetzter Unknoten-Algorithmus stammt von Joan Birman und Michael Hirsch<ref>Joan Birman, Michael Hirsch: A new algorithm for recognizing the unknot, Geometry and Topology, Band 2, 1998, S. 178–220, Arxiv</ref> und benutzt Blätterungen von Zöpfen (Braid foliations). 2001 schätzten Hass und Lagarias auch die Zahl der Reidemeister-Bewegungen für das Entknoten ab.<ref>Hass, Lagarias, The number of Reidemeister moves needed for unknotting, Journal of the American Mathematical Society, Band 14, 2001, S. 399–428, Arxiv</ref>

Weblinks

[{{canonicalurl:Commons:Category:{{#if:Unknots|Unknots|Trivialer Knoten}}|uselang=de}} Commons: {{#if:|{{{2}}}|{{#if:Unknots|Unknots|{{#invoke:WLink|getArticleBase}}}}}}]{{#switch:1

|X|x= |0|-= |S|s= – Sammlung von Bildern |1|= – Sammlung von Bildern{{#if: 

    | {{#switch: {{#invoke:TemplUtl|faculty|1}}/{{#invoke:TemplUtl|faculty|1}}
        |1/=  und Videos
        |1/1=, Videos und Audiodateien
        |/1=  und Audiodateien}}
    | , Videos und Audiodateien
  }}

|#default= – }}{{#if: Unknots 

   | {{#ifeq: {{#invoke:Str|left|unknots|9}} 
       | category:
| FEHLER: Ohne Category: angeben!}}}}

Vorlage:Wikidata-Registrierung

Einzelnachweise

<references />

Abgerufen von „https://wiki-de.moshellshocker.dns64.de/index.php?title=Trivialer_Knoten&oldid=2756151“