Uniforminen monitahokas
Uniforminen monitahokas on monitahokas, jonka kaikki sivutahkot ovat säännöllisiä monikulmioita ja joka on kärkitransitiivinen, toisin sanoen se voidaan aina kuvata yhtenevyyskuvauksella itselleen siten, että mikä tahansa kärki voidaan kuvata mille tahansa toiselle. Tästä seuraa, että sen kaikki kärjet ovat yhtenevät.
Uniforminen monitahokas voi olla joko
Uniformisen monitahokkaan ei tarvitse olla kupera, joten monet uniformiset monitahokkaat ovat samalla tähtimonitahokkaita.
On olemassa kaksi ääretöntä uniformisten monitahokkaiden luokkaa sekä lisäksi vielä 75 näihin luokkiin kuulumatonta uniformista monitahokasta:Lisäksi on olemassa myös joukko degeneroituja uniformisia monitahokkaita, joissa osa särmistä yhtyy toisiinsa, muun muassa yksi John Skillingin löytämä, jota sanotaan "suureksi kaksoispullistetuksi dirombidodekaedriksi" eli Skillingin kuvioksi.
Uniformisten monitahokkaiden duaalikappaleet ovat sivutransitiivisia eli isoedrisiä, ja niiden kärkikuviot ovat säännöllisiä monikulmioita. Ne luokitellaan usein rinnakkain uniformisten duaalikappaleidensa kanssa. Säännöllisen monitahokkaan duaalikappale on säännöllinen, kun taas Arkhimedeen kappaleiden duaalit ovat Catalanin kappaleita.
Uniformisen monitahokkaan käsite on erikoistapaus uniformisen polytoopin käsitteestä, joka soveltuu myös muotoihin korkeampi- tai alempiulotteisessa avaruudessa.
Coxeter, Longuet-Higgins ja Miller määrittelivät vuonna 1954 uniformiset monitahokkaat kärkitransitiivisiksi monitahokkaiksi, joiden sivut ovat säännöllisiä monikulmioita. Monitahokkaan he määrittelivät sellaiseksi äärelliseksi joukoksi monikulmioita, että jokainen monikulmion sivu on tasan yhden toisenkin monikulmion sivuna, niin että millään monikulmioiden ei-tyhjällä aidolla osajoukolla ei ole samaa ominaisuutta. Monikulmiolla he impilisiittisesti tarkoittivat kolmiulotteisesessa euklidisessa avaruudessa olevaa monikulmiota; niiden sallitaan olla ei-kuperia ja leikata toisensa.
Uniformisen monitahokkaan käsitettä on erinäisillä tavoilla yleistetty. Jos ei edellytetä, että sellaisen on oltava yhtenäinen, voidaan myös useamman komponentin, esimerkiksi viiden kuution yhdistelmää pitää uniformisena. Jos ei edellytetä, että monitahokkaan on oltava degeneroitumaton, saadaan myös niin sanottuja degeneroituja uniformisia monitahokkaita. Tämä edellyttää, että monitahokkaan käsite on määriteltävä yleisemmin.
Branko Grünbaum kiinnitti vuonna 1994 julkaisemassaan artikkelissa huomiota siihen, että vaikka jo Eukleides luetteli viisi säännöllistä monitahokasta ja myöhemmin muun muassa Kepler, Poinsot, Hess ja Brückner olivat eri tavoin luokitelleet monitahokkaita, kukaan heistä ei ollut esittänyt itse monitahokkaan käsitteelle täsmällistä ja yksikäsitteistä määritelmää. Samassa artikkelissa hän itse esitti käsitteelle jokseenkin monimutkaisen määritelmän.
McMullen ja Schulte esittivät vuonna 2003 monitahokkaan käsitteelle yleisemmän määritelmän. Heidän mukaansa monitahokas on kaksiulotteinen abstrakti polytooppi, jolla on ei-degeneroitunut kolmiulotteinen realisaatio. Tässä abstrakti polytooppi on sen sivutahkojen yhdistelmä, joka toteuttaa useita ehtoja, ja realisaatio on kuvaus sen kärkien joukosta johonkin avaruuteen, ja realisaatiota sanotaan ei-degeneroituneeksi, jos millä tahansa kahdella abstraktin polytoopin tahkolla on erilliset realisaatiot.
Monitahokas voi olla "degeneroitunut" esimerkiksi seuraavilla tavoilla:
Säännölliset kuperat monitahokkaat:
Ei-säännölliset uniformiset kuperat monitahokkaat:
Säännölliset tähtimonitahokkaat:
Muut 53 ei-säännöllistä tähtimonitahokasta:
Kuperat uniformiset monitahokkaat voidaan nimetä Wythoffin konstruktio-operaatioilla sen mukaan, mikä on niiden suhde säännöllisiin monitahokkaisiin.
Yksityiskohtaisemmin kuperat uniformiset monitahokkaat luetellaan jäljempänä Wythoffin konstruktioiden mukaan kussakin symmetriaryhmässä.
Wythoffin konstruktio sisältää toistoja, jotka saadaan alemmista symmetrian muodoista. Kuutio on säännöllinen monitahokas ja samalla särmiö, jonka pohjana on neliö. Oktaedri on säännöllinen monitahokas ja samalla antiprisma, jonka tahkot ovat kolmioita. Oktaedri on samalla "typistetty tetraedri". Monet monitahokkaat saadaan toistamalla eri konstruktioita, ja sen mukaisesti ne on merkitty eri väreillä.
Wythoffin konstruktio soveltuu yhtä lailla myös uniformisiin monitahokkaisiin sekä pallopinnan uniformisiin tessellaatioihin, minkä vuoksi nekin ovat seuraavissa taulukoissa mukana. Pallopinnan laatoituksiin kuuluvat myös hosoedrit ja diedrit, jotka ovat degeneroituneita monitahokkaita.
Nämä symmetriaryhmät muodostetaan peilauksilla saaduista pisteryhmistä kolmessa ulottuvuudessa, ja kutakin niistä edustaa peruskolmio
("p" "q" "r"), missä "p" > 1, "q" > 1, "r" > 1 ja .Loput muodot, joilla ei ole peilaussymmetriaa, konstruoidaan alternaatiolla, toisin sanoen poistamalla joka toinen kärki sellaisesta monitahokkaasta, jolla on parillinen määrä tahkoja.
Särmiöiden ja niiden diedrisen symmetrian myötä Wythoffin konstruktioilla pallopinnalla saadaan lisää kaksi "säännöllisten" tessellaatioiden luokkaa, joita vastaavat monitahokkaat kuitenkin ovat degeneroituneita: diedrit, joilla on vain kaksi tahkoa, ja hosoedrit, joilla on vain kaksi kärkeä. Särmiöt saadaan säännöllisistä hosoedreista typistämällä.
Jäljempänä seuraavissa taulukoissa kuperat uniformiset monitahokkaat, särmiöitä lukuun ottamatta, on merkitty järjestysnumeroilla 1–18, ja ne on lueteltu symmetriaryhmiensä mukaan järjestettyinä.
Prismaattisia muotoja on äärettömän monta, ja ne jakautuvat neljään perheeseen:
Seuraavassa taulukossa ovat pallopinnan tessellaatiot, joilla on diedrinen symmetria:
Pallopinnan tetraedrisella symmetrialla (T saadaan viisi uniformista monitahokasta, ja kuudes saadaan pullistusoperaatiolla.
Tetraedrinen symmetria saadaan lähtemällä peruskolmiosta, jonka yhdessä kärjessä on kaksi peiliä, molemmissa muissa kaksi peiliä, ja sitä esittää symboli (3 3 2). Sitä esittää myös Coxeterin ryhmä A tai [3,3], taikka Coxeterin diagrammi: .
Näin saadaan 24 kolmiota, jotka muodostavat seuraavan tetrakis-heksaedrin tahkot ja jotka seuraavassa esitetään myös vuorottelevin värein pallon pinnalla:
Pallopinnan oktaedrisella symmetrialla (O) saadaan seitsemän uniformista monitahokasta, ja toiset seitsemän saadaan poistamalla näin saaduista joka toinen kärki. Näistä 14 muodosta kuusi on samoja, jotka esiintyvät myös edellä tetraedristesti symmetristen monitahokkaiden taulukossa.
Oktaedrinen symmetria saadaan lähtemällä peruskolmiosta (4 3 2), jossa nämä luvut tarkoittavat peilien lukumääriä sen kussakin kärjessä. Sitä esittää myös Coxeterin ryhmä B tai [4,3], taikka Coxeterin diagrammi: .
Näin saadaan 48 kolmiota, jotka muodostavat seuraavan disdyakis-dodekaedrin tahkot ja jotka seuraavassa esitetään myös vuorottelevin värein pallon pinnalla:
Pallopinnan ikosaedrisella symmetrialla (I) saadaan seitsemän uniformista monitahokasta sekä vielä yksi lisää poistamalla joka toinen kärki. Näin saaduista kahdeksasta muodosta vain yksi on sama, joka esiintyy myös edellä tetraedrisesti ja oktaedristen monitahokkaiden taulukoissa.
Oktaedrinen symmetria saadaan lähtemällä peruskolmiosta (5 3 2), jossa nämä luvut tarkoittavat peilien lukumääriä sen kussakin kärjessä. Sitä esittää myös Coxeterin ryhmä G tai [4,3], taikka Coxeterin diagrammi: .
Näin saadaan 120 kolmiota, jotka muodostavat seuraavan disdyakis-triakontaedrin tahkot ja jotka seuraavassa esitetään vuorottelevin värein pallon pinnalla:
Pallopinnan diedrisella symmetrialla (D) saadaan kaksi ääretöntä joukkoa uniformisia monitahokkaita, särmiöt ja antiprismat, sekä lisäksi kaksi ääretöntä joukkoa degeneroituja monitahokkaita, hosoedrit ja dihedrit, joita vastaavat tietyt laatoitukset eli tessellaatiot pallon pinnalla.
Diedrinen symmetria saadaan lähtemällä peruskolmiosta (p 2 2), jossa nämä luvut tarkoittavat peilien lukumääriä sen kussakin kärjessä. Sitä esittää myös Coxeterin ryhmä I(p) tai [n2], taikka Coxeterin diagrammi: .
Seuraavassa esitetään viisi ensimmäistä diedristä symmetriaa: D ... D. Diedrinen symmetria D on kertalukua "4n" ja esittää bipyramidin tahkoja. Pallopinnalla sitä vastaa päiväntasaaja pituussuunnassa sekä tasavälein "n" pituuspiiriä.
Diedrisellä symmetrialla D (2 2 2) saadaan 8 peruskolmiota, jotka muodostavat seuraavassa näkyvän neliöpohjaisen bipyramidin eli oktaedrin tahkot ja jotka seuraavassa esitetään myös vuorottelevin värein pallon pinnalla:
Diedrisellä symmetrialla D (3 2 2) saadaan 12 peruskolmiota, jotka muodostavat seuraavan kuusikulmaisen bipyramidin tahkot ja jotka seuraavassa esitetään myös vuorottelevin värein pallon pinnalla:
Diedrisellä symmetrialla D (4 2 2) saadaan 12 peruskolmiota, jotka muodostavat seuraavan kahdeksankulmaisen bipyramidin tahkot ja jotka seuraavassa esitetään myös vuorottelevin värein pallon pinnalla:
Diedrisellä symmetrialla D (4 2 2) saadaan 20 peruskolmiota, jotka muodostavat seuraavan kymmenkulmaisen bipyramidin tahkot ja jotka seuraavassa esitetään myös vuorottelevin värein pallon pinnalla:
Diedrisellä symmetrialla D (4 2 2) saadaan 24 peruskolmiota, jotka muodostavat seuraavan kaksitoistakulmaisen bipyramidin tahkot ja jotka seuraavassa esitetään myös vuorottelevin värein pallon pinnalla:
Uniformisia tähtimonitahokkaita, jotka eivät ole särmiöitä, on kaikkiaan 57. Ne voidaan muodostaa Wythoffin konstruktiolla Schwarzin kolmioista.
Uniformisista tähtimonitahokkaista neljä on säännöllisiä (Kepler-Poinsotin kappaleet), viisi kvasisäännöllistä ja loput 48 semiregulaarisia.
Eri tutkijat ovat numeroineet uniformiset monitahokkaat eri tavoin. Seuraavissa taulukoissa sarake C# tarkoittaa Coxeterin vuonna 1954, W# Wenningerin vuonna 1974 ja K# Kaleidon vuonna 1993 käyttämää numerointia. Coxeterin numeroinnissa kuperat muodot saivat numerot 15–32, kolme prismaattista muotoa numerot 33–35 ja ei-kuperat muodot numerot 36–92. Wenninger antoi Platonin kappaleille numerot 1–5, Arkhimedeen kappaleille numerot 6–18, tähtimäisille muodoille numerot 19–66, mihin sisältyy nyös neljä säännöllistä ei-kuperaa monitahokasta, sekä loput numerot 67–119 ei-kuperille uniformisille monitahokkaille. Kaleidon numeroinnissa 80 muotoa ryhmiteltiin symmetrian mukaan: numerot 1–4 kuuluivat sellaisten prismaattisten muotojen äärettömille perheille, joilla on diedrinen symmetria, numerot 6–9 tetraedrisesti, numerot 10–26 oktaedrisesti ja numerot 46–80 ikosaedrisesti symmetrisille kappaleille. U# tarkoittaa Mathematica -teoksessa käytettyä numerointia, joka eroaa Kaleidon numeroinnista siinä, että viisi prismaattista muotoa siirrettiin viimeisiksi, jolloin ei-prismaattiset muodot saivat numerot 1–75. Sarake ”Khii” taulukoissa tarkoittaa Eulerin karakteristikaa.
Särmiöt eivät ole mukana seuraavissa taulukoissa.
Luetteloon voidaan lisätä vielä seuraava "suuri kaksoispullistettu dirombododekaedri", jonka 360 särmästä 240 on pareittain päällekkäin muodostaen 120 kahden yhtyvän särmän paria. Koska sen särmät ovat tällä tavoin degeneroituneet, sitä ei aina lueta uniformisiin monitahokkaisiin kuuluvaksi. Jos nämä 120 paria lasketaan kukin yhdeksi särmäksi, jossa toisensa kohtaa neljä tahkoa, kappaleella on vain 240 särmää, ja sen Eulerin karakteristikaksi saadaan 24.