Topologi Metrik

Topologi metrik pada suatu ruang \( X \) adalah topologi yang diinduksi oleh basis yang terdiri atas bola-bola terbuka yang didefinisikan oleh suatu metrik \( d \) pada \( X \). Topologi ini juga dikenal sebagai topologi yang diinduksi oleh metrik \( d \).

Dalam ruang metrik \( (X, d) \), metrik \( d \) berfungsi untuk mengukur jarak antara titik-titik di dalam ruang tersebut. Dengan menggunakan konsep jarak ini, kita dapat membangun suatu topologi yang menjelaskan bagaimana himpunan-himpunan terbuka terbentuk. Topologi inilah yang disebut topologi metrik.

Konsep dasarnya berpusat pada bola terbuka. Untuk sebuah titik \( x \in X \) dan jari-jari positif \( \varepsilon \), bola terbuka didefinisikan sebagai himpunan semua titik \( y \in X \) yang berjarak kurang dari \( \varepsilon \) dari \( x \):

$$ B_d(x, \varepsilon) = \{y \in X \mid d(x, y) < \varepsilon\}. $$

Dalam topologi metrik, suatu himpunan dianggap terbuka apabila dapat dinyatakan sebagai gabungan dari bola-bola terbuka.

Secara lebih formal, suatu himpunan \( U \subset X \) terbuka dalam topologi yang diinduksi oleh metrik \( d \) jika dan hanya jika untuk setiap titik \( y \in U \), terdapat suatu bilangan \( \delta > 0 \) sehingga bola terbuka \( B_d(y, \delta) \) seluruhnya termuat di dalam \( U \).

Contoh pada Garis Bilangan Real

Untuk memahami konsep ini dengan lebih mudah, mari kita lihat ruang Euclidean satu dimensi \(\mathbb{R}\), yaitu himpunan semua bilangan real pada sebuah garis.

Pada ruang ini, jarak antara dua titik \(x\) dan \(y\) didefinisikan oleh metrik Euclidean:

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

Nilai \(|x - y|\) menyatakan selisih mutlak antara kedua bilangan tersebut. Fungsi ini memenuhi seluruh aksioma metrik sehingga dapat digunakan untuk membangun topologi metrik.

Sebagai contoh, ambil titik \(x = 3\) dan jari-jari \(\varepsilon = 1\).

Bola terbuka yang berpusat di titik tersebut adalah:

$$ B_d(3, 1) = \{y \in \mathbb{R} \mid d(3, y) < 1\} = \{y \in \mathbb{R} \mid |3 - y| < 1\} $$

Sekarang selesaikan pertidaksamaannya:

$$ |3 - y| < 1 $$

yang setara dengan:

$$ -1 < 3 - y < 1 $$

Kurangkan seluruh ruas dengan 3:

$$ -4 < -y < -2 $$

Kalikan seluruh ruas dengan \(-1\) dan balik tanda pertidaksamaan:

$$ 2 < y < 4 $$

Dengan demikian diperoleh:

$$ B_d(3, 1) = (2, 4) $$

Jadi, bola terbuka yang berpusat di 3 dengan jari-jari 1 tidak lain adalah interval terbuka \((2, 4)\).

Hal yang sama berlaku untuk interval terbuka lainnya seperti \( (5, 7) \) atau \((a, b)\). Semua interval terbuka pada \(\mathbb{R}\) dapat dipandang sebagai bola terbuka atau gabungan dari beberapa bola terbuka.

Karena alasan inilah interval-interval terbuka membentuk basis bagi topologi metrik pada \(\mathbb{R}\).

Catatan. Sebuah himpunan pada \(\mathbb{R}\) disebut terbuka jika setiap titik di dalamnya memiliki sebuah interval terbuka kecil yang tetap berada sepenuhnya di dalam himpunan tersebut. Sebagai contoh, \((0, 5)\) adalah himpunan terbuka karena di sekitar setiap titiknya selalu dapat ditemukan interval terbuka yang tidak keluar dari \((0, 5)\).

Dengan demikian, metrik \(d(x, y) = |x - y|\) menghasilkan topologi standar pada garis bilangan real. Topologi ini dikenal sebagai topologi metrik pada \(\mathbb{R}\).

Himpunan Terbuka dalam Topologi Metrik

