TOPOLOGI METRIK PARSIAL
Abstrak: Metrik d di himpunan
U adalah suatu fungsi jarak sedemikian sehingga aksioma metrik terpenuhi. Suatu
metrik parsial di U merupakan generalisasi minimal dariaksioma metrik
sedemikian sehingga setiap objek di U tidak perlu harus mempunyainol jarak dari
dirinya sendiri. Topologi metrik parsial adalah topologi yang dibangunoleh
basis bola buka metrik parsial, B = fBp" (a)ja 2 U; " > 0g.
Topologi metrik parsial dinotasikan dengan T [p]. Salah satu ruang topologi
dinotasikan dengan T0-ruang. Himpunan (U; p) adalah himpunan urutan
parsial atas metrik parsial. Suatu topologi atas himpunan (U; p) disebut
topologi Alexandrof. Pada tulisan ini ditunjukkan bahwa topologi Alexandrof
sama dengan topologi metrik parsial jika didefinisikan bola buka yang tepat dan
juga dibuktikan bahwa jika T [p] adalah topologi metrik parsial maka T [p]
merupakan T0-ruang.
Kata Kunci: Metrik parsial,
nonzero self-distance, topologi metrik parsial, T0-ruang, topologi Alexandrof
Penulis: DESY WAHYUNI
Kode Jurnal: jpmatematikadd120178
