Kvasisäännöllinen monitahokas

**Kvasisäännöllinen monitahokas** on semiregulaarinen monitahokas, jolla on sivutahkoina kahdenlaisia säännöllisiä monikulmioita, jotka vuorottelevat monitahokkaan jokaisen kärjen ympärillä. Ne ovat särmätransitiivisia, eli ne voidaan kuvata yhtenevyyskuvauksella itselleen siten, että mikä tahansa niiden särmistä voi kuvautua mille tahansa toiselle, ja tässä suhteessa ne muistuttavat säännöllisiä monitahokkaita enemmän kuin semiregulaariset monitahokkaat, jotka ovat vain kärkitransitiivisia. 

Kvasisäännöllisten monitahokkaiden duaalikappaleita sanotaan myös joskus kvasisäännöllisiksi. Ne kuitenkaan eivät ole kärkitransitiivisia, mutta kylläkin tahkotransitiivisia, ja niissä vuorottelee kaksi erilaista säännöllistä kärkikuviota.

On olemassa vain kaksi kuperaa kvasisäännöllistä monitahokasta, kuboktaedri ja ikosidodekaedri. Nämä Keplerin antamat nimet perustuvat siihen, että edellinen voidaan konstruoida kuutiosta ja sen duaalikappaleesta, oktaedrista, joilla on yhteinen keskipiste jälkimmäinen vastaavasti ikosaedrista ja sen duaalikappaleesta, dodekaedrista. Näissä konstruktioissa kvasisäännöllisen monitahokkaan muodostaa kahden sellaisen säännöllisen monitahokkaan leikkaus eli molempien sisään jäävä avaruuden alue, joilla on yhteinen keskipiste.

Nämä muodot, jotka edustavat säännöllisen kuvion ja sen duaalin muodostamaa paria, voidaan esittää Schläflin symboleilla \begin{Bmatrix} p \\ q \end{Bmatrix} tai r{p,q}, jotka osoittavat, että niihin sisältyvät sekä säännöllisen monitahokkaan **{p,q}** että sen duaalikappaleen **{q,p}** sivut. Tämän symbolin kuvaamalla kvasisäännöllisellä monitahokkaalla on kärkikonfiguraatio  **p.q.p.q** (tai **(p.q)<sup>2</sup>**).

Yleisemmin uniformisella kvasi­säännöllisellä kuviolla voi olla kärki­konfiguraatio **(p.q)<sup>r</sup>**, joka esittää *r* (2 tai useampaa) tapausta tahkoista kärjen ympärillä.

Myös tason tessellaatiot eli laatoitukset voivat olla kvasi­säännöllisiä, erityisesti triheksagonaalinen laatoitus, jonka kärki­konfiguraatio on (3.6)2. Hyper­bolisella tasolla on muitakin kvasi­säännöllisiä laatoituksia kuten *triheptagonaalinen laatoitus*, (3.7)2, sekä yleisemmin (p.q)2, missä 1/p+1/qq/2, jos q on parillinen.

Täten oktaedri voidaan käsittää kvasi­säännölliseksi *tetra­tetra­edriksi*, jossa on osia kahden tetraedrin kolmiomaisista sivu­tahkoista,  (3a.3b)2, värittämällä ne kahdella eri värillä. Samaan tapaan neliölaatoitusta (4a.4b)2, voidaan pitää kvasisäännöllisenä, jos sen ruudut on väritetty kahdella värillä shakkilaudan tavoin. Myös kolmio­laatoituksessa laatat voidaan vastaavalla tavalla värittää kahdella eri värillä, (3a.3b)3.

## Wythoffin konstruktio

Coxeter määritteli *kvasisäännöllisen monitahokkaan* sellaiseksi, jonka Wythoffin symboli on muotoa *p | q r*, ja se on säännöllinen, jos q=2 tai q=r.

Coxeterin–Dynkinin diagrammi on toinen symbolinen esitystapa, joka osoittaa kvasisäännöllisen relaation kahden duaalisen säännöllisen kappaleen välillä:

## Kuperat kvasisäännölliset monitahokkaat

Varsinaisia kuperia kvasisäännöllisiä monitahokkaita on kaksi: kuboktaedri ja ikosidodekaedri. Molemmat kuuluvat myös Arkhimedeen kappaleisiin. Lisäksi oktaedria, joka on samalla säännöllinen monitahokas, voidaan pitää myös  kvasisäännöllisenä, jos sen sivut väritetään vuorotellen eri väreillä. Tässä muodossa siitä käytetään toisinaan nimitystä *tetratetraedri*. 

