"Geometri kombinatorial" beralih ke halaman ini. Istilah geometri kombinatorial juga digunakan dalam teori matroid untuk merujuk pada suatu matroid sederhana, terutama dalam buku catatan yang sudah tua.Kumpulan lingkaran dan graf satuan cakram yang sama
**Geometri diskret** dan **geometri kombinatorial** sama-sama merupakan cabang geometri yang mempelajari sifat-sifat kombinatorial dan metode konstruktif dari objek geometris diskrit. Banyak masalah-masalah dalam cabang ini melibatkan himpunan terhingga atau himpunan diskrit dari objek-objek geometri dasar, seperti titik, garis, bidang, lingkaran, bola, poligon, dan lain sebagainya. Cabang ini mempelajari sifat-sifat kombinatorial dari objek-objek geometri tersebut, seperti menanyakan bagaimana objek-objek dasar tersebut teriris satu sama lain, atau bagaimana objek-objek tersebut dapat disusun menutupi objek yang lebih besar.

Geometri diskrit memiliki banyak kesamaan dengan geometri cembung dan geometri komputasi. Selain itu, geometri diskrit memiliki kaitan erat dengan cabang-cabang lain seperti geometri hingga, optimasi kombinatorial, geometri digital, geometri diferensial diskrit, teori graf geometri, geometri torus, dan topologi kombinatorial.

Sejarah
-------

Meskipun polihedron dan pengubinan (*tesellation*) telah dipelajari selama bertahun-tahun oleh tokoh-tokoh seperti Kepler dan Cauchy, geometri diskrit modern berawal pada akhir abad ke-19. Topik-topik yang sudah dipelajari sebelumnya adalah kepadatan pengepakan lingkaran oleh Thue, konfigurasi proyektif oleh Reye dan Steinitz, geometri bilangan oleh Minkowski, dan pewarnaan peta oleh Tait, Heawood, dan Hadwiger.

Geometri diskrit dikembangkan oleh László Fejes Tóth, H.S.M. Coxeter dan Paul Erdős.

Topik
-----

### Polihedronn dan politop

Artikel utama: Polihedron dan Politop
Secara umum, politop adalah benda geometris dengan sisi datar, yang terdapat di dalam sebarang dimensi umum. Karena itu, poligon adalah politop dalam ruang berdimensi dua, sementara polihedron adalah politop dalam ruang berdimensi tiga, dan seterusnya dalam dimensi yang lebih tinggi (seperti politop berdimensi empat). Beberapa teori lebih lanjut memperumum gagasan tersebut, yang bertujuan untuk menyertakan objek-objek seperti politop yang tidak memiliki batas (apeirotop dan pengubinan), dan politop abstrak.

Berikut di bawah adalah beberapa aspek politop yang dipelajari dalam geometri diskrit:

* Kombinatorik polihedral
* Politop kekisi
* Polinomial Ehrhart
* Teorema Pick
* Konjektur Hirsch

### Pengepakan, peliputan dan pengubinan

Artikel utama: Pengepakan lingkaran dan Pengubinan
Pengepakan (*packings*), peliputan (*coverings*), dan pengubinan (*tesellations*) adalah cara-cara untuk menyusun objek yang berseragam (biasanya lingkaran, bola, atau ubin) secara teratur pada suatu permukaan atau manifold.

Pengepakan bola (*sphere packings*) adalah susunan bola yang tidak tumpang tindih dalam ruang yang ditampung. Semua bola-bola tersebut biasanya dianggap memiliki ukuran yang identik, dan memiliki ruang yang merupakan ruang Euklides berdimensi tiga. Meskipun demikian, masalah pengepakan dapat diperumum ke bola-bola yang dianggap tidak memiliki ukuran yang sama, ruang Euklides berdimensi-{\displaystyle n}(dengan masalah ini menjadi pengepakan lingkaran dalam dua dimensi, atau pengepakan hiperbola dalam dimensi yang lebih tinggi), atau ruang non-Euklides seperti ruang hiperbolik.

Pengubinan atau teselasi (*tesellations*) dari suatu permukaan datar merupakan pengubinan dari suatu bidang yang menggunakan satu buah bentuk geometris atau lebih; bentuk- tersebut dinamakan ubin (*tiles*). Pengubinan dari suatu bidang tersebut tidak ada tumpang tindih dan tidak memiliki celah. Pengubinan dalam matematika dapat diperumum ke dimensi yang lebih tinggi.

Topik khusus di bidang ini meliputi:

* Pengepakan lingkaran
* Pengepakan bola
* Konjektur Kepler
* Kuasikristal
* Pengubinan aperiodik
* Graf periodik
* Aturan subdivisi terhingga

### Kekakuan dan fleksibilitas struktural

Artikel utama: Kekakuan struktural
Pada gambar, graf dianggap sebagai batang yang terhubung dengan engsel yang berputar. Graf siklus (*cycle graph*) {\displaystyle C\_{4}} digambarkan sebagai suatu persegi yang dapat dimiringkan oleh dorongan (yang ditandai dengan panah berwarna biru) menjadi jajar genjang; sehingga dapat dikatakan bahwa graf tersebut adalah fleksibel. {\displaystyle K\_{3}}, graf yang digambarkan sebagai suatu segitiga, tidak dapat diubah oleh dorongan manapun; karena itu, graf tersebut dikatakan kaku.
Kekakuan struktural (*structural rigidity*) adalah teori kombinatorial untuk memprediksi fleksibilitas dari kumpulan yang dibentuk oleh benda tegar dihubungkan oleh *linkage* atau engsel yang fleksibel.

Topik pada cabang ini meliputi:

* Teorema Cauchy
* Polihedron fleksibel

### Struktur insidensi

