Kuva kahdeksan (solmuteoria)

Kahdeksan
Merkintä
Conway [22]
Alexander-Briggs 4 1
Dowker 4, 6, 8, 2
Polynomit
Aleksanteri
Jones  
Conway
Invariantit
Arfa invariant yksi
Punoksen pituus neljä
Lankojen lukumäärä 3
Siltojen määrä 2
Elokuvien määrä 2
Risteysten lukumäärä neljä
Suku yksi
Hyperbolinen tilavuus 2,02988
Segmenttien lukumäärä 7
Irrota numero yksi
Ominaisuudet
Yksinkertainen , hyperbolinen , vuorotteleva , täysin amfikiraalinen , kerrostunut , kierretty
 Mediatiedostot Wikimedia Commonsissa

Solmuteoriassa kahdeksasluku ( neljässolmu tai Listing-solmu ) on ainoa solmu, jossa on neljä leikkauskohtaa . Tämä on pienin mahdollinen määrä risteyksiä triviaalisolmua ja apilaa lukuun ottamatta . Kahdeksanluku on yksinkertainen solmu . Listing harkitsi ensimmäisen kerran vuonna 1847 .

Nimen alkuperä

Nimi tulee kotimaisesta kahdeksansolmun hahmosta köydellä, jonka päät ovat yhteydessä toisiinsa.

Kuvaus

Yksinkertainen parametrinen esitys kahdeksaslukusolmusta saadaan pistejoukolla ( x , y , z ), joille

missä t  on todellinen muuttuja.

Kuvio kahdeksan on yksinkertainen , vuorotteleva , rationaalinen solmu, jonka vastaava arvo on 5/2. Se on myös kiraalinen solmu . Kuvio kahdeksan on kerrostettu solmu. Tämä seuraa toisesta, vähemmän yksinkertaisesta (mutta mielenkiintoisemmasta) solmun esityksestä:

  1. Solmu on homogeeninen [1] suljettu punos (eli punoksen sulkeminen, jossa on 3 säiettä σ 1 σ 2 −1 σ 1 σ 2 −1 ), ja John Stallingsin lause osoittaa, että mikä tahansa homogeeninen punos on kuitu .
  2. Solmu on linkki kohdassa (0,0,0,0), todellisen polynomikartan F : R 4 → R 2 eristetty kriittinen piste , joten ( John Milnorin lauseen mukaan ) Milnor- kartta F on nippu. Bernard Perron löysi ensimmäisen tällaisen funktion F tälle solmulle, nimittäin:

missä

.

Ominaisuudet

Kahdeksan hahmon solmulla oli historiallisesti tärkeä rooli (ja pelaa sitä edelleen) 3- sarjan teoriassa . Joskus 1970-luvun puolivälissä William Thurston osoitti, että kahdeksasluku oli hyperbolinen solmu hajottamalla sen komplementin kahdeksi täydelliseksi hyperboliseksi tetraedriksi (itsenäisesti työskentelevät Robert Riley ja Troels Jørgensen olivat aiemmin osoittaneet, että kahdeksasluku oli hyperbolinen toisessa järkeä). Tämä tuolloin uusi rakennelma johti hänet moniin tehokkaisiin tuloksiin ja menetelmiin. Hän esimerkiksi pystyi osoittamaan, että kaikki paitsi kymmenen Dehnin leikkausta kahdeksaan solmun kohdalla tuottavat ei-Hacken hajoamattomia 3-jakoputkia , jotka eivät hyväksy Seifertin fibraatiota . Tämä oli ensimmäinen tällainen tulos. Monet muut löydettiin yleistämällä Thurstonin rakennetta muihin solmuihin ja linkkeihin.

Luku kahdeksan on myös hyperbolinen solmu, jonka tilavuus on pienin mahdollinen 2,029 88…, Cho Chunin ja Robert Meyerhoffin työn mukaan. Tästä näkökulmasta kahdeksaslukua voidaan pitää yksinkertaisimpana hyperbolisena solmuna. G-8-komplementti on Gieseking-jakotukin kaksoiskansi , jolla on pienin tilavuus ei-kompaktien hyperbolisten 3-jakotukkien joukossa.

Kahdeksan hahmon solmu ja pitsisolmu (−2,3,7) ovat kaksi hyperbolista solmua, joille tunnetaan yli kuusi erikoisleikkausta , Dehn-leikkaukset, jotka johtavat ei-hyperbolisiin 3-sarjaan. Heillä on vastaavasti 10 ja 7. Lackenbyn ja Meyerhofin lause, jonka todistus perustuu geometrisointilauseeseen ja tietokonelaskelmien käyttöön , sanoo, että 10 on suurin mahdollinen määrä yksittäisiä leikkauksia kaikille hyperbolisille solmuille. Vielä ei kuitenkaan ole varmistettu, onko kahdeksan ainoa solmu, jossa raja 10 saavutetaan. Tunnettu olettamus väittää, että alaraja (lukuun ottamatta kahta mainittua solmua) on 6.

Kuvio kahdeksan muodostaa singulaarisuuden euklidisessa avaruustekijässä P213 :n vaikutuksesta . Lisäksi kuvio kahdeksan on ainoa solmu, joka muodostaa singulaarisuuden euklidisessa tilatekijässä kristallografisten ryhmien yli.

Invariantit

Alexanderin polynomi kahdeksan on

Conway-polynomi on

[2]

ja Jones-polynomi on

Symmetria Jones-polynomin suhteen ja sen sisällä heijastaa kahdeksaan hahmon akiraalisuutta.

Muistiinpanot

  1. Punos kutsutaan homogeeniseksi, jos mikä tahansa generaattori on joko aina positiivinen tai aina negatiivinen.
  2. 4_1 Arkistoitu 9. helmikuuta 2006 Wayback Machine Knot Atlasissa

Kirjallisuus

Linkit