Säännöllinen kupera 4-polytooppi (Schläfli) – määritelmä ja luokitus

Tutustu Schläflin säännöllisiin koveriin 4-polytooppeihin: määritelmä, kuusi tyyppiä, yhteys Platonin kappaleisiin ja ainutlaatuinen 24-solun rakenne.

Tekijä: Leandro Alegsa

10-03-2026 22:33

Matematiikassa kovera säännöllinen 4-polytooppi (tai polychoron) on 4-ulotteinen (4D) polytooppi, joka on sekä säännöllinen että kovera. Ne ovat Platonin kappaleiden (kolmiulotteiset) ja säännöllisten monikulmioiden (kaksiulotteiset) neliulotteisia vastineita. Käytännössä "säännöllinen" tarkoittaa sitä, että kaikki solut (3-ulotteiset kappaleet), kasvot (2-ulotteiset monikulmiot), särmät ja huiput ovat kongruentteja ja että polytoopin symmetriaryhmä toimii transitiviisesti huippujen (ja siten myös muiden elementtien) yli.

Sveitsiläinen matemaatikko Ludwig Schläfli kuvasi nämä polytoopit ensimmäisen kerran 1800-luvun puolivälissä. Schläfli havaitsi, että tällaisia lukuja on täsmälleen kuusi. Viisi näistä voidaan ajatella Platonin kappaleiden korkeamman ulottuvuuden analogeiksi. Lisäksi on yksi luku (24-kenno), jolle ei ole kolmiulotteista vastinetta.

Jokaista kuperaa säännöllistä 4-polytooppia rajoittaa joukko 3-ulotteisia soluja, jotka ovat kaikki saman tyyppisiä ja kokoisia platonisia kiinteitä aineita. Nämä on sovitettu yhteen niiden pintoja pitkin säännöllisellä tavalla.

Määritelmä Schläfli-symbolin avulla

Säännöllinen 4-polytooppi voidaan merkitä Schläfli-symbolilla {p,q,r}. Tämä tarkoittaa käytännössä:

solut ovat säännöllisiä polyedrejä {p,q} (eli niiden kasvot ovat p-kulmioita ja kussakin solun huipussa kohtaa q kasvoa);

ja jokaista kasvoa ympäröi tarkalleen r solua.

Esimerkiksi {5,3,3} tarkoittaa, että solut ovat dodekaedrejä ({5,3}) ja että jokaista pentagonaalista kasvoa ympäröi kolme solua.

Kuusi kuperaa säännöllistä 4-polytooppia (Schläfli)

Schläflin luokittelussa on täsmälleen kuusi konvekseja säännöllisiä 4-polytooppia. Alla on niiden tavalliset nimet, Schläfli-symbolit, sekä keskeiset esiintymälukumäärät (huiput V, särmät E, kasvot F ja solut C):

5-cell (tunnetaan myös nimellä 4-simpleksi) — Schläfli {3,3,3}. Solut: 5 tetraedriä. V=5, E=10, F=10, C=5. (Itse-duaalinen.)
8-cell (tesserakti, hyperkuutio) — Schläfli {4,3,3}. Solut: 8 kuutiota. V=16, E=32, F=24 (nelikulmioita), C=8. (Dualinen parinsa on 16-cell.)
16-cell (ristipolytooppi, cross polytope) — Schläfli {3,3,4}. Solut: 16 tetraedriä. V=8, E=24, F=32, C=16. (Dualinen parinsa on tesserakti.)
24-cell — Schläfli {3,4,3}. Solut: 24 oktaedria. V=24, E=96, F=96, C=24. Tämä on ainut säännöllinen 4-polytooppi, jolla ei ole suoraa Platonin kappaleen kolmiulotteista vastinetta; se on myös itse-duaalinen ja liittyy erityiseen symmetria-ryhmään F4.
120-cell — Schläfli {5,3,3}. Solut: 120 dodekaedriä. V=600, E=1200, F=720, C=120. (Dualinen parinsa on 600-cell.)
600-cell — Schläfli {3,3,5}. Solut: 600 tetraedriä. V=120, E=720, F=1200, C=600. (Dualinen parinsa on 120-cell; liittyy icosahedral-symmetriaan H4.)

