Kebanyakan orang belajar geometri di sekolah dan berasumsi bahwa geometri hanya tentang permukaan datar. Segitiga berjumlah 180 derajat. Garis sejajar tidak pernah bertemu. Itu adalah geometri Euclidean. Ini berfungsi dengan baik untuk pekerjaan rumah Anda. Ini berfungsi dengan baik untuk membangun rumah. Namun hal ini gagal jika Anda melihat bintang atau merencanakan jalur penerbangan melintasi Pasifik.
Geometri non-Euclidean adalah sistem apa pun yang melanggar aturan permukaan datar tersebut. Meskipun istilah ini sering digunakan sebagai singkatan untuk geometri hiperbolik, istilah ini sebenarnya mencakup segala bentuk yang tidak menerapkan aturan lama Euclid. Dua pemain besar di sini adalah geometri bola dan geometri hiperbolik.
Bagaimana Postulat Paralel Mengubah Segalanya
Masalah sebenarnya dimulai dengan postulat kelima Euclid, yaitu tentang garis sejajar. Dikatakan bahwa jika Anda memiliki sebuah garis dan sebuah titik tidak pada garis tersebut, maka ada tepat satu garis yang melalui titik tersebut dan sejajar dengan garis pertama.
Selama berabad-abad, para ahli matematika membenci aturan ini. Rasanya kikuk. Hal ini tampaknya tidak “jelas” seperti yang lainnya. Mereka menghabiskan 2.000 tahun untuk mencoba membuktikannya menggunakan empat postulat lainnya. Mereka gagal.
Akhirnya, dua pria berhenti mencoba membuktikannya dan mulai bermain-main dengan apa yang terjadi jika Anda menghapusnya. Nikolay Lobachevsky di Rusia dan János Bolyai di Hongaria secara independen mempublikasikan temuan mereka sekitar tahun 1829 dan 1831. Mereka menemukan geometri yang bekerja dengan sempurna tanpa postulat paralel. Itu adalah geometri hiperbolik.
Berikut perbandingan ketiga sistem saat Anda mengubah aturan:
- Euclidean: Tepat ada satu garis sejajar yang melalui suatu titik. Postulat itu benar. Jumlah sudut segitiga tepat 180 derajat.
- Bola: Tidak ada garis sejajar. Dua “garis” mana pun (lingkaran besar) pada akhirnya akan berpotongan. Postulat itu salah. Jumlah sudut segitiga lebih dari 180 derajat.
- Hiperbolik: Ada banyak sekali garis sejajar yang melalui suatu titik. Postulat itu salah. Jumlah sudut segitiga kurang dari 180 derajat.
Langit dan Laut: Kelahiran Geometri Bola
Salah satu cabang geometri non-Euclidean berasal dari melihat ke atas. Para astronom zaman dahulu perlu melacak bintang dan planet pada langit berbentuk setengah bola. Euclid sendiri menulis tentang geometri bola dalam karyanya Phaenomena sekitar 300 SM.
Cabang lainnya muncul dari pandangan ke bawah—atau lebih tepatnya, ke seberang lautan. Para navigator perlu memahami bentuk bumi untuk menemukan jalan mereka. Jika Bumi itu bulat, maka garis lurus pada peta terletak pada Anda. Kebutuhan praktis ini mendorong studi geometri bola. Itu bukan hanya teori. Ini tentang tidak tersesat.
Lingkaran Besar Adalah Garis Lurus Baru
Dalam geometri bola, konsep “garis lurus” menjadi aneh. Pada globe, jarak terpendek antara dua titik merupakan rute lingkaran besar. Bayangkan sebuah tali yang terentang erat antara New York dan London. Tali itu tidak terbang lurus di udara. Itu melengkung di sepanjang permukaan.
Ptolemeus mencatat hal ini dalam Geografi sekitar tahun 150 M. Ia menulis bahwa permukaan tanah dan air berbentuk bulat. Setiap bidang yang melewati pusat bumi akan memotong permukaan bumi membentuk lingkaran besar.
Lingkaran besar ini adalah “garis lurus” geometri ini. Mereka pada dasarnya lurus. Jika Anda berjalan di sepanjang salah satunya, Anda tidak akan berbelok. Anda bergerak selurus mungkin pada permukaan melengkung.
Ketika ketiga busur ini berpotongan, mereka membentuk segitiga bola. Tampaknya terdistorsi pada peta datar. Tapi di bola, itu hanya sebuah segitiga. Perbedaan segitiga pada bola kecil dan bola besar hanyalah skalanya. Dalam istilah geometri diferensial, geometri bola adalah ilmu yang mempelajari permukaan dengan kelengkungan positif konstan.
Mengapa Maps Berbohong kepada Anda
Jika geometri bola sangat berguna, mengapa kita tidak melihatnya di mana-mana? Karena kami menyukai peta datar.
Kartografer harus memproyeksikan bagian bola ke bidang datar. Hal ini tidak mungkin dilakukan tanpa distorsi. Anda bisa menjaga jarak. Anda dapat melestarikan area. Anda dapat mempertahankan sudut. Anda tidak dapat melakukan ketiganya sekaligus.
Kebutuhan untuk menyeimbangkan trade-off dalam pembuatan peta memberikan studi tentang geometri bola sebagai dorongan awal dan praktis. Itu bukan hanya matematika abstrak. Itu tentang mewakili dunia tanpa berbohong terlalu buruk.
Geometri Tersembunyi Ruang Hiperbolik
Lalu ada geometri hiperbolik. Itu adalah separuh keluarga non-Euclidean lainnya. Itu tidak cocok dengan dunia fisik kita. Itu tidak cocok dengan lantai datar ruang kelas kami. Ini menggambarkan ruang yang melengkung ke dalam, seperti pelana atau chip Pringles.
Di ruang ini, peraturan berubah ke arah lain. Garis-garisnya berbeda. Segitiga menjadi kurus. Sudut menyusut. Rasanya berlawanan dengan intuisi karena kita tidak mengalami bentuk ini dalam kehidupan sehari-hari. Tapi itu ada dalam matematika. Dan kemudian, dalam fisika.
Peralihan dari Euclidean ke non-Euclidean bukanlah hal yang terjadi secara tiba-tiba. Itu adalah kepastian yang terkuak secara perlahan. Matematikawan harus mengakui bahwa “kebenaran” mereka hanyalah asumsi. Asumsi tentang kerataan. Asumsi tentang garis sejajar.
Ketika Anda menghilangkan postulat paralel, seluruh struktur bergeser. Jalur mana yang Anda ambil—berbentuk bola atau hiperbolik—bergantung pada apakah ruang yang Anda petakan melengkung kembali atau terbuka selamanya.
Geometri elips pada dasarnya adalah geometri bola dengan penyesuaian aturan tertentu. Bayangkan sebuah bola dunia dimana Kutub Utara dan Kutub Selatan diperlakukan sebagai lokasi yang sama persis. Itulah gagasan inti di balik formalisasi aksiomatik geometri elips. Ini bukan sekedar latihan teori. Bernhard Riemann, seorang matematikawan Jerman, mengembangkan pandangan analitik intrinsik tentang hal ini pada tahun 1800-an. Dia menyebutnya bola Riemann. Anda mungkin akan menemukannya di kursus analisis kompleks universitas.
Beberapa buku teks mengacaukan masalah ini. Mereka memberi label model khusus ini sebagai Geometri Riemannian. Itu menyesatkan. Istilah geometri Riemann sebenarnya mengacu pada cabang geometri diferensial yang lebih luas. Ini menyediakan alat untuk mendeskripsikan setiap permukaan secara intrinsik, bukan hanya bola. Tetap berpegang pada perbedaannya. Geometri elips adalah formalisasi bola dengan titik-titik antipodal digabungkan. Geometri Riemannian adalah kerangka untuk mempelajari ruang lengkung secara umum.
Teka-teki Geometri Hiperbolik
Jika geometri elips membengkokkan ruang ke dalam, maka geometri hiperbolik membengkokkannya ke luar. Deskripsi pertama geometri hiperbolik muncul dari upaya membuktikan postulat kelima Euclid. Para matematikawan berasumsi bahwa jika kita menghilangkan postulat paralel, maka kita akan mendapatkan omong kosong. Sebaliknya, mereka mendapat alternatif yang konsisten.
Butuh waktu untuk memilah detailnya. Para peneliti membuktikan bahwa semua geometri hiperbolik hanya berbeda skalanya. Anggap saja seperti bola. Bola basket dan bola pantai memiliki geometri yang sama. Hanya saja ukurannya berbeda. Skala tidak mengubah aturan ruang.
Pada pertengahan abad ke-19, perhitungan matematika semakin menguat. Menjadi jelas bahwa permukaan hiperbolik harus memiliki kelengkungan negatif yang konstan. Kelengkungan positif mendefinisikan ruang elips/bola. Datar, kelengkungan nol mendefinisikan ruang Euclidean. Kelengkungan negatif adalah tanda dari tipe hiperbolik.
Tapi inilah masalahnya. Persamaannya berhasil. Logikanya bertahan. Namun, para ahli matematika masih belum bisa memastikan apakah permukaan seperti itu benar-benar ada. Modelnya abstrak. Pertanyaannya tetap: apakah alam, atau bahkan matematika murni, menyediakan permukaan konkrit yang memenuhi kondisi ini? Keberadaan benda tersebut masih menjadi pertanyaan terbuka, menunggu konstruksi fisik atau matematis yang cermat untuk membuktikan bahwa benda tersebut bukan sekadar fiksi cerdas.
Bentuk yang Mustahil Akhirnya Ditemukan
Selama beberapa dekade, para ahli matematika mengira mereka telah menemui jalan buntu. Masalahnya? Menemukan representasi fisik geometri hiperbolik yang tidak melanggar aturan alam semesta.
Ini dimulai oleh Eugenio Beltrami pada tahun 1868. Dia menggambarkan permukaan yang disebut pseudosfer. Ia memiliki kelengkungan negatif yang konstan—ciri khas ruang hiperbolik. Tapi itu cacat. Garis-garis lurus pada hakikatnya pada pseudosfer berpotongan sendiri. Mereka juga mencapai lingkaran pembatas dan berhenti mati. Itu bukanlah cara kerja geometri hiperbolik. Garis-garis di sana berlangsung selamanya tanpa berputar ke belakang atau mengenai tepi yang keras.
Kemudian datanglah David Hilbert pada tahun 1901. Dia membuktikan sesuatu yang secara efektif mematikan proyek tersebut. Hilbert menunjukkan bahwa Anda tidak dapat mendefinisikan permukaan hiperbolik lengkap menggunakan fungsi analitik nyata. Itu adalah rumus standar dan halus yang kami gunakan untuk mendeskripsikan bentuk. Saat itu, permukaan adalah fungsi analitik. Karena Hilbert membuktikan hal itu mustahil, para peneliti menghentikan pencarian tersebut. Dunia matematika menerima batasan tersebut.
Tapi batasannya salah.
Pada tahun 1955, ahli matematika Belanda Nicolaas Kuiper membuktikan bahwa batasan Hilbert tidak berlaku untuk semua kemungkinan permukaan. Dia membuktikan permukaan hiperbolik yang lengkap memang ada. Itu tidak bisa digambar dengan rumus yang sederhana dan halus.
Beberapa dekade kemudian, pada tahun 1970-an, matematikawan Amerika William Thurston merinci cara menyusunnya. Dia tidak hanya berteori. Dia menggambarkan geometri sebenarnya. Dan inilah bagian yang aneh: Anda tidak memerlukan superkomputer untuk membuatnya.
Anda bisa merendanya.
Mengapa Crochet Mengubah Permainan
Permukaan hiperbolik Thurston bukan sekadar objek teoretis. Ini nyata. Jika Anda mengikuti pola rajutan tertentu, Anda menciptakan model fisik kelengkungan negatif yang tak terbatas.
Mengapa ini penting? Karena itu mengubah bukti abstrak menjadi sesuatu yang bisa Anda pegang. Teknik rajutan hiperbolik menggunakan peningkatan jahitan untuk memaksa kain melengkung ke luar. Setiap baris menambahkan lebih banyak material dibandingkan baris sebelumnya, menciptakan tampilan bergelombang dan melebar yang menjadi ciri khas geometri hiperbolik.
Ini bukan hanya proyek kerajinan tangan. Ini adalah penerapan langsung dari bukti keberadaan Kuiper. Konstruksi Thurston menjadi nyata.
Dari Pseudosphere ke Model Praktis
Perjalanan dari pseudosfer Beltrami yang tidak lengkap ke permukaan hiperbolik yang dirajut menunjukkan bagaimana definisi matematika berkembang. Kami pindah dari:
- 1868: Pseudosphere (tidak lengkap, berpotongan sendiri)
- 1901: Bukti ketidakmungkinan Hilbert (hanya berdasarkan fungsi halus)
- 1955: Bukti keberadaan Kuiper (memperluas definisi permukaan)
- 1970-an: Konstruksi Thurston (model praktis dan dapat divisualisasikan)
Saat ini, pelajar dan seniman menggunakan rajutan untuk memvisualisasikan konsep kompleks ini. Ini adalah cara nyata untuk memahami kelengkungan negatif. Tidak diperlukan kalkulus tingkat lanjut. Hanya benang dan kail.
Bentuknya ada. Sudah lengkap. Dan itu ada di tangan Anda.
Peta datar bumi selalu bohong. Mereka meregang, menyusut, dan merobek agar sesuai dengan bola di atas kertas. Geometri hiperbolik menghadapi masalah yang sama. Anda tidak dapat meratakan permukaan berbentuk pelana tanpa merusak sesuatu. Namun, pada abad ke-19, para matematikawan tidak menyerah. Mereka membangun tiga model berbeda untuk memetakan realitas melengkung ini. Ini bukan sekadar teka-teki abstrak. Itu adalah alat. Gunakan keduanya bersama-sama, dan bentuk ruang hiperbolik yang tak terlihat mulai masuk akal.
Ceritanya sebenarnya dimulai antara tahun 1869 dan 1871. Eugenio Beltrami dan Felix Klein, seorang matematikawan Jerman, memecahkan kode tersebut. Mereka menciptakan kerangka lengkap pertama untuk apa yang mereka namakan geometri “hiperbolik”. Sebelumnya, konsep ini goyah. Sekarang, ia punya rumah.
Paradoks Garis Lurus dalam Model Klein-Beltrami
Lihatlah kiri atas gambar referensi. Itulah model Klein-Beltrami. Ini menekan seluruh bidang hiperbolik ke dalam lingkaran. Sederhana, bukan?
Inilah hasil tangkapannya. Dalam model ini, garis lurus—disebut geodesi dalam dunia hiperbolik—menjadi tali busur lurus dalam lingkaran. Jika ingin berpindah dari titik A ke titik B, gambarlah garis lurus. Tampaknya Euclidean. Rasanya familiar.
Tapi ada pajak untuk kenyamanan ini. Model ini mempertahankan “kelurusan” tetapi merusak sudut. Hal-hal yang seharusnya sembilan puluh derajat terlihat miring. Ini adalah peta yang memberi tahu Anda arah mana yang mengarah ke utara, meskipun lanskapnya terlihat melengkung.
Jalur Melengkung dan Sudut yang Diawetkan
Maju cepat ke sekitar tahun 1880. Henri Poincaré, seorang matematikawan Perancis, memasuki obrolan dan melemparkan dua model lagi ke dalam ring. Ini berbeda. Jauh lebih berbeda.
Pertama, model disk Poincaré (kanan atas). Sekali lagi, kita melihat sebuah lingkaran. Tapi aturannya berubah. Geodesi bukan lagi garis lurus. Itu adalah busur lingkaran. Atau diameter. Busur-busur ini mengenai batas luar lingkaran dengan sudut siku-siku sempurna.
Mengapa ini penting? Karena Poincaré tidak hanya ingin memperlihatkan bentuknya saja. Dia ingin melestarikan sudut.
Pada disk Poincaré, geometri lokal tampak seperti bidang datar Euclidean, meskipun struktur globalnya sangat berbeda.
Ini disebut konformalitas. Jarak terbentang. Tepi disk sangat jauh jaraknya. Namun jika Anda mengukur sudut dengan busur derajat, hasilnya benar. Untuk tugas yang melibatkan navigasi atau ilusi optik, ini adalah standar terbaiknya.
Setengah Bidang Atas Tak Terbatas
Model ketiga adalah model setengah bidang atas Poincaré (bagian bawah gambar). Lupakan lingkarannya. Di sini, permukaan hiperbolik dipetakan ke seluruh setengah ruang di atas sumbu x.
Geodesi disini berbentuk setengah lingkaran atau sinar vertikal. Mereka selalu bertemu sumbu x di sudut kanan. Ini adalah tata letak yang bersih dan linier.
Seperti model disk, pengaturan ini mendistorsi jarak. Semakin dekat Anda ke sumbu x, semakin banyak ruang yang mengembang. Tapi sekali lagi, sudutnya tetap dipertahankan. Jika Anda menggambar