You are on page 1of 1

Heine Borel E R1 kompak barisan, jika dan hanya jika E kompak.

BUKTI : () Misalkan E kompak barisan dan G selimut terbuka dari E. Menurut Teorema 3.3.10 ada r > 0, sehingga untuk setiap x terkandung di suatu kumpulan G G. E lingkungan terbuka N (x;r)

Menurut Teorema 3.3.9, E terbatas, jadi E terbatas total. Jadi untuk r diatas ada ck sehingga E k ; r). Selanjutnya untuk setiap lingkungan terbuka N(ck ; r) ada Gk Jadi E
k

E, k = 1, 2, . . ., n

G yang mengandung N(ck ; r).

dan ini berarti E kompak.

() Misalkan E tak kompak barisan, maka menurut Teorema 3.3.8, E mengandung kumpulan tak berhingga D yang tak mempunyai titik limit. Ini berartiuntuk setiap c D ada lingkungan terbuka N(c) yang bersifat N(c) D = {c}. Selanjutnya kumpulan terbuka G = Dc bersifat G Jadi, G = {G} {N(c) : c D E.

D} adalah suatu selimut terbuka dari E.

Karena untuk setiap c D ( E ) kumpulan N(c) bersifat N (c) D = {c} , maka setiap koleksi berhingga dari G tak mungkin merupakan selimut terbuka dari E. Jadi E tak kompak. Jika E tak kompak barisan, maka E tak kompak. Ini berarti, jika E kompak, maka E kompak barisan.

Teorema 3.3.9 mengungkapkan bahwa suatu kumpulan yang kompak barisan di R1 adalah tertutup dan terbatas. Teorema 3.3.11 memperlihatkan bahwa suatu kumpulan yang tertutup dan terbatas di R1 adalah kompak dan karena konsepsi kompak setara dengan kompak barisan, maka ketertutupan dan keterbatasan suatu kumpulan di R1 ciri kekompakan suatu barisan.

You might also like