Kelompok 7:
PENDIDIKAN MATEMATIKA
PROGRAM PASCASARJANA
UNIVERSITAS NEGERI YOGYAKARTA
2017
METRIK, JARAK, DAN BOLA BUKA
Definisi Metrik
Misal adalah himpunan tak kosong. Sebuah fungsi bilangan real yang didefinisikan pada
, yaitu pasangan-pasangan terurut dari elemen-elemen di , disebut metrik atau fungsi
jarak pada jika dan hanya jika untuk setiap , , memenuhi aksioma berikut ini:
[M1] (, ) dan (, ) =
[M2] (Simetri) (, ) = (, )
[M3] (Pertidaksamaan Segitiga) (, ) (, ) + (, )
[M4] Jika maka (, ) >
[M1] menyatakan bahwa jarak dari sebarang titik ke titik lain di dalam tidak pernah negatif,
dan jarak dari suatu titik ke dirinya sendiri adalah nol.
[M2] menyatakan bahwa jarak dari titik ke titik adalah sama dengan jarak dari titik ke
titik . Oleh karena itu disebut dengan jarak antara dan
.
[M4] menjelaskan bahwa jarak antara dua titik yang berbeda selalu bernilai positif.
(, ) = ( ) + ( )
Bukti:
1
1. Akan dibuktikan bahwa fungsi (, ) = | |, memenuhi [M1], [M2],
[M3] dan [M4].
Misal , .
(, ) = | |, maka (, ) 0.
Jika = , (, ) = | | = 0.
Sehingga memenuhi [M1].
Misal , .
Jika , maka (, ) = | | dan (, ) = | |
| | = | |
sehingga (, ) = (, )
Di sisi lain, jika = , maka (, ) = |0| = (, ).
Sehingga memenuhi [M2].
Misal = 1 , 2 , = 1 , 2 .
(, ) = (1 1 )2 + (2 2 )2 , maka (, ) 0.
Jika = , maka 1 = 1 dan 2 = 2 ,
sehingga (, ) = (1 1 )2 + (2 2 )2 = 0.
Sehingga memenuhi [M1].
Misal = 1 , 2 , = 1 , 2 .
Jika , maka (, ) = (1 1 )2 + (2 2 )2 , dan
(, ) = (1 1 )2 + (2 2 )2
Jelas bahwa (1 1 )2 = (1 1 )2 dan (2 2 )2 = (2 2 )2
(1 1 )2 + (2 2 )2 = (1 1 )2 + (2 2 )2
Sehingga (, ) = (, )
2
Di sisi lain, jika = , maka maka 1 = 1 dan 2 = 2 ,
Sehingga (, ) = (1 1 )2 + (2 2 )2 = + = 0
dan (, ) = (1 1 )2 + (2 2 )2 = 02 + 02 = 0
Perhatikan bahwa
(1 1 )2 + (2 2 )2 = (1 1 + 1 1 )2 + (2 2 + 2 2 )2
2 2
= ((1 1 ) + (1 1 )) + ((2 2 ) + (2 2 ))
(1 1 )2 + (1 1 )2 + (2 2 )2 + (2 2 )2
= ((1 1 )2 + (2 2 )2 ) + ((1 1 )2 + (2 2 )2 )
Sehingga
(, ) = (1 1 )2 + (2 2 )2
(1 1 )2 + (2 2 )2 + (1 1 )2 + (2 2 )2
= (, ) + (, )
Sehingga memenuhi [M3].
Misal = 1 , 2 , = 1 , 2 dan .
Maka (, ) = (1 1 )2 + (2 2 )2 selalu positif sehingga
(, ) > 0
Sehingga memenuhi [M4].
Contoh 1.2: Misal adalah sebarang himpunan tak kosong dan fungsi didefinisikan oleh
=
(, ) = {
Bukti:
Akan dibuktikan bahwa fungsi memenuhi [M1], [M2], [M3] dan [M4].
Misal , .
3
Maka (, ) = 1 atau (, ) = 0. Dalam kedua kasus tersebut
(, ) 0. Selain itu, jika = , maka berdasarkan definisi dari ,
(, ) = 0.
Sehingga memenuhi [M1].
Misal , .
Jika , maka . Sehingga (, ) = 1 dan (, ) = 1. Oleh
karena itu, (, ) = (, )
Di sisi lain, jika = , maka = . Sehingga (, ) = 0 = (, ).
Sehingga memenuhi [M2].
Contoh 1.3: Misal [, ] merupakan kelas dari fungsi kontinu pada interval tertutup
[, ].
(, ) adalah luas daerah yang terletak diantara dua fungsi, seperti yang
diilustrasikan pada gambar berikut ini.
Bukti:
Misal , .
4
1
Maka (, ) = 0 |() ()| 0
1
Selain itu, jika = , maka 0 |() ()| = 0
Sehingga memenuhi [M1].
Misal , .
Jika , |() ()| = |() ()| sehingga
1 1
(, ) = 0 |() ()| = 0 |() ()| = (, )
1 1
Di sisi lain, jika = , maka (, ) = 0 |() ()| = 0 0 = (, )
Sehingga (, ) = (, ).
Sehingga memenuhi [M2].
1 1
(, ) = |() ()| = |() () + () ()|
0 0
1
= |((() ()) + (() ())| = (, ) + (, )
0
1
Misal , dan . Maka (, ) = 0 |() ()| > 0
Sehingga memenuhi [M4].
Contoh 1.4: Misal [, ] merupakan kelas dari fungsi kontinu pada interval tertutup
[, ].
(, ) = { |() ()| [, ]}
dengan (, ) adalah jarak vertikal terbesar antara dua fungsi, seperti yang
diilustra sikan pada gambar di atas.
5
Fungsi 1 dan 2 didefinisikan oleh:
(, ) = (| |, | |),
(, ) = | | + | |
Sebuah fungsi yang memenuhi [M1], [M2], dan [M3], yaitu tidak harus memenuhi [M4] (not
necessarily [M4]) disebut dengan pseudometric
Misal adalah sebuah metrik pada himpunan . Jarak antara suatu titik dan
suatu subset tak kosong pada didefinisikan oleh
(, ) = {(, ) }
yaitu batas bawah terbesar dari jarak antara titik dengan titik-titik anggota A.
Jarak antara dua subset tak kosong A dan B pada didefinisikan oleh
(, ) = {(, ) , }
yaitu batas bawah terbesar dari jarak antara titik-titik di dan titik-titik di B.
Diameter
() = {(, , ) , , }
yaitu batas atas terkecil dari jarak antara titik-titik di . Jika diameter berhingga, yaitu
() < , maka dikatakan terbatas (bounded). Tetapi jika tidak, yaitu () = , maka
dikatakan tidak terbatas (unbounded).
Contoh 2.1. Misal adalah metrik trivial pada himpunan tak kosong . Maka untuk
dan A, B ,
=
(, ) = { (, ) = {
Contoh 2.2. Perhatikan interval pada garis bilangan real R berikut: A = [0,1), B = (1,2].
Jika merupakan metrik usual pada , maka (, ) = 0.
Sebaliknya jika * merupakan metrik trivial pada R, maka (, ) =
karena A dan B disjoint.
Proposition 1. Misal A dan B adalah subset tak kosong dari himpunan dan .
Maka
i. (, ), (, ) dan () adalah bilangan real non negatif.
6
ii. Jika , maka (, ) =
iii. Jika adalah tak kosong, maka (, ) =
iv. Jika berhingga, maka () < , atau terbatas (bounded).
Bola Buka
Misal adalah metrik pada himpunan . Untuk sebarang titik dan sebarang
bilngan real > , (, ) atau (, ) menyatakan himpunan titik-titik dalam jarak dari
:
(, ) = { (, ) < }
(, ) disebut sebagai bola buka (open sphere), atau bola (sphere), dengan pusat dan jari-
jari . (, ) juga disebut persekitaran bola (sperical neighborhood) atau ball.
Contoh 3.2. Misal adalah metrik trivial pada beberapa himpunan , dan . Ingat
bahwa jarak antara dan setiap titik lainnya di adalah tepat 1. Sehingga,
>
(, ) = {
{}
7
Contoh 3.3 Misal adalah metrik usual pada garis bilangan real R, yaitu (, ) =
| |. Maka bola buka (, ) adalah interval terbuka ( , + ).
Contoh 3.4 Misal adalah metrik pada koleksi [, ] untuk semua fungsi kontinu pada
[0,1] didefinisikan oleh
(, ) = { |() ()| [, ]}
Satu hal yang penting dari sifat bola buka di dalam ruang metrik akan dijelaskan pada lemma
selanjutnya.
Lemma 8.2: Misal adalah sebuah bola buka dengan pusat p dan jari-jari . Maka untuk
setiap titik terdapat sebuah bola buka yang berpusat di sedemikian
hingga termuat di dalam . (perhatikan gambar di samping)
Bukti:
(, ) < karena = (, ).
Sehingga = (, ) > 0
Diklaim bahwa bola buka = (, ), dengan pusat dan jari-jari , adalah himpunan
bagian dari .
(, ) (, ) < [ (, )] + (, ) =
8
Sehingga = (, ) karena jaraknya dari ialah kurang dari . Jadi
mengakibatkan , yaitu adalah himpunan bagian dari (seperti yang ditunjukkan pada
gambar).