4.

1 show that:

a. If are open sets in , then so is .

Bukti:
Akan ditunjukkan bahwa jika merupakan himpunan terbuka

dalam maka juga merupakan himpunan terbuka. Dimisalkan

sehingga dimana . Telah diketahui

sebelumnya bahwa untuk setiap merupakan himpunan terbuka dan
sedemikian sehingga sebagai himpunan bagian
dengan . Kemudian, dimisalkan , dapat
diperoleh untuk . Sehingga

diperoleh .

b. If is a collection of open sets in , where is any indexing

set, then is also open.
Bukti:
Untuk menyelesaikan permasalahan tesebut, dapat menggunakan properti
dari himpunan terbuka, yaitu himpunan yang merupakan union dari
himpunan terbuka adalah himpunan terbuka juga. Kemudian, akan
diambil sebuah elemen dari union himpunan terbuka, yaitu .
Ingat Kembali bahwa untuk membuktikan bahwa himpunan dari union
himpunan terbuka diperlukan persekitaran yang juga termuat dalam
union himpunan terbuka. Karena telah diambil , maka pasti
merupakan elemen dari , yaitu untuk suatu .

Diketahui bahwa tidak bisa berada dalam union kecuali berada paling
tidak di satu himpunan terbuka pada union tersebut. Kemudian, karena
merupakan elemen dari himpunan terbuka , maka menurut definisi
himpunan terbuka terhadap persekitaran yang merupakan himpunan
bagian dari yang dituliskan dengan . Ingat Kembali bahwa
merupakan himpunan bagian dari himpunan union dari himpunan-
 himpunan terbuka. Di sini dapat diketahui bahwa merupakan
himpunan bagian dari union himpunan terbuka, yaitu . Hal
ini dapat diartikan bahwa persekitaran merupakan himpunan bagian
dari union himpunan tertutup, yaitu

Karena kita mengambil sebarang elemen dari union himpunan terbuka

dan telah ditunjukkan bahwa elemen tersebut mempunyai persekitaran
yang juga termuat di dalam union himpunan terbuka, maka dapat
disimpulkan bahwa adalah himpunan terbuka.
Jadi, kesimpulannya adalah jika adalah himpunan terbuka dalam
, maka juga merupakan himpunan terbuka.

c. The intersection of an arbitrary family of open sets in need not be

open.
Bukti:
Diberikan koleksi himpunan terbuka di , akan tunjukkan bahwa irisan
dari tak hingga himpunan terbuka merupakan himpunan tak terbuka.
Untuk menunjukkan hal tersebut akan dilakukan pembuktian melalui
kontradiksi. Diberikan sebuah pernyataan bahwa irisan dari semua
koleksi himpunan terbuka di adalah himpunan terbuka. Sementara itu,

dapat ditemukan dimana diperoleh

dan seterusnya hingga

maka
Himpunan merupakan himpunan tepat satu titik dimana anggotanya,
yaitu 0 tidak memiliki satu pun persekitaran yang seluruhnya termuat di
sehingga bukan himpunan terbuka. Artinya, dapat ditunjukkan
bahwa terdapat koleksi himpunan terbuka di yang irisannya bukan
merupakan himpunan terbuka. Sehingga terbukti bahwa untuk koleksi
himpunan terbuka di , irisan dari tak hingga himpunannya merupakan
himpunan tak terbuka.