Kemetrikkan dan Homeomorfisme pada Ruang Topologi
Jika suatu ruang topologi \( X \) dapat dimetrikkan dan \( Y \) homeomorfik terhadap \( X \), maka \( Y \) juga dapat dimetrikkan.
Dengan kata lain, kemetrikkan adalah salah satu sifat yang tetap terjaga oleh homeomorfisme.
Hal ini berarti bahwa jika suatu ruang \( X \) dapat dimetrikkan, maka setiap ruang yang homeomorfik terhadapnya juga dapat dimetrikkan.
Konsekuensinya sangat berguna dalam praktik. Jika kita sudah mengetahui bahwa ruang \( X \) dapat dimetrikkan dan kemudian menemukan bahwa ruang lain \( Y \) homeomorfik terhadap \( X \), kita tidak perlu lagi mencari atau membangun metrik untuk \( Y \) dari awal. Cukup dengan mengetahui adanya homeomorfisme tersebut, kita dapat langsung menyimpulkan bahwa \( Y \) juga dapat dimetrikkan.
Mengapa Hal Ini Benar?
Suatu ruang topologi \( X \) disebut dapat dimetrikkan apabila terdapat suatu metrik \( d \) yang menginduksi topologinya. Dengan kata lain, seluruh struktur topologi pada ruang tersebut dapat dijelaskan menggunakan konsep jarak.
Sementara itu, homeomorfisme adalah pemetaan bijektif antara dua ruang topologi yang bersifat kontinu dan memiliki invers yang juga kontinu. Dua ruang yang homeomorfik dianggap setara dari sudut pandang topologi karena keduanya memiliki struktur topologis yang sama.
Karena homeomorfisme mempertahankan semua sifat topologis, maka kemetrikkan juga ikut dipertahankan. Jika ruang \( X \) memiliki topologi yang berasal dari suatu metrik, maka ruang \( Y \), yang homeomorfik terhadap \( X \), juga memiliki topologi yang dapat dijelaskan oleh suatu metrik.
Secara sederhana, homeomorfisme memungkinkan kita memindahkan struktur topologis dari satu ruang ke ruang lain tanpa mengubah sifat-sifat dasarnya. Oleh sebab itu, keberadaan metrik pada \( X \) menjamin keberadaan metrik yang sesuai pada \( Y \).
Contoh Praktis
Pertimbangkan garis bilangan real \( \mathbb{R} \) dengan topologi standarnya yang diinduksi oleh metrik Euclidean, serta interval terbuka \( (-1,1) \).
Ruang \( \mathbb{R} \) jelas dapat dimetrikkan karena memiliki metrik Euclidean.
Sekarang definisikan fungsi
\[ f : \mathbb{R} \to (-1,1) \]
dengan
\[ f(x)=\frac{x}{\sqrt{1+x^2}}. \]
Fungsi ini merupakan homeomorfisme. Secara intuitif, fungsi tersebut memetakan seluruh garis bilangan real ke dalam interval terbuka \( (-1,1) \) secara kontinu, tetap bijektif, dan memiliki invers yang juga kontinu.
Karena \( f \) adalah homeomorfisme, struktur topologis kedua ruang tersebut sama.
Oleh karena itu, jika \( \mathbb{R} \) dapat dimetrikkan, maka interval terbuka \( (-1,1) \) juga harus dapat dimetrikkan. Dalam kasus ini, memang demikian adanya, karena interval tersebut juga dapat dilengkapi dengan metrik Euclidean.
Contoh ini menunjukkan bagaimana homeomorfisme memungkinkan kita mengenali sifat-sifat penting suatu ruang tanpa harus membangun semuanya dari awal. Setelah kemetrikkan diketahui pada satu ruang, sifat tersebut secara otomatis berlaku pada setiap ruang yang homeomorfik dengannya.
