Matematika mungkin terlihat seperti serangkaian aturan yang kaku, namun pada intinya, matematika adalah tentang pola. Ambil ruang metrik. Kedengarannya abstrak. Dia. Namun hal ini juga merupakan landasan untuk memahami cara kami mengukur “kedekatan” dalam segala hal, mulai dari aplikasi navigasi hingga analisis kompleks.
Secara sederhana, ruang metrik hanyalah sekumpulan titik yang dipasangkan dengan aturan pengukuran jarak. Aturan itu disebut metrik. Itu harus mengikuti tiga undang-undang yang ketat. Pertama, jika jarak antara dua titik adalah nol, maka titik-titik tersebut identik. Anda tidak dapat memiliki jarak nol antara objek yang berbeda. Kedua, jarak itu simetris. Jarak A ke B sama dengan B ke A. Yang ketiga dan ini yang paling besar adalah pertidaksamaan segitiga. Jalur langsung dari titik A ke titik C tidak pernah lebih panjang daripada melalui titik ketiga B. Hal ini terdengar jelas di atas kertas. Ini sangat kuat ketika Anda meninggalkan halaman.
Maurice Fréchet, seorang matematikawan Perancis, mulai mengeksplorasi konsep-konsep ini pada tahun 1905. Ia menyadari bahwa “jarak” bukan hanya properti fisik garis pada grid. Itu adalah struktur yang logis. Struktur ini memungkinkan matematika untuk berpindah dari geometri sederhana ke ranah yang lebih kompleks.
Melampaui garis lurus: metrik eksotik
Kita terbiasa dengan jarak standar pada garis bilangan atau ruang Euclidean. Itu adalah jarak garis lurus “seperti burung gagak terbang”. Namun ruang metrik memungkinkan cara lain untuk mengukur.
Pertimbangkan metrik diskrit. Dalam skenario ini, dua titik berbeda mana pun berjarak tepat satu unit. Titik A ke Titik B? Satu. Titik A ke Titik A? Nol. Ini adalah dunia biner. Dekat atau jauh. Tidak ada di antara keduanya. Hal ini tampaknya sepele. Hal ini sebenarnya berguna untuk membuktikan batasan teoritis dalam logika dan ilmu komputer.
Lalu ada metrik taksi. Bayangkan Anda berada di kota seperti Manhattan. Anda tidak dapat memotong balok secara diagonal. Anda harus bergerak di sepanjang jalan. Jarak titik (x, y ) ke (z, w ) adalah jumlah langkah horizontal dan vertikal: |x − z | + |y − w |. “Jarak taksi” ini mencerminkan jalur sebenarnya yang akan diambil oleh taksi. Ini bukan tentang garis lurus terpendek. Ini tentang realitas lingkungan yang terbatas.
Matematikawan juga menggunakan metrik pada kumpulan fungsi. Dalam analisis, Anda dapat mengukur “jarak” antara dua fungsi kontinu berdasarkan seberapa berbeda nilainya dalam suatu interval. Hal ini memungkinkan adanya perbandingan yang tidak ada hubungannya dengan ruang fisik.
Metrik menggeneralisasi gagasan tentang jarak biasa ke pengaturan yang lebih umum.
Generalisasi ini adalah kuncinya. Dengan mendefinisikan jarak secara abstrak, kita dapat menerapkan intuisi geometris pada titik data, gelombang suara, atau bahkan tren pasar saham.
Dari jarak ke topologi
Di sinilah segalanya menjadi menarik. Metrik tidak hanya memberi tahu Anda seberapa jauh jarak satu sama lain. Ini menciptakan topologi.
Topologi adalah studi tentang properti yang tetap tidak berubah ketika bentuk diregangkan atau diremas, selama Anda tidak merobeknya. Ruang metrik secara alami menghasilkan kumpulan “himpunan terbuka”. Sebuah subset terbuka jika, untuk setiap titik di dalamnya, Anda dapat menggambar gelembung kecil di sekitar titik tersebut yang seluruhnya berada dalam subset tersebut. Metrik menentukan ukuran gelembung tersebut.
Ini berarti ruang metrik memberikan contoh nyata ruang topologi. Tanpa metrik, topologi hanyalah sebuah gagasan yang samar-samar. Dengan itu, kami memiliki kerangka kerja yang ketat. Hubungan inilah yang menyebabkan ruang metrik sangat penting dalam matematika modern. Mereka menjembatani kesenjangan antara perhitungan dan struktur.
Kelengkapan dan batasan bilangan rasional
Tidak semua ruang metrik diciptakan sama. Ada yang lengkap. Suatu ruang dikatakan lengkap jika setiap barisan Cauchy konvergen pada suatu titik di dalam ruang tersebut.
Apa yang dimaksud dengan barisan Cauchy? Ini adalah daftar titik-titik di mana istilah-istilah tersebut pada akhirnya menjadi berdekatan satu sama lain. Semakin jauh Anda menelusuri daftarnya, jarak antara dua titik mana pun menjadi semakin kecil. Dalam ruang lengkap, barisan ini harus menetap pada titik batas sebenarnya di dalam himpunan.
Bilangan rasional (pecahan) gagal dalam tes ini. Perhatikan urutannya: 3, 3.1, 3.14, 3.141, 3.1415… Daftar ini semakin mendekati π. Tapi π bukanlah bilangan rasional. Tidak dapat ditulis sebagai pecahan. Barisan “ingin” menyatu, tetapi garis bilangan rasional mempunyai lubang di mana π seharusnya berada. Metrik pada bilangan rasional belum lengkap.
Namun angka sebenarnya sudah lengkap. Setiap barisan bilangan real Cauchy konvergen menjadi bilangan real. Faktanya, Anda dapat menganggap bilangan real sebagai “penyelesaian” bilangan rasional. Kami mengisi lubangnya.