Dualisuus ja symmetria

Neljäulotteisissa säännöllisissä polytoopeissa vallitsee dualisuus samalla tavalla kuin alemmissa dimensioissa: duali vaihtaa huipujen ja solujen määrät keskenään. Tästä seuraa dualiparit:

5-cell on itse-duaalinen;

tesserakti (8-cell) ja 16-cell ovat toistensa dualeja;

120-cell ja 600-cell ovat toistensa dualeja;

24-cell on itse-duaalinen.

Symmetriaryhmät luokitellaan Coxeterin peiliryhmien mukaan: 5-cell liittyy A4-ryhmään, tesserakti/16-cell B4-ryhmään, 24-cell F4-ryhmään ja 120/600 H4-ryhmään.

Perusominaisuuksia ja kaavat

Säännöllisille 4-polytoopeille pätee Euler–Poincarén tyyppinen suhde pinnalle:

V − E + F − C = 0

Tämä on 4-ulotteinen vastaava kaavalle V − E + F = 2, joka tunnetaan kolmiulotteisissa komponenteissa. Lisäksi Schläfli-symboli antaa suoraan tiedon soluista ja siitä, kuinka monta solua kohtaa kutakin kasvoa (r).

Käyttö ja havainnollistaminen

Säännölliset 4-polytoopit ovat sekä teoreettisesti kiinnostavia että pedagogisesti hyviä esimerkkejä symmetriasta ja korkeampien ulottuvuuksien geometriasta. Niitä tutkitaan muun muassa ryhmäteorian, topologian ja geometrian yhteyksissä. Niitä voidaan visualisoida projisoimalla 4-ulotteinen rakenne kolmiulotteiseen tilaan tai tarkastelemalla karttapintaisia leikkauksia ja erikoisia koordinaattiesityksiä.

Lyhyt historiallisuus

Ludwig Schläfli teki perustavanlaatuiset luokittelutöiden 1800-luvulla ja osoitti, että convex säännöllisiä 4-polytooppeja on tasan kuusi. Myöhemmin luvun geometrien ja ryhmätutkijoiden työ on liittänyt nämä polytoopit selkeästi Coxeter-ryhmiin ja moniin nykyaikaisiin sovelluksiin.

Ominaisuudet

Seuraavissa taulukoissa on lueteltu kuuden kuperan säännöllisen monikulmion ominaisuuksia. Näiden polykorien symmetriaryhmät ovat kaikki Coxeter-ryhmiä, ja ne esitetään kyseisessä artikkelissa kuvatulla merkintätavalla. Ryhmän nimen perässä oleva numero on ryhmän järjestys.

Nimet	Perhe	Schläfli symboli	Verteksit	Reunat	Kasvot	Solut	Vertex-luvut	Kaksoispolytooppi	Symmetriaryhmä
Pentachoron5-solupentatopehyperpyramidihypertetraedri4-simpleksi	simplex (n-simplex)	{3,3,3}	5	10	10 kolmiot	5 tetraedrit	tetraedrit	(itse-duaalinen)	A₄	120
Tesseractoctachoron8-soluhypercube4-kuutio	hyperkuutio (n-kuutio)	{4,3,3}	16	32	24 neliöt	8 kuutiot	tetraedrit	16-kennoinen	B₄	384
Hexadecachoron16-soluorthoplexhyperoctahedron4-orthoplex	ristipolytooppi (n-ortopleksi)	{3,3,4}	8	24	32 kolmiot	16 tetraedrit	oktaedrit	tesserakti	B₄	384
Icositetrachoron24-celloctaplexpolyoktaedri		{3,4,3}	24	96	96 kolmiot	24 oktaedrit	kuutiot	(itse-duaalinen)	F₄	1152
Hecatonicosachoron120-soluinendodekaplexhyperdodekaedripolydodekaedri		{5,3,3}	600	1200	720 viisikulmioita	120 dodekaedrit	tetraedrit	600-kennoinen	H₄	14400
Hexacosichoron600-soluinentetraedrihyperikosaedripolytetraedri		{3,3,5}	120	720	1200 kolmiot	600 tetraedrit	icosahedra	120-kennoinen	H₄	14400

