Anda di halaman 1dari 4

Produk Topologi ( Hasil Kali )

Diberikan dua ruang topologi X dan Y, kami ingin menghasilkan topologi alami pada produk,
X x Y. Kecenderungan pertama kami mungkin mengambil sebagai topologi pada X x Y koleksi
C kumpulan himpunan bentuk U x V di mana U terbuka di X dan V terbuka di Y. Tapi C bukan
topologi karena penggabungan dua himpunan U1x V1 dan U2 x V2 tidak perlu dalam bentuk U
x V untuk beberapa U subset X dan V subset Y.(Lihat Gambar 3.7.) Namun, jika kita
menggunakan C sebagai basis, bukan sebagai Seluruh topologi, kita bisa melanjutkan.

GAMBAR 3.7: Penggabungan himpinan U1 x V1 dan himpunan U2 x V2 tidak perlu


dalam bentuk U x V

DEFINISI 3.6. misalkan X dan Y menjadi ruang topologi dan X x Y menjadi produk . Topologi
produk pada X x Y adalah topologi yang dihasilkan oleh basis

B= { U x V \| U terbuka di X dan V terbuka di Y}.

Tentu saja, kita harus memverifikasi bahwa B sebenarnya adalah basis untuk topologi pada
produk X x Y.

THEOREM 3.7. Koleksi B adalah basis untuk topologi pada X x Y.

Bukti.
Setiap titik (x, y) adalah dalam X x Y, dan X x Y B. Oleh karena itu kondisi pertama untuk
suatu basis terpenuhi.

Selanjutnya asumsikan bahwa (x, y) berada di persimpangan dua elemen B. Yaitu, (x, y) (U1
x V1) (U2 x V2) di mana U1 dan U2 adalah himpunan terbuka dalam X, dan V1 dan V2
adalah set terbuka di Y. Misalkan U3 = U1 U2 dan V3 = V1 V2. Kemudian U3 terbuka di
X, dan V3 terbuka di Y, dan karenanya U3 x V3 B. Juga U3 x V3= (U1 U2)x (V1 V2) =
(U1 x V1) (U2x V2), dan dengan demikian (x, y) U3 x V3 C (U1 x V1) (U2 x V2). Oleh
karena itu kondisi kedua untuk suatu basis terpenuhi.

Oleh karena itu B adalah basis untuk topologi pada X x Y

CONTOH 3.7.

Misalkan X = {a, b, c} dan Y = {l, 2} dengan topologi {0, {b}, {c}, {a, b}, {b, c}, X} dan {0,
{1}, Y}, masing-masing. basis untuk topologi produk pada X x Y digambarkan pada Gambar
3.8. Setiap set terbuka kosong dalam topologi produk pada X x Y adalah penggabungan elemen
dasar yang ditampilkan

GAMBAR 3.8: Basis untuk topologi produk aktif X x Y

CATATAN PENTING: Seperti yang kami tunjukkan di awal bagian ini, bukan hanya produk
himpunan terbuka yang merupakan himpunan terbuka dalam topologi produk. Himpunan itu,
bersama dengan semua serikat pekerja yang memungkinkan, adalah apa yang membentuk
topologi produk.
Seperti halnya set terbuka, produ himpunan tertutup adalah himpunan tertutup dalam topologi
produk. (Lihat Latihan 3.19.) Tetapi di sini juga, ini tidak termasuk semua himpunan tertutup
karena ada himpunan tertutup dalam topologi produk yang tidak dapat dinyatakan sebagai
produk himpunan tertutup. Misalnya, himpunan {(a, 2), (c, 1), (c, 2)} adalah himpunan tertutup
dalam topologi produk pada Contoh 3.7, tetapi ini bukan produk himpunan tertutup.

Dalam Definisi 3.6, basis B yang kita gunakan untuk mendefinisikan topologi produk relatif
besar karena kita mendapatkannya dengan memasangkan setiap himpunan terbuka U di X
dengan setiap himpunan terbuka V di Y. Untungnya, seperti yang ditunjukkan teorema
berikutnya, kita dapat menemukan basis yang lebih kecil untuk topologi produk dengan
menggunakan basis untuk topologi

X dan Y, daripada menggunakan seluruh topologi itu sendiri.

Teorema 3.8. jika C adalah basis untuk X dan D adalah basis untuk Y, maka

={CxD|C C dan D D}

adalah yang menghasilkan produk topologi pada X x Y.

Bukti.

Setiap himpunan C x D E adalah himpunan terbuka dalam produk topologi; oleh karena itu,
oleh Teorema 1.13, sudah cukup untuk menunjukkan bahwa untuk setiap himpunan W terbuka
di X x Y dan setiap titik (x, y) W, ada himpunan C x D di sedemikian sehingga (x, y) C
x D C subset W. Tapi karena W adalah himpunan buka di X x Y, kita tahu itu adalah himpunan
terbuka U dalam X dan V dalam Y sedemikian sehingga (x, y) U x V subset W. jadi x U
dan y V. Karena U terbuka di X, ada elemen basis C C sehingga x C subset U.
Demikian pula, karena V terbuka di Y, ada elemen dasar D V sehingga y DC V. Jadi ( x, y)
C x D subset V dan U x V subset W.

Oleh karena itu, oleh Teorema 1.13, maka = {C x D |C C dan D V} adalah dasar untuk
topologi produk pada X x Y.