Himpunan Kompak dan Teorema Heine-Borel
Open cover, sub-cover berhingga, definisi himpunan kompak, serta Teorema Heine-Borel di R.
Konsep kekompakan (compactness) menghubungkan sifat lokal suatu himpunan dengan sifat globalnya. Dalam , kekompakan menyederhanakan analisis dan penjaminan kekontinuan pada interval tertutup dan terbatas.
1. Definisi Open Cover & Himpunan Kompak
Misalkan . Keluarga himpunan terbuka dikatakan sebagai Open Cover bagi jika:
Himpunan dikatakan kompak jika setiap Open Cover bagi memiliki sub-cover yang berhingga. Artinya, terdapat sedemikian sehingga:
2. Teorema Heine-Borel
Dalam , kriteria abstrak open cover dapat disederhanakan melalui sifat geometris yang jauh lebih mudah diuji:
Himpunan bersifat kompak jika dan hanya jika tertutup dan terbatas.
- Terbatas: Terdapat sehingga untuk semua .
- Tertutup: memuat seluruh titik limitnya.
3. Contoh Pembuktian Ketidak-kompakan
Tunjukkan bahwa interval setengah terbuka tidak kompak menggunakan definisi Open Cover.
Penyelesaian:
- Definisikan keluarga himpunan terbuka untuk setiap .
- Perhatikan bahwa . Karena , maka adalah Open Cover bagi .
- Ambil sebarang sub-cover berhingga . Misalkan .
- Gabungan sub-cover berhingga ini adalah:
- Namun tidak memuat titik-titik dalam yang terletak pada interval .
- Karena terdapat Open Cover yang tidak memiliki sub-cover berhingga, disimpulkan tidak kompak.
Latihan Soal
Tentukan apakah himpunan-himpunan berikut kompak atau tidak menggunakan Teorema Heine-Borel: a. b. c.
💡 Tampilkan Pembahasan / Solusi Sembunyikan Pembahasan ▾
Pembahasan: a. : Tertutup (interval tertutup) dan terbatas oleh . Berdasarkan Heine-Borel, kompak. b. : Interval tertutup dan terbatas oleh . Berdasarkan Heine-Borel, kompak. c. : Tertutup tetapi tidak terbatas di atas. Berdasarkan Heine-Borel, tidak kompak.
Buktikan bahwa jika dan adalah himpunan-himpunan kompak, maka gabungannya juga merupakan himpunan kompak.
💡 Tampilkan Pembahasan / Solusi Sembunyikan Pembahasan ▾
Pembahasan:
- Karena dan kompak, berdasarkan Heine-Borel dan keduanya tertutup dan terbatas.
- Gabungan dari dua himpunan tertutup adalah tertutup.
- Karena terbatas oleh dan terbatas oleh , pilih . Maka untuk setiap , sehingga terbatas.
- Karena tertutup dan terbatas, berdasarkan Teorema Heine-Borel disimpulkan kompak.
Misalkan kompak. Buktikan bahwa setiap himpunan bagian yang tertutup adalah kompak.
💡 Tampilkan Pembahasan / Solusi Sembunyikan Pembahasan ▾
Pembahasan:
- Karena kompak, terbatas oleh . Karena , maka juga terbatas oleh .
- Hipotesis menyatakan bahwa adalah himpunan tertutup.
- Karena tertutup dan terbatas, berdasarkan Teorema Heine-Borel disimpulkan kompak.
Buktikan bahwa setiap himpunan kompak tak kosong memuat elemen maksimum dan minimumnya (yaitu dan ).
💡 Tampilkan Pembahasan / Solusi Sembunyikan Pembahasan ▾
Pembahasan:
- Karena kompak, terbatas di atas. Berdasarkan Aksioma Supremum, ada di .
- Berdasarkan Karakterisasi Epsilon Supremum, adalah titik limit dari (atau anggota ).
- Karena kompak, tertutup, sehingga memuat seluruh titik limitnya. Jadi .
- Dengan cara serupa untuk infimum, .
- Karena dan , disimpulkan memiliki elemen maksimum dan minimum.
Navigasi Sub-Topik
- ← Sub-Topik Sebelumnya: Topologi Dasar di Bilangan Real
- Sub-Topik Selanjutnya: Limit Barisan & Konvergensi (Bab 2) →
Materi Terkait (Linked References) (2)
Limit Barisan dan Konvergensi
Definisi formal limit barisan (epsilon-K), ketunggalan limit, dan teorema keterbatasan barisan konvergen.
Topologi Dasar di Bilangan Real
Persekitaran epsilon, himpunan terbuka dan tertutup, titik limit, serta sifat struktural topologi R.