V matematiki je konveksni regularni 4-politop (ali polihoron) štirirazsežni (4D) politop, ki je hkrati regularen in konveksen. To so štiridimenzionalni analogi platonskih teles (v treh dimenzijah) in pravilnih mnogokotnikov (v dveh dimenzijah). Schläfli jih je v 19. stoletju preučeval kot najbolj simetrične možne štirirazsežne politope.
Definicija in Schläfli-jeva notacija
Pravilen 4‑politop je tak, da deluje transitivno na svojih elementih (vrhih, robovih, ploskvah in celicah) glede na njegove simetrije. Konveksnost pomeni, da je politop omejen in da vsak izmed njegovih notranjih kotov leži v notranjosti množice.
Regularne 4‑politope se pogosto opisuje s Schläfli-jevo notacijo {p,q,r}. Ta simbol pomeni:
- vsaka tridimenzionalna celica je pravilno polihedron {p,q},
- okoli vsakega vrha je vidna figura {q,r} (vertex figure),
- parameter r določa, koliko celic se sreča ob vsakem robu (v 4D se ob robu sestavi veriga celic okoli njega).
Lastnosti mejne (sferične) strukture
Meja (boundary) konveksnega 4‑politopa je trirazsežna sfera S^3 in zato zadošča Euler–Poincaréjevi relaciji za 3‑sfere:
V − E + F − C = 0
kjer so V, E, F in C števila vrhov, robov, dvo‑dimenzionalnih ploskev (faces) in tridimenzionalnih celic.
Šest konveksnih regularnih 4‑politopov
Ludwig Schläfli je dokazal, da obstaja natanko šest konveksnih regularnih 4‑politopov. Pet izmed njih so višje dimenzionalne analoge platonskih teles; ena figura (24‑celica) pa nima tridimenzionalnega ekvivalenta. Spodaj so osnovne lastnosti vsakega.
- 5‑celica (4‑simpleks) — Schläfli {3,3,3}: celice so 5 tetraedrov.
- V = 5, E = 10, F = 10, C = 5
- samodualen (self‑dual)
- 8‑celica (tesserakt, hiperkocka) — Schläfli {4,3,3}: celice so kocke.
- V = 16, E = 32, F = 24, C = 8
- dualna parična z 16‑celico
- 16‑celica (hiperoctaedron) — Schläfli {3,3,4}: celice so tetraedri.
- V = 8, E = 24, F = 32, C = 16
- dualna tesseraktu (8‑celici)
- 24‑celica (icositetrachoron) — Schläfli {3,4,3}: celice so oktaedri.
- V = 24, E = 96, F = 96, C = 24
- poseben primer: nima 3D platonskega predhodnika in je samodualen
- 120‑celica — Schläfli {5,3,3}: celice so dodekaedri.
- V = 600, E = 1200, F = 720, C = 120
- dualna 600‑celici
- 600‑celica — Schläfli {3,3,5}: celice so tetraedri.
- V = 120, E = 720, F = 1200, C = 600
- dualna 120‑celici
Dualnost in simetrije
Pravilni 4‑politope se združujejo v dualne pare: 5‑celica je samodualna, 8‑celica (tesserakt) je dualna 16‑celici, 120‑celica je dualna 600‑celici, medtem ko je 24‑celica samodualna. Dualnost zamenjuje številske količine: število celic v enem polipotu je število vrhov v njegovem dualu itd.
Vizualizacija in preseki
Ker ne moremo neposredno zaznavati 4D, se pogosto uporabljajo tri tehnike za predstavo teh objektov:
- projekcije v 3D (analogno projekcijam poliedrov v ravnino),
- prerezne strukture in stereografske projekcije na S^3,
- uporaba koordinatnih modelov (npr. točke v R^4 z visoko simetrijo), ki omogočijo računalniško risanje mrež in grafov robov.
Pomen in aplikacije
Konveksni regularni 4‑politope so pomembni v teoriji grup (Coxeterjeve grupe in simetrije), v topologiji (sferične 3‑mreže) in v matematičnem modeliranju. Poleg čiste teorije služijo kot inspiracija pri študiju višjih dimenzij in v nekaterih vizualizacijah v računalniški grafiki.
Te politope je sredi 19. stoletja prvič opisal švicarski matematik Ludwig Schläfli. Schläfli je ugotovil, da obstaja natanko šest takšnih likov. Pet od teh si lahko predstavljamo kot višje dimenzionalne analogije platonskih teles. Obstaja še ena figura (24-celica), ki nima tridimenzionalnega ekvivalenta.
Vsak konveksni pravilen 4-politop je omejen z množico tridimenzionalnih celic, ki so vsa platonska telesa iste vrste in velikosti. Te celice so vzdolž svojih površin pravilno prilegajoče se.























