Matematikoje išgaubtasis taisyklingasis 4-politopas (arba polichronas) yra keturmatė (4D) politopas, kuris yra ir taisyklingas, ir išgaubtas. Kitaip tariant, tai yra keturių dimensijų analogas Platono kūnų (trimačiai taisyklingi daugiasieniai) ir taisyklingų daugiakampių (dvimatės taisyklingos figūros) sąvokoms: kiekvieną tokį 4-politopą riboja vienodo tipo ir dydžio trimačiai „ląsteliai“ (3D Platono kūnai), sujungti pagal taisyklingą schemą.

Istorija ir pavadinimas

Šiuos daugiakampius XIX a. viduryje pirmą kartą aprašė šveicarų matematikas Liudvigas Šlėflis. Šlėflis parodė, kad egzistuoja tik lygiai šešios tokios konveksinės taisyklingos keturių matmenų figūros. Penkios iš jų turi aiškų trimatį analogą (Platono kūnų plėtinį į vieną aukštesnę dimensiją), o viena — 24‑ląstelė — neturi atitikmens trimatėje erdvėje.

Šešios išgaubtos taisyklingos 4-politopos (polichronai)

  • 5‑ląstelė (4‑simpleksas), Schläfli simbolis {3,3,3}. Ląstelės: 5 tetraedrai. Viršūnių sk.: 5, briaunų: 10, plokštuminių veidų (triangulių): 10, ląstelių: 5. Tai analogas trikampei paprasčiausiai struktūrai (simplicial struktūra) keturiuose matmenyse.
  • 8‑ląstelė (hiperkubas, tesseraktas), Schläfli simbolis {4,3,3}. Ląstelės: 8 kubai. Viršūnių sk.: 16, briaunų: 32, veidų (kvadratų): 24, ląstelių: 8. Tai tiesioginės kubo ekstensijos į 4D pavyzdys.
  • 16‑ląstelė (dvikrypis, 4‑dvikrypis), Schläfli simbolis {3,3,4}. Ląstelės: 16 tetraedrų. Viršūnių sk.: 8, briaunų: 24, veidų: 32, ląstelių: 16. Tai tesserakto dualas (dvipusė pora).
  • 24‑ląstelė, Schläfli simbolis {3,4,3}. Ląstelės: 24 oktaedrai. Viršūnių sk.: 24, briaunų: 96, veidų (triangulių): 96, ląstelių: 24. Ši figūra yra savarankiškai dualinė ir neturi tiesioginio trimatės erdvės Platono kūno atitikmens.
  • 120‑ląstelė, Schläfli simbolis {5,3,3}. Ląstelės: 120 dodekaedrų. Viršūnių sk.: 600, briaunų: 1200, veidų (penagonų): 720, ląstelių: 120. Tai viena iš didesnių ir sudėtingesnių taisyklingų 4-politopų.
  • 600‑ląstelė, Schläfli simbolis {3,3,5}. Ląstelės: 600 tetraedrų. Viršūnių sk.: 120, briaunų: 720, veidų (triangulių): 1200, ląstelių: 600. Tai 120‑ląstelės dualas.

Savybės ir ryšiai

  • Dualumas: 5‑ląstelė ir 24‑ląstelė yra savi dualai ({3,3,3} yra savidualus), 8‑ląstelė ({4,3,3}) yra dualas 16‑ląstelei ({3,3,4}), o 120‑ląstelė ({5,3,3}) — dualas 600‑ląstelei ({3,3,5}).
  • Visi ląstelės tipai yra Platono kūnai: kiekviename politopo ląstelės visos yra to paties Platono tipo (tetraedrai, kubai, oktaedrai, dodekaedrai ir t. t.).
  • Išgaubtumas (konveksija): visi šeši polichronai yra išgaubti (konveksiniai), t. y. bet kurie du jų taškai galima sujungti segmente, einančiame viduje figūros.

Konstrukcijos ir vaizdavimas

Keturių matmenų objektus praktiškai įsivaizduoti galima per projekcijas ir kryžmines sekcijas:

  • Schlegelio diagramos: 4-politopas projektuojamas į 3D taip, kad viena ląstelė atsidurtų „viduje“, o likusios būtų išdėstytos aplink ją — tai leidžia iliustruoti ląstelių susijungimus ir kaimynystes.
  • Ortogonalios projekcijos į 3D arba 2D, matematinės animacijos ir modeliavimas leidžia pamatyti simetrijas, briaunų išdėstymą ir kitus topologinius bruožus.

Praktinė reikšmė ir taikymai

Nors polichronai yra abstraktūs geometriniai objektai, jų tyrimas svarbus simetrijos teorijai, grupių teorijai, daugiamatės geometrijos, kvantinės fizikos ir kompiuterinės grafikos koncepcijoms. Be to, jie pateikia įdomius pavyzdžius, kaip plėsti intuiciją apie erdvę į aukštesnes dimensijas.

Kiekvieną išgaubtą taisyklingą 4-politopą riboja 3 matmenų ląstelių aibė, kurios visos yra to paties tipo ir dydžio Platono kūnai. Jie yra taisyklingai sujungti išilgai atitinkamų sienelių, sudarydami simetriškas ir visiškai reguliarias keturių matmenų struktūras.