In der Mathematik ist ein konvexes reguläres 4-Polytop (oder Polychoron) ein 4-dimensionales (4D) Polytop, das sowohl regulär als auch konvex ist. Dies sind die vierdimensionalen Analoga der platonischen Körper (dreidimensional) und der regelmäßigen Polygone (zweidimensional).

Diese Polytope wurden erstmals Mitte des 19. Jahrhunderts von dem Schweizer Mathematiker Ludwig Schläfli beschrieben. Schläfli entdeckte, dass es genau sechs solcher Figuren gibt. Fünf davon kann man sich als höherdimensionale Analoga zu den platonischen Körpern vorstellen. Es gibt eine weitere Figur (die 24-Zellen-Figur), die kein dreidimensionales Äquivalent hat.

Jedes konvexe reguläre 4-Polytop wird von einem Satz 3-dimensionaler Zellen begrenzt, die alle platonische Festkörper desselben Typs und derselben Größe sind. Diese sind entlang ihrer jeweiligen Flächen in regelmäßiger Weise zusammengefügt.

Die sechs regulären konvexen 4‑Polytopen (Übersicht)

Die sechs regulären konvexen 4‑Polytopen, oft auch als die vierdimensionalen Platonischen Körper bezeichnet, sind:

  • 5‑Zelle (Pentachoron, 4‑Simplex) — Schläfli‑Symbol {3,3,3}.
  • 8‑Zelle (Tesserakt, 4‑Würfel) — Schläfli‑Symbol {4,3,3}.
  • 16‑Zelle (Hexadecachoron, 4‑Kreuzpolytope) — Schläfli‑Symbol {3,3,4}.
  • 24‑Zelle (Icositetrachoron) — Schläfli‑Symbol {3,4,3}.
  • 120‑Zelle (Hekatonicosachoron) — Schläfli‑Symbol {5,3,3}.
  • 600‑Zelle (Hexacosichoron) — Schläfli‑Symbol {3,3,5}.

Eigenschaften und Zählungen

Jedes dieser Polytope ist durch sein Schläfli‑Symbol {p,q,r} eindeutig bestimmt. Die Zellen sind regelmäßige Polyeder vom Typ {p,q}, und die jeweilige Vertex‑Figur ist ein reguläres Polyeder vom Typ {q,r}. Die sechs Figuren haben folgende grundlegende Inzidenzzahlen (Anzahl Vertices V, Kanten E, Flächen F, Zellen C):

  • 5‑Zelle ({3,3,3}): V = 5, E = 10, F = 10 (Dreiecke), C = 5 (Tetraeder). Self‑dual.
  • 8‑Zelle / Tesserakt ({4,3,3}): V = 16, E = 32, F = 24 (Quadrate), C = 8 (Würfel). Dual zur 16‑Zelle.
  • 16‑Zelle ({3,3,4}): V = 8, E = 24, F = 32 (Dreiecke), C = 16 (Tetraeder). Dual zum Tesserakt.
  • 24‑Zelle ({3,4,3}): V = 24, E = 96, F = 96 (Dreiecke), C = 24 (Oktaeder). Self‑dual und einzigartig ohne dreidimensionales Analogon.
  • 120‑Zelle ({5,3,3}): V = 600, E = 1200, F = 720 (Pentagone), C = 120 (Dodekaeder). Dual zur 600‑Zelle.
  • 600‑Zelle ({3,3,5}): V = 120, E = 720, F = 1200 (Dreiecke), C = 600 (Tetraeder). Dual zur 120‑Zelle.

Dualität und Symmetrien

Die sechs regulären 4‑Polytopen gruppieren sich in Dualpaaren: die 5‑Zelle und die 24‑Zelle sind self‑dual, das heißt, sie sind jeweils gleich ihrem Dual (5‑Zelle und 24‑Zelle sind tatsächlich selbstduale Figuren). Die übrigen bilden Paare: Tesserakt ⇄ 16‑Zelle und 120‑Zelle ⇄ 600‑Zelle. Ihre Symmetrien lassen sich mit Coxeter‑Gruppen beschreiben: A4 (5‑Zelle), B4 (Tesserakt/16‑Zelle), F4 (24‑Zelle) und H4 (120/600‑Zelle).

Visualisierung und Koordinaten

Obwohl wir vierdimensionale Objekte nicht direkt anschauen können, lassen sich reguläre 4‑Polytopen gut visualisieren durch:

  • Orthogonale oder perspektivische Projektionen in 3D (ähnlich wie Schatten),
  • Schlegel‑Diagramme (3D „Schnittbilder“),
  • stereographische Projektionen auf die 3‑Sphäre und anschließend auf 3D.

Viele dieser Polytope lassen sich durch konkrete 4‑dimensionale Koordinaten (z. B. aus Wurzel‑ oder Gitterstrukturen) darstellen; die symmetrischen Wurzelsysteme der zugehörigen Coxeter‑Gruppen liefern dabei oft natürliche Koordinaten.

Bedeutung und Anwendungen

Reguläre 4‑Polytopen spielen eine Rolle in der geometrischen Topologie, in der Untersuchung symmetrischer Strukturen und in theoretischen Modellen höherer Dimensionen. Die 24‑Zelle ist dabei besonders interessant, weil sie kein dreidimensionales Gegenstück besitzt und in vielen Kontexten – z. B. beim Studium von Dichtungen in 4D‑Gittern oder in der Theorie der Lie‑Algebren – auftaucht.

Historisches

Ludwig Schläfli fand die vollständige Liste und beschrieb viele Eigenschaften dieser Figuren im 19. Jahrhundert; seine Schläfli‑Symbole sind bis heute ein Standardwerkzeug zur Beschreibung regelmäßiger Polytopen in beliebiger Dimension.