Himpunan cembung

Dalam geometri, himpunan bagian dari suatu ruang Euklides (atau, lebih umumnya, ruang afin atas lapangan bilangan riil) dikatakan cembung jika untuk setiap dua titik anggota himpunan bagian, maka ruas garis yang menghubungkan kedua titik tersebut terletak sepenuhnya di dalam himpunan bagian tersebut. Dapat juga dikatakan, himpunan cembung atau daerah cembung adalah himpunan bagian yang mengiris setiap garis menjadi suatu ruas garis tunggal (mungkin kosong).^[1]^[2] Misal, kubus padat adalah himpunan cembung, tetapi apa pun yang berongga atau memiliki lekukan, misalnya, bentuk bulan sabit, bukan cembung.

Diagram Blaschke-Santaló

Himpunan

𝒦^{2}

dari semua benda cembung planar dapat menjadi parameter dalam bentuk diameter tubuh cembung

D

, jari-jari lingkaran dalam

r

(lingkaran terbesar yang terkandung dalam tubuh cembung) dan jari-jari lingkaran luar

R

(lingkaran terkecil berisi badan cembung). Bahkan, himpunan ini dapat dijelaskan oleh himpunan ketidaksetaraan yang diberikan oleh ^[3]^[4]

$\begin{matrix} 2 r & \leq D \leq 2 R \\ R & \leq \frac{\sqrt{3}}{3} D \\ r + R & \leq D \\ D^{2} \sqrt{4 R^{2} - D^{2}} & \leq 2 R (2 R + \sqrt{4 R^{2} - D^{2}}) \end{matrix}$

dan dapat divisualisasikan sebagai gambar dari fungsi

g

yang memetakan tubuh cembung ke titik

ℝ^{2}

yang diberikan oleh

(\frac{r}{R}, \frac{D}{2 R})

. Gambar fungsi ini dikenal sebagai

(r, D, R)

diagram Blachke-Santaló.

Atau, himpunan $𝒦^{2}$ juga dapat diukur dengan lebarnya (jarak terkecil antara dua hiperbidang paralel yang berbeda), perimeter dan luas.^[3]^[4]