Redigerer Knuteteori

[[Fil:TrefoilKnot 01.svg|thumb|200px|Trekløverknuten eller [[trikvetra]] har tre krysninger.]]
'''Knuteteori''' er den delen av [[topologi]]en som beskriver de [[matematikk|matematiske]] egenskapene til [[knute]]r. I motsetning til en vanlig knute på en snor hvor de to endene er frie (en [[knop (knute)|knop]]), omhandler knuteteori lukkete knuter hvor endene av snoren er sammenfestet slik at knuten ikke kan knytes opp. Danner snoren en enkel sløyfe uten knuter,  kalles sløyfen en '''nullknute''' og kan tegnes som en [[sirkel]].

Matematisk beskrives en knute som en avbildning av sirkelen inn i det tredimensjonale, [[euklidsk rom|euklidske rommet]] '''E'''<sup>3</sup>. To knuter anses som identiske hvis den ene kan forandres kontinuerlig over i den andre uten at snoren den er laget av, kuttes opp eller går gjennom seg selv. Hvis rommet derimot hatt fire [[dimensjon]]er, kunne alle knuter deformeres på denne måten  til nullknuten og dermed løsnes. Man kan derfor ikke knyte skoene sine i rom med mer enn tre dimensjoner.

En og samme knute kan se vidt forskjellig ut. Vanligvis fremstilles en knute ved et '''knutediagram''' som er en projeksjon av den på et plan. Hver slik projeksjon vil i alminnelighet se forskjellig ut. Der hvor to linjer krysser hverandre, kalles en '''krysning'''. Desto flere slike man har, desto mer komplisert kan knuten være. Men noen ganger kan den deformeres slik at noen eller alle krysningene forsvinner. Et fundamentalt problem i knuteteori er derfor å kunne avgjøre når to knutediagram representerer den samme knuten. Til det formål er det opp gjennom årene funnet stadig nye «knuteinvarianter» som er uavhengige av hvordan knuten beskrives. Dette er nå en sentral del av moderne [[topologi]].

[[Fil:Whiteheadlink.png|left
|thumb|200px|Whitehead-lenken har to komponenter som hver er nullknuter.]]
Det er vanlig å la knuteteori også omhandle '''lenker'''. Disse består av en eller flere knuter som er lenket sammen. Et vanlig, sirkulært bånd kan betraktes som en lenke med to komponenter hvor hver sidekant av båndet utgjør en knute og vanligvis fremstilles med hver sin farge. Et [[Möbius’ bånd|Möbius-bånd]] er derimot ingen lenke da dette bare har en sidekant.

Enhver 2-komponent lenke kan tilordnes et [[lenketall]] som er en topologisk invariant. Dette ble funnet av [[Gauss]] i 1833 og representerer begynnelsen av moderne knuteteori. Det ble gjenoppdaget av [[James Clerk Maxwell|Maxwell]] i 1867 i forbindelse med den matematiske beskrivelsen av [[Ampères sirkulasjonslov]] for det [[magnetfelt|magnetiske feltet]].

Knuteteori har praktiske anvendelser i beskrivelsen av [[polymer]]er og deres forskjellige konfigurasjoner. Spesielt har dette vært nyttig i forbindelse med å forstå [[DNA|DNA-molekylet]] og hvordan det kan pakkes tett sammen i forskjellige [[celle]]r. Dette molekylet kan ofte betraktes som en lenke bestående av to fosforiserte sukkerstrenger som danner et bånd. Et slikt bånd kan krølle seg opp i en knute som kan være vanskelig å løsne. Det tilsvarer den «båndsalat» som kan oppstå fra båndet i en [[kassettspiller]] når dette løsner fra spolen.

