Bola pejal (matematika)

Dalam matematika, bola pejal (atau bola pepat) adalah bangunan ruang yang dibatasi volume bola, yang disebut juga sebagai bola padat.^[1] Bola dapat dikatakan sebagai bola tertutup (bahasa Inggris: closed ball), yang mencakup titik batas yang membentuk bola) atau disebut sebagai bola terbuka (bahasa Inggris: open ball), yang mengecualikan titik batas yang membentuk bola.

Konsep ini tidak hanya didefinisikan dalam ruang Euklides berdimensi tiga, melainkan untuk dimensi yang lebih rendah dan lebih tinggi pula, dan untuk ruang metrik secara umum. Bola pejal dalam dimensi n disebut bola pejal-n dan dibatasi oleh hiperbola atau bola-(n−1). Jadi, sebagai contoh, bola pejal dalam bidang Euklides merupakan hal yang serupa dengan cakram, yang dibatasi lingkaran. Dalam ruang berdimensi tiga Euklides, bola pejal diambil sebagai volume yang dibatasi dengan bola berdimensi dua. Dalam ruang berdimensi satu, bola pejal merupakan sebuah ruas garis.

Dalam ruang Euklides ke-n, bola pejal-n (terbuka) dengan jari-jari r dan pusat x merupakan himpunan dari semua titik dengan jarak kurang dari r yang jauh dari x. Sedangkan bola pejal-n tertutup dengan jari-jari r merupakan himpunan dari semua titik dengan jarak kurang dari atau sama dengan nilai r yang jauh dari x.

Dalam ruang Euklides berdimensi-n, volume berdimensi-n dari bola pejal Euklides dengan jari-jari R dirumuskan sebagai:^[2]

${\displaystyle V_{n}(R)={\frac {\pi ^{\frac {n}{2}}}{\Gamma \left({\frac {n}{2}}+1\right)}}R^{n},}$

dengan Γ merupakan fungsi gamma Leonhard Euler (yang dapat dipandang sebagai perluasan dari fungsi faktorial hingga ke argumen fraksional). Menggunakan rumus eksplisit nilai khusus dari fungsi gamma di bilangan bulat dan setengah bilangan bulat, memberikan rumus volume dari bola pejal Euklides yang tanpa menggunakan perhitungan fungsi gamma. Rumus tersebut adalah:

${\displaystyle {\begin{aligned}V_{2k}(R)&={\frac {\pi ^{k}}{k!}}R^{2k}\,,\\V_{2k+1}(R)&={\frac {2^{k+1}\pi ^{k}}{(2k+1)!!}}R^{2k+1}={\frac {2(k!)(4\pi )^{k}}{(2k+1)!}}R^{2k+1}\,.\end{aligned}}}$

Dalam rumus volume berdimensi ganjil, faktorial ganda (2k + 1)!! didefinisikan untuk bilangan bulat ganjil 2k + 1 sebagai

${\displaystyle (2k+1)!!=1\cdot 3\cdot 5\cdot \cdots \cdot (2k-1)\cdot (2k+1).}$

• Smith, D. J.; Vamanamurthy, M. K. (1989). "How small is a unit ball?". Mathematics Magazine. 62 (2): 101–107. doi:10.1080/0025570x.1989.11977419. JSTOR 2690391. 
• Dowker, J. S. (1996). "Robin Conditions on the Euclidean ball". Classical and Quantum Gravity. 13 (4): 585–610. arXiv:hep-th/9506042 . Bibcode:1996CQGra..13..585D. doi:10.1088/0264-9381/13/4/003.  Parameter |s2cid= yang tidak diketahui akan diabaikan (bantuan)
• Gruber, Peter M. (1982). "Isometries of the space of convex bodies contained in a Euclidean ball". Israel Journal of Mathematics. 42 (4): 277–283. doi:10.1007/BF02761407 .