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.
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.