==Historikk==
Den matematiske beskrivelsen av knuter oppsto først på 1800-tallet i forbindelse med problemstillinger innen [[fysikk]]. Da [[Gauss]] oppdaget [[lenketall]]et i 1833, var dette i forbindelse med hans undersøkelse av [[Jordens magnetfelt|jordmagnetismen]] og inspirert av [[Ampères sirkulasjonslov]]. Hans resultat for denne topologiske invarienten uttrykt som et dobbeltintegral over de to sammenlenkete delene, ble først kjent etter hans død i 1867.<ref name = RN>R.L. Ricca and B. Nipoti,  [https://www.maths.ed.ac.uk/~v1ranick/papers/ricca.pdf ''Gauss' linking number revisited''], Journal of Knot Theory and Its Ramifications  '''20'''(10), 1325–1343 (2011),</ref>

[[Fil: unknots.svg|thumb|200px|left|Begge knutene er nullknuter, selv om den til høyre har to krysninger.]]
Denne interessen for knuter ble overtatt av [[Johann Benedict Listing]] som var en elev av Gauss og senere hans medarbeider. I denne forbindelsen skrev han verket 
''Vorstudien zur Topologie'' som kom ut i 1847. Det var her ordet [[topologi]] for første gang ble benyttet. Tidligere hadde denne delen av matematikken blitt omtalt som ''geometria situs'' (posisjonsgeometri) og opprinnelig innført av [[Leibniz]].<ref name = Silver>D.S. Silver, [http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.359.4688&rep=rep1&type=pdf ''Knot Theory’s Odd Origins''], American Scientist '''94''', 158-165 (2006).</ref>

Men selve oppblomstringen av knuteteori fant sted i [[Skottland]].  Her var [[Peter Guthrie Tait]] ansatt ved [[Universitetet i Edinburgh]] og hadde oversatt arbeidene til [[Hermann von Helmholtz|Helmholtz]] om [[virvelbevegelse]] eller vorteksteori i [[viskositet|ikke-viskøse]] væsker. Der hadde han hadde vist at ringvirvler var stabile, noe som Tait demonstrerte med røykringer. Dette fikk [[William Thomson]] (senere [[Lord Kelvin]]) i 1867 til å foreslå at [[atom]]ene kunne bestå av stabile vorteks i [[eter (fysikk)|eteren]]. Stabiliteten skulle da skyldes at de opptrådde som forskjellige knuter.  Desto mer komplisert knuten var, desto tyngre skulle det tilsvarende atomet være. Det store antall [[spektrallinje]]r typisk for hvert atom skulle skyldes de ulike tilstander av rotasjon og vibrasjon for et slikt vorteksatom.

[[Fil :Knot table.svg|thumb|400px|right|Primknuter med krysningstall opp til syv.]]
Dette inspirerte Tait til å klassifisere knuter på en systematisk måte. Han prøvde å finne alle knuter med opp til syv krysninger. Listen viste seg ikke å være fullstendig og ble senere utvidet av andre til å omfatte også mer kompliserte knuter. Disse detaljerte undersøkelsene til Tait etablerte knuteteori som en ny, matematisk disiplin. [[James Clerk Maxwell|Maxwell]] fattet også interesse for denne aktiviteten, men stilte seg mer skeptisk til ideen om vorteksatom. Da [[Michelson-Morley-eksperiment]]et i 1887 viste at det ikke finnes noen eter, forsvant interessen for denne atommodellen ganske raskt.<ref name = Silver/>

Etter [[Henri Poincaré]]s banebrytende oppdagelser innen topologien ved århundreskiftet tok knuteteori en mer analytisk retning. Deres klassifisering ble mer oversiktlig etter at [[Kurt Reidemeister]] i 1927 innførte veldefinerte transformasjoner av knutediagram som kunne forenkle hvert diagram til det med færrest krysninger. Man kunne nå også tilordne hver knute en [[chiralitet]], avhengig av om den er lik sitt eget speilbilde eller ikke.<ref name = Prz>J.H. Przytyckit, [https://www.maths.ed.ac.uk/~v1ranick/papers/przytycki2.pdf ''Classical Roots of Knot Theory''], Chaos, Solitons & Fractals, '''9''' (4/5), 531-545 (1998).</ref>

For å kunne skille forskjellige knuter med samme antall krysninger, ble det funnet forskjellige typer [[polynom]] som kunne kode denne ulikheten.  Av disse er «Alexander-polynomene» og de relaterte «Conway-polynomene» de mest kjente. I nyere tid har spesielt de såkalte «Jones-polynomene» spilt en viktig rolle. På 1980-tallet viste [[Edward Witten]] at disse kunne beregnes ved [[kvantefeltteori|Feynmans veiintegral]] basert på topologiske [[gaugeteori]]er i tre dimensjoner. Denne sammenhengen mellom [[kvanteteori]] og topologiske egenskaper til knuter har skapt stor interesse innen [[teoretisk fysikk]] i dag.<ref name = Kaul>R.K. Kaul, [https://arxiv.org/pdf/hep-th/9907119.pdf ''Topological Quantum Field Theories – A Meeting Ground for Physicists and Mathematicians''], arXiv:hep-th/9907119.</ref>

==Krysningstall==

For å kunne klassifisere knuter er '''krysningstallet''' ''K'' det enkleste og viktigste. Når knuten er avbildet ved forskjellige knutediagram, er krysningstallet definert som det minste antall krysninger som dermed fremkommer. Nullknuten har derfor krysningstallet ''K'' = 0. Krysningstallet er en topologisk invariant.<ref name = Adams>C.C. Adams, ''The Knot Book: An Elementary Introduction to the Mathematical Theory of Knots'', American Mathematical Society, Providence, RI (2001). ISBN 0-8218-3678-1.</ref>

[[Fil:Trefoil knot left.svg|thumb|200px|left|En av de to trekløverknutene.]] [[Fil:Blue Figure-Eight Knot.png|thumb|200px|right|Åttetallsknuten har ''K'' = 4.]]
Det finnes ingen knuter med krysningstall  ''K'' = 1 eller 2. Den enkleste, ikke-trivielle knuten har ''K'' = 3. Denne kalles gjerne for «trekløverknuten» og tilsvarer den gamle [[trikvetra]]figuren. Man kan lage den ved å feste sammen endene til en [[burknop]]. Da trekløverknuten kan skilles fra sitt eget speilbilde hvor underkrysninger går over i overkrysninger og omvendt, har den en bestemt [[chiralitet]]. Vanligvis skiller man ikke mellom disse to versjonene.

Hvis man fester sammen endene til en [[åttetallsknop]], fremkommer «åttetallsknuten». Den har krysningstall ''K'' = 4 og er identisk med sitt eget speilbilde. Det finnes ingen andre knuter med samme krysningstall.

Øker krysningstallet ut over 4, finner man stadig flere knuter. Noen av disse kan forenkles ved å betrakte dem som sammensatt av enklere '''primknuter'''. Disse spiller samme rolle som [[primtall]]ene i [[tallteori]]. Klassifisering av alle knuter blir dermed redusert til å finne alle primknutene. Dette programmet ble startet allerede av Tait og har fortsatt frem til i dag og fullført for primknuter med ''K'' &le; 16.<ref name = Silver/>

[[Fil:Sum of knots3.png|thumb|360px|right|Denne knuten er satt sammen av en trekløverknute 3<sub>1</sub> til venstre og en åttetallsknute 4<sub>1</sub> til høyre. De er begge primknuter.]]
For hvert krysningstall ''K'' > 4 finnes det flere enn en primknute. Det er derfor blitt vanlig å angi dem med notasjon ''K<sub>n</sub>&thinsp;'' hvor ''n'' = 1,2,3,... angir hvilken primknute man mener med krysningstallet ''K''. Her skilles det ikke mellom «chirale» og «achirale» knuter. I denne notasjonen  finnes det derfor bare en trekløverknute 3<sub>1</sub>. Det finnes også bare en knute med krysningstall ''K'' = 4, og det er åttetallsknuten 4<sub>1</sub>. Men det er to primknuter 5<sub>1</sub> og 5<sub>2</sub> med krysningstall ''K'' = 5 og tre med ''K'' = 6. Mens det er syv med ''K'' = 7, øker antallet stadig raskere for større krysningstall. Mens det er 165 primknuter med ''K'' = 10, er det hele {{nowrap|1&thinsp;388&thinsp;705}} med ''K'' = 16.<ref name = Adams/>

==Reidemeister-bevegelser==
En og samme knute kan fremstilles på et stort antall forskjellige måter avhengig av hvordan den projiseres på et plan. Knutediagrammene som på den måten fremkommer, vil i alminnelighet derfor ha forskjellige antall krysninger, og det er ikke uten videre opplagt hvordan man kan vite at to diagram beskriver den samme knuten. To slike diagram sies da å være «isotope».

{| align="right" style="text-align:center"
|+ '''Reidemeister-bevegelser:'''
|- style="padding:1em"
| [[Image:Reidemeister move 1.png|130px|]] [[Fil:Frame left.png]] || [[Image:Reidemeister move 2.png|210px]]
|-
| '''Type-1''' || '''Type-2'''
|- style="padding:1em"
| colspan="2" | [[Image:Reidemeister move 3.png|360px]]
|-
| colspan="2" | '''Type-3'''
|}

I 1927 viste den tyske matematiker [[Kurt Reidemeister]] at alle isotope diagram kan genereres ved tre basale forforflytninger eller bevegelser av linjene i et diagram. Dette kan benyttes til å ordne alle knutediagram i [[ekvivalensrelasjon|ekvivalensklasser]] som tilsvarer forskjellige knuter i rommet.<ref name = Reidemeister>K. Reidemeister, ''Elementare Begründung der Knotentheorie'', Abh. Math. Sem. Univ. Hamburg, '''5''' (1), 24–32 (1927).</ref>

Den første Reidemeister-bevegelsen med navnet '''Type-1''' tilsvarer at en liten del av snoren som utgjør knuten, vrides om seg selv. På den måten omstår det en sløyfe i knutediagrammet slik at antall krysninger øker med en. Tilsvarende kan denne bevegelsen også redusere antall krysninger med samme beløp. I en '''Type-2''' bevegelse flyttes to buer som ligger over eller under hverandre i diagrammet, slik at de ikke lenger krysser hverandre. Antall krysninger reduseres dermed med to. På samme måte kan denne bevegelsen øke antall krysninger med to. Ved den siste bevegelsen av '''Type-3''' flyttes en linje i diagrammet over eller under en krysning uten at antall krysninger forandres.

I arbeidet med å klassifisere forskjellige knuter ved å kunne tilordne dem bestemte «knuteinvarianter», har Reidemeister-bevegelsene hatt stor betydning. Det er da kun nødvendig å vise at de forblir uforandret under disse tre bevegelsene. Er det tilfelle, har de samme verdi for alle fremstillinger av knuten ved forskjellige knutediagram.

==Jones-polynom==

Krysningstallet ''K'' er per definisjon en knuteinvariant. Men for høyere krysningstall er det vanligvis mange forskjellige knuter med samme krysningstall. For å skille disse har mye av knuteteori bestått av søken etter andre matematiske størrelser som er invariante og kan benyttes i denne sammenhengen.
Mest vellykket har etableringen av forskjellige [[polynom]] som kan tilordnes hver knute. De ble i stor grad funnet ved bruk av de tre Reidemeister-bevegelsene og [[kombinatorikk]].<ref name = Adams/>

Av disse er [[Jones-polynom]]ene de nyeste og har vært av størst interesse i nyere tid. De ble etablert i 1984 av den [[New Zealand|newzealandske]] matematiker [[Vaughan Jones]]. De viste seg i tillegg å kunne relateres til diskrete, todimensjonale [[spinn]]-modeller i [[statistisk fysikk]] og topologiske [[gaugeteori]]er i tre dimensjoner.<ref name = Kaul/>

Jones-polynomet er definert slik at for nullknuten skal det være ''V''(''q'') = 1. For de fleste ikke-trivielle knuter er det vanligvis et «Laurent-polynom» da det kan inneholde også negative potenser av ''q''.  Denne variable kan tilordnes en verdi i de fysiske modellene hvor disse topologiske polynomene opptrer.

Det finnes rekursive metoder for systematisk beregning av Jones-polynom. Mens det for en høyrevridd trekløverknute er

: <math> V_{3/1}(q) = q + q^3 - q^4 </math>,

vil det være  ''q''<sup> -&thinsp;1</sup> + ''q''<sup> -&thinsp;3</sup> - ''q''<sup> -&thinsp;4</sup>  for den tilsvarende venstrevridde utgaven av knuten. De to polynomene er forbundet med transformasjonen {{nowrap|''q'' &rarr; ''q''<sup> -1</sup>}}. Derimot for åttetallsknuten 4<sub>1</sub> er Jones-polynomet

: <math> V_{4/1}(q) = q^2 - q + 1 - q^{-1} + q^{-2} </math>

som er invariant under denne substitusjonen. Det tilsvarer at åttetallsknuten er lik med sitt eget speilbilde.

For krysningstall ''K'' = 5 er der to forskjellige knuter. For den ene 5<sub>1</sub> er Jones-polynomet

: <math> V_{5/1}(q)  = - q^{-7} + q^{-6} - q^{-5} + q^{-4} + q^{-2} </math>,

mens primknuten 5<sub>2</sub>  kan tilordnes polynomet

: <math> V_{5/2}(q)  = - q^{-6} + q^{-5} - q^{-4} + 2q^{-3} - q^{-2} +  q^{-1} </math>.

Ved å kjenne Jones-polynomene til de enkleste primknutene, kan man finne polynomene for sammensatte knuter ved direkte multiplikasjon av polynomene for primfaktorene.<ref name = Adams/>

==Se også==
* [[Knop (knute)|Knop]]
* [[Knute]]

== Referanser ==
<references/>

==Litteratur==
* A. Sossinsky, ''Knots: Mathematics with a twist'', Harvard University Press, Cambridge MA (2002). ISBN 0-674-00944-4.

==Eksterne lenker==
* University of Wales, [http://www.groupoids.org.uk/popmath/cpm/exhib/knotexhib.html ''Mathematics and Knots''], litt av hvert om knuter, presentert av Division of Mathematics, School of Informatics, University of Wales, Bangor.
* Wolfram MathWorld, [http://mathworld.wolfram.com/Knot.html ''Knot''], med nyttige lenker.
* A. Ranicki, [https://www.maths.ed.ac.uk/~v1ranick/knots/ ''Knot Theory''], University of Edinburgh webside med originale arbeider.
* J. Roberts, [http://math.ucsd.edu/~justin/Papers/knotes.pdf ''Knots Knotes''], UCSD lecture notes.

{{Autoritetsdata}}

[[Kategori:Algebraisk topologi]]
[[Kategori:Geometrisk topologi]]
[[Kategori:Knuter]]