Batas Kosong dan Himpunan Clopen
Dalam topologi, batas \(\partial A\) dari suatu himpunan \(A\) bernilai kosong jika dan hanya jika \(A\) sekaligus terbuka dan tertutup (clopen). $$ \partial A = \emptyset \Leftrightarrow A \text{ adalah clopen} $$
Pernyataan ini menyiratkan bahwa \(A\) tidak memiliki titik batas. Titik batas adalah titik yang berada baik pada penutupan \(A\) maupun pada penutupan komplemennya.
Memahami Konsep Lewat Contoh
Contoh 1: Himpunan Kosong
Ambil \( A = \emptyset \) dalam ruang topologi \(\mathbb{R}\) dengan topologi standar.
Penutupan \(A\):
$$ \text{Cl}(A) = \emptyset $$
Komplemen \(A\): \(A^c = \mathbb{R}\)
Penutupan komplemen:
$$ \text{Cl}(A^c) = \mathbb{R} $$
Batas \(A\):
$$ \partial A = \text{Cl}(A) \cap \text{Cl}(A^c) = \emptyset \cap \mathbb{R} = \emptyset $$
Batasnya kosong. Jadi, \(A\) adalah clopen. Dalam topologi, \(\emptyset\) memang selalu terbuka dan tertutup.
Contoh 2: Seluruh Ruang
Misalkan \( A = \mathbb{R} \).
Penutupan \(A\):
$$ \text{Cl}(A) = \mathbb{R} $$
Komplemen \(A\):
$$ A^c = \emptyset $$
Penutupan komplemen:
$$ \text{Cl}(A^c) = \emptyset $$
Batas \(A\):
$$ \partial A = \mathbb{R} \cap \emptyset = \emptyset $$
Sekali lagi, batasnya kosong. Maka, \(\mathbb{R}\) adalah clopen.
Contoh 3: Interval Setengah Terbuka
Pertimbangkan \( A = [0,1) \).
Penutupan \(A\):
$$ \text{Cl}(A) = [0,1] $$
Komplemen \(A\):
$$ A^c = (-\infty,0) \cup [1,\infty) $$
Penutupan komplemen:
$$ \text{Cl}(A^c) = (-\infty,0] \cup [1,\infty) $$
Batas \(A\):
$$ \partial A = [0,1] \cap \left( (-\infty,0] \cup [1,\infty) \right) = \{0,1\} $$
Batas tidak kosong. Jadi, \(A\) bukan clopen.
Ketiga contoh ini memperlihatkan pola yang jelas. Himpunan dengan batas kosong tepatnya adalah himpunan clopen.
Pembuktian Teorema
Menurut definisi:
$$ \partial A = \text{Cl}(A) \cap \text{Cl}(A^c) $$
1] Jika \(\partial A = \emptyset\), maka \(A\) clopen
Jika:
$$ \text{Cl}(A) \cap \text{Cl}(A^c) = \emptyset $$
A tertutup
Dari kekosongan irisan:
$$ \text{Cl}(A) \subseteq (A^c)^c = A $$
Karena selalu \(A \subseteq \text{Cl}(A)\), maka:
$$ \text{Cl}(A) = A $$
Jadi, \(A\) tertutup.
A terbuka
Dengan argumen serupa:
$$ \text{Cl}(A^c) \subseteq A^c $$
Sehingga \(A^c\) tertutup, maka \(A\) terbuka.
Kesimpulan, \(A\) terbuka dan tertutup, yaitu clopen.
2] Jika \(A\) clopen, maka \(\partial A = \emptyset\)
Karena \(A\) tertutup:
$$ A = \text{Cl}(A) $$
Karena \(A^c\) tertutup:
$$ A^c = \text{Cl}(A^c) $$
Maka:
$$ \partial A = A \cap A^c = \emptyset $$
3] Kesimpulan
Terbukti bahwa: $$ \partial A = \emptyset \Leftrightarrow A \text{ adalah clopen} $$
Hasil ini merupakan karakterisasi penting dalam topologi, karena menghubungkan konsep batas dengan sifat keterbukaan dan ketertutupan himpunan.
