RUANG METRIK

Definisi 1 (Ruang Metrik)

Misal X adalah himpunan tidak kosong. Suatu fungsi bernilai real d yang didefinisikan pada
X x X yaitu pasangan berurutan dalam X, disebut metrik atau fungsi jarak pada X bila dan
hanya bila fungsi tersebut memenuhi aksioma aksioma berikut, yaitu untuk setiap a, b, c
X:
(i) d(a,b)  0 dan d(a,a) = 0. Definit Positif
(ii) d(a,b) = d(b,a) Simetris
(iii) d(a,c) d(a,b) + d(b,c) Ketaksamaan Segitiga
(iv) Bila maka d(a,b) > 0
Bilangan Real d(a,b) disebut jarak dari a ke b.

Himpunan X yang dilengkapi dengan suatu metrik d, dituliskan dengan (X, d) disebut Ruang
Metrik (Metric Space).
Anggota ruang metrik (X, d) disebut titik atau point dan untuk setiap ada bilangan
non-negatif d(a,b) yaitu jarak titik a dengan b.

Contoh :
1. Fungsi d yang didefinisikan oleh d(a,b)=|a-b|, dengan a dan b bilangan-bilangan Real,
adalah metrik dan disebut Metrik Biasa pada garis Real R.
Bukti:
(i) d(a,b) = |a-b|  0 dan d(a,b) = 0 jika dan hanya jika a = b.
(ii) d(a,b) = |a-b| = |b-a| = d(b,a)
(iii) |a-b| + |b-c|  |a-b+b-c|
= |a-c|
atau d(a,c)  d(a,b)+d(b,c) , a<b<c
(iv) d(a,b) = |a-b| >0 jika
2. Fungsi d yang didefinisikan oleh , dengan dan
adalah titik dalam bidang adalah metrik dan disebut Metrik Biasa pada
.
Bukti:
(i)  0 dan
d(p,q) = 0

Jadi d(p,q) = 0 jika dan hanya jika dan .

(ii)

Pengantar Topologi by: Siti Lailiyah, M.Si.

 (iii)
=

Jadi
atau dengan , dan
(iv) >0 jika , dimana p<q<r.

3. Misal X adalah suatu himpunan yang tidak kosong dan d adalah fungsi yang
didefinisikan oleh

Maka d adalah metrik pada X. Fungsi jarak d biasanya disebut metrik trivial pada X atau
metrik diskrit pada X.
Bukti:
(i) d(a,b) = 1  0, jika dan d(a,b) = 0 jika dan hanya jika a = b.
(ii)
d(a,b) = d(b,a)
(iii)

Jadi d(a,c)  d(a,b)+d(b,c) , a<b<c

(iv)
d(a,b)=1 >0 jika .
4. Misal dan adalah titik-titik sebarang pada bidang yaitu
pasangan terurut dari bilangan-bilangan real. Fungsi dan yang didefinisikan oleh
dan
adalah metrik-metrik yang berbeda pada .

Pengantar Topologi by: Siti Lailiyah, M.Si.

 Maka d adalah metrik pada X. Fungsi jarak d biasanya disebut pseudometrik pada X.
Bukti:
(i)  0, 0
karena harga mutlak nilainya selalu positif, dan

=0
atau

(ii)

(iii) Misalkan

Jadi atau dapat ditulis .

Dan

Jadi atau dapat ditulis

(iv) Bila maka Jelas >0 dan
>0

Jarak dan Diameter Antara Himpunan-Himpunan

Misal d adalah metrik pada Himpunan X. Jarak antara titik dan
didefinisikan oleh:
yaitu batas bawah terbesar dari jarak-jarak p dengan titik-titik dari A.

Jarak antara dua subset tidak kosong A dan B dari X didefinisikan oleh:

Pengantar Topologi by: Siti Lailiyah, M.Si.

Yaitu batas bawah terbesar jarak-jarak dari titik-titik dari A dan B.

Diameter dari subset tidak kosong didefinisikan oleh

Yaitu batas atas terkecil dari jarak titik-titik dalam A.

Bila diameter dari A terhingga, yaitu maka A disebut terbatas, dan bila
maka A disebut tak terbatas.

Contoh:
Misal X adalah suatu himpunan yang tidak kosong dan d adalah metrik trivial. Maka untuk
dan
,

Bola Buka dan Bola Tutup

Definisi 2: Misal dan . Bola buka dengan jari-jari r dan titik pusat a adalah
himpunan
Dan Bola Tutup dengan jari-jari r dan titik pusat a adalah himpunan
.
Contoh:
Pada R dengan jarak euclid, bola merupakan interval terbuka (a - r, a + r).
Pada dengan jarak euclid, bola merupakan sebuah piringan dengan titik pusat a
dan jari2 r.

Pada dengan jarak euclid, bola adalah bola yang kita kenal sehari –hari,
sedangkan Pada dengan , bola 
berbentuk

Pengantar Topologi by: Siti Lailiyah, M.Si.

Sedangkan pada dengan bola 
berbentuk

Pengantar Topologi by: Siti Lailiyah, M.Si.