Topologi: Perbedaan antara revisi

Konten dihapus Konten ditambahkan
Sirenka7 (bicara | kontrib)
kTidak ada ringkasan suntingan
Sirenka7 (bicara | kontrib)
k memperjelas kriteria ruang topologi dengan notasi formal
Baris 33:
 
Secara formal, misalkan ''X'' sebuah himpunan dan ''τ'' adalah keluarga subhimpunan dari ''X''. Maka ''τ'' disebut topologi atas ''X'' jika:
# Himpunan kosong dan ''X'' adalah anggota dari ''τ''. <math>\{\emptyset, X\} \subset \tau</math>
# [[Gabungan (teori himpunan)|Gabungan]] anggota-anggota jumlahnya sembarang dari ''τ'' adalah anggota dari ''τ''. <math>{\bigcap_{i=1}^{n=\infty}A_i} \in \tau</math>
# [[PotonganIrisan (Teori Himpunan)|PerpotonganIrisan]] anggota-anggota yang jumlahnya berhingga dari ''τ'' adalah anggota dari ''τ''. <math>{\bigcap_{i=1}^{n<\infty}A_i} \in \tau</math>
Jika ''τ'' adalah topologi terhadap ''X'' maka pasangan (''X'', ''τ'') disebut [[ruang topologi]].