Artikel utama: Struktur insidensi
Tujuh buah titik pada gambar merupakan anggota dari tujuh ruas garis di bidang Fano. Struktur ini merupakan contoh dari struktur insidensi.
Struktur insidensi (*incidence structure*) memperumum bidang-bidang (seperti bidang afin, bidang proyektif, dan bidang Möbius) seperti yang dapat dilihat dari definisi aksiomatiknya. Struktur insiden juga memperumum ke struktur yang berdimensi lebih tinggi, dan struktur terhingga terkadang disebut geometri terhingga.

Secara formal, **struktur insidensi** adalah tripel


C
=
(
P
,
L
,
I
)
,

{\displaystyle C=(P,L,I),\,}

{\displaystyle C=(P,L,I),\,}dengan {\displaystyle P} adalah himpunan "titik" (*points*), {\displaystyle L} adalah himpunan "garis" (*lines*), dan {\displaystyle I\subseteq P\times L} adalah relasi insidensi. Anggota dari {\displaystyle I} disebut **flag**. Jika {\displaystyle (p,l)\in I,} maka dapat dikatakan bahwa titik {\displaystyle p} "terletak di" garis {\displaystyle l}.

Topik pada cabang ini meliputi:

* Konfigurasi
* Susunan garis
* Susunan hiperbidang
* Bangunan

### Matroid terorientasi

Artikel utama: Matroid berorientasi
Matroid terorientasi (*oriented matroid*) adalah struktur matematika yang mengabstraksi sifat-sifat dari graf berarah dan susunan vektor dalam ruang vektor atas lapangan terurut (terutama untuk ruang vektor terurut parsial). Sebagai perbandingan, matroid biasa (yaitu, matroid tak terorientasi) mengabstraksi sifat-sifat ketergantungan yang umum untuk graf, yang tidak harus *terarah*. Selain itu, matroid biasa juga mengabstrasikan sifat-sifat tersebut untuk susunan vektor atas lapangan, yang tidak semestinya *terurut*.

### Kombinatorik topologis

Artikel utama: Kombinatorik topologis
Cabang kombinatorial topologis adalah cabang yang menggunakan konsep kombinatorial dalam topologi. Pada awal abad ke-20, cabang ini berubah menjadi topologi aljabar. Topik pada cabang ini meliputi:

* Lema Sperner
* Pemetaan beraturan

Referensi
---------

1. ↑  Pach, János; et al. (2008), *Intuitive Geometry, in Memoriam László Fejes Tóth*, Alfréd Rényi Institute of Mathematics, diarsipkan dari versi asli tanggal 2021-04-21, diakses tanggal 2020-10-08
2. ↑  
Katona, G. O. H. (2005), "Laszlo Fejes Toth – Obituary", *Studia Scientiarum Mathematicarum Hungarica*, **42** (2): 113
3. ↑  
Bárány, Imre (2010), "Discrete and convex geometry", dalam Horváth, János, *A Panorama of Hungarian Mathematics in the Twentieth Century, I*, New York: Springer, hlm. 431–441, ISBN 9783540307211
4. ↑  Rockafellar 1969. Björner et alia, Chapters 1-3. Bokowski, Chapter 1. Ziegler, Chapter 7.
5. ↑  Björner et alia, Chapters 1-3. Bokowski, Chapters 1-4.
6. ↑  Karena matroid dan matroid terorientasi merupakan abstraksi dari abstraksi matematika lainnya, hampir semua buku yang relevan ditulis untuk ilmuwan matematika daripada untuk masyarakat umum. Untuk mempelajari tentang matroid terorientasi, persiapan yang baik adalah dengan mempelajari buku teks tentang optimasasi linear oleh Nering dan Tucker, yang dicantumkan dengan gagasan-gagasan mengenai matroid terorientasi, dan kemudian berlanjut ke kuliah Ziegler tentang polytopes.

| * l
* b
* s
Matematika (Bidang matematika) |
| --- |
| Fondasi | 
* Filsafat matematika
* Logika matematika
* Teori himpunan
* Teori informasi
* Teori kategori
* Teori tipe

 |
| Aljabar | 
* Abstrak
* Elementer
* Homologis
* Komutatif
* Linear
* Multilinear
* Universal
* Teori grup
* Teori representasi

 |
| Analisis | 
* Kalkulus
* Analisis fungsional
* Analisis harmonik
* Analisis kompleks
* Analisis real
* Persamaan diferensial
* Teori ukuran
* Teori sistem dinamis

 |
| Diskret | 
* Kombinatorika
* Teori graf
* Teori order

 |
| Geometri | 
* Aljabar
* Analitis
* Diferensial
* Diskrit
* Euklides
* Hingga
* Trigonometri

 |
| Komputasi | 
* Analisis numerik (Topik)
* Ilmu komputer
* Komputasi simbolik
* Teori komputasi
* Teori kompleksitas komputasi
* Optimisasi matematika

 |
| Teori bilangan | 
* Aritmetika
* Geometri Diophantine
* Teori bilangan aljabar
* Teori bilangan analitis

 |
| Topologi | 
* Teori homotopi
* Aljabar
* Diferensial
* Geometris
* Umum

 |
| Terapan | 
* Matematika biologi
* Matematika ekonomi
* Matematika keuangan
* Fisika matematis
* Kimia matematika
* Psikologi matematis
* Statistika
* Statistika matematika
* Teori peluang
* Ilmu sistem (Teori kendali, Teori permainan, Riset operasi)

 |
| Divisi | 
* Matematika murni
* Matematika terapan
* Matematika diskret
* Matematika komputasi

 |
| Topik terkait | 
* Matematika dan seni
* Matematika rekreasi
* Pendidikan matematika
* Sejarah matematika

 |
| 
* Category **Kategori**
* Portal **Portal matematika**
* Kerangka
* Daftar

 |