Teorema Titik Tetap Pada Ruang Quasi Metrik Terasing Tanpa Menggunakan Sifat Kekontinuan Fungsi
JURNAL FOURIER | April 2014, Vol. 3, No. 1, 31-47 ISSN 2252-763X
Teorema Titik Tetap Pada Ruang Metrik Terasing Quasi Tanpa Menggunakan Sifat Kekontinuan Fungsi
Malahayati dan Mutia Utami
Program Studi Matematika, Fakultas Sains dan Teknologi, UIN Sunan Kalijaga, Jl. Marsda Adisucipto No. 1 Yogyakarta, Indonesia
Korespondensi; Malahayati, Email: malahayati_01@yahoo.co.id Abstrak
Ruang kuasi metrik terkompresi adalah ruang dengan fungsi jarak yang hanya memenuhi dua kondisi dari empat
kondisi fungsi jarak di ruang metrik. Setiap ruang metrik dislokasi ruang kuasi metrik, namun percakapan tidak
memuaskan, sehingga karakter yang memenuhi ruang metrik mungkin tidak terpenuhi dalam ruang metrik kuasi
yang terkilir. Makalah ini untuk membaca teorema titik tetap tanpa kontinuitas pemetaan pada ruang kuasi metalik
yang terkilir, juga memberi contoh dengan menggunakan teorema yang telah dibacakan. Kata Kunci: AbstractDislocated quasi metric spaces is spaces with distance function that only satisfies two conditions from four
conditions of distance function in metric spaces. Every metric spaces is dislocated quasi metric spaces, but the
convers not satifies, so the characters that satisfies in metric spaces may not satisfies in dislocated quasi metric
spaces. This paper is to recite fixed point theorems without continuity of any mapping in dislocated quasi metric
spaces, also gives an example using the theorems that has recited. Keywords PendahuluanTeorema titik tetap Banach telah menarik banyak peneliti untuk terlibat dalam mempelajari dan mengeksplorasi teorema tersebut untuk mendapatkan hasil yang baru dalam pemetaan kontraksi menggunakan berbagai kondisi. Kannan seorang peneliti yang menggunakan tipe baru pada pemetaan kontraksi namun bersifat tidak kontinu, sedangkan Das, Gupta, dan Ciric memberikan generalisasi prinsip kontraksi Banach pada ruang metrik. Rohades juga telah sukses dalam upaya membangun urutan parsial untuk berbagai definisi pemetaan kontraksi. Hitzler dan Seda mengeluarkan gagasan dislocated metric spaces) sehingga mampu memperluas prinsip kontraksi tentang ruang metrik terasing (
Banach di ruang metrik. Selanjutnya Zeyada dan kawan-kawan mengeneralisasikan hasil karya Hitzler dan Seda pada ruang quasi metrik terasing (dislocated quasi metric spaces). Kemudian Aage dan Salunke mempelajari tentang pemetaan yang disampaikan oleh Kannan dan Ciric serta menjelaskan tentang teorema titik tetap pada ruang quasi metrik terasing. Oleh karena itu, Isufati kemudian membuktikan beberapa teorema titik tetap untuk pemetaan kontraksi dan kontinu di ruang quasi metrik terasing yang didefinisikan oleh Das, Gupta dan Rohades.
Pada tahun 2013, Sharma dan Thakur membuktikan teorema titik tetap dengan kondisi pemetaan kontraksi yang sama dengan penelitian yang dilakukan Isufati (2010) di ruang quasi metrik terasing, namun tidak menggunakan sifat kekontinuan fungsi.
Mengkaji dan membahas penelitian yang dilakukan oleh Sharma dan Thakur pada jurnal dengan Fixed Point Theorems without Continuity of any Mappings in Dislocated Quasi Metric Space” judul “ dianggap perlu dan penting, karena merupakan penelitian yang baru dan berbeda dari penelitian sebelumnya, serta dalam jurnal tersebut pembahasan tentang ruang quasi metrik terasing dan
Malahayati dan Mutia Utami
pembuktian teorema titik tetap tanpa menggunakan sifat kekontinuan fungsi dirasa masih sangat singkat, dan tidak disertai dengan adanya contoh.
Diharapkan dengan membahas dan mengkaji penelitian yang dilakukan oleh Sharma dan Thakur quasi metrik terasing dan pembuktian (2013) penulis dapat menjelaskan secara rinci tentang ruang teorema titik tetap didalamnya tanpa menggunakan sifat kekontinuan fungsi dan diakhiri dengan diberikan suatu contoh sebagai gambaran bagi pembaca.
Landasan Teori
Pada bagian ini akan diberikan pengertian ruang quasi metrik terasing dan sifat-sifat ruang quasi metrik terasing. Sifat-sifat yang diberikan akan digunakan untuk mempermudah pembahasan selanjutnya.
Quasi Metrik Terasing Pengertian Ruang quasi metrik terasing, serta hubungan antara ruang Berikut akan diberikan definisi dan contoh ruang metrik dengan ruang quasi metrik terasing.
Definisi 1.1. (Zeyada, dkk, 2006:111) Diberikan himpunan tidak kosong . Pemetaan : × →
[0, ∞) yang memenuhi kondisi: (1)
Jika ( , ) = ( , ) = 0 maka = , untuk setiap , ∈ dan (2)
( , ) ≤ ( , ) + ( , ), untuk setiap , , ∈ Disebut quasi metrik terasing (disingkat: metrik-dq). Selanjutnya pasangan
( , ) disebut ruang quasi metrik terasing (disingkat: ruang metrik-dq) Contoh 1.2. Diberikan himpunan
= { , , }. Jika fungsi : × → [0, ∞) didefinisikan dengan:
1 ( , ) = ( , ) = ( , ) =
8
1 ( , ) = ( , ) = ( , ) =
6
1
1 ( , ) = ( , ) = 0, ( , ) = 7 ,
4 Untuk , , ∈ , maka fungsi adalah metrik-dq.
Bukti: Ambil sebarang , , ∈ . (1) Akan dibuktikan bahwa jika ( , ) = ( , ) = 0, maka = .
Diketahui bahwa ( , ) = 0, berarti ( , ) = ( , ) dengan kata lain
(1) = =
Selanjutnya diketahui bahwa ( , ) = 0 berarti ( , ) = ( , ) dengan kata lain
(2) = =
Karena ( , ) = ( , ) = 0 dan berdasarkan (1) dan (2), maka diperoleh bahwa = . (2)
Selanjutnya akan dibuktikan bahwa ( , ) ≤ ( , ) + ( , ). Terdapat enam kemungkinan yang harus dipenuhi untuk membuktikan kondisi tersebut.
1 ( , ) = ( , ) =
Apabila memehuni kondisi berikut:
8 Teorema Titik Tetap Pada Ruang Quasi Metrik Terasing Tanpa Menggunakan Sifat Kekontinuan Fungsi
1 ( , ) = ( , ) =
6
1 ( , ) = ( , ) =
8 Maka diperoleh:
1
1
1
7 ( , ) ≤ ( , ) + ( , ) = 8 = 6 + 8 =
24 Apabila memenuhi kondisi berikut:
1 ( , ) = ( , ) =
6
1 ( , ) = ( , ) =
6
1 ( , ) = ( , ) =
8 Maka diperoleh:
1
1
1
7 ( , ) ≤ ( , ) + ( , ) = 6 = 6 + 8 =
24 Apabila memenuhi kondisi berikut:
1 ( , ) = ( , ) =
8
1 ( , ) = ( , ) =
8
1 ( , ) = ( , ) =
6 Maka diperoleh:
1
1
1
7 ( , ) ≤ ( , ) + ( , ) = 8 = 8 + 6 =
24 Apabila memenuhi kondisi berikut:
1 ( , ) = ( , ) =
8
1 ( , ) = ( , ) =
8
1 ( , ) = ( , ) =
8 Malahayati dan Mutia Utami
Maka diperoleh:
1
1
1
2 ( , ) ≤ ( , ) + ( , ) = 8 = 8 + 8 =
8 Apabila memenuhi kondisi berikut:
1 ( , ) = ( , ) =
6
1 ( , ) = ( , ) =
8
1 ( , ) = ( , ) =
6 Maka diperoleh:
1
1
1
7 ( , ) ≤ ( , ) + ( , ) = 6 = 8 + 6 =
24 Apabila memenuhi kondisi berikut:
1 ( , ) = ( , ) =
6
1 ( , ) = ( , ) =
6
1 ( , ) = ( , ) =
6 Maka diperoleh:
1
1
1
2 ( , ) ≤ ( , ) + ( , ) = 6 = 6 + 6 =
6 Karena keenam kemungkinan terpenuhi, maka terbukti bahwa ( , ) ≤ ( , ) + ( , ) untuk setiap
, , ∈ . Karena memenuhi kedua kondisi metrik-dq, maka adalah metrik-dq pada himpunan , lebih lanjut pasangan ( , ) merupakan ruang metrik-dq. ∎
Berdasarkan definisi ruang metrik-dq dapat ditarik suatu hubungan yang menyatakan bahwa setiap ruang metrik merupakan ruang metrik-dq namun tidak berlaku sebaliknya, pernyataan tersebut disajikan dalam lemma berikut ini. Lemma 1.3. Setiap ruang metrik adalah ruang metrik-dq. Contoh 1.4. Diberikan himpunan tak kosong
= [0,1] dan pemetaan : × ⟶ [0, ∞) yang didefinisikan dengan: ( , ) = | − | + | | untuk setiap , ∈ . Pasangan ( , ) merupakan ruang metrik-dq, tetapi bukan merupakan ruang metrik.
Bukti: Sebelum membuktikan bahwa pasangan ( , ) bukan merupakan ruang metrik akan dibuktikan terlebih dahulu bahwa
( , ) merupakan ruang metrik-dq. Ambil sebarang , , ∈ . i.
Akan dibuktikan bahwa jika ( , ) = ( , ) = 0 maka = .
Teorema Titik Tetap Pada Ruang Quasi Metrik Terasing Tanpa Menggunakan Sifat Kekontinuan Fungsi
Diketahui bahwa ( , ) = ( , ), berarti | − | + | | = | − | + | | = 0. Berdasarkan sifat nilai mutlak diperoleh bahwa:
(3) | − | + | | = 0 ⟺ | − | = 0 ∧ | | = 0 ⟺ = ∧ = 0
(4) | − | + | | = 0 ⟺ | − | = 0 ∧ | | = 0 ⟺ = ∧ = 0
Berdasarkan (3) dan (4) maka diperoleh bahwa = . ii.
Akan dibuktikan bahwa ( , ) ≤ ( , ) + ( , ).
Menggunakan sifat ketaksamaan segitiga diperoleh: ( , ) = | − | + | |
= | − + − | + | | ≤ | − | + | − | + | |
≤ | − | + | − | + | | + | | = | − | + | | + | − | + | |
= ( , ) + ( , ) Karena memenuhi kedua kondisi metrik-dq, maka merupakan metrik-dq pada himpunan , lebih lanjut pasangan ( , ) merupakan ruang metrik-dq.
Selanjutnya akan dibuktikan bahwa pasangan ( , ) bukan merupakan ruang metrik. Fungsi bukan merupakan metrik pada himpunan
, karena terdapat 1 ∈ tetapi (1,1) = |1 − 1| + |1| = 1 ≠ 0, dengan kata lain fungsi tidak memenuhi kondisi metrik. Jadi pasangan ( , ) bukan merupakan ruang metrik.
∎ Berdasarkan uraian definisi ruang metrik-dq dan hubungan antara ruang metrik dengan ruang metrik- dq dapat disimpulkan bahwa sifat-sifat yang berlaku pada ruang metrik belum tentu berlaku pada ruang metrik-dq.
Quasi Metrik Terasing Sifat-sifat Ruang Berikut akan diberikan definisi barisan konvergen, barisan Cauchy, dan fungsi kontraksi. Serta beberapa teorema yang melekat pada barisan konvergen dan barisan Cauchy di ruang metrik-dq.
Definisi 2.1. (Zeyada, dkk, 2006: 112) Diberikan ruang metrik-dq ( , ) dan barisan { } ⊆ . Barisan
{ } dikatakan konvergen di ruang metrik-dq (disingkat: konvergen-dq) ke ∈ apabila lim ( , ) = lim ( , ) = 0.
⟶∞ ⟶∞
Selanjutanya barisan { } yang konvergen-dq ke dapat dinotasikan ⟶ . Dalam hal ini disebut sebagai limit barisan di ruang metrik-dq (disingkat: limit-dq)
Contoh 2.2. Diberikan himpunan tak kosong = [0,1] dan ruang metrik-dq ( , ) dengan definisi pemetaan
: × ⟶ [0, ∞) yaitu: (5)
( , ) = | − | + | | Untuk setiap
, ∈ . Jika barisan { } ⊂ didefinisikan dengan: Malahayati dan Mutia Utami
(6) = 2
- 1
Untuk setiap ∈ ℕ, maka barisan { } konvergen-dq ke 0 ∈ ℝ
Bukti: Akan dibuktikan barisan { } konvergen-dq ke 0 ∈ ℝ dengan kata lain akan ditunjukkan bahwa lim ( , 0) = lim (0, ) = 0. Berdasarkan (5) dan (6) diperoleh:
⟶∞ ⟶∞
lim ( , 0) = lim − 0| + | | |
⟶∞ ⟶∞
= lim 2| | | | + | | = lim
⟶∞ ⟶∞
(7) = lim 2 | | 2
- 1 ⟶∞
= lim 2 (
2 ⟶∞
- 1) = 0
Dan lim (0, ) = lim | |0 − | + |
⟶∞ ⟶∞
| = lim |− | + | | = lim | | + | | = lim 2|
⟶∞ ⟶∞ ⟶∞
(8) = lim 2 | | 2
- 1 ⟶∞
= lim 2 (
2 ⟶∞
- 1) = 0
Berdasarkan (7) dan (8) diperoleh bahwa lim ( , 0) = lim (0, ) = 0. Jadi terbutkti bahwa
⟶∞ ⟶∞
barisan { } konvergen-dq ke 0 ∈ ℝ. ∎
Definisi 2.3. (Zeyada, dkk, 2006: 112) Diberikan ruang metrik-dq ( , ) dan barisan { } ⊆ . Barisan berlaku
∈ ℕ sehingga untuk setiap , ≥ { } dikatakan Cauchy apabila setiap > 0 terdapat ( , , ) < atau ( ) < .
Contoh 2.4. Diberikan himpunan tak kosong = [0,1] dan ruang metrik-dq ( , ) dengan definisi pemetaan
: × ⟶ [0, ∞) yaitu: ( , ) = | − | + | |
Untuk setiap , ∈ . Jika barisan { } ⊂ didefinisikan dengan:
1 = Teorema Titik Tetap Pada Ruang Quasi Metrik Terasing Tanpa Menggunakan Sifat Kekontinuan Fungsi
∈ ℕ, maka barisan { Bukti: Ambil sebarang
Untuk setiap } adalah barisan Cauchy.
> 0, berdasarkan hukum Archimedes maka terdapat ∈ ℕ sedemikian
1
sehingga . Oleh karena itu untuk setiap dengan asumsi < , ≥ > diperoleh:
2
| ( , ) = | − | + |
1
1 1 −
1 = |
− | + | | = | | + | | −
1 =
- 1
2
1 < < 2
- = ≤ 2 2 = Jadi terbukti bahwa
{ } adalah barisan Cauchy. ∎ Berikut ini akan diberikan definisi ruang metrik-dq lengkap. Definisi 2.5. (Zeyada, dkk, 2006: 112) Ruang metrik-dq dikatakan lengkap apabila setiap barisan Cauchy di dalamnya konvergen-dq. Contoh 2.6. Diberikan himpunan tak kosong
= [0,1] ⊂ ℝ dan pemetaan : × ⟶ [0, ∞) yang didefinisikan dengan: (9)
( , ) = | − | + | | Untuk setiap , ∈ , pasangan ( , ) merupakan ruang metrik-dq lengkap. Bukti: Telah dibuktikan sebelumnya pada Contoh 2.4 bahwa pasangan
( , ) merupakan ruang metrik-dq. Selanjutnya akan dibuktikan bahwa pasangan ( , ) merupakan ruang metrik-dq lengkap.
Ambil sebarang barisan Cauchy } adalah barisan Cauchy berarti untuk setiap
{ } ⊂ . Karena { berlaku: > 0 dan ∈ ℕ sehingga untuk setiap , ≥
( , ) < ⇔ | − | + | | <
Karena − − } merupakan barisan
| | + | | < maka | | < dengan kata lain { Cauchy di
} konvergen, misalkan barisan ℝ. Karena ℝ mempunyai sifat lengkap maka barisan { { } konvergen ke . Jelas ∈ , karena barisan { } ⊂ dan merupakan himpunan tertutup.
Selanjutnya akan ditunjukan bahwa barisan { } konvergen-dq ∈ , dengan kata lain akan ditunjukkan bahwa lim ( , ) = lim ( , ) = 0.
⟶∞ ⟶∞
Berdasarkan (9) dan karena { } ⊂ merupakan barisan Cauchy, maka diperoleh bahwa: lim ( , ) = lim − | + | |
|
⟶∞ ⟶∞
| = lim | − lim | + |
⟶∞ ⟶∞ Malahayati dan Mutia Utami
(10) |
= lim | − | + |
⟶∞
= lim ( , )
⟶∞
= 0 Dan
| lim ( , ) = lim | − | + |
⟶∞ ⟶∞
= lim | lim − | + lim | |
⟶∞ ⟶∞ ⟶∞
(11) |
= lim | − | + |
⟶∞
= lim ( , )
⟶∞
= 0 Berdasarkan (10) dan (11) diperoleh lim ( , ) = lim ( , ) = 0, dengan kata lain berisan
⟶∞ ⟶∞
{ } konvergen-dq ke ∈ . Jadi terbukti bahwa ( , ) adalah ruang metrik-dq lengkap. ∎ Sebelumnya telah diketahui bahwa nilai limit barisan pada ruang metrik tunggal, hal ini berlaku pula di ruang metrik-dq yang akan disajikan pada lemma berikut ini.
Lemma 2.7. (Sharma dan Thakur, 2013: 60) Limit barisan di ruang metrik-dq bernilai tunggal. Bukti: Ambil sebarang ruang metrik-dq
( , ), dan barisan konvergen-dq { } ⊆ . Misalkan barisan
} { } konvergen-dq ke dan . Selanjutnya akan didefinisikan bahwa = . Karena barisan { konvergen-dq ke dan , maka berdasarkan Definisi 2.1 berarti:
(12) lim ( , ) = lim ( , ) = 0
⟶∞ ⟶∞
(13) lim ( , ) = lim ( , ) = 0
⟶∞ ⟶∞
Berdasarkan Definisi 1.1 (2) perhatikan bahwa: ( , ) ≤ ( , , )
) + ( Dengan demikian maka: lim ( , ) ≤ lim ( , ( , )
) + lim
⟶∞ ⟶∞ ⟶∞
Oleh karena itu berdasarkan (12) dan (13) maka diperoleh ( , ) = 0. Selanjutnya berdasarkan Definisi 1.1 (2) perhatikan bahwa:
( , ) ≤ ( , ) + ( , ) Dengan demikian maka: Teorema Titik Tetap Pada Ruang Quasi Metrik Terasing Tanpa Menggunakan Sifat Kekontinuan Fungsi
lim ( , ) ≤ lim ( , ) + lim ( , )
⟶∞ ⟶∞ ⟶∞
Oleh karena itu berdasarkan (12) dan (13) maka diperoleh ( , ) = 0.
Karena diperoleh ( , ) = ( , ) = 0, maka berdasarkan Definisi 2.1 (i) diperoleh bahwa = , dengan kata lain terbukti bahwa nilai limit barisan di ruang metrik-dq
( , ) tunggal. ∎ Berikut ini akan diberikan definisi fungsi kontraksi pada ruang metrik-dq. Definisi 2.8. (Sharma dan Thakur, 2013: 61) Diberikan ruang metrik-dq
( , ). Pemetaan : ⟶ dikatakan kontraksi (constraction) apabila terdapat 0 ≤ < 1 sehingga:
( ( ), ( )) ≤ ( , ) Untuk setiap
, ∈ Contoh 2.9. Diberikan himpunan tak kosong
= [0,1] dan ruang metrik-dq ( , ) yang didefinisikan dengan: (14)
( , ) = | − | + | | Untuk setiap
, ∈ . Jika pemetaan : ⟶ didefinisikan dengan: (15)
( ) =
2 Untuk setiap ∈ , maka pemetaan kontraksi.
Bukti: Ambil sebarang , ∈ , berdasarkan (14) dan (15) diperoleh:
( ( ), ( )) = | 2 − 2| + | 2|
1
1 = | ( − )| + | 2 2 |
1
1 = | | − | + | | |
2| 2|
1 = |
(| − | + | |) 2|
1 =
( , )
2
1 Sehingga diperoleh . Karena
= < 1 maka terbukti bahwa pemetaan kontraksi. ∎
2 Pembahasan
Setelah pengertian ruang metrik-dq dan sifat-sifat pada ruang metrik-dq diberikan, selanjutnya akan dibahas teorema titik tetap pada ruang metrik-dq. Teorema Titik Tetap Pada Ruang Quasi Metrik Terasing Berikut ini akan dibahas dua teorema titik tetap pada ruang metrik-dq tanpa menggunakan sifat kekontinuan fungsi dan diakhiri dengan diberikan suatu contoh.
Malahayati dan Mutia Utami
Teorema 3.1.1. (Sharma dan Thakur, 2013: 61) Diberikan ruang metrik-dq lengkap ( , ). jika diberikan pemetaan
: ⟶ dan dipenuhi kondisi berikut:
( , ( ))[1+ ( , ( ))]
(16) ( ( ), ( )) ≤ + ( , )
(1+ ( , ))
Untuk setiap , ∈ dan , > 0 dengan + < 1, maka pemetaan mempunyai titik tetap tunggal.
Bukti: Ambil sebarang barisan ∈ . Kemudian didefinisikan:
{ } ⊆ dan ,
( ) =
1
, (
) =
1
2
, (
) =
2
3
⋮ . ( ) =
- 1
Berdasarkan (16) perhatikan bahwa: Dengan demikian diperoleh: Apabila dengan
) = 0 ≤ < 1 maka diperoleh ( , ) ≤ ( ,
- 1 −1 (1− )
Dengan cara yang sama apabila proses ini dilakukan untuk setiap ∈ ℕ, maka:
Untuk = 1 diperoleh:
(17) ( , , )
) ≤ (
1
2
1 Selanjutnya berdasarkan (17) maka untuk
= 2, diperoleh: Teorema Titik Tetap Pada Ruang Quasi Metrik Terasing Tanpa Menggunakan Sifat Kekontinuan Fungsi
) ( , ) ≤ ( ,
2
3
1
2
(18) )}
≤ { ( ,
1
2
) = ( ,
1 Berdasarkan (18) selanjutnya untuk
= 3, diperoleh: ( , , )
) ≤ (
3
4
2
3
2
(19) )}
≤ { ( ,
1
3
) = ( ,
1 Lebih lanjut untuk setiap
∈ ℕ, maka diperoleh: (20)
( , ( , ) ) ≤
- 1
1 Berdasarkan (20) apabila
→ ∞ maka → 0 karena 0 ≤ < 1. Oleh karena itu ( , ) → 0
- 1
untuk → ∞. Dengan kata lain { } adalah barisan Cauchy di . Selanjutnya karena
} adalah ruang metrik-dq lengkap maka berdasarkan Definisi 2.5 barisan { konvergen-dq. Misalkan barisan
{ } konvergen-dq ke ∈ , sehingga berdasarkan (3.1) diperoleh: Dengan demikian: Hal tersebut tidak mungkin terjadi karena 0 ≤ + < 1 dan ( , ) ≥ 0 sehingga yang memenuhi adalah ( , ) = 0. Selanjutnya untuk menunjukkan bahwa adalah titik tetap pada pemetaan , berdasarkan (17) diperoleh: Dengan demikian: Malahayati dan Mutia Utami
Hal ini tidak mungkin terjadi sehingga yang memenuhi adalah ( ( ), ) = 0. Dengan cara yang sama diperoleh juga bahwa
( , ( )) = 0. Oleh karena ( ( ), ) = ( , ( )) = 0 maka berdasarkan Definisi 1.1 (i) diperoleh ( ) = dengan kata lain adalah titik tetap .
Kemudian untuk membuktikan ketunggalan titik tetap pada pemetaan , diberikan sebagai titik tetap lain pada dengan ≠ .
Berdasarkan (3.1) maka diperoleh: Hal ini tidak mungkin terjadi, sebab 0 ≤ < 1 dan ( , ) ≥ 0 sehingga yang memenuhi adalah ( , ) = 0. Dengan cara yang sama diperoleh juga bahwa ( , ) = 0. Karena ( , ) = ( , ) = 0 maka berdasarkan Definisi 1.1 (i) diperoleh = . Sehingga terbukti bahwa pemetaan mempunyai titik tetap tunggal. ∎
Berdasarkan Teorema 3.1.1 telah terbukti bahwa tanpa menggunakan sifat kekontinuan fungsi, pemetaan yang memenuhi kondisi (17) di ruang metrik-dq mempunyai titik tetap yang tunggal.
Selain memenuhi kondisi (17) terdapat kondisi lain yang menyebabkan pemetaan tetap dimiliki titik tetap yang tunggal. Kondisi tersebut akan disajikan pada Teorema 3.1.2 berikut ini.
Teorema 3.1.2 (Sharma dan Thakar, 2013: 62) Diberikan ruang metrik-dq lengkap ( , ). Jika diberikan pemetaan
: → dan dipenuhi kondisi berikut: (21)
( ( ), ( )) ≤ ( , ( )) + ( , ( )) + ( , ) Dengan
, , bernilai non negative dan bergantung pada dan yaitu sup{2 + 2 + : , ∈ } < 1, maka pemetaan mempunyai titik tetap tunggal. Bukti: Ambil sebarang barisan
{ } ⊆ dan ∈ . Kemudian didefinisikan: ,
( ) =
1
, ( ) =
1
2
, ( ) =
2
3
⋮ . (
) =
- 1
Berdasarkan (21) perhatikan bahwa: Dengan demikian diperoleh:
( + + )
Apabila dengan = 0 ≤ < 1 maka diperoleh:
[1−( + )]
( , , ) ) ≤ (
- 1 −1
Dengan cara yang sama apabila proses ini dilakukan untuk setiap ∈ ℕ, maka:
Untuk = 1 diperoleh:
(22) )
( , ) ≤ ( ,
1
2
1 Selanjutnya berdasarkan (22) maka untuk
= 2, diperoleh: )
( , ) ≤ ( ,
2
3
1
2
(23) ≤ { ( , )}
1
2
= ( , )
1 Berdasarkan (23) selanjutnya untuk
= 3, diperoleh: )
( , ) ≤ ( ,
3
4
2
3
2
(24) )}
≤ { ( ,
1
3
) = ( ,
1 Lebih lanjut untuk setiap
∈ ℕ, maka diperoleh: (25)
) ( , ) ≤ ( ,
- 1
1 Berdasarkan (25) apabila
→ ∞ maka → 0 karena 0 ≤ < 1. Oleh karena itu ( , ) → 0
- 1
untuk → ∞. Dengan kata lain {
} adalah barisan Cauchy di . Selanjutnya karena adalah ruang metrik-dq lengkap maka berdasarkan Definisi 2.5 barisan }
{ } konvergen-dq. Misalkan barisan { konvergen-dq ke ∈ , sehingga berdasarkan (21) diperoleh: Malahayati dan Mutia Utami
Dengan demikian: Karena 0 ≤ ( + + ) < 1 dan ( , ) ≥ 0 sehingga diperoleh bahwa ( , ) = 0. Selanjutnya untuk menunjukkan bahwa adalah titik tetap pada pemetaan , berdasarkan (3.6) diperoleh: Dengan demikian: Karena 0 ≤ < 1 sehingga diperoleh bahwa ( ( ), ) = 0. Dengan cara yang sama diperoleh juga bahwa
( , ( )) = 0. Oleh karena ( ( ), ) = ( , ( )) = 0 maka berdasarkan Definisi 1.1 (i) diperoleh ( ) = dengan kata lain adalah titik tetap . Selanjutnya untuk membuktikan ketunggalan titik tetap pada pemetaan
, diberikan sebagai titik tetap lain pada dengan ≠ . Berdasarkan (21) maka diperoleh:
(26) dan (27) Teorema Titik Tetap Pada Ruang Quasi Metrik Terasing Tanpa Menggunakan Sifat Kekontinuan Fungsi
Berdasarkan (26) dan (27) diperoleh: Sehingga: Karena 0 ≤ [( + ) − ] < 1 maka berakibat ( , ) − ( , ) = 0. Oleh karena itu diperoleh bahwa
( , ) = ( , ). Berdasarkan (3.11) dan (3.12) karena ( , ) = ( , ) maka diperoleh: ( , ) ≤ ( + + ) ( , )
Karena 0 ≤ ( + + ) < 1 sehingga diperoleh bahwa ( , ) = 0 dan ( , ) = 0. Oleh karena ( , ) = ( , ) = 0 maka berdasarkan Definisi 1.1 (i) diperoleh = . Sehingga terbukti bahwa pemetaan ∎ mempunyai titik tetap tunggal.
Contoh 3.1.3 Diberikan himpunan tak kosong = [0,1]. Didefinisikan fungsi : × → [0, ∞) dengan:
(28) ( , ) = | − | + | |
Untuk setiap , ∈ . Berdasarkan Contoh 2.6 jelas bahwa pasangan ( , ) merupakan ruang metrik- dq lengkap. Jika fungsi
: → didefinisikan dengan: (29)
( ) =
8 Untuk setiap ∈ , maka pemetaan mempunyai titik tetap tunggal.
Bukti: Untuk membuktikan bahwa pemetaan mempunyai titik tetap tunggal, lihat kembali Teorema
3.1.2. Selanjutnya akan ditunjukkan bahwa pemetaan memenuhi kondisi (21). Ambil sebarang , ∈ . Berdasarkan (28) dan (29) perhatikan bahwa:
(30) Sebelumnya perhatikan bahwa: Malahayati dan Mutia Utami
(31) dan (32)
Oleh karena itu berdasarkan (31) dan (32), maka (30) menjadi: (33)
1 Berdasarkan (33) jelas bahwa pemetaan
, oleh karena itu memenuhi kondisi (21) dengan , , =
8
berdasarkan Teorema 3.1.2 maka pemetaan mempunyai titik tetap tunggal. Lebih lanjut, titik tetap pada pemetaan adalah 0, sebab (0) = = 0, dan bersifat tunggal.
Berdasarkan pembahasan pada bab sebelumnya, maka dapat disimpulkan bahwa setiap ruang metrik quasi metrik terasing, namun tidak berlaku sebaliknya. Sifat ketunggalan limit barisan merupakan ruang di ruang metrik berlaku pula di ruang quasi metrik terasing. Tidak semua sifat barisan yang berlaku di ruang metrik berlaku di ruang quasi metrik terasing, hal tersebut berdasarkan hubungan antara ruang metrik dengan ruang quasi metrik terasing. Pemetaan yang memenuhi kondisi (16) dan (17), serta terdefinisi pada ruang quasi metrik terasing lengkap
( , ) mempunyai titik tetap yang tunggal. Dalam membuktikan teorema tersebut menggabaikan sifat kekontinuan fungsi, dan memanfaatkan sifat quasi metrik terasing. kelengkapan pada ruang Teorema Titik Tetap Pada Ruang Quasi Metrik Terasing Tanpa Menggunakan Sifat Kekontinuan Fungsi
[1] Introduction to Real Analysis . Fourth Edition. New York: John Wiley & Sons,
Referensi [2] An Extension of Banach Contraction Principle Through Rational Expression. Bartle, R.G. and Sherbert, D.R. 2010. Inc. F. [3] Dass, Bal Khishan and Gupta, Satya. C. Auluck, F.N.A. (1973) 1455-1458. An Introduction to Metric Spaces and Fixed Point Theory. New[4] Fixed Point Theorems without Continuity of any Mapping in Dislocated Quasi
Khamsi, Mohammad A. and Krik, William A. 2001. York: John Wiley & Sons, Inc. [5] Sharma, Rajinder and Thakur, Deepti. Metric Space. Int. Journal of Math. Analysis (2013) 59-64. Metric Spaces . London: Springer-Verlag. [6] Shirali, Satish and Vasudeva, Harkrishan L. 2006. [7]Siddiqi, Abul Hasan. 2004. Applied Functional Analysis: Numerical Methods, Wavelet Method, and Image Processing.
New York: Marcel Dekker, Inc. A Generalization of A Fixed Point Theorem Due to Hizler and Seda Zeyada, F.M., Hassan, G.H., and Ahmed, M.A. in Dislocated Quasi Metric Spaces. The Arabian Journal for Science and Engineering (2006) 111114.