Dalam topologi metrik, suatu subhimpunan \( U \subset X \) disebut himpunan terbuka jika untuk setiap titik \( y \in U \), terdapat sebuah bola terbuka yang berpusat di \( y \) dan seluruhnya termuat di dalam \( U \).

Secara intuitif, setiap titik dalam himpunan terbuka memiliki ruang gerak kecil di sekitarnya tanpa harus keluar dari himpunan tersebut.

Dalam ruang dua dimensi, bola terbuka biasanya digambarkan sebagai lingkaran tanpa batasnya. Pada dimensi yang lebih tinggi, konsepnya tetap sama meskipun bentuk geometrinya berbeda.

Berikut adalah contoh himpunan terbuka dalam ruang metrik \( \mathbb{R}^2 \).

 

Sebaliknya, himpunan tertutup memuat seluruh titik batasnya sekaligus seluruh titik di bagian dalamnya.

Konsep keterbukaan dan ketertutupan merupakan salah satu fondasi utama dalam topologi karena banyak sifat penting ruang topologi dirumuskan melalui kedua konsep ini.

Jenis-Jenis Metrik

Topologi metrik tidak selalu berasal dari metrik Euclidean. Berbagai metrik lain dapat digunakan untuk mendefinisikan jarak, dan masing-masing menghasilkan bentuk bola terbuka yang berbeda.

Beberapa metrik yang paling sering digunakan pada bidang \( \mathbb{R}^2 \) adalah sebagai berikut.

• Metrik Euclidean
  Ini adalah metrik yang paling umum digunakan. Bola terbukanya berbentuk lingkaran, dan topologi yang dihasilkannya adalah topologi standar pada \( \mathbb{R}^2 \). $$ d(p, q) = \sqrt{(p_1 - q_1)^2 + (p_2 - q_2)^2} $$
  
• Metrik Taksi (Jarak Manhattan)
  Pada metrik ini, jarak dihitung sebagai jumlah perpindahan horizontal dan vertikal. Bola terbukanya berbentuk belah ketupat. $$ d_T(p, q) = |p_1 - q_1| + |p_2 - q_2|. $$
  
• Metrik Maksimum
  Dalam metrik ini, jarak ditentukan oleh selisih terbesar di antara koordinat-koordinat yang bersesuaian. Bola terbukanya berbentuk persegi. $$ d_M(p, q) = \max\{|p_1 - q_1|, |p_2 - q_2|\} $$
  

Meskipun bentuk bola terbukanya berbeda, ketiga metrik tersebut menginduksi topologi yang sama pada \( \mathbb{R}^2 \), yaitu topologi Euclidean standar.

Catatan Tambahan

Berikut beberapa hasil penting yang berkaitan dengan topologi yang diinduksi oleh metrik.

• Teorema Perbandingan Topologi Metrik

  Misalkan \(d\) dan \(d'\) adalah dua metrik pada himpunan \(X\) yang masing-masing menginduksi topologi \(\mathcal{T}\) dan \(\mathcal{T}'\). Topologi \(\mathcal{T}'\) lebih halus daripada \(\mathcal{T}\) jika dan hanya jika, untuk setiap \(x \in X\) dan setiap \(\varepsilon > 0\), terdapat \(\delta > 0\) sehingga $$ B_{d'}(x, \delta) \subseteq B_d(x, \varepsilon). $$ Di sini, \(B_d(x,\varepsilon)\) dan \(B_{d'}(x,\delta)\) masing-masing menyatakan bola terbuka yang berpusat di \(x\) terhadap metrik \(d\) dan \(d'\).

  Secara intuitif, topologi \(\mathcal{T}'\) lebih halus apabila menyediakan lebih banyak himpunan terbuka dibandingkan topologi \(\mathcal{T}\).

• Teorema Metrik Terbatas
  Dalam ruang metrik \( (X, d) \), dapat didefinisikan metrik terbatas baru \( d'(x, y) = \min(d(x, y), \varepsilon) \), dengan \(\varepsilon > 0\). Meskipun nilainya dibatasi, metrik baru ini tetap menginduksi topologi yang sama dengan metrik semula. Dengan kata lain, himpunan-himpunan terbuka yang dihasilkan oleh \( d \) dan \( d' \) tetap identik.

Masih banyak hasil menarik lainnya dalam topologi metrik yang menunjukkan hubungan erat antara konsep jarak dan struktur topologi suatu ruang.