Teorema Metrisasi Urysohn
Jika suatu ruang topologi bersifat regular dan memiliki basis terhitung, maka ruang tersebut dapat dimetrisasi.
Teorema metrisasi Urysohn merupakan salah satu hasil paling penting dalam topologi umum. Teorema ini memberikan jawaban yang jelas terhadap sebuah pertanyaan mendasar: kapan suatu ruang topologi dapat dijelaskan menggunakan konsep jarak?
Secara sederhana, setiap ruang topologi regular yang memiliki basis terhitung dapat direpresentasikan oleh suatu metrik yang menghasilkan topologi yang sama persis.
- Sebuah ruang disebut regular jika untuk setiap titik dan setiap himpunan tertutup yang tidak memuat titik tersebut, terdapat dua himpunan terbuka yang saling lepas dan memisahkan keduanya. Secara intuitif, titik dan himpunan tertutup dapat dipisahkan dengan lingkungan terbuka yang sesuai.
- Sebuah ruang memiliki basis terhitung jika terdapat koleksi terhitung dari himpunan-himpunan terbuka yang dapat menghasilkan seluruh himpunan terbuka lainnya. Dengan kata lain, seluruh topologi dapat dibangun dari sejumlah "blok penyusun" yang jumlahnya hingga atau terhitung.
Dengan demikian, jika suatu ruang memiliki struktur yang cukup teratur dan tidak terlalu kompleks secara topologis, maka selalu ada fungsi jarak yang mampu menggambarkan struktur tersebut.
Kebalikannya tidak selalu benar. Fakta bahwa suatu ruang dapat dimetrisasi tidak berarti ruang tersebut harus memiliki basis terhitung. Teorema Urysohn memberikan syarat yang cukup untuk menjamin keberadaan metrik, tetapi bukan syarat yang harus dipenuhi oleh semua ruang metrik.
Memahami Gagasan di Balik Teorema
Dalam banyak cabang matematika, konsep jarak memainkan peran penting. Namun, topologi lebih umum daripada geometri metrik. Sebuah topologi dapat didefinisikan hanya dengan menentukan himpunan mana yang dianggap terbuka, tanpa menyebutkan jarak sama sekali.
Karena itu, muncul pertanyaan alami: apakah setiap topologi berasal dari suatu metrik?
Jawabannya adalah tidak. Ada topologi yang tidak dapat dijelaskan oleh fungsi jarak apa pun. Teorema Urysohn menunjukkan secara tepat kapan hal tersebut dapat dilakukan.
Menurut teorema ini, suatu ruang topologi dapat dimetrisasi apabila memenuhi dua syarat berikut:
- Ruang tersebut bersifat regular. Artinya, titik dan himpunan tertutup yang tidak memuat titik tersebut dapat dipisahkan oleh himpunan-himpunan terbuka yang saling lepas.
- Ruang tersebut memiliki basis terhitung. Artinya, seluruh topologi dapat dibangun dari suatu keluarga terhitung himpunan terbuka.
Jika kedua syarat tersebut terpenuhi, maka terdapat suatu fungsi jarak yang menghasilkan tepat topologi yang sama.
Mengapa teorema ini penting? Teorema ini menjadi penghubung antara topologi dan geometri. Dengan mengetahui bahwa suatu ruang dapat dimetrisasi, kita dapat menggunakan berbagai alat dari teori ruang metrik, seperti konsep jarak, barisan, konvergensi, kontinuitas, dan kelengkapan. Karena itu, teorema ini memiliki peran penting dalam analisis matematika, topologi, dan banyak bidang lainnya.
Contoh Konkret
Garis bilangan real ℝ dengan topologi standar memenuhi kedua syarat dalam teorema Urysohn.
- Ruang tersebut bersifat regular.
- Ruang tersebut memiliki basis terhitung, yaitu interval-interval terbuka yang ujung-ujungnya merupakan bilangan rasional.
Oleh karena itu, garis real ℝ dapat dimetrisasi.
Dalam kasus ini, metrik yang digunakan adalah fungsi jarak yang sudah sangat dikenal:
$$ d(x,y)=|x-y| $$
Metrik tersebut menghasilkan tepat topologi standar pada ℝ.
Catatan. Topologi standar pada ℝ dibentuk oleh gabungan interval-interval terbuka berbentuk (a, b). Sebuah titik $x$ berada di dalam himpunan terbuka $A$ jika terdapat interval kecil $ (x-\varepsilon, x+\varepsilon) $ yang seluruhnya termuat di dalam $A$. Topologi ini muncul secara alami dari jarak Euclidean $|x-y|$ dan menjadi dasar bagi sebagian besar pembahasan dalam analisis matematika.
Contoh Lain: Topologi Diskret
Sekarang perhatikan himpunan bilangan real ℝ yang dilengkapi dengan topologi diskret.
Ruang ini juga dapat dimetrisasi menggunakan metrik diskret:
$$ d(x, y) =
\begin{cases}
0, & \text{jika } x = y \\ \\
1, & \text{jika } x \ne y.
\end{cases}
$$
Dengan metrik ini, dua titik yang berbeda selalu berjarak 1, sedangkan sebuah titik berjarak 0 dari dirinya sendiri.
Namun, basis topologi diskret pada ℝ tidak terhitung. Setiap titik membentuk himpunan terbukanya sendiri, dan karena himpunan bilangan real tidak terhitung, diperlukan jumlah himpunan dasar yang juga tidak terhitung.
Contoh ini menunjukkan bahwa kebalikan teorema Urysohn tidak berlaku. Sebuah ruang dapat dimetrisasi meskipun tidak memiliki basis terhitung.
Catatan. Topologi diskret merupakan topologi paling halus yang dapat diberikan pada suatu himpunan. Setiap subhimpunan bersifat terbuka sekaligus tertutup. Secara khusus, berlaku bahwa $$ {x} \text{ terbuka untuk setiap } x \in \mathbb{R} $$ Dalam topologi ini, setiap titik berdiri secara independen dari titik-titik lainnya. Meskipun strukturnya sangat sederhana, topologi diskret pada himpunan tak terhitung seperti ℝ tidak dapat dihasilkan oleh basis yang terhitung.
Dan seterusnya.
