3.

Ruang tak terhingga

Intinya telah dibuat bahwa aksioma geometri Euclid tidak berlaku dengan benar apa
yang dianggap orang Yunani sebagai 'ruang'. Tampaknya Thomas Bradwardine (abad
keempat belas), dalam skolastik yang tipikal pendekatan, adalah salah satu yang pertama
mempertimbangkan gagasan ruang tak terhingga.

Kami mencatat dalam Bab 7 pentingnya geometri Yunani untuk karya Newton
selanjutnya, khususnya Principia. Memang, Newton melangkah lebih jauh dari Descartes
dengan membangun skema luas tentang bagaimana semua materi di alam semesta
berperilaku. Di sini alam semesta secara eksplisit diidentifikasi dengan ruang Geometri
Euclidean, di mana garis lurus memiliki ekstensi tak terhingga.

Adapun penerapan postulat 5, itu berarti setiap garis miring (dalam bidang yang
sama) akan bertemu di suatu tempat di alam semesta. Tentu saja, dalam arti ini selalu
demikian; tapi ide itu bahwa studi geometri berasal dari pengetahuan dunia, baik yang lahir
(bagian dari kami struktur mental) atau empiris (berasal dari pengamatan) menjadi satu yang
dominan untuk dua abad berikutnya. Kontras dengan pandangan Plato bahwa ide-ide
geometris dalam beberapa cara di atas adalah praktik menyolok.
Di akhir abad kedelapan belas, ahli geografi Prancis Gaspard Monge mengembangkan
apa yang disebut "deskriptif geometri 'subjek utama dalam École Polytechnique yang sangat
berpengaruh. Sangat modis sepanjang abad kesembilan belas, dan masih bertahan sebagai
bagian penting dari pelatihan praktis meskipun tidak diketahui di sebagian besar departemen
matematika, geometri deskriptif adalah studi tentang angka tiga dimensi melalui proyeksi
mereka — rencana, ketinggian, dan seterusnya.

Gambar 6. Geometri deskriptif klasik karena masih dipraktikkan saat ini. Ketiga proyeksi
disatukan untuk memberikan pandangan umum, menggunakan aljabar vektor.
Gambar. 7 Perspektif tradisional menghasilkan 'garis ideal' pada infinity XY geometri
projektif. Garis CA, DB sejajar dan bertemu di infinity at X di ‘extended bidang’; sama AB,
CD bertemu di Y.

Memang, bahkan studi geometri projektif, yang masih diajarkan sebagai subjek yang
sangat abstrak, adalah awalnya merupakan cabang dari geometri deskriptif5 dan dianggap
sebagai studi tentang ruang yang diperkaya oleh titik-titik ideal dan garis 'tanpa batas' yang
kita temukan dalam gambar perspektif (Gbr. 7). Paralel garis-garis, yang menyimpang dari
postulat 5, dapat bertemu asalkan titik pertemuan mereka dalam bayangan itu zona
pengecualian yang disebut 'garis tanpa batas'; struktur ruang Euclidean tidak tertantang,
betapapun anehnya itu kelihatannya. Mungkin ekspresi terkuat dari yang berlaku ortodoksi
diberikan oleh Bolzano pada 1817 ketika ia menyerang penggunaan geometri untuk
membuktikan hasil analisis:

Geometri adalah subjek yang diterapkan, karena kebenarannya berasal dari pengetahuan kita
tentang dunia.

4 Geometri Bola
Matematika yang mendasari Geometri non-Euclidean, kadang-kadang, sulit baik
secara konseptual maupun dalam perhitungan belaka. Ide-ide Lobachevsky dan Bolyai
membutuhkan formula mereka untuk bekerja, dan rumusnya jauh dari intuitif. Mengikuti
preseden umum, karena itu kami harus mempertimbangkan terlebih dahulu ‘geometri’ yang
didefinisikan di suatu bola — berpikir, seperti biasa, tentang Bumi — dengan mengambil
'garis lurus' menjadi garis-garis jarak terpendek, yaitu lingkaran besar.

Sudah pada zaman Yunani, sebagaimana telah disebutkan, diakui bahwa garis
terpendek jarak pada bola (mari kita sebut bola S) adalah busur dari 'lingkaran besar' -
persimpangan dari S dengan pesawat melalui pusat. Karena pentingnya mereka dalam
astronomi, orang-orang Yunani, di Ptolemy tertentu memberi perhatian untuk memahami
segitiga-segitiga sferis (segitiga yang sisinya berada garis terpendek pada bola), dan
matematikawan Islam yang memiliki (kira-kira) trigonometri kami fungsi untuk membantu
mereka dapat memperoleh formula kunci untuk 'menyelesaikan'.

Rumus sangat penting jika ingin menemukan jalan kita tentang suatu bola; mereka telah
digunakan oleh ahli geografi kuno dan modern. Minat yang jauh lebih sedikit bagi para ahli
geografi, tetapi lebih kepada para matematikawan, adalah sesuatu tentang sudut-jumlah
segitiga bola yang ditemukan oleh Albert Girard pada abad ketujuh belas: itu

1. angle-sum A + B + C selalu lebih besar dari π (sangat jelas);

2. ‘excess’A + B + C − π meningkat dengan area; sebenarnya, itu persis sama dengan (1
/ R2) × area (ABC).