A matematikában a konvex szabályos 4-polytop (vagy polikhoron) olyan 4 dimenziós (4D) polytop, amely szabályos és konvex. Ezek a platóni szilárd testek (három dimenzióban) és a szabályos sokszögek (két dimenzióban) négydimenziós analógjai.

Ezeket a polytópokat először Ludwig Schläfli svájci matematikus írta le a 19. század közepén. Schläfli felfedezte, hogy pontosan hat ilyen alakzat létezik. Ezek közül ötöt a platóni szilárd testek magasabb dimenziós analógiáinak tekinthetünk. Van egy további alakzat (a 24-es cella), amelynek nincs háromdimenziós megfelelője.

Minden konvex szabályos 4-polytopot 3 dimenziós cellák halmaza határol, amelyek mind azonos típusú és méretű platóni testek. Ezek a megfelelő oldalaik mentén szabályos módon illeszkednek egymáshoz.

A hat konvex szabályos 4-polytop (összefoglaló)

  • 4-szimlex (5-sejt, 4-simplex) — Schläfli-jel: {3,3,3}. Cella: tetraéder. Tulajdonságok: V=5, E=10, F=10, C=5. Önmaga duálisa (self-dual).
  • Tesserakt (8-sejt, 4-kocka) — Schläfli-jel: {4,3,3}. Cella: kocka (hexaéder). Tulajdonságok: V=16, E=32, F=24 (négyzetek), C=8 (kockák). Duálisa: a 16-sejt.
  • 16-sejt (16-cell) — Schläfli-jel: {3,3,4}. Cella: tetraéder. Tulajdonságok: V=8, E=24, F=32, C=16. Duálisa: a tesserakt.
  • 24-es cella (24-cell) — Schläfli-jel: {3,4,3}. Cella: oktaéder. Tulajdonságok: V=24, E=96, F=96, C=24. Különleges, mert nincs háromdimenziós analógja és önmaga duálisa.
  • 120-sejt (120-cell) — Schläfli-jel: {5,3,3}. Cella: dodekaéder. Tulajdonságok: V=600, E=1200, F=720, C=120. Duálisa: a 600-sejt.
  • 600-sejt (600-cell) — Schläfli-jel: {3,3,5}. Cella: tetraéder. Tulajdonságok: V=120, E=720, F=1200, C=600. Duálisa: a 120-sejt.

Tulajdonságok és érthető magyarázat

Szabályosság azt jelenti, hogy a polytop szimmetriacsoportja tranzitív az összes zászlón (flag) — azaz bármely csúcsot, élt, lapot és cellát a szimmetriák segítségével bármely másik megfelelőjére lehet vinni. Ennek következményeként minden csúcs környezete, minden él környezete stb. azonos.

Konvexitás itt azt jelenti, hogy a polytop a 4-dimenziós euklideszi tér egy konvex halmazaként értelmezhető (bármely két pontját összekötő szakasz teljes egészében a testben van).

Dualitás és szimmetriacsoportok

A konvex szabályos 4-polytopoknál párokba rendeződnek a duálok: a tesserakt és a 16-sejt, illetve a 120-sejt és a 600-sejt duálok (a 4-szimlex és a 24-es cella önmaga duálisa). A polytopok szimmetriáit Coxeter-csoportok írják le: a 4-szimlexhez az A4, a tesserakt/16-sejthez a B4 (vagy C4), a 24-es cellához az F4, a 120/600-sejthez pedig a H4 tartozik.

Konstrukciók és ábrázolás

A négydimenziós alakzatokat gyakran háromdimenziós vetületeken és metszeteken keresztül ábrázolják. Két gyakori módszer:

  • Schlegel-diagramok: a 4-polytopot egy belső cella felől vetítve kapjuk meg a 3D-s leképezést, így jól láthatóak a cellák egymáshoz való kapcsolódásai.
  • Stereografikus vetítés: a 3-szféra felületéről vetítve a tetszőleges cellák és csúcsok a háromdimenziós térben jelennek meg, gyakran használatos szimmetriák vizsgálatára.

A konstrukciók egyik elméleti eszköze a Wythoff-konstrukció és a Coxeter-reflexiós csoportok használata: ezek segítségével a szabályos polytopok csúcsait és éleit egyenletesen elhelyezett pontok halmazaként lehet előállítani.

Rövid történeti és jellegzetes megjegyzések

Ludwig Schläfli eredeti munkája alapvető volt: megmutatta, hogy a négydimenziós euklideszi térben pontosan hat konvex szabályos polytop létezik, ellentétben a kétdimenzióval (végtelen sok szabályos sokszög) és a háromdimenzióval (öt platóni test). A 24-es cella különleges szerepét gyakran emelik ki, mert semmilyen háromdimenziós platóni test nincs megfeleltethetően a struktúrájának.

Hol lehet többet megtudni?

Az érdeklődők vizuális forrásokhoz, modellekhez és részletes algebrai leírásokhoz fordulhatnak, különösen a Coxeter-csoportokról és a Schläfli-jelrendszerről szóló irodalomhoz. A konvex szabályos 4-polytopok tanulmányozása összekapcsolja a kombinatorikus geometriát, a csoportelméletet és a négy dimenziós vizualizáció módszereit.