Kuperien kvasisäännöllisten monitahokkaiden Schläflin symbolit, kärkikonfiguraatiot, Coxeterin diagrammit ja Wythoffin symbolit (oktaedri mukaan luettuna) ovat seuraavat:

Sekä kuboktaedri että ikosidodekaedri ovat samalla kahden keskenään duaalisen säännöllisen monitahokkaan yhteisiä ydinosia. Niiden nimet viittaavat niihin monitahokaspareihin, joista ne voidaan täten muodostaa: sana kuboktaedri on muodostettu lisäämällä sanaan *[[oktaedri]]* etuliite *kub-*, joka johtuu kuutiota tarkoittavasta sanasta *cube*, ja vastaavasti sana *ikosidodekaedri* on yhdistetty sanoista *ikosaedri* ja *dodekaedri*.  Vastaavalla tavalla oktaedri on kahden keskenään duaalisen tetraedrin yhteinen ydinosa (nimellä stella octangula tunnettu muodostelma), ja tällä tavoin muodostettuna sitä sanotaan joskus myös *tetratetraedriksi*.

Kumpikin kvasi­säännöllinen moni­tahokas voidaan konstruoida typistämällä jompikumpi sen muodostavista säännöllisestä moni­tahokkaasta leikkaamalla siitä jokaisesta kärjestä pois niin suuri pala, että alku­peräisen moni­tahokkaan jokainen sivu kutistuu yhdeksi pisteeksi.

### Kvasisäännölliset laatoitukset

Tätä sarjaa edustaa triheksagonaalinen laatoitus, jonka kärkikuvio on *(3.6)<sup>2</sup>*. Se on *'kvasi­säännöllinen laatoitus*, joka on yhdistelmä kolmio- ja kuusi­kulmio­laatoituksesta samaan tapaan kuin kvasi­säännölliset moni­tahokkaat ovat kahden säännöllisen monitahokkaan yhdistelmiä.

Shakkilautamalli on neliölaatoituksen kvasisäännöllinen väritys, jonka kärkikuvio on *(4.4)<sup>2</sup>*:

Kolmiolaatoitus voidaan myös käsittää kvasisäännölliseksi. Sen muodostavat kolme vuorottelevaa kolmioiden joukkoa jokaisen kärjen ympärillä,  (3.3)3:

Hyperbolisella tasolla sarja jatkuu edelleen. Siihen kuuluu muun muassa *triheptagonaalinen laatoitus* jonka kärkikuvio on *(3.7)<sup>2</sup>*. Se on kvasisäännöllinen laatoitus, jonka saadaan yhdistelmänä kertaluvun 7 kolmiolaatoituksesta ja heptagonaalisesta eli seitsenkulmioiden muodostamasta laatoituksesta:

## Ei-kuperia esimerkkejä

Vuonna 1954 H.S.M. Coxeter luokitteli myös muutamat samantapaiset tähtimonitahokkaat kvasisäännöllisiksi.

Kaksi niistä voidaan muodostaa säännöllisten Kepler-Poinsotin kappaleiden duaalipareista samaan tapaan kuin edellä mainitut kuperat kvasisäännölliset kappaleet, nimittäin suuri ikosidodekaedri \begin{Bmatrix} 3 \\ 5/2 \end{Bmatrix} ja dodekadodekaedri \begin{Bmatrix} 5 \\ 5/2 \end{Bmatrix}:

Näiden lisäksi on vielä yhdeksän hemipolyedriä, jotka saadaan leikkaamalla edellä mainituista kvasisäännöllisistä monitahokkaista paloja pois. Niissä on mukana ekvatoriaalisia tahkoja, jotka kulkevat alkuperäinen monitahokkaan keskipisteen kautta:

Sitä paitsi on kolme *ditrigonaalista* muotoa, jotka kaikki saadaan poistamalla palasia säännöllisestä dodekaedrista. Niiden kärkikuvioina esiintyy kolme muunelmaa kahdesta tahkotyypistä:

Euklidisella tasolla hemipolyedrien sarjaa jatkavat seuraavat neljä tähtimäistä laatoitusta eli  tessellaatiota, joissa apeirogonit vastaavat edellä mainittuja ekvatoriaalisia monitahokkaita:

## Kvasisäännölliset duaalit

