Anda di halaman 1dari 10

MAKALAH

METRIK, JARAK, DAN BOLA BUKA

Kelompok 7:

Moh. Bayu Susilo (16709251012)


Arifta Nurjanah (16709251030)

Disusun untuk memenuhi tugas Mata Kuliah Topologi


Dosen Pengampu Dr. Dhoriva Urwatul Wustqa, M.S.

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 (, ) >

Bilangan real (, ) disebut sebagai jarak dari ke .

[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
.

[M3] disebut sebagai pertidaksamaan segitiga yang


menyatakan bahwa jika , & adalah titik-titik pada
2 , maka panjang (, ) selalu kurang dari atau sama
dengan jumlah (, ) + (, ). Dengan kata lain,
panjang satu sisi segitiga ialah kurang dari atau sama dengan jumlah panjang dua sisi yang
lain. (Lihat gambar disamping)

[M4] menjelaskan bahwa jarak antara dua titik yang berbeda selalu bernilai positif.

Perhatikan beberapa contoh berikut ini.

Contoh 1.1: Fungsi didefinisikan oleh (, ) = | |, dengan dan bilangan real,


adalah sebuah metrik dan disebut sebagai usual metric pada garis bilangan real
.

Selanjutnya fungsi yang didefinisikan oleh

(, ) = ( ) + ( )

dengan = , dan = , titik-titik di , merupakan sebuah


metrik dan disebut sebagai usual metric di .

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 , , adalah titik-titik yang berbeda.


Maka (, ) = | |, (, ) = | | dan (, ) = | |.
Sehingga
(, ) = | | = |( ) + ( )| | | + | | = (, ) + (, )
Sehingga memenuhi [M3].

Misal , dan . Maka (, ) = | | selalu positif.


Sehingga (, ) > 0
Sehingga memenuhi [M4].

Fungsi (, ) = | |, memenuhi keempat aksioma. Jadi dapat


disimpulkan bahwa adalah matrik.

2. Akan dibuktikan bahwa fungsi (, ) = ( ) + ( )


memenuhi [M1], [M2], [M3] dan [M4].

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

Sehingga memenuhi [M2].

Misal = 1 , 2 , = 1 , 2 , = 1 , 2 adalah titik-titik yang


berbeda.
Maka (, ) = (1 1 )2 + (2 2 )2 ,
(, ) = (1 1 )2 + (2 2 )2 dan
(, ) = (1 1 )2 + (2 2 )2

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

=
(, ) = {

Sehingga merupakan metrik pada himpunan . Fungsi jarak ini disebut


sebagai trivial metric pada .

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].

Misal , , adalah titik-titik yang berbeda.


Maka (, ) = 1, (, ) = 1 dan (, ) = 1.
Sehingga (, ) = 1 1 + 1 = (, ) + (, )
Sehingga memenuhi [M3].

Misal , dan . Maka (, ) = 1.


Sehingga (, ) 0
Sehingga memenuhi [M4].

Fungsi memenuhi keempat aksioma. Jadi dapat disimpulkan bahwa fungsi


adalah matrik.

Contoh 1.3: Misal [, ] merupakan kelas dari fungsi kontinu pada interval tertutup
[, ].

Sebuah metrik didefinisikan pada [, ] sebagai berikut:



(, ) = |() ()|

(, ) 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].

Misal , , adalah fungsi yang berbeda.


1
Maka (, ) = 0 |() ()|
1
(, ) = |() ()|
0
1
(, ) = |() ()|
0

1 1
(, ) = |() ()| = |() () + () ()|
0 0

1
= |((() ()) + (() ())| = (, ) + (, )
0

Sehingga memenuhi [M3].

1
Misal , dan . Maka (, ) = 0 |() ()| > 0
Sehingga memenuhi [M4].

Jadi, (, ) adalah metric.

Contoh 1.4: Misal [, ] merupakan kelas dari fungsi kontinu pada interval tertutup
[, ].

Metrik (lainnya) didefinisikan pada [, ] sebagai berikut:

(, ) = { |() ()| [, ]}

dengan (, ) adalah jarak vertikal terbesar antara dua fungsi, seperti yang
diilustra sikan pada gambar di atas.

Contoh 1.5: Misal = , dan = , adalah titik-titik sebarang di , yaitu


pasangan-pasangan terurut dari bilangan real.

5
Fungsi 1 dan 2 didefinisikan oleh:

(, ) = (| |, | |),

(, ) = | | + | |

Fungsi 1 dan 2 adalah dua metrik berbeda pada .

Sebuah fungsi yang memenuhi [M1], [M2], dan [M3], yaitu tidak harus memenuhi [M4] (not
necessarily [M4]) disebut dengan pseudometric

Jarak Antar Himpunan dan Diameter

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

Diameter dari sebuah subset tak kosong pada didefinisikan oleh

() = {(, , ) , , }

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).

Perhatikan bahwa konvers dari (ii),(iii), dan (iv) tidak benar.


Untuk himpunan kosong , kesepakatan yang di gunakan adalah:
(, ) = , (, ) = (, ) = , () =

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.1. Pertimbangkan sebuah titik = (, ) pada R2,


dan sebuah bilangan real = . Jika adalah
metrik usual pada R2, maka (, ) adalah disc
terbuka (perhatikan gambar di samping). Di lain
pihak, jika dan adalah metrik pada R2, yang
didefinisikan pada contoh 1.5:, maka (, ) dan
(, ) adalah subset pada R2 (perhatikan gambar
di bawah)

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

(, ) = { |() ()| [, ]}

(Lihat Contoh 1.4: ) diberikan > dan sebuah fungsi [, ], maka


sebuah bola buka ( , ) terdiri dari semua fungsi kontinu yang terletak di
dalam area yang dibatasi oleh dan + , seperti yang ditunjukan
pada gambar dibawah ini:

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 .

Misal = (, ). Maka (, ) < = (, ).

Jadi, dengan pertidaksamaan segitiga,

(, ) (, ) < [ (, )] + (, ) =

8
Sehingga = (, ) karena jaraknya dari ialah kurang dari . Jadi
mengakibatkan , yaitu adalah himpunan bagian dari (seperti yang ditunjukkan pada
gambar).