Semiregulaarinen monitahokas

**Semiregulaarinen monitahokas** on avaruusgeometrinen termi, jota eri kirjoittajat ovat käyttäneet hieman eri merkityksissä.

Alkuperäisen määritelmän mukaan semiregulaarinen on monitahokas, jonka tahkot ovat säännöllisiä monikulmioita ja jonka symmetriaryhmä on transitiivinen kärkien suhteen, toisin sanoen se voidaan aina kuvata yhtenevyyskuvauksella itselleen niin, että mikä tahansa sen kärjistä voi kuvautua mihkä tahansa toisen kärjen kohdalle. Tässä merkityksessä nimitys perustuu Thorold Gosset'n vuonna 1900 esittämään yleisempään semiregulaarisen polytoopin määritelmään. Nykyisin tällaisista käytetään kuitenkin yleisemmin nimitystä *[[uniforminen monitahokas]]*. Uniformisia eli tässä merkityksessä semiregulaarisia ovat:
* kaikki 13 Arkhimedeen kappaletta
* ääretön sarja kuperia särmiöitä
* ääretön sarja kuperia antiprismoja, joiden semiregulaarisen luonteen pani ensimmäisenä merkille Kepler.

Nämä semiregulaariset kappaleet voidaan täysin määrittää kärkikuviolla eli luettelemalla sivujensa lukumäärän mukaan ja sijaintiensa mukaisessa järjestyksessä ne tahkot, jotka kärjessä kohtaavat. Esimerkiksi *3.5.3.5* esittää ikosidodekaedria, jossa jokaisen kärjen ympärillä on vuorotellen kaksi kolmiota ja kaksi viisikulmiota. Sen sijaan *3.3.3.5* tarkoittaa pentagonaalista antiprismaa. Näitä monitahokkaita sanotaan joskus kärkitransitiivisiksi.

Gosset'n jälkeen muut kirjoittajat ovat käyttäneet termiä *semiregulaarinen* varsinkin korkeampiulotteisten polytooppien yhteydessä eri merkityksissä. E. L. Elte  esitti määritelmän, jota Coxeter piti liian keinotekoisena. Coxeter itse nimitti Gosset'n semiregulaariksiksi nimittämiä kappaleita uniformisiksi kappaleiksi, joista hän nimitti semiregulaariksi vain hyvin rajoitettua osajoukkoa.

Toiset sen sijaan ovat päin vastoin laajentaneet semiregulaarisen monitahokkaan käsitettä luokittelemalla sellaisiksi eräitä muitakin kuin edellä mainitut. Sellaisia ovat:
*Kolme joukkoa tähtimonitahokkaita, jotka toteuttavatkin Gosset'n määritelmän ehdot ja ovat analogisia edellä luetelluille kuperien monitahokkaiden joukoille.
*Edellä mainittujen semiregulaaristen monikulmioiden duaalikappaleet sillä perusteella, että niillä on samat symmetriat kuin edellisillä. Näihin duaalikappaleisiin kuuluvat Catalanin kappaleet, kuperat dipyramidit ja antidipyramidit eli trapetsoedrit sekä niiden ei-kuperat vastineet.

Lisää sekaannusta aiheutuu siitäkin, millä tavoin Arkhimedeen kappaleet on määritelty, sillä niistäkin on erilaisia tulkintoja.

Gosset'n määritelmän mukaan semiregulaarisiksi katsotaan nekin kappaleet, joilla on vielä suurempi symmetria, kuten säännölliset monitahokkaat eli Platonin kappaleet sekä kvasisäännölliset monitahokkaat. Joidenkuiden myöhempien kirjoittajien mukaan näitä ei pitäisi sanoa semiregulaariksi eli "puoliksi säännöllisiksi", koska ne ovat vielä säännöllisempiä: termiä uniforminen monitahokas käytetään tällöin kattokäsitteenä, joka jakautuu kolmeen ryhmään: säännölliset, kvasisäännölliset ja semiregulaariset monitahokkaat. Tätä nimeämisjärjestelmää käyttämällä vältytään monilta, joskaan ei kaikilta sekaannuksilta.

Käytännössä sekaannusta esiintyy pätevimmilläkin kirjoittajilla, jotka määrittelevät jonkin monitahokkaiden joukon semiregulaariseksi tai Arkhimedeen monitahokkaisiksi, mutta käyttävätkin näitä termejä myöhemmin laajemmasta tai suppeammasta monitahokkaiden joukosta, kuin alun perin määrittelivät niiden tarkoittavan. Esimerkiksi joukkoon luetaan myöhemmin vain kuperat monitahokkaat, vaikka niin ei määritelmässä sanottukaan. Tämän virheen ovat tehneet muun muassa Coxeter ja Cromwell sekä Cundy ja Rollett.

## Yleisiä huomioita

Monissa teoksissa termiä *semiregulaarinen monitahokas* on käytetty myös Arkhimedeen kappaleen synonyyminä.

Monitahokkaat, joiden tahkot ovat säännöllisiä monikulmioita, ovat vain osittain samoja kuin Gosset'n tarkoittamassa merkityksessä semiregulaariset monitahokkaat. Samoin on erotettava toisistaan monitahokkaat, joiden kärkikuviot ovat säännöllisiä monikulmioita, ja toisaalta semiregulaaristen monitahokkaiden tahkotransitiiviset duaalit.

Coxeter ym. (1954) käyttivät termiä *semiregulaariset monitahokkaat* luokittelemaan uniformiset monitahokkaat, joiden Wythoffin symboli on muotoa *p q | r*. Tämän määritelmän mukaan semiregulaarisia ovat vain kuusi kahdestatoista Arkhimedeen kappaleesta sekä säännölliset särmiöt sekä useat ei-kuperat kappaleet, mutta *eivät* esimerkiksi säännölliset antiprismat.  Myöhemmin, vuonna 1973 Coxeter käytti Gosset'n määritelmää kommentoimatta sitä, hyväksymällä sen implisiittisesti.

Muun muassa Robert Williams on nimittänyt semiregulaarisiksi kuperia uniformisia monitahokkaita, lukuun ottamatta viittä säännöllistä monitahokasta mutta Arkhimedeen kappaleet, uniformiset särmiöt ja uniformiset antiprismat mukaan luettuina. 
Peter Cromwell mainitsee vuonna 1997 alaviitteessä sivulla 149, että nykyisin semiregulaarisilla monitahokkailla tarkoitetaan Arkhimedeen ja Catalanin kappaleita, joista viimeksi mainitut ovat Arkhimedeen kappaleiden duaaleja. Samassa kirjassa sivulta 367 lähtien hän kuitenkin käsittelee Catalanin kappaleiden suhdetta "semiregulaarisiin" Arkhimedeen kappaleisiin, ikään kuin termi *semiregulaarinen* ei kattaisikaan Catalanin kappaleita.

## Lähteet

## Aiheesta muualla
*