Jotkut kirjoittajat ovat sitä mieltä, että kun kvasisäännöllisten kappaleiden duaalikappaleilla on sama symmetria, näitä duaalikappaleitakin pitäisi nimittää kvasisäännöllisiksi. Kaikki eivät tätä terminologiaa kuitenkaan käytä. Nämä duaalikappaleet ovat transitiivisia särmiensä ja tahkojensa, mutta eivät kärkiensä suhteen; ne ovat särmätransitiivisia Catalanin kappaleita. Niistä kuperia ovat seuraavat:
#rombidodekaedri, jolla on kahdenlaisia kärkiä: kahdeksan kärkeä, joissa kolme neljäkkään muotoista tahkoa kohtaa toisensa, sekä kuusi kärkeä, joissa neljä tällaista tahkoa kohtaa toisensa.
#rombinen triakontaedri, jolla on kahdenlaisia kärkiä: 20 kärkeä, joissa kolme neljäkkään muotoista tahkoa kohtaa toisensa, sekä 12 kärkeä joissa viisi tällaista tahkoa kohtaa toisensa.

Sitä paitsi oktaedrin duaalikappale, kuutio, jota yleensä pidetään säännöllisenä monitahokkaata, voidaan käsittää myös kvasisäännölliseksi värittämällä sen kärjet vuorotellen eri väreillä.

Näiden tahkokonfiguraatiot ovat muotoa V3.n.3.n, ja Coxeterin–Dynkinin diagrammi on .

Näillä kvasisäännöllisillä duaaleilla on sivutahkoina vinoneliöitä eli neljäkkäitä.  Niiden sarjaa jatkaa rombinen laatoitus, V(3.6)2.

## Kvasisäännölliset polytoopit ja hunajakennot

Korkeammissa ulottuvuuksissa Coxeter määritteli kvasisäännöllisen polytoopin tai hunajakennon sellaiseksi, jolla on säännölliset sivut ja kvasisäännölliset kärkikuviot. Tästä seuraa, että sen kaikki kärkikuviot ovat yhtenevät ja että siinä vuorottelevat kahdenlaiset sivut.

Euklidisessa 4-avaruudessa säännööllinen 16-solu voidaan myös käsittää kvasisäännölliseksi, vuodottelevaksi tesseraktiksi, h{4,3,3}, jonka Coxeterin diagrammi on:  =  ja joka muodostuu vuorottelevista tetraedrisistä soluista. Sen kärkikuvio on kvasisäännöllinen tetratetraedri eli oktaedri, jolla on tetraedrinen symmetria, 

Euklidisessa 3-avaruudessa ainoa kvasisäännöllinen hunajakenno on vuorotteleva kuutiollinen hunajakenno h{4,3,4}, jonka Coxeterin diagrammi on seuraavanlainen: . Se muodostuu vuorottelevista tetraedrin ja oktaedrin muotoisista soluista. Sen kärkikuvio on kvasisäännöllinen kuboktaedri, .

Hyperbolisessa 3-avaruudessa muuan kvasisäännöllinen hunajakenno on vuorotteleva kertaluvun 5 kuutiollinen hunajakenno, h{4,3,5}, jonka Coxeterin diagrammit ovat:  = . Se koostuu vuorottelevista tetraedrisista ja ikosaedrisistä soluista. Sen kärkikuvio on kvasisäännöllinen ikosidodekaedri, .  Se on sukua parakompaktille vuorottelevalle kertaluvun 6 kuutiolliselle hunajakennolle, h{4,3,6}, jossa vuorottelevat tetraedriset ja kuusikulmaiset solut ja jonka kärkikuvio on kvasisäännöllinen triheksagonaalinen laatoitus, .

Muotoa {p,3,4) tai   olevien polytooppien ja hunajakennojen symmetria voidaan puolittaa: , jolloin saadaan kvasisäännöllinen muoto , jolla eri väriset {p, 3}-solut vuorottelevat. Tällaisiin tapauksiin kuuluu euklidinen kuutiollinen hunajakenno {4,3,4} kuutiomaisine soluineen, kompakti hyperbolinen {4,3,4} kenno dodekaedrin muotoisine soluineen sekä parakompakti {6,3,4}, äärettöminen kuusikulmaisen laatoituksen mukaisine soluineen. Niissä on neljä solua jokaisen kärjen ympärillä vuorottelevin värein. Niiden kärkikuviot ovat kvasisäännöllisiä tetratetraedrejä,  = .

Samaan tapaan muotoa {p,3,6} tai  olevien säännöllisten hyperbolisten hunajakennojen symmetria voidaan puolittaa: , jolloin saadaan kvasisäännölliset muodot , joilla eri väriset {p,3} -solut vuorottelevat. Niissä jokaisen särmän ympärillä on kuusi solua, joilla vuorottelee kaksi väriä. Niiden kärkikuviot ovat kvasisäännöllisiä kolmiolaatoituksia, .



## Lähteet
*
*

### Viitteet