Politop

Dalam geometri elementer, **politop** adalah suatu objek geometri yang memiliki muka, sisi yang datar. Politop secara umum merupakan perumuman dari polihedron berdimensi tiga menjadi sebarang dimensi. Politop yang mungkin ada dalam sebarang dimensi  disebut sebagai **politop berdimensi-**. Sebagai contoh, poligon merupakan politop berdimensi-2, dan polihedron merupakan politop berdimensi-3. Pada konteks ini, "sisi yang datar" mengartikan bahwa sisi-sisi dari suatu politop berdimensi- terdiri dari politop berdimensi- yang dapat memiliki politop berdimensi- yang sama.

Ada beberapa teori yang memperumum gagasan lebih lanjut untuk memasukkan objek seperti apeirotop dan pengubinan yang tidak memliki batas, dekomposisi atau pengisi kurva manifold seperti polihedron sferis, dan politop abstrak.

Politop dengan dimensi yang lebih dari tiga pertama kali ditemukan oleh Ludwig Schläfli sebelum tahun 1853, yang menyebutnya **polyschem**. Istilah *polytop* yang berasal dari bahasa Jerman diciptakan oleh matematikawan Reinhold Hoppe, dan diperkenalkan kepada matematikawan asal Inggris yang bernama Alicia Boole Stott sebagai *polytope*.

## Pendekatan definisi
Istilah *politop* saat ini merupakan istilah luas yang mencakup kelas-kelas objek yang sangat banyak, dan berbagai definisi ditemukan dalam kepustakaan matematika. Akan tetapi, banyak dari definisi ini tidak ekuivalen dengan satu sama lain, dan hal tersebut menghasilkan kumpulan objek bertumpang tindih yang berbeda, yang disebut *politop*. Objek-objek tersebut mewakili pendekatan yang berbeda untuk memperumum politop cembung untuk memasukkan objek lain dengan sifat-sifat yang serupa.

Pendekatan asli secara luas diikuti oleh Ludwig Schläfli, Thorold Gosset dan lainnya. Pendekatan tersebut berawal dari gagasan poligon (berdimensi dua) dan polihedron (berdimensi tiga) yang diperluas berdasarkan analogi menjadi dalam objek berdimensi empat atau lebih.

Upaya untuk memperumum karakteristik Euler dari polihedron menjadi politop berdimensi lebih tinggi mengakibatkan pengembangan topologi dan perlakuan dekomposisi atau kompleks CW (*CW complex*) menjadi analogi dengan politop. Berdasarkan pendekatan tersebut, politop dapat dipandang sebagai pengubinan atau dekomposisi dari beberapa manifold. Contoh pendekatan ini mendefinisikan politop sebagai sekumpulan titik yang memiliki dekomposisi sederhana. Selain itu, politop dalam pendekatan tersebut juga merupakan gabungan dari tak berhingga banyaknya simpleks dengan adanya sifat tambahan yang berbunyi bahwa untuk sebarang dua buah simpleks yang memiliki irisan tak kosong, irisannya adalah titik sudut, *edge*, atau muka dari dua simpleks yang berdimensi lebih tinggi. Sayangnya, definisi ini tidak berlaku untuk politop bintang dengan struktur interior, sehingga definisi tersebut menjadi terbatas di cabang matematika tertentu.
Politop dalam jumlah dimensi yang lebih rendah memiliki nama yang standar:

## Sifat-sifat
Karena politop cembung P (yang terisi) dengan d dimensi adalah kontraktibel menjadi satu buah titik, karakteristik Euler \chi dari batasnya \partial P dirumuskan dengan penjumlahan berselang-seling:\chi = n_0 - n_1 + n_2 - \cdots \plusmn n_{d-1} = 1 + (-1)^{d-1}.Notasi n_j pada rumus di atas menyatakan jumlah dari muka berdimensi-j. Karakteristik ini memperumum rumus Euler untuk polihedron.

Teorema Gram–Euler juga memperumum penjumlahan selang-seling dari sudut internal  \sum \varphi untuk polihedron cembung ke politop dengan dimensi yang lebih tinggi.\sum \varphi = (-1)^{d-1}.

## Perumuman
### Politop tak terbatas

Tidak semua mainfold adalah terhingga. Apabila politop dianggap sebagai pengubinan atau dekomposisi manifold, maka gagasan ini dapat diperluas menjadi manifold tak terhingga. Karena itu, politop meliputi pengubinan bidang, (sarang lebah) pengisi ruang, dan pengubinan hiperbolik. Politop tersebut terkadang-kadang disebut apeirotop sebab memiliki banyak sel yang tak berhingga jumlahnya.

Dari antara politop-politop tersebut, terdapat bentuk yang beraturan seperti polihedron pencong beraturan dan deret tak terhingga dari pengubinan yang dinyatakan dengan apeirogon beraturan, pengubinan persegi, sarang lebah kubik, dan lain sebagainya.

### Politop abstrak

Politop abstrak merupakan himpunan terurut parsial dari elemen atau anggota, yang mematuhi aturan-aturan tertentu. Politop ini merupakan struktur aljabar murni. Teori tentangnya dikembangkan supaya menghindari masalah-masalah yang menjadikannya sangat sulit untuk mencocokkan berbagai kelas geometris dalam sebuah struktur matematis yang konsisten. Suatu politop geometris dikatakan realisasi di beberapa ruang nyata dari politop abstrak yang terkait.

### Politop kompleks

Terdapat struktur yang mirip seperti dengan politop, dan struktur ada di ruang Hilbert kompleks  \Complex^n, dengan dimensi real  yang disertai dengan  bilangan imajiner. Lebih-lebih, poltop kompleks beraturan diperlakukan sebagai konfigurasi.

## Lihat pula

**[[Bounding volume]]*
*Daftar politop beraturan
*Perpotongan polihedron dengan garis
*Perluasan polihedron
*Sarang lebah (geometri)

## Referensi
### Catatan

### Sumber

* 

*.
*.

## Pranala luar

*
*"Math will rock your world" – application of polytopes to a database of articles used to support custom news feeds via the Internet – (*Business Week Online*)
*Regular and semi-regular convex polytopes a short historical overview: