Ruang Topologi Metrisabel

Sebuah ruang metrisabel adalah ruang topologi $ X $ yang topologinya dapat dijelaskan sepenuhnya melalui suatu metrik $ d $. Dengan kata lain, konsep keterbukaan dalam ruang tersebut dapat ditentukan menggunakan jarak antar titik.

Metrik $ d $ pada suatu himpunan $ X $ adalah fungsi $ d: X \times X \to [0, \infty) $ yang memenuhi beberapa sifat dasar, yaitu bernilai tidak negatif, simetris, memenuhi ketaksamaan segitiga, serta memenuhi syarat bahwa $ d(x, y) = 0 $ jika dan hanya jika $ x = y $.

Dari metrik ini, kita dapat membentuk bola terbuka, yaitu himpunan titik-titik yang berjarak kurang dari $ r $ terhadap suatu titik pusat $ x $:

$$ B_r(x) = \{y \in X : d(x, y) < r\} $$

dengan $ r > 0 $ sebagai jari-jari bola.

Topologi yang diinduksi oleh metrik $ d $ dibangun dari bola-bola terbuka tersebut. Secara khusus, setiap himpunan terbuka merupakan gabungan dari satu atau lebih bola terbuka.

Karena itu, suatu ruang topologi $ X $ disebut metrisabel apabila terdapat metrik $ d $ yang menghasilkan tepat topologi yang dimiliki oleh $ X $.

Catatan: Dalam ruang metrisabel, seluruh struktur topologi dapat dipahami melalui konsep jarak. Oleh sebab itu, banyak teknik dan hasil dari teori ruang metrik dapat diterapkan pada ruang-ruang semacam ini.

Tidak semua ruang topologi bersifat metrisabel. Sebagai contoh, setiap ruang metrisabel harus memenuhi sifat Hausdorff. Jika suatu ruang tidak Hausdorff, maka tidak mungkin ada metrik yang menginduksi topologi tersebut.

Contoh Praktis
Catatan Tambahan

Contoh Praktis

Pertimbangkan garis real $ \mathbb{R} $ dengan topologi standarnya.

Dalam topologi ini, himpunan terbuka merupakan gabungan sembarang dari interval terbuka $ (a,b) $, dengan $ a,b \in \mathbb{R} $ dan $ a < b $.

Sekarang definisikan metrik standar pada garis real:

$$ d(x, y) = |x - y| $$

Metrik ini menyatakan jarak biasa antara dua titik pada garis real.

Dengan metrik tersebut, bola terbuka yang berpusat di $ x $ dan berjari-jari $ r $ adalah:

$$ B_r(x) = \{ y \in \mathbb{R} : d(x, y) < r \} = (x-r, x+r) $$

Hasilnya adalah interval terbuka, yang memang merupakan himpunan terbuka dalam topologi standar pada $ \mathbb{R} $.

Karena setiap himpunan terbuka pada $ \mathbb{R} $ dapat ditulis sebagai gabungan interval-interval terbuka, dan interval-interval tersebut tepat sama dengan bola-bola terbuka yang dibangkitkan oleh metrik $ d $, maka topologi standar pada $ \mathbb{R} $ diinduksi oleh metrik tersebut.

Dengan demikian, garis real $ \mathbb{R} $ merupakan contoh klasik dari ruang metrisabel.

Contoh 2

Sekarang pertimbangkan sembarang himpunan $ X $, baik hingga maupun tak hingga, yang dilengkapi dengan topologi diskret.

Dalam topologi diskret, setiap himpunan bagian dari $ X $ bersifat terbuka.

Definisikan metrik berikut:

$$ d(x, y) =
\begin{cases}
0 & \text{jika } x = y, \\
1 & \text{jika } x \neq y.
\end{cases}
$$

Metrik ini dikenal sebagai metrik diskret.

Untuk menentukan apakah ruang ini metrisabel, perhatikan bentuk bola terbukanya.

Jika $ r \leq 1 $, maka:
$$ B_r(x) = \{x\} $$

Penjelasan: Karena satu-satunya nilai yang lebih kecil dari $ r $ adalah $ 0 $, hanya titik $ x $ sendiri yang memenuhi syarat tersebut. Akibatnya, bola terbuka hanya berisi titik pusatnya.
Jika $ r > 1 $, maka:
$$ B_r(x) = X $$

Penjelasan: Dalam kasus ini, baik jarak $ 0 $ maupun jarak $ 1 $ memenuhi syarat $ d(x,y) < r $. Oleh karena itu, semua titik dalam $ X $ termasuk ke dalam bola terbuka.

Baik himpunan tunggal $ \{x\} $ maupun seluruh himpunan $ X $ merupakan himpunan terbuka dalam topologi diskret.

Karena setiap himpunan terbuka dalam topologi diskret dapat dinyatakan sebagai gabungan dari himpunan-himpunan tunggal tersebut, maka topologi diskret diinduksi oleh metrik diskret.

Dengan demikian, setiap ruang dengan topologi diskret adalah ruang metrisabel.

Contoh ini menunjukkan bahwa sebuah metrik dapat memberikan deskripsi yang tepat dan lengkap terhadap struktur topologi suatu ruang.

Catatan Tambahan

Berikut beberapa hasil penting yang berkaitan dengan ruang metrisabel.

Jika suatu ruang topologi $ X $ metrisabel dan $ Y $ homeomorfik dengan $ X $, maka $ Y $ juga metrisabel.
Hasil ini menunjukkan bahwa metrisabilitas merupakan sifat topologis yang dipertahankan oleh homeomorfisme. Dengan kata lain, jika dua ruang secara topologis ekuivalen, maka keduanya memiliki status metrisabilitas yang sama. Oleh karena itu, ketika suatu ruang diketahui homeomorfik dengan ruang metrisabel, kita dapat langsung menyimpulkan bahwa ruang tersebut juga metrisabel tanpa perlu membangun metriknya secara eksplisit.
Teorema Metrisasi Urysohn
Teorema ini memberikan salah satu kriteria paling penting dalam teori topologi. Teorema tersebut menyatakan bahwa suatu ruang topologi bersifat metrisabel apabila ruang tersebut reguler dan memiliki basis yang terhitung. Hasil ini sering digunakan untuk menentukan apakah suatu ruang dapat direpresentasikan sebagai ruang metrik.

Masih banyak teorema dan karakterisasi lain yang membahas ruang metrisabel, menjadikannya salah satu topik penting dalam topologi umum.