Torus
Torus on geometriassa pyörähdyspinta, joka syntyy ympyrän pyörähtäessä kolmiulotteisessa avaruudessa ympyrän kanssa samassa tasossa olevan akselin ympäri. Jos pyörähdysakseli ei leikkaa eikä kosketa ympyrää, torus on renkaan muotoinen. Suunnilleen tämänlaisen toruksen muotoisia pintoja ovat esimerkiksi autojen ja polkupyörien renkaat, varsinkin niiden sisäkumit, sekä pelastusrenkaat. Nimitystä torus käytetään joskus myös tämänmuotoisen pinnan rajoittamasta kappaleesta, toroidista. Suunnilleen toroidin muotoisia kappaleita ovat tyypillisesti esimerkiksi sormukset sekä myös munkkirinkilät eli donitsit.
Topologiassa torus on mikä tahansa pinta, joka on homeomorfinen kahden ympyrän karteesisen tulon S1 × S1 kanssa, kun tämä varustetaan tulotopologialla. Se on kompakti kaksiulotteinen monisto, jonka genus on 1. Topologinen torus voidaan muodostaa taivuttamalla pitkä ja kapea suorakulmio lieriöksi, liimaamalla sen vastakkaiset sivut yhteen ja sen jälkeen vielä taivuttamalla näin saatu lieriö pituussuunnassa ympyrän muotoon ja liimaamalla sen vastakkaiset päät yhteen.[1] Matemaattisesti symmetrisempi toruksen topologisen määritelmän toteuttava pinta on kuitenkin Cliffordin torus, joka kahden ympyrän karteesisena tulona saatava pinta. Sellaisenaan sitä ei tosin ei voida toteuttaa kolmiulotteisessa avaruudessa , mutta se voidaan kyllä upottaa neliulotteiseen avaruuteen .
Torus geometriassa
[muokkaa | muokkaa wikitekstiä]Torus voidaan määritellä parametrimuodossa seuraavasti:[2]
missä
- θ ja φ ovat kulmamuuttujia, jotka voivat saada kaikki arvot 0:n ja 2π:n väliltä
- R on renkaan keskipisteen etäisyys toruksen keskellä olevan "reiän" keskipisteestä, ja
- r on renkaan säde.
Sädettä R sanotaan toruksen "suureksi säteeksi" (engl. major radius) ja sädettä r sen "pieneksi säteeksi" (engl. minor radius).[3] Suhdetta R/r sanotaan aspektisuhteeksi. Tavallisella donitsilla aspektisuhde on yleensä arvojen 2 ja 3 välillä.
Karteesisissa koordinaateissa torusta, joka on säteittäissymmetrinen z-akselin suhteen, esittää yhtälö
- ,
toisin sanoen sen muodostavat yhtälön f(x, y, z) = 0 ratkaisut, kun
Tämä voidaan esittää yhtäpitävästi myös neljännen asteen yhtälöllä, joissa ei ole neliöjuuria:
Näin muodostettu torus ei kuitenkaan aina ole renkaan muotoinen, vaan sen muoto riippuu siitä, kumpi säteistä R ja r on suurempi:
- Jos R > r, on kyseessä tavallinen renkaanmuotoinen torus.
- Jos R = r, on kyseessä torvimainen torus, jossa ei ole keskellä reikää.
- Jos R < r, on kyseessä itsensä leikkaava sukkulamainen torus.
- Jos R = 0, torus surkastuu muodoltaan pallopinnaksi.[2]
Kun R ≥ r, toruksen sisään jäävä kappale eli toroidi
on diffeomorfinen ja niin ollen myös homeomorfinen avoimen kiekon ja ympyrän karteesisen tulon kanssa.
Toruksen pinta-alalle ja toroidin tilavuudelle voidaan Pappuksen–Guldinin lauseen nojalla johtaa lausekkeet:
Nämä kaavat voidaan kirjoittaa myös käytännöllisiin, toruksesta suoraan mitattavissa oleviin suureisiin perustuviin muotoihin:
- ,
missä on poikkileikkauksen ympärysmitta, poikkileikkauksen halkaisija ja toruksen (suurin) ympärysmitta.
Pinta-ala ja tilavuus ovat siis yhtä suuret kuin sellaisen lieriön, jonka pituus on 2πR ja pohjapinnan säde r. Sellainen lieriö voitaisiin saada leikkaamalla putki ja vetämällä se suoraksi. Putken keskikohdan sisäpuolella oleva osa toruksen pinta-alasta ja tilavuudesta on pienempi kuin lieriöllä, mutta ulkopuolella oleva osa juuri sen verran suurempi, että nämä erotukset täsmälleen kumoavat toisensa.
Jos taas toruksen uloimman pinnan sädettä merkitään p:llä ja sisimmän pinnan sädettä q:llä (niin että ja ), toruksen pinta-ala ja toroidin tilavuus on:
Koordinaatit toruspinnalla
[muokkaa | muokkaa wikitekstiä]Koska torus on kahden ympyrän tulo, sen pinnalla olevan pisteen sijainti voidaan ilmoittaa eräänlaisella muunnetulla versiolla pallokoordinaateista.
Tavanomaisissa pallokoordinaateissa pisteen sijainti voidaan ilmaistaa kolmella luvulla: R eli etäisyys origosta sekä kulmat θ ja φ, jotka määritellään valittujen pisteen avulla samaan tapaan kuin maan pinnalla leveys- ja pituusasteet on määritelty napojen Greenwichin avulla.
Toruspinnalla koordinaatit sen sijaan määritellään, että toinen niistä, kulma φ osoittaa etäisyyden toruksen keskellä olevan "reiän" keskipisteestä. Sitä sanotaan toroidikseksi suunnaksi. Toinen koordinaatti θ taas osoittaa, missä suunnassa piste on toruksen putken keskellä kulkevasta, edellä mainitun keskipisteen ympäri kiertävästä ympyrästä. Sitä sanotaan poloidiseksi suunnaksi.
Näitä termejä on ensin käytetty maan magneettikentän yhteyessä, jolloin "poloidinen" merkitsi "suuntaa kohti napoja".[4] Nykyisin niitä käytetään varsinkin fuusioreaktoreihin suunniteltujen voimakkaiden magneettien yhteydessä, joilla vetyplasma saataisiin pidetyksi paikoillaan.
Torus topologiassa
[muokkaa | muokkaa wikitekstiä]Topologiassa torus on suljettu pinta, jonka määritellään kahden ympyrän karteesisena tulona varustettuna tulotopologialla:S1 × S1. Sen voidaan ajatella sijaitsevan kompleksisessa koordinaattiavaruudessa , ja se on -säteisen 3-pallon S3 osajoukko.
Topologisesti torukseksi voidaan kuitenkin käsittää yhtä hyvin myös mikä tahansa pinta, joka on homeomorfinen näin määritellyn toruksen kanssa. Edellisessä osiossa käsitellyistä geometrisista toruksista vain rengasmainen torus on torus myös tässä topologisessa mielessä. Cliffordin torus voidaan kuvata homeomorfisesti tällaiselle geometriselle torukselle esimerkiksi projisoimalla se stereografisesti :een S³:n käsin.
Toisaalta topologinen torus voi olla geometriselta muodoltaan mutkikkaampikin: esimerkiksi myös tavallisen (korvallisen) kahvikupin pinta on homeomorfinen tavallisen toruksen kanssa, mikä on antanut aiheen määritellä topologi leikillisesti "henkilöksi, joka ei näe eroa munkkirinkilän ja kahvikupin välillä".[5][6]
Torus voidaan myös kuvailla karteesisen tason tekijäavaruutena, kun tehdään seuraavat samastukset:
tai yhtäpitävästi yksikköneliön tekijäavaruutena, kun vastakkaiset sivut yhdistetään, mitä voidaan kuvata perusmonikulmiolla ABA−1B−1.
Algebrallisesa topologiassa ympyrän perusryhmä on isomorfinen kokonaislukujen ryhmän kanssa.[7] Tästä seuraa, että toruksen perusryhmä on ympyrän perusryhmän suora tulo itsensä kanssa:
Intuitiivisesti tämä merkitsee sitä, että suljettu silmukka, joka kiertää ensin toruksen keskellä olevan "reiän" ympäri (toroidisessa suunnassa, esimerkiksi sitä kiertävää ympyrää myöten, joka muodostaa toruspinnan "leveyspiirin") ja sitten toruksen renkaan ympäri (poloidisessa suunnassa, esimerkiksi sellaista ympyrää myöten, joka muodostaa toruksen "pituuspiirin"), voidaan jatkuvalla muunnoksella muuntaa silmukaksi, joka kiertää ensin renkaan ja sitten reiän. Niinpä puhtaasti leveyssuuntaiset ja puhtaasti pituussuuntaiset polut kommutoivat.
Jos torukseen puhkaistaan reikä eli siitä poistetaan yksi piste (tai pieni alue), jäljelle jäävä pinta voidaan jatkuvalla muunnoksella kääntää nurinpäin, sisäpuoli ulospäin, mutta sen pituussuuntaiset ympyrät muuttuvat leveyssuuntaisiksi ja päinvastoin.[8] Tämä vastaa sitä, miten torus voidaan muodostaa lieriöstä kahdella eri tavalla: joko ulkopuolitse kuten yhdistämällä puutarhaletkun molemmat päät tai sisäpuolitse kuten käärimällä rikkinäinen sukka, josta varpaat pistävät esiin. Kun lisäksi lieriö voidaan muodostaa suorakulmiosta liimaamalla sen kaksi vastakkaista sivua yhteen, voidaan tämä tehdä kahdella tavalla liimaamalla joko vaaka- tai pystysuorat sivut, jolloin riippuen siitä, kummat sivut liimataan toisiinsa, alkuperäiseen suorakulmioon mahdollisesti merkityt raidat tulevat joko pitkittäisiksi tai poikittaisiksi, lieriön ympäri kierretyiksi, riippuen siitä, kummalla tavalla tehdään.
Toruksen ensimmäinen homologiaryhmä on isomorfinen sen perusryhmän kanssa. Tämä seuraa Hurewiczin lauseesta, koska toruksen perusryhmä on Abelin ryhmä.
Toroidiset monitahokkaat
[muokkaa | muokkaa wikitekstiä]Monitahokkaita, jotka topologisesti ovat toruksen kaltaisia, sanotaan toroidisiksi monitahokkaiksi. Niiden Eulerin karakteristika on
- ,
missä V on monitahokkaan kärkien, E särmien ja F tahkojen lukumäärä.
Vastaavasti monitahokkailla, joissa on useampia "reikiä", Eulerin karakteristika on
- ,
missä N on reikien lukumäärä.
Toruksen väritys
[muokkaa | muokkaa wikitekstiä]Jos toruspinta jaetaan alueisiin ja ne halutaan värittää siten, että mitkään kaksi toisiinsa rajoittuvaa aluetta eivät tule samanvärisiksi, tämä käy aina päinsä niin, että ei tarvita enempää kuin seitsemän väriä.[9] Toisin kuin tasolla, neljä väriä ei siis aina riitä. Tämä torusta koskeva tulos oli todistettu topologisesti jo kauan ennen kuin Kenneth Appel ja Wolfgang Haken vuonna 1976 todistivat tietokoneen avulla tasoalueita koskevan vastaavanlaisen neljän värin lauseen.[9]
Lähteet
[muokkaa | muokkaa wikitekstiä]- Kozak Ana Maria, Pompeya Pastorelli Sonia, Verdanega Pedro Emilio: Nociones de Geometría Analítica y Álgebra Lineal. Vuoden 2007 painos. McGraw-Hill, 2007. ISBN 978-970-10-6596-9. (espanjaksi)
- Allen Hatcher: Algebraic Topology. Cambridge University Press, 2002. ISBN 0-521-79540-0. Teoksen verkkoversio.
- V. V. Nikulin, I. R. Shafarevich: Geometries and Groups. Springer, 1987. ISBN 3-540-15281-4, ISBN 978-3-540-15281-1. .
- Tore (notion géométrique Encyclopédie des Formes Mathématiques Remarquables.
Viitteet
[muokkaa | muokkaa wikitekstiä]- ↑ Jussi Väisälä: ”Tekijätopologia, kohta 6.11, esimerkki 3”, Topologia II, s. 32. Limes ry, 1981. ISBN 951-745-082-6.
- ↑ a b Eric W. Weissttein: Torus Wolfram MathWorld. Viitattu 4.8.2017.
- ↑ Spatial Corp. doc.spatial.com. Viitattu 4.8.2017.
- ↑ Oxford English Dictionary Online (Poloidal) Oxford University Press. Viitattu 4.8.2017.
- ↑ David Bergamini: ”Topologia, muodonmuutosten matematiikkaa”, Lukujen maailma, s. 176–178. Suomentanut Pertti Jotuni. Sanoma Oy, 1972.
- ↑ Jussi Väisälä: ”Topologisen avaruuden kuvaukset”, Topologia II, s. 13. Limes ry, 1981. ISBN 951-745-082-6.
- ↑ Jussi Väisälä: ”Ympyrän perusryhmä”, Topologia II, s. 125. Limes ry, 1981. ISBN 951-745-082-6.
- ↑ David Bergamini: ”Topologisten muutosten muovautuva maailma”, Lukujen maailma, s. 178. Suomentanut Pertti Jotuni. Sanoma Oy, 1972.
- ↑ a b David Bergamini: ”Topologian värilauseet”, Lukujen maailma, s. 184–185. Tässä kirjassa sanotaan, että torusta koskeva tulos oli voitu todistaa (siis ennen kirjan laatimista), mutta tasoalueita koskevaa neljän värin lausetta ei.. Suomentanut Pertti Jotuni. Sanoma Oy, 1972.
Aiheesta muualla
[muokkaa | muokkaa wikitekstiä]Kuvia tai muita tiedostoja aiheesta Torus Wikimedia Commonsissa
Kirjallisuutta
[muokkaa | muokkaa wikitekstiä]- Kivelä, Simo K.: Algebra ja geometria. Espoo: Otatieto, 1989. ISBN 951-672-103-6.