Topologi produk

Dalam topologi dan bidang terkait matematika, ruang produk adalah produk Cartesius dari keluarga ruang topologi yang dilengkapi dengan topologi alami yang disebut topologi produk. Topologi ini berbeda dari topologi lain, yang mungkin lebih jelas, yang disebut topologi kotak, yang juga dapat diberikan pada ruang produk dan yang sesuai dengan topologi produk ketika produk hanya memiliki banyak ruang yang terbatas. Namun, topologi produk "benar" karena membuat ruang produk menjadi produk kategoris dari faktor-faktornya, sedangkan topologi kotak terlalu baik; dalam arti topologi produk adalah topologi alami pada produk Cartesius.

Definisi 

Diberikan X, juga dikenal sebagai ruang produk, sedemikian rupa

adalah produk Cartesius dari ruang topologi Xi, indeks oleh  dan proyeksi kanonik pi : X → Xi topologi produk pada X didefinisikan sebagai topologi paling kasar (mis. topologi dengan set terbuka paling sedikit) yang semua proyeksi pi kontinu. Topologi produk kadang-kadang disebut topologi Tychonoff.

Set terbuka dalam topologi produk adalah serikat (terbatas atau tak terbatas) dari set formulir , dimana masing-masing Ui adalah terbuka di Xi and Ui ≠ Xi hanya untuk banyak i. Khususnya, untuk produk yang terbatas (khususnya, untuk produk dari dua ruang topologis), himpunan semua produk Cartesius antara satu elemen dasar dari masing-masing Xi memberikan dasar untuk topologi produk . Yaitu, untuk produk yang terbatas, himpunan semua , di mana  adalah elemen dasar (dipilih) dari , adalah dasar untuk topologi produk .

Topologi produk pada X adalah topologi yang dihasilkan oleh set formulir pi−1(Ui), di mana i ada di I dan Ui adalah subset terbuka dari X i. Dengan kata lain, set {pi−1 (Ui)} membentuk subbasis untuk topologi pada X. Subset X terbuka jika dan hanya jika itu adalah (mungkin tak terbatas) persilangan persimpangan dari banyak kumpulan bentuk pi−1(Ui). pi−1(Ui) kadang-kadang disebut silinder terbuka, dan persimpangan mereka adalah set silinder.

Secara umum, produk dari topologi masing-masing Xi membentuk dasar untuk apa yang disebut topologi kotak pada X. Secara umum, topologi kotak lebih baik daripada topologi produk, tetapi untuk produk terbatas mereka bertepatan.

Referensi

Pranala luar 
 

Topologi