Koska jokaisen tällaisen kuvion raja vastaa topologisesti 3-palloa, jonka Eulerin ominaisarvo on nolla, meillä on Eulerin moniulotteisen kaavan 4-ulotteinen analogi:

N 0- N +1 N2 - N = 3{\displaystyle0 N_{0}-N_{1}+N_{2}-N_{3}=0\,} $N_{0}-N_{1}+N_{2}-N_{3}=0\,$

jossa N_k tarkoittaa polytoopin k-pintojen lukumäärää (huippu on 0-pinta, reuna on 1-pinta jne.).

Visualisoinnit

Seuraavassa taulukossa esitetään joitakin näiden polytooppien 2-ulotteisia projektioita. Erilaisia muita visualisointeja on saatavilla muilla alla olevilla verkkosivustoilla. Myös Coxeter-Dynkinin diagrammien kuvaajat on esitetty Schläfli-symbolin alapuolella.

5-kennoinen	8-kennoinen	16-kennoinen	24-kennoinen	120-kennoinen	600-kennoinen
{3,3,3}	{4,3,3}	{3,3,4}	{3,4,3}	{5,3,3}	{3,3,5}

Petrie-polygonien sisällä olevat rautalankamaiset ortografiset projektiot.

Kiinteät ortografiset projektiot
tetraedrinen kuori (solu-/vertex-keskeinen)	kuutiomainen kirjekuori (solukeskitetty)	octahedralenvelope (vertex centered)	kuutioktaedrinen kuori (solukeskitetty)	typistetty rhombictriacontahedronikuori (solukeskitetty)	Pentakis-ikosidodekaedrinen kuori (huippukeskitetty)
Schlegelin rautalankakaaviot (perspektiiviprojektio)
(Solukeskeinen)	(Solukeskeinen)	(Solukeskeinen)	(Solukeskeinen)	(Solukeskeinen)	(Vertex-keskeinen)
Stereografiset rautalankaprojektiot (hypersfääriset)

Aiheeseen liittyvät sivut

Säännöllinen polytooppi
Platoninen kiinteä aine

Kysymyksiä ja vastauksia

K: Mikä on kupera säännöllinen 4-polytooppi?

V: Kovera säännöllinen 4-polytooppi on 4-ulotteinen polytooppi, joka on sekä säännöllinen että kovera.

K: Mitkä ovat koverien säännöllisten 4-polytooppien analogit kolmessa ja kahdessa ulottuvuudessa?

V: Koverien säännöllisten 4-polyytooppien analogit kolmiulotteisina ovat platoniset kappaleet, kun taas kaksiulotteisina ne ovat säännöllisiä monikulmioita.

K: Kuka kuvasi ensimmäisenä kuperat säännölliset 4-polytoopit?

V: Sveitsiläinen matemaatikko Ludwig Schläfli kuvasi ensimmäisenä kuperat säännölliset 4-polyytoopit 1800-luvun puolivälissä.

Kysymys: Kuinka monta kuperaa säännöllistä 4-polytooppia on olemassa?

V: Kuperia säännöllisiä 4-polytooppeja on tasan kuusi.

Kysymys: Mikä on 24-soluisen polytoopin ainutlaatuinen piirre kuperien säännöllisten 4-polyytooppien joukossa?

V: 24-soluisella polytoopilla ei ole kolmiulotteista vastinetta kuperien säännöllisten 4-polytooppien joukossa.

Kysymys: Mitkä kolmiulotteiset solut rajoittavat kutakin kuperaa säännöllistä 4-polyytooppia?

V: Jokaista kuperaa säännöllistä 4-polytooppia rajoittaa joukko kolmiulotteisia soluja, jotka ovat kaikki saman tyyppisiä ja kokoisia platonisia kiinteitä aineita.

Kysymys: Miten 3-ulotteiset solut sopivat yhteen kuperassa säännöllisessä 4-polytoopissa?

V: Kolmiulotteiset solut sovitetaan toisiinsa kuperassa säännöllisessä 4-polyytopissa säännönmukaisesti niiden pintoja pitkin.

Etsiä