Politopas

Elementarioje geometrijoje politopas yra geometrinis objektas, turintis plokščias sienas ir egzistuojantis n matavimuose kaip  n-matis politopas arba n-politopas. Pavyzdžiui, dvimatis daugiakampis yra 2-politopas, o trimatis briaunainis yra 3-politopas.
Kai kurios teorijos apibendrina plačiau ir įtraukia tokius objektus, kaip beribes aibes (apeirotopus ir plokštumos klojinius), kreivųjų daugdarų dekompozicijas ar plokštumos klojinius, tarp kurių yra sferiniai briaunainiai, taip pat, aibių teorijoje nagrinėjami, abstraktūs politopai.
Politopus, turinčius daugiau nei tris matavimus, pirmasis aprašė Ludwigas Schläfli. Patį terminą "politopas" sukūrė matematikas Reinholdas Hoppe, rašęs vokiškai, o į anglų kalbą šį terminą įvedė anglų matematikė Alicia Boole Stott.

Apibrėžimo problema

Politopas šiuo metu yra terminas, apimantis didelę objektų klasę, ir matematikos šaltiniuose jis apibrėžiamas nevienodai. Yra apibrėžimų, kurie net nėra ekvivalentiški vienas kitam, tad susiduriama su problema, kad politopais vadinamos skirtingos objektų aibės.
Pradiniai politopo apibrėžimai rėmėsi Liudvigu Šlafli, Thoroldu Gossetu (Thorold Gosset) ir kitais autoriais, grindusiais politopą kaip figūrą, užimančią keturmatę ar n-matę erdvę, kai požiūris į matavimus buvo plečiamas pagal dvimačio daugiakampio ir trimačio briaunainio analogiją į keturmatę ir aukštesnių dimensijų erdvę. 
Mėginimai apibendrinti briaunainių Oilerio charakteristiką aukštesnių matavimų politopams paskatino topologijos raidą, taip pat, dekompozicijų, arba CW kompleksų (angl. CW-complex), prilyginimą politopams. Tada politopą galima laikyti klojiniu arba tam tikros daugdaros dekompozicija. Taigi politopą (šiuo atveju) galima apibrėžti kaip aibę taškų, leidžiančių simpleksinę dekompoziciją. Pagal šį apibrėžimą, politopas yra suskaičiuojamos simpleksų aibės junginys, kuriame simpleksai įgyja papildomą savybę: bet kuriems dviems simpleksams, turintiems netuščią sankirtą, ta sankirta yra jų abiejų viršūnė, briauna arba aukštesnio matavimo siena. Bet šis apibrėžimas neleidžia kalbėti apie žvaigždinius politopus, turinčius vidinę struktūrą, todėl jo taikymas yra ribotas.
Pradėjus intensyviai tyrinėti žvaigždinius briaunainius ir kitas neįprastas figūras, imta samprotauti, kad briaunainis yra tik ribinis paviršius, tad jo vidų galima ignoruoti. Taip vertinant, iškilas p-matės erdvės politopas yra ekvivalentiškas klojiniui ant (p−1)-sferos, o kitokie (neiškili) politopai gali būti klojiniai ant kitokių (p−1)-paviršių: eliptinių, plokščių ar toroidinių. Tada briaunainis laikomas paviršiumi, kurio sienos yra daugiakampiai; keturmatis politopas (4-politopas) – hiperpaviršiumi, kurio sienos (celės) yra briaunainiai ir t. t.
Mintis, kad aukštesnio matavimo politopą galima konstruoti iš žemesnio matavimo figūrų, kartais yra išplečiama ir priešinga, dimensijų mažėjimo kryptimi, kai briaunos laikomos vienmačiu politopu (1-politopu), kurį riboja taškų pora, o taškas, arba viršūnė, yra 0-politopas. Tokia prieiga taikoma, pavyzdžiui, abstrakčiųjų politopų teorijoje.

Iškilieji politopai

Politopas (kaip ir briaunainis) gali būti iškilas. Iškilieji politopai yra paprasčiausia politopų atmaina ir jų pagrindu kuriami apibendrinimai visiems politopams. Iškilas politopas kartais yra laikomas puserdvių (angl. half-space) aibės elementų sankirta. Toks apibrėžimas leidžia traktuoti politopą kartu ir kaip neaprėžtą, ir kaip aprėžtą objektą. Toks politopo apibrėžimas naudingai naudojamas tiesinėje geometrijoje. Politopas yra aprėžtas, jei egzistuoja toks baigtinio spindulio rutulys, į kurį jis telpa. Politopas vadinamas smailiu, jei jis turi bent vieną viršūnę. Kiekvienas aprėžtas nenulinio matavimo politopas yra smailus. Nesmailaus politopo pavyzdys yra aibė . Politopas yra aprėžtas, jei jį galima nusakyti baigtiniu objektų skaičiumi, pavyzdžiui, kaip baigtinio skaičiaus puserdvių sankirtą.

Žvaigždiniai politopai

Neiškilieji politopai gali kirsti patys save; ši politopų klasė apima žvaigždinius politopus, kartu reikia nepamiršti, kad keletas žvaigždinių politopų yra taisyklingieji.

Istorija

Daugiakampiai ir briaunainiai yra žinomi nuo seniausių laikų.
Pirmosios užuominos apie aukštesnius matavimus sutinkamos nuo 1827 metų, kai Augustas Ferdinandas Mėbijus (August Ferdinand Möbius) atrado, kad du kūnai, kurie yra veidrodiniai vienas kito atspindžiai, gali būti sutapatinti, pasukant vieną iš jų aplinkui matematinio ketvirtojo matavimo ašį. XIX a. šeštame dešimtmetyje visa eilė kitų matematikų (pavyzdžiui, Cayley, Grassman) taip pat nagrinėjo aukštesnius matavimus.
Liudvigas Šlafli buvo pirmasis, kuris pradėjo nagrinėti daugiakampių ir briaunainių analogus aukštesnio matavimo erdvėje. 1852 m. jis aprašė šešis iškilus taisyklingus 4-politopus, bet šis jo darbas buvo publikuotas tik 1901 m., šešeri metai po autoriaus mirties. 1854 metais savo veikale Habilitationsschrift Berhardas Rymanas tvirtai pagrindė daugiamatės geometrijos teoriją ir nuo tada imta naudoti n-mačio politopo sąvoka. Schläfli'o aprašyti politopai buvo net keliskart atrandami iš naujo dar jam esant gyvam.
1882 metais vokiškai rašęs matematikas Reinoldas Hopė (Reinhold Hoppe) sukūrė pačią politopo sąvoką, apibendrinančią daugiakampių ir briaunainių savybes. O panašiai tuo pačiu metu Alisija Būle Stot (Alicia Boole Stott), loginės algebros teoretiko Georgo Būlio (George Boole) dukra, įvedė šį terminą į anglų kalbą.
1895 metais Toroldas Gosetas (Thorold Gosset) ne tik dar kartą „atrado“ Schläfli'o taisyklinguosius politopus, bet taip pat nagrinėjo pustaisyklingius politopus ir daugiamatę erdvę užpildančius klojinius. Lygiagrečiai imta studijuoti politopų savybes neeuklidinėje erdvėje, pavyzdžiui, hiperbolinėje.
Svarbus tyrimų etapas prasidėjo 1948 metais, po to kai buvo publikuota Kokseterio (H. S. M. Coxeter) knyga Regular Polytopes (Taisyklingieji politopai), kurioje buvo apibendrinti ligi to meto atlikti šios srities tyrimai, taip pat juos papildė svarbios paties Kokseterio atrastos naujovės.
Tuo metu prancūzų matematikas Anri Puankarė jau buvo išplėtojęs topologines idėjas apie politopą kaip apie topologinės daugdaros dekompoziciją į dalis, t. y. į CW kompleksus (angl. CW-complex). Kitas matematikas, Branko Griunbaumas (Branko Grünbaum), savo įtakingą veikalą apie išklius politopus išleido 1967 metais.
1952 metais Šeperdas (Shephard) apibendrino kompleksinių politopų idėją kompleksinėje erdvėje, kur kiekvieną realųjį matavimą atitinka menamas. Šią teorinę idėja išplėtojo Kokseteris.
Kompleksinių politopų savybės (neiškilumas, dualumas ir kiti reiškiniai) paskatino Griunbaumą ir kitus mokslininkus ieškoti dar gilesnių apibendrinimų, susijusių su abstrakčiomis kombinatorinėmis savybėmis, būdingomis viršūnėms, briaunoms, sienoms ir kitiems elementams. Kartu buvo išsamiai studijuojama įvairių elementų tarpusavio sąveika. Tai leido sukurti abstrakčiųjų politopų teoriją, pagal kurią politopas yra tokių elementų dalinė sutvarkytoji aibė (angl. partially ordered set, poset). 2002 metais buvo publikuota svarbi Makmuleno (McMullen) ir Šultės (Schulte) knyga Abstract Regular Polytopes (Abstraktūs taisyklingieji politopai).
Šiuo metu svarbi tyrimų problema yra tolygių politopų (iškilių ir neiškilių) nomenklatūros sudarymas.
XXI amžiuje teorinės žinios apie politopus ir su jais susijusius elementus bei savybes yra plačiai taikomos pačiose įvairiausiose srityse: kompiuterinės grafikos, matematinio optimizavimo, paieškos sistemų, kosmologijos, kvantinės mechanikos ir kitose. Čia dar verta paminėti, kad 1913 metais atrastas amplituedras leido žymiai supaprastinti kai kuriuos teorinės fizikos skaičiavimus.