Topologi: Perbedaan antara revisi

Konten dihapus Konten ditambahkan
HsfBot (bicara | kontrib)
k Bot: Menambahkan tag <references /> yang hilang
Usagioq (bicara | kontrib)
Baris 34:
Secara formal, misalkan ''X'' sebuah himpunan dan ''τ'' adalah keluarga subhimpunan dari ''X''. Maka ''τ'' disebut topologi terhadap ''X'' jika:
# Himpunan kosong dan ''X'' adalah anggota dari ''τ''. <math>\emptyset,X \in \tau</math>
# [[Gabungan (teori himpunan)|Gabungan]] anggota-anggota dari ''τ'' dengan jumlah sembarang adalah anggota dari ''τ''. <math>{ \bigcup_forall \mathcal{i=1}^{n\leq\infty}A_iA} \insubset \tau : A_i\bigcup_{A\in \mathcal{A}} A \in \tau </math>
# [[Irisan Teori Himpunan|Irisan]] anggota-anggota dari ''τ'' yang jumlahnya berhingga adalah anggota dari ''τ''. <math>{\bigcap_{i=1}^{forall n<\infty}A_iin\mathbb{N},\forall A_1,A_2,\ldots,A_n \in \tau : A_i\bigcap_{i=1}^nA_i \in \tau </math>
Jika ''τ'' adalah topologi terhadap ''X'' maka pasangan (''X'', ''τ'') disebut [[ruang topologi]].