Definisi Himpunan Kompak
Diketahui bahwa setiap fungsi kontinu yang didefinisikan pada interval tertutup adalah fungsi yang kontinu seragam (untuk bukti dari sifat ini pembaca disarankan membaca artikel berikut). Peranan interval tertutup di sini dapat digantikan dengan sebarang himpunan kompak. Himpunan kompak merupakan salah satu konsep yang sangat penting di real analisis dan banyak perannya di aplikasi. Himpunan kompak di sini akan didefinisikan dengan liput terbuka.
![](https://analisisreal.mipa.ugm.ac.id/wp-content/uploads/sites/1301/2020/10/compact-2.jpg)
Definisi Liput Terbuka
Diberikan himpunan . Liput terbuka dari
adalah koleksi
sehingga
Jika subkoleksi dari
sehingga gabungan dari himpunan-himpunan di
juga memuat
, maka
disebut liput bagian dari
. Lebih lanjut, jika anggota himpunan-himpunan
berhingga maka
disebut liput bagian berhingga.
Suatu himpunan bagian di dapat memiliki banyak liput terbuka. Berikut beberapa contoh liput terbuka untuk
.
Karena untuk setiap
dan
, maka
merupakan liput bagian dari
. Diberikan koleksi ,
. Karena
maka
liput dari
. Karena
tidak terbuka untuk setiap
maka
bukan liput terbuka
.
Definisi Himpunan Kompak
DHimpunan dikatakan kompak jika untuk setiap liput terbuka dari
mempunyai liput bagian berhingga yang berhingga.
Dengan kata lain, untuk setiap liput terbuka dari
, terdapat
sehingga
Dari Definisi himpunan kompak di atas, himpunan dikatakan tidak kompak jika terdapat liput terbuka
dari
tetapi gabungan berhingga dari himpunan-himpunan di
tidak memuat
.
Dari contoh-contoh liput terbuka di atas, himpunan tidak kompak karena
liput terbuka dari
akan tetapi untuk setiap
berlaku
.
Contoh:
Diketahui merupakan himpunan bagian berhingga dari
. Diberikan sebarang liput terbuka
. Untuk setiap
berlaku
Akibatnya gabungan dari himpunan-himpunan di koleksi memuat
. Jadi,
kompak.