W matematyce wypukły regularny 4-politop (lub polichoron) to czterowymiarowy (4D) wielościan, który jest zarówno regularny, jak i wypukły. Innymi słowy, jest to wypukły wielościan w czterech wymiarach, którego grupa symetrii działa jednoznacznie na wszystkich *flagach* (czyli na układach złożonych z wierzchołka, krawędzi, ściany i komórki). Są to czterowymiarowe odpowiedniki brył platońskich (w trzech wymiarach) oraz regularnych wielokątów (w dwóch wymiarach).
Wielokąty te zostały po raz pierwszy systematycznie opisane przez szwajcarskiego matematyka Ludwiga Schläfli w połowie XIX wieku. Schläfli wykazał, że istnieje dokładnie sześć wypukłych regularnych 4-polytopów. Pięć z nich można uznać za czterowymiarowe odpowiedniki brył platońskich, natomiast jedna — 24-komórkowa — nie ma bezpośredniego trójwymiarowego odpowiednika i jest z tego powodu szczególnie interesująca.
Lista sześciu wypukłych regularnych 4-polytopów
Poniżej przedstawiono wszystkie sześć wraz z najważniejszymi charakterystykami: typem komórek (trójwymiarowych ścian), symbolem Schläfliego, liczbami wierzchołków (V), krawędzi (E), ścian 2D (F) i komórek 3D (C), oraz informacją o dualności.
- 5-komórka (4-simplex) — symbol Schläfliego {3,3,3}.
- Komórki: 5 tetraedrów.
- V = 5, E = 10, F = 10, C = 5.
- Jest samodualna (self-dual). - Tesserakt (hipersześcian, 8-komórka) — symbol {4,3,3}.
- Komórki: 8 sześcianów.
- V = 16, E = 32, F = 24, C = 8.
- Dualny do 16-komórki (cross polytope). - 16-komórka (cross polytope) — symbol {3,3,4}.
- Komórki: 16 tetraedrów.
- V = 8, E = 24, F = 32, C = 16.
- Dualny do tesseraktu. - 24-komórka — symbol {3,4,3}.
- Komórki: 24 ośmioboki (ośmiościany regularne, czyli octahedra).
- V = 24, E = 96, F = 96, C = 24.
- Jest samodualna i nie ma trójwymiarowego odpowiednika. - 120-komórka — symbol {5,3,3}.
- Komórki: 120 dwunastościanów foremnych (dodecaedrów).
- V = 600, E = 1200, F = 720, C = 120.
- Dualny do 600-komórki. - 600-komórka — symbol {3,3,5}.
- Komórki: 600 tetraedrów.
- V = 120, E = 720, F = 1200, C = 600.
- Dualny do 120-komórki.
Własności i pojęcia powiązane
- Regularność: regularny 4-polytop ma pełną symetrię przekształceń działających przechodnio na wszystkich flagach. W praktyce oznacza to, że wszystkie komórki są identyczne (w rodzaju i rozmiarze) i że lokalne połączenia między nimi są regularne.
- Dualność: jak w niższych wymiarach, każdego regularnego 4-polytopu można przyporządkować dualny, w którym role wierzchołków i komórek się zamieniają. Dwa z sześciu (5-komórka i 24-komórka) są samodualne; pary dualne to tesserakt ↔ 16-komórka oraz 120-komórka ↔ 600-komórka.
- Symbol Schläfliego: zapis {p,q,r} określa lokalną strukturę: ściany 2D są wielokątami foremnych p-kątów, wokół każdej krawędzi spotyka się q takich ścian, a w każdym wierzchołku spotyka się r komórek w określonym układzie. Dla regularnych 4-polytopów symbole te są jednym ze sposobów klasyfikacji.
- Wzór Eulera dla 4-polytopów wypukłych: granica wypukłego 4-polytopu jest trójwymiarową sferą, co daje zależność
V − E + F − C = 0.
To jest odpowiednik dobrego znanego wzoru V − E + F = 2 dla powierzchni sferycznych w 3D. - Symetrie i grupy Coxetera: symetrie regularnych 4-polytopów opisuje się przez odpowiednie grupy Coxetera: np. A4 dla 5-komórki, B4 dla tesseraktu i 16-komórki, F4 dla 24-komórki oraz H4 dla pary 120/600-komórka.
Wizualizacja i konstrukcje
Polichorony można badać i przedstawiać poprzez różne techniki projekcji na 3D i 2D: diagramy Schlegela (projekcja wnętrza polytonu do jednego z jego komórek), projekcje ortograficzne lub stereograficzne ze sfery 3-wymiarowej, a także poprzez odwzorowania punktów w przestrzeni czterowymiarowej w układzie współrzędnych (np. współrzędne wierzchołków tesseraktu to wszystkie wektory z współrzędnymi ±1 i zera w odpowiednim układzie). Te reprezentacje ułatwiają intuicyjne zrozumienie struktury i symetrii.
Polichorony mają zastosowania zarówno w teorii matematycznej (np. w topologii, geometrii algebraicznej i teorii grup), jak i w wizualizacjach naukowych czy sztuce matematycznej. Ich studyjne własności — dualność, symetria, i relacje z grupami Coxetera — czynią je ważnym obiektem badań w geometrii wielowymiarowej.
