Solmu matematiikassa on ympyrän (yksiulotteisen pallon) upottaminen kolmiulotteiseen euklidiseen avaruuteen , jota pidetään isotoopiana . Soluteorian pääaine . Kaksi solmua ovat topologisesti samanarvoisia , jos toinen niistä voidaan muuttaa toiseksi, eikä muodonmuutosprosessissa pitäisi olla itseleikkauksia.
Erityinen tapaus on kysymys tietyn solmun triviaalisuuden tunnistamisesta, toisin sanoen siitä, onko tietty solmu isotooppinen triviaaliseen solmuun (voidaanko se irrottaa).
Erilaisia solmuinvariantteja voidaan käyttää määrittämään, onko tietty solmu triviaali, kuten Alexanderin polynomi tai komplementin perusryhmä . Yleensä ne voidaan laskea solmukaaviosta .
Topologiassa solmut huomioidaan vain suljetuilla linjoilla, koska sulkemattomia ei voida irrottaa [1] .
Solmu on kolmiulotteisen pallon tasainen osajoukko , homeomorfinen . Solmu ymmärretään suuntautuneeksi kolmiulotteiseksi palloksi, eikä ympyrän suunnalla yleensä ole merkitystä.
Solmun sanotaan olevan katkaistu , jos on olemassa kaksiulotteinen levy , joka (katso Boundary (topologia) ja Circle bundle ).
Solmut ovat samansuuntaisia , jos on olemassa tasaisesti upotettu rengas, joka leikkaa kohdassa ( ) (katso perhe (matematiikka) ). Knot cobordism ryhmä - cobordant orientoituneet solmut yhdistetty summaus operaatio . Tarkastellaan palloja pallona Jos parillinen, niin
Punoksen ja solmun käsitteet yleistyvät käsitteellä nippu. Yhteys tuloilla ja lähdöillä (eli -yhteys) on järjestelmä ei-leikkaavista kaareista ja ympyröistä, jotka on upotettu tasaisesti kaistaleeseen siten, että kaarien päät ovat pisteitä ja ympyrät ovat ns . liitännän komponentit [2] .
Shamrock - solmuon ensimmäinen ei-triviaali solmu ja ainoa solmu, jossa onkolme risteystä . Se on ensisijainen ja se on listattu numerolla 3 1 Alexander - Briggin notaatiossa . Dowkerin apilven merkintä on 4 6 2 ja Conwayn shamrockin merkintä on [3].
Apila on ei-triviaali, mikä tarkoittaa, että apilaa ei ole mahdollista "irrottaa" 3D-muodossa leikkaamatta sitä. Matemaattisesti tämä tarkoittaa, että apila ei ole isotooppi triviaaliseen solmuun . Erityisesti ei ole olemassa Reidemeisterin liikesarjaa , jolla solmu avautuu.
Kahdeksan , nelinkertainen solmu tai listaussolmu , solmuon yksi yksinkertaisimmista ei-triviaalisista solmuista. Kahdeksan edustaa symboli. Listing , Gaussin opiskelija,harkitsi sitä ensimmäisen kerran vuonna 1847 .
Apila on kiraalinen siinä mielessä, että apila eroaa omasta peilikuvastaan. Sharockin kaksi muunnelmaa tunnetaan vasenkätisenä ja oikeakätisenä. Vasemmanpuoleista varianttia on mahdotonta muuttaa jatkuvalla tavalla oikeanpuoleiseksi tai päinvastoin muodonmuutoksen avulla. (Toisin sanoen nämä kaksi apilaa eivät ole isotooppisia.)
Voidaan myös osoittaa, että apila (sekä oikea että vasen) ei ole isotooppi kahdeksaan.
Cinquefoil , joka tunnetaan myös nimellä solmuAlexanderin ja Briggsin merkinnässä, Potentilla-solmu ja Salomonin sinetti , on solmu, jonka leikkauskohtien lukumäärä (pienin mahdollinen itseleikkausten lukumäärä kaaviossa - tasainen kuvio - a) solmu) on viisi.
Monikomponenttisolmuissa komponenttien lukumäärä ilmoitetaan yläindeksissä: esimerkiksi kahden renkaan yhdistämisessä on symbolinen merkintä .
Nämä olivat esimerkkejä polynomisista [3] solmuista. Ei-polynomisolmu on villi solmu [4]
Villi solmu on euklidisessa avaruudessa sellainen solmu , jossa itsessään ei ole homeomorfia , jonka alta se siirtyy suljetuksi katkoviivaksi, joka koostuu rajallisesta määrästä segmenttejä.
Ympyrän esiintymien irrotetun summan upottamista ( useammin sen kuvaa) kutsutaan moninkertaisuuslinkiksi .
Moninkertaisuuslinkkiä kutsutaan solmuksi .
Tietyn linkin muodostavia solmuja kutsutaan sen komponenteiksi .
Solmuteoriassa solmun leikkausnumero on pienin määrä leikkauskohtia missä tahansa solmukaaviossa. Leikkausten lukumäärä on solmuinvariantti .
Esimerkiksi triviaalisessa solmussa on nolla risteystä, apilalla on kolme risteystä ja kahdeksalla on neljä risteystä.
Gordon-Lycken teoreema sanoo, että solmun komplementti ( topologisena avaruutena ) on solmun "täydellinen invariantti" siinä mielessä, että se erottaa tietyn solmun kaikista muista aina ympäristön isotoopiaan asti . ja peiliheijastus . Solmun komplementtiin liittyvien invarianttien joukossa on solmuryhmä , joka on yksinkertaisestisen komplementin perusryhmä .