Solmuteoria

Solmuteoria on matematiikan ala, joka keskittyy solmujen tutkimukseen. Klassinen solmuteoria pyrkii vastaamaan kysymykseen: jos on annettu kaksi solmua, mistä voimme päätellä ovatko ne sama solmu vai eri solmuja. Tästä erikoistapauksena kysymys "onko annettu solmu avautuva?" Jos kaksi solmua sattuvat olemaan sama, niin sen osoittamiseen riittää saattaa ne samaan muotoon ja todeta, että ne tosiaan ovat samat. Jos taas solmut ovat eri solmuja, sen osoittamiseksi, että ne ovat eri solmuja tarvitaan invariantteja. Matemaattinen solmuteoria etsii näitä invariantteja.
On vaikea sanoa mihin matematiikan alaan solmuteoria kuuluu. Luonnollisin lähestymistapa on ajatella solmuteorian kuuluvan algebralliseen topologiaan. Solmuteoriaa voi kuitenkin tehdä myös kombinatorisesti tutkimalla solmukaavioita esimerkiksi tasoverkkoina.

Solmuteorian historia

Matemaattinen solmujen tutkimus sai ilmeisesti alkunsa 1800-luvulla, kun Karl Friedrich Gauss kiinnostui kytköksistä (link) ja määritteli tavan laskea kietoutumisluvun (linking number) integraalin avulla. Gaussin oppilas J.B. Listing jatkoi solmujen tutkimista. Vähän myöhemmin kiinnostus solmuteoriaa kohtaan kasvoi, kun Lordi Kelvin esitti teorian, että atomit ovat oikeastaan solmuja. Silloin vallitsi eetteriteoria, jonka mukaan maailmankaikkeus on täynnä eetteriä, joka toimii valoaaltojen kantajana. Kelvinin mukaan materia oli vain solmussa olevia eetteripyörteitä. Tämä sai huomiota ja nosti solmuteorian luonnollisesti mielenkiinnon kohteeksi. Aika nopeasti kuitenkin osoittautui, että eetteriä ei olekaan (Michelsonin ja Morleyn koe osoitti valon nopeuden riippumattomuuden koordinaatistosta, mikä on ristiriidassa eetterihypoteesin kanssa), ja fyysikoiden kiinnostus solmuteoriaa kohti laantui. Matemaatikoiden kiinnostus kuitenkin pysyi. Algebrallisen topologian isät Henri Poincaré, Max Dehn, J. W. Alexander ja Kurt Reidemeister tutkivat solmuja, ja pitkään heidän teoriansa olivat ainoat työkalut solmuteoriassa. 1970-luvulla solmuteoria pääsi taas vauhtiin, kun Vaughan Jones keksi Jonesin polynomin. Se avasi monia portteja solmuteoreetikoille. Jones sai työstään Fieldsin mitalin. Viime vuosikymmenillä solmuteorialla on alkanut olla uusia sovelluksia biologiassa ja kemiassa. Bakteerien DNA-molekyylit ovat usen syklimäisiä eli sulkeutuvat itseensä, jolloin ne voivat olla solmussa. Myös pienet molekyylit voivat olla solmussa, ja jos solmu on kiraalinen, niin molekyylin pelikuvalla voi olla erilaisia kemiallisia ominaisuuksia alkuperäiseen solmuun nähden.

Solmu

Riippumatta siitä tarkastellaanko solmua topologisesti vai kombinatorisesti, täytyy se määritellä topologisesti. Olkoon  yksikköympyrä. Solmu on upotus . Tätä määritelmää voi luonnollisesti yleistää ja on tutkittu -ulotteisen moniston  avaruuteen . Klassinen solmuteoria kuitenkin keskittyy mataliin ulottuvuuksiin ja kesyihin solmuihin. Kesy solmu on sileä tai paloittain lineaarinen upotus . Ideana se, että solmun jokaisella pisteellä on ympäristö, jossa solmu on avautuva. Jos ei vaadita upotukselta mitään muuta, niin solmulla saattaa olla niin kutsuttuja villejä pisteitä.

Solmujen ekvivalenssi

Topologisesti solmujen ekvivalenssi pitäisi määritellä siten, että tilanne vastaisi jollain tavalla narun venyttämistä ja kuljettamista avaruudessa itseään leikkaamatta. Tästä syntyy määritelmä

Solmujen ekvivalenssi

Vaikka tämä määritelmä ei ole ihan yhtä intuitiivinen (vaikka vähemmän tekninen), se on solmujen "virallinen" ekvivalenssi, joskin se antaa saman lopputuloksen kuin ylläoleva (katso lause alla).
Solmut f ja g  (käytämme helppouden vuoksi ) ovat ekvivalentteja, jos on olemassa suunnan säilyttävä homeomorfismi , joka vie toisen solmun toiselle: . Suunnansäilyttävä voidaan määritellä esimerkiksi niin, että se kuvaa homologiaryhmän  1-alkion 1-alkioksi. Toinen ja helpompi tapa on vaatia, että H on identtinen kuvaus pallon B(0,r) ulkopuolella. Nimittäin jos ajatellaan solmuja taas upotuksina avaruuteen , niiden kuvajoukot ovat kompakteja ja siten sisältyvät johonkin palloon B(0,r). Vaaditaan nyt, että H on tuon pallon ulkopuolella identtinen kuvaus. Silloin se on väistämättä suunnan säilyttävä. Myös mikä tahansa suunnan säilyttävä homeomorfismi voidaan muuttaa niin, että se on identtinen tarpeeksi kaukana.

Reidemeister ekvivalenssi

Kesystä solmusta voidaan aina piirtää solmukaavioita, joissa solmu on piirretty tasolle ja alimenokohdat ovat sopivasti merkitty.
Kurt Reidemeister todisti, että kolme Reidemeisterin liikettä ovat riittäviä ja välttämättömiä kahden ekvivalentin solmun
kaaviokuvien saamiseen toinen toisesta. Reidemeister liikkeet ovat esitetty seuraavissa kuvissa:

Ekvivalenssien ekvivalenssi

Lauseen todistus on esimerkiksi kirjassa Knots: Burde, Zieschang.
Lause: Yllä olevat neljä tapaa määritellä solmujen ekvivalenssi ovat kaikki yhtäpitäviä kesyille solmuille.

Topologinen lähestymistapa

Solmu on ympyrän homeomorfinen kuva, joten solmjen erotteleminen niiden sisäisen rakenteen kautta on topologisesti mieletöntä.
Sen sijaan solmun ympäröivän avaruuden muodolla on suuri rooli. Niinpä voidaan tutkia solmun komplementtia. Yksi tunnetuimmista
solmuinvarianteista on solmun komplementin perusryhmä. Tällaisia ryhmiä kutsutaankin solmuryhmiksi (knot group). Esimerkki tällä tavalla saadusta luokittelulauseesta on torussolmujen luokittelulause:
Epätriviaalisolmu, jonka komplementin perusryhmällä on epätriviaali keskus, on torussolmu.
Torussolmu on solmu, jonka saa menemään toruksen pinnalla, katso kuva.

Kombinatorinen lähestymistapa

Solmuinvariantteja voi rakentaa myös pelkästään katsomalla solmukaavioita ja tietämättä mitään topologiasta. Se on solmuteorian hieno ja harvinainen ominaisuus topologian alana.