24

BAB III
PEMBAHASAN
.
3.1 Ruang 2-Metrik Semi Quasi
Pada bagian ini akan dibahas tentang peluasan ruang metrik, yaitu ruang 2-
metrik semi quasi yang merupakan perumuman dari ruang 2-metrik. Untuk
mengawali pembahasan mengenai ruang 2-metrik semi quasi, diberikan terlebih
dahulu definisi tentang ruang 2-metrik, seperti diberikan oleh definisi berikut ini.

Definisi 3.1 [2]
Misalkan X adalah himpunan tak kosong yang elemen-elemennya disebut titik dan
J X X X
+
suatu fungsi tak negatif yang memenuhi :
(M1) untuk x, y X dan x y, terdapat z X sehingga J( x, y, z) 0
(M2) J( x, y, z) = 0 jika sedikitnya dua dari x, y, z sama
(M3) J( x, y, z) = J( y, z, x) = J( z, x, y) untuk x, y, z X
(M4) J( x, y, z) J( x, y, w) + J( x, w, z) + J( w, y, z) untuk x, y, z, w X.
Fungsi J yang demikian disebut fungsi 2-metrik pada X dan pasangan ( X, J)
disebut ruang 2-metrik.

Secara geometris, fungsi 2-metrik J dapat ditafsirkan sebagai fungsi luas
untuk segitiga. Adapun sifat-sifat dari fungsi 2-metrik pada Definisi 3.1 di atas
dapat dijelaskan dengan memperhatikan dua gambar berikut:
25

A

C

B









Sifat (M1) menyatakan bahwa untuk sebarang dua titik berbeda pada
Gambar 3.1, misal titik A dan B, dapat dipilih titik diluar garis AB, misal C,
sedemikian sehingga luas ABC tidak sama dengan nol. Sifat (M2) menyatakan
bahwa jika dua atau tiga titik pada ABC (Gambar 3.1) sama maka ABC berupa
sebuah garis atau sebuah titik yang masing-masing tidak mempunyai dimensi
luas, sehingga luas ABC sama dengan nol. Sifat (M3) menyatakan bahwa urutan
dari ketiga titik pada ABC tidak mempengaruhi nilai dari luas ABC. Sifat ini
biasa disebut dengan sifat simetri. Dengan memperhatikan Gambar 3.2 sifat (M4)
menyatakan bahwa luas segitiga pada alas tetrahedron selalu lebih kecil daripada
jumlah luas segitiga pada sisi-sisi tegaknya atau secara matematis dituliskan
sebagai
luas ABC luas ADB + luas BDC + luasADC
sehingga sifat (M4) ini biasa disebut dengan sifat ketidaksamaan bidang empat
(tetrahedral inequality).

Gambar 3.1 Segitiga ABC dan tetrahedron ABCD dengan alas segitiga ABC
C
A
B
D
26

z = (z
1
, z
2
, z
3
)
y = (y
1
, y
2
, y
3
)
x = (x
1
, x
2
, x
3
)
Contoh 3.1
Luas segitiga yang disusun oleh tiga titik x = (x
1
, x
2
, x
3
), y = (y
1
, y
2
, y
3
) dan
z = (z
1
, z
2
, z
3
) yang merupakan elemen-elemen di
3
(diperlihatkan pada
gambar 3.3) didefinisikan dengan
J
1
( x, y, z) =
1
2
_
x
1
y
1
x
2
y
2
x
3
y
3
_ _
z
1
y
1
z
2
y
2
z
3
y
3
_






Akan ditunjukkan J
1
merupakan fungsi 2-metrik pada
3
.
1. Untuk setiap x y di
3
dapat dipilih z = ( y
1
, y
2
, 1 + y
3
) di
3
sehingga
J
1
( x, y, z) =
1
2
_
x
1
y
1
x
2
y
2
x
3
y
3
_ _
y
1
y
1
y
2
y
2
( 1 + y
3
) y
3
_
=
1
2
_
x
1
y
1
x
2
y
2
x
3
y
3
_ _
0
0
1
_
=
1
2
det _
t | h
x
1
y
1
x
2
y
2
x
3
y
3
0 0 1
_
=
1
2
_det j
x
2
y
2
x
3
y
3
0 1
[ t det j
x
1
y
1
x
3
y
3
0 1
[ | +
det j
x
1
y
1
x
2
y
2
0 0
[ h_

Gambar 3.2 Segitiga siku-siku xyz
27

=
1
2
( x
2
y
2
) t ( x
1
y
1
) | + 0 h
=
1
2
( x
2
y
2
)
2
+ ( x
1
y
1
)
2
+ ( 0)
2

=
1
2
( x
2
y
2
)
2
+ ( x
1
y
1
)
2

Karena x
2
y
2
dan x
1
y
1
maka ( x
2
y
2
) 0 dan ( x
1
y
1
) 0, maka
J
1
( x, y, z) =
1
2
( x
2
y
2
)
2
+ ( x
1
y
1
)
2
0.
2. Jika sedikitnya dua dari x, y, z sama, maka
untuk x = y
J
1
( x, y, z) =
1
2
_
x
1
y
1
x
2
y
2
x
3
y
3
_ _
z
1
y
1
z
2
y
2
z
3
y
3
_ =
1
2
_
0
0
0
_ _
z
1
y
1
z
2
y
2
z
3
y
3
_
=
1
2
d et _
t | h
0 0 0
z
1
y
1
z
2
y
2
z
3
y
3
_
=
1
2
_det _
0 0
z
2
y
2
z
3
y
3
_ t det _
0 0
z
1
y
1
z
3
y
3
_ | +
det _
0 0
z
1
y
1
z
2
y
2
_ h_
=
1
2
0t 0| + 0h
=
1
2
( 0)
2
+ ( 0)
2
+ ( 0)
2
= 0
untuk x = z
J
1
( x, y, z) =
1
2
_
x
1
y
1
x
2
y
2
x
3
y
3
_ _
x
1
y
1
x
2
y
2
x
3
y
3
_
=
1
2
d et _
t | h
x
1
y
1
x
2
y
2
x
3
y
3
x
1
y
1
x
2
y
2
x
3
y
3
_
28

=
1
2
_det j
x
2
y
2
x
3
y
3
x
2
y
2
x
3
y
3
[ t det j
x
1
y
1
x
3
y
3
x
1
y
1
x
3
y
3
[ | +
det j
x
1
y
1
x
2
y
2
x
1
y
1
x
2
y
2
[ h_
=
1
2
0t 0| + 0h
=
1
2
( 0)
2
+ ( 0)
2
+ ( 0)
2
= 0
untuk y = z
J
1
( x, y, z) =
1
2
_
x
1
y
1
x
2
y
2
x
3
y
3
_ _
z
1
y
1
z
2
y
2
z
3
y
3
_ =
1
2
_
x
1
y
1
x
2
y
2
x
3
y
3
_ _
0
0
0
_
=
1
2
d et _
t | h
x
1
y
1
x
2
y
2
x
3
y
3
0 0 0
_
=
1
2
_det j
x
2
y
2
x
3
y
3
0 0
[ t det j
x
1
y
1
x
3
y
3
0 0
[ | +
det j
x
1
y
1
x
2
y
2
0 0
[ h_
=
1
2
0t 0| + 0h
=
1
2
( 0)
2
+ ( 0)
2
+ ( 0)
2
= 0
untuk x = y = z
J
1
( x, y, z) =
1
2
_
x
1
y
1
x
2
y
2
x
3
y
3
_ _
z
1
y
1
z
2
y
2
z
3
y
3
_ =
1
2
_
0
0
0
_ _
0
0
0
_
=
1
2
d et _
t | h
0 0 0
0 0 0
_
=
1
2
_d et j
0 0
0 0
[ t det j
0 0
0 0
[ | + det j
0 0
0 0
[ h_
=
1
2
0t 0| + 0h
=
1
2
( 0)
2
+ ( 0)
2
+ ( 0)
2
= 0.
29

3. Untuk setiap x, y, z
3
berlaku
J
1
( x, y, z) =
1
2
_
x
1
y
1
x
2
y
2
x
3
y
3
_ _
z
1
y
1
z
2
y
2
z
3
y
3
_
=
1
2
_
x
1
z
1
+ z
1
y
1
x
2
z
2
+ z
2
y
2
x
3
z
3
+ z
3
y
3
_ _
z
1
y
1
z
2
y
2
z
3
y
3
_
=
1
2
__
x
1
z
1
x
2
z
2
x
3
z
3
_ _
z
1
y
1
z
2
y
2
z
3
y
3
__ + __
z
1
y
1
z
2
y
2
z
3
y
3
_ _
z
1
y
1
z
2
y
2
z
3
y
3
__
=
1
2
__
x
1
z
1
x
2
z
2
x
3
z
3
_ _
z
1
y
1
z
2
y
2
z
3
y
3
__ =
1
2
_
z
1
y
1
z
2
y
2
z
3
y
3
_ _
x
1
z
1
x
2
z
2
x
3
z
3
_
=
1
2
_
y
1
z
1
y
2
z
2
y
3
z
3
_ _
x
1
z
1
x
2
z
2
x
3
z
3
_ = J
1
( y, z, x)
=
1
2
_
y
1
x
1
+ x
1
z
1
y
2
x
2
+ x
2
z
2
y
3
x
3
+ x
3
z
3
_ _
x
1
z
1
x
2
z
2
x
3
z
3
_
=
1
2
__
y
1
x
1
y
2
x
2
y
3
x
3
_ _
x
1
z
1
x
2
z
2
x
3
z
3
__ + __
x
1
z
1
x
2
z
2
x
3
z
3
_ _
x
1
z
1
x
2
z
2
x
3
z
3
__
=
1
2
_
y
1
x
1
y
2
x
2
y
3
x
3
_ _
x
1
z
1
x
2
z
2
x
3
z
3
_ =
1
2
_
x
1
z
1
x
2
z
2
x
3
z
3
_ _
y
1
x
1
y
2
x
2
y
3
x
3
_
=
1
2
_
z
1
x
1
z
2
x
2
z
3
x
3
_ _
y
1
x
1
y
2
x
2
y
3
x
3
_ = J
1
( z, x, y)
Jadi kondisi J
1
( x, y, z) = J
1
( y, z, x) = J
1
( z, x, y) dipenuhi.
4. Misalkan w = ( w
1
, w
2
, w
3
) adalah elemen di
3
, maka untuk setiap
x, y, z, w
3
diperoleh
J
1
( x, y, z) =
1
2
_
x
1
y
1
x
2
y
2
x
3
y
3
_ _
z
1
y
1
z
2
y
2
z
3
y
3
_
30

=
1
2
_
x
1
w
1
+ w
1
y
1
x
2
w
2
+ w
2
y
2
x
3
w
3
+ w
3
y
3
_ _
z
1
w
1
+ w
1
y
1
z
2
w
2
+ w
2
y
2
z
3
w
3
+ w
3
y
3
_
=
1
2
__
x
1
w
1
x
2
w
2
x
3
w
3
_ _
z
1
w
1
z
2
w
2
z
3
w
3
__ + __
x
1
w
1
x
2
w
2
x
3
w
3
_ _
w
1
y
1
w
2
y
2
w
3
y
3
__ +
__
w
1
y
1
w
2
y
2
w
3
y
3
_ _
z
1
w
1
z
2
w
2
z
3
w
3
__ + __
w
1
y
1
w
2
y
2
w
3
y
3
_ _
w
1
y
1
w
2
y
2
w
3
y
3
__
=
1
2
__
x
1
w
1
x
2
w
2
x
3
w
3
_ _
z
1
w
1
z
2
w
2
z
3
w
3
__ + __
x
1
w
1
x
2
w
2
x
3
w
3
_ _
w
1
y
1
w
2
y
2
w
3
y
3
__ +
__
w
1
y
1
w
2
y
2
w
3
y
3
_ _
z
1
w
1
z
2
w
2
z
3
w
3
__

1
2
_
x
1
w
1
x
2
w
2
x
3
w
3
_ _
z
1
w
1
z
2
w
2
z
3
w
3
_ +
1
2
_
x
1
w
1
x
2
w
2
x
3
w
3
_ _
w
1
y
1
w
2
y
2
w
3
y
3
_ +

1
2
_
w
1
y
1
w
2
y
2
w
3
y
3
_ _
z
1
w
1
z
2
w
2
z
3
w
3
_
=
1
2
_
x
1
w
1
x
2
w
2
x
3
w
3
_ _
z
1
w
1
z
2
w
2
z
3
w
3
_ +
1
2
_
x
1
w
1
x
2
w
2
x
3
w
3
_ _
y
1
w
1
y
2
w
2
y
3
w
3
_ +

1
2
_
y
1
w
1
y
2
w
2
y
3
w
3
_ _
z
1
w
1
z
2
w
2
z
3
w
3
_
= J
1
( x, w, z) + J
1
( x, w, y) + J
1
( y, w, z)
= J
1
( x, w, z) + J
1
( x, y, w) + J
1
( w, y, z)
= J
1
( x, y, w) + J
1
( x, w, z) + J
1
( w, y, z)
Jadi kondisi J
1
( x, y, z) J
1
( x, y, w) + J
1
( x, w, z) + J
1
( w, y, z) dipenuhi,
sehingga J
1
merupakan fungsi 2-metrik pada
3
dan pasangan (
3
, J
1
)
merupakan ruang 2-metrik.
31

Jika fungsi 2-metrik J hanya memenuhi sifat (M1) dan (M2) saja, maka
dipunyai Definisi 3.2 berikut ini.

Definisi 3.2 [2]
Misalkan X adalah himpunan tak kosong yang elemen-elemennya disebut titik dan
J X X X
+
suatu fungsi tak negatif yang memenuhi:
(M1) untuk x, y X dan x y, terdapat z X sehingga J( x, y, z) 0
(M2) J( x, y, z) = 0 jika sedikitnya dua dari x, y, z sama.
fungsi d yang demikian disebut fungsi 2-metrik semi quasi pada X dan pasangan
( X, J) disebut ruang 2-metrik semi quasi.

Contoh 3.2
Fungsi J
1
pada Contoh 3.1 memenuhi sifat (M1) dan (M2), sehingga fungsi J
1

merupakan fungsi 2-metrik semi quasi pada
3
dan pasangan (
3
, J
1
) merupakan
ruang 2-metrik semi quasi.

Contoh 3.3
Diberikan himpunan semua bilangan real . Akan ditunjukkan bahwa fungsi
J
2
:
+
yang didefinisikan dengan
J
2
( x, y, z) = |x
( 2+1)
y
( 2x+1)
|(| z|
( z-x) ( z-)
1)
2

untuk setiap x, y, z merupakan fungsi 2-metrik semi quasi yang bukan
merupakan fungsi 2-metrik.
32

1. Untuk sebarang x, y dan x y, dapat dipilih z dimana z x
dan z y sehingga berlaku
J
2
( x, y, z) = |x
( 2+1)
y
( 2x+1)
|(| z|
( z-x) ( z-)
1 )
2
0.
2. Jika sedikitnya dua dari x, y, z sama, maka akan diperoleh hasil
sebagai berikut:
untuk x = y
J
2
( x, y, z) = J
2
( x, x, z) = |x
( 2x+1)
x
( 2x+1)
|(| z|
( z-x) ( z-x)
1)
2

= 0 . (| z|
( z-x) ( z-x)
1 )
2
= 0
untuk x = z
J
2
( x, y, z) = J
2
( x, y, x) = |x
( 2+1)
y
( 2x+1)
|(| x|
( x-x) ( x-)
1)
2

= |x
( 2+1)
y
( 2x+1)
|(| x|
( 0) ( x-)
1)
2

= |x
( 2+1)
y
( 2x+1)
|( 1 1 )
2

= |x
( 2+1)
y
( 2x+1)
|( 0 )
2

= 0
untuk y = z
J
2
( x, y, z) = J
2
( x, z, z) = |x
( 2z+1)
z
( 2x+1)
|(| z|
( z-x) ( z-z)
1)
2

= |x
( 2+1)
y
( 2x+1)
|(| x|
( z-x) ( 0)
1 )
2

= |x
( 2+1)
y
( 2x+1)
|( 1 1 )
2

= |x
( 2+1)
y
( 2x+1)
|( 0 )
2

= 0

33

untuk x = y = z
J
2
( x, y, z) = J
2
( x, x, x) = |x
( 2x+1)
x
( 2x+1)
|(| x|
( x-x) ( x-x)
1 )
2

= 0. ( 0)
2
= 0.
3. Berikut ini diberikan contoh yang menyangkal bahwa J
2
memenuhi sifat
(M3) dari fungsi 2-metrik, yaitu J
2
( x, y, z) J
2
( y, z, x) J
2
( z, x, y) .
Misalkan diambil x = 1, y = 2 dan z = 3 maka
J
2
( x, y, z) = J
2
( 1,2,3) = |1
( 2.2+1)
2
( 2.1+1)
|(| 3|
( 3-1) ( 3-2)
1 )
2

= | 1 2
5
| . ( 8)
2

= 1 984
J
2
( y, z, x) = J
2
( 2,3,1) = |2
( 2.3+1)
3
( 2.2+1)
|(| 1|
( 1-2) ( 1-3)
1 )
2

= | 2
7
3
5
| . ( 0 )
2
= 0
J
2
( z, x, y) = J
2
( 3,1,2) = |3
( 2.1+1)
1
( 2.3+1)
|(| 2|
( 2-3) ( 2-1)
1 )
2

= | 3
3
1| . ( 2
-1
1)
2

= 6 ,5
sehingga J
2
( x, y, z) J
2
( y, z, x) J
2
( z, x, y) .
Jadi J
2
merupakan fungsi 2-metrik semi quasi pada , tetapi bukan merupakan
fungsi 2-metrik pada , sehingga pasangan (, J
2
) merupakan ruang 2-metrik
semi quasi, tetapi bukan merupakan ruang 2-metrik.

3.2 Kontraksi dalam Ruang 2-Metrik Semi Quasi
Dalam subbab ini akan didefinisikan fungsi kontraksi. Kemudian akan
diselidiki bahwa dengan syarat ketidaksamaan tertentu yang diberikan, fungsi
34

I: X X dalam ruang 2-metrik semi quasi ( X, J) mempunyai titik tetap yang
tunggal. Namun sebelumnya, akan diberikan terlebih dahulu definisi tentang
fungsi pra-kontraksi.

Definisi 3.3 [2]
Fungsi bernilai real
+

+

+

+
dikatakan sebagai fungsi pra-
kontraksi jika memenuhi sifat-sifat berikut:
(a) ( 1, 1, 1) = < 1 dengan
+
.
(b) Misalkan u, :
+
sedemikian hingga jika salah satu dari ketiga
pernyataan u ( :, :, u) atau u ( :, u, :) atau u ( u, :, :)
berlaku, maka u k. : untuk suatu k[ , 1 ) .
Selanjutnya himpunan semua fungsi pra-kontraksi ini dinotasikan dengan .

Himpunan pada Definisi 3.3 di atas bukan merupakan himpunan kosong
atau 4 . Hal ini diperlihatkan dalam Teorema 3.1 berikut.

Teorema 3.1 [2]
Fungsi nol 0:
+

+

+

+
yang didefinisikan dengan 0( x, y, z) = 0
untuk setiap x, y, z
+
merupakan anggota dari himpunan .

Bukti:
(a) 0 ( 1, 1, 1) = 0 < 1.
35

(b) Untuk sebarang v
+

dan u = 0 maka u 0 (v,. v, u), u 0 (v,. u, v) dan
u 0 (u,. v, v) dipenuhi sehingga diperoleh u kv untuk k [0, 1).
Jadi fungsi 0 merupakan anggota dari himpunan .

Contoh 3.4
Misalkan fungsi
1
:
+

+

+

+

didefinisikan dengan

1
( x, y, z) = _
0 un t uk semu a x, y, z 1
mi n[ x, y, z] u nt uk x, y, z yang l ai nny a

x, y, z
+
. Akan diperlihatkan
1
merupakan anggota dari himpunan 4
(a)
1
( 1, 1 , 1 ) = 0 < 1.
(b) Untuk sebarang u, v
+
dengan u < v dan u < 1 maka
u
1
(v, u, v) = u u u
u
1
(v, v, u) = u u u
u
1
(u, v, v) = u u u.
Mengingat u, v
+
serta u < v dan u < 1, maka v > 0 dan 0 u < 1
sehingga 0
u

< 1 dan u
u

:. Kemudian dipilih k =
u
:
sehingga
diperoleh u = k: untuk suatu k [ 0,1 ) .
Jadi fungsi
1
adalah anggota dari himpunan 4.

Contoh 3.5
Misalkan fungsi
2
:
+

+

+

+
didefinisikan dengan

2
( x, y, z) =
| x + y 2z|
2

untuk x, y, z
+
. Akan ditunjukkan
2
merupakan anggota dari himpunan 4.
36

(a)
2
(1, 1, 1) =
| 1+1-2.( 1) |
2
= 0 < 1
.

(b) Untuk sebarang u, :
+

diperoleh
Jika u
2
( u, :, :) =
|u+ :2 :|
2
=
| u:|
2
, maka
u
| u:|
2
2 u | u :| u : 2u atau u : 2u.
Untuk u : 2 u maka 3 u : u
1
3
: dengan k =
1
3
[ 0 ,1) .
Untuk u : 2u maka u :. Hal ini tidak mungkin terjadi,
karena u 0, kecuali untuk u = 0 dan : = 0.
Jika u
2
( :, u, :) =
|:+ u2 :|
2
=
| u:|
2
, maka
u
| u:|
2
2 u | u :| u : 2u atau u : 2u.
Untuk u : 2u maka 3u : u
1
3
: dengan =
1
3
[ 0,1) .
Untuk u : 2u maka u :. Hal ini tidak mungkin terjadi,
karena u 0, kecuali untuk u = 0 dan : = 0.
Jika u
2
( :, :, u) =
|:+ :2 u|
2
=
|2 :2u|
2
, maka
u
|2:2 u|
2
2u 2| : u| u | : u|
: u u atau : u u
Untuk : u u maka : 0 . Hal ini tidak mungkin terjadi, karena
: 0 . Kecuali untuk : = 0.
Untuk : u u maka 2u : u
1
2
: dengan k =
1
2
[ 0 ,1) .
Jadi fungsi
2
adalah anggota dari himpunan 4.
37

Selanjutnya dengan menggunakan Definisi 3.3 dipunyai definisi tentang
fungsi kontraksi sebagai berikut :

Definisi 3.4 [2]
Fungsi I: X X dalam ruang 2-metrik semi quasi ( X, J) disebut fungsi
kontraksi jika terdapat fungsi sedemikian hingga untuk x, y, o X
berlaku
J( Ix, Iy, o) (J( x, y, z) , J( x, Ix, o) , J( y, Iy, o) ) ( 3.1 )

Contoh 3.6
Misalkan x = (x
1
, x
2
, x
3
), y = (y
1
, y
2
, y
3
) dan a = ( o
1
, o, o
3
) adalah elemen-
elemen di
3
. Didefinisikan fungsi konstan I:
3

3
dengan Ix =
I( x
1
, x
2
, x
3
) = (1, 1, 1),
2
adalah fungsi yang didefinisikan pada Contoh 3.5 dan
J
1
adalah fungsi 2-metrik semi quasi yang didefinisikan pada Contoh 3.1. Akan
ditunjukkan I merupakan fungsi kontraksi. Untuk setiap x, y, a
3
berlaku
J
1
( Ix, Iy, a)
2
(J
1
( x, y, a) , J
1
( x, Ix, a) , J
1
( y, Iy, a) )
J
1
(( 1,1 ,1) , ( 1,1 ,1) , ( o
1
, o, o
3
) )
2
(J
1
( x, y, a) , J
1
( x, Ix, a) , J
1
( y, Iy, a) )

1
2
_
1 1
1 1
1 1
_ _
o
1
1
o
2
1
o
3
1
_
2
(J
1
( x, y, a) , J
1
( x, Ix, a) , J
1
( y, Iy, a) )

1
2
_
0
0
0
_ _
o
1
1
o
2
1
o
3
1
_
2
(J
1
( x, y, a) , J
1
( x, Ix, a) , J
1
( y, Iy, a) )
38

1
2
d et _
t | h
0 0 0
o
1
1 o
2
1 o
3
1
_

2
(J
1
( x, y, a) , J
1
( x, Ix, a) , J
1
( y, Iy, a) )
1
2
_det _
0 0
o
2
1 o
3
1
_ t det _
0 0
o
1
1 o
3
1
_ | + d et _
0 0
o
1
1 o
2
1
_ h_

2
(J
1
( x, y, a) , J
1
( x, Ix, a) , J
1
( y, Iy, a) )

1
2
0 t 0 | + 0h
2
(J
1
( x, y, a) , J
1
( x, Ix, a) , J
1
( y, Iy, a) )

1
2
( 0)
2
+ ( 0)
2
+ ( 0 )
2

2
(J
1
( x, y, a) , J
1
( x, Ix, a) , J
1
( y, Iy, a) )
0
| J
1
( x, y, a) + J
1
( x, Ix, a) 2J
1
( y, Iy, a) |
2

Ketidaksamaan di atas selalu dipenuhi untuk setiap x, y, a
3
, sehingga I
merupakan fungsi kontraksi.

Contoh 3.7
Misalkan x = (x
1
, x
2
, x
3
), y = (y
1
, y
2
, y
3
) dan a = ( o
1
, o, o
3
) adalah elemen-
elemen di
3
. Diberikan fungsi identitas I:
3

3
yang didefinisikan dengan
Ix = x dan J
1
adalah fungsi 2-metrik semi quasi yang didefinisikan pada Contoh
3.1. Andaikan I adalah suatu fungsi kontraksi. Akan tetapi, untuk tiga titik x, y, a
yang semuanya berbeda diperoleh
J
1
( Ix, Iy, a)
2
(J
1
( x, y, a) , J
1
( x, Ix, a) , J
1
( y, Iy, a) )
J
1
( x, y, a)
2
(J
1
( x, y, a) , J
1
( x, x, a) , J
1
( y, y, a) )
J
1
( x, y, a)
2
( J
1
( x, y, a) , 0 ,0)
39

Berdasarkan Definisi 3.3 bagian (b) diperoleh J
1
( x, y, z) k. 0 = 0. Karena J
1

adalah fungsi tak negatif, maka J
1
( x, y, z) = 0 . Ini bertentangan dengan sifat
(M1) dari fungsi 2-metrik semi quasi yang menyatakan untuk dua titik berbeda
atau x y dapat dipilih z x dan z y sedemikian hingga J
1
( x, y, z) 0. Jadi
pengandaian salah, sehingga I bukan merupakan fungsi kontraksi.

Selanjutnya dengan menggunakan definisi fungsi kontraksi, dipunyai
beberapa teorema beserta akibatnya berikut ini :

Teorema 3.2 [2]
Diberikan ruang 2-metrik semi quasi ( X, J) dan I merupakan fungsi kontraksi.
Jika terdapat titik x
0
X sedemikian hingga untuk a X berlaku
J( x
0
, Ix
0
, o) = in { J( x, Ix, o) | x X} (3.2)
maka x
0
adalah titik tetap yang tunggal dari I.

Bukti:
Andaikan x
0
X yang memenuhi kondisi (3.2) bukan merupakan titik tetap dari
fungsi I atau Ix
0
x
0
. Misalkan x = x
0
dan y = Ix
0
, kemudian disubstitusikan
pada kondisi (3.1) diperoleh
J( Ix
0
, I
2
x
0
, o) ( J( x
0
, Ix
0
, o) , J( x
0
, Ix
0
, o) , J( Ix
0
, I
2
x
0
, o) ) .
Dengan menggunakan Definisi 3.3 bagian (b) diperoleh
J( Ix
0
, I
2
x
0
, o) k. J( x
0
, Ix
0
, o)
J( y, Iy, o) k. J( x
0
, Ix
0
, o) untuk suatu k [ , 1) .
40

Karena k < 1 maka
J( y, Iy, o) < J( x
0
, Ix
0
, o)
Karena y X maka J( y, Iy, o) { J( x, Ix, o) | x X} , sehingga terjadi
kontradiksi dengan kondisi (3.2) yang menyatakan bahwa J( x
0
, Ix
0
, o) adalah
infimum dari himpunan { J( x, Ix, o) | x X} . Oleh karena itu Ix
0
= x
0
. Hal ini
menunjukkan x
0
adalah titik tetap dari I.
Untuk menunjukkan ketunggalan x
0
, diandaikan y
0
adalah titik tetap yang
lain dari I, yaitu Iy
0
= y
0
, maka
J( x
0
, y
0
, o) = J( Ix
0
, Iy
0
, o) ( J( x
0
, y
0
, o) , J( x
0
, Ix
0
, o) , J( y
0
, Iy
0
, o) )
( J( x
0
, y
0
, o) , J( x
0
, x
0
, o) , J( y
0
, y
0
, o) )
( J( x
0
, y
0
, o) , 0, 0 )
Dengan menggunakan Definisi 3.3 bagian (b) diperoleh
J( x
0
, y
0
, o) k. 0 = 0 .
Karena J adalah fungsi tak negatif maka
J( x
0
, y
0
, o) = 0.
Kemudian andaikan x
0
y
0
. Mengingat o adalah sebarang anggota dari X, maka
ada tiga kemungkinan nilai dari o, yaitu: (1) o = x
0
, (2) o = y
0
, (3) o x
0
dan
o y
0
. Pada khususnya jika o x
0
dan o y
0
, maka J( x
0
, y
0
, o) = 0
bertentangan dengan sifat (M1) yang menyatakan bahwa untuk x
0
y
0
terdapat
o x
0
dan o y
0
sedemikian hingga J( x
0
, y
0
, o) 0 , sehingga x
0
= y
0
.
Jadi x
0
adalah titik tetap yang tunggal dari I.

41

Kondisi (3.2) pada Teorema 3.2 merupakan syarat perlu dan cukup untuk
keberadaan titik tetap bagi I. Artinya, fungsi I mempunyai titik tetap jika dan
hanya jika terdapat titik x
0
X sedemikian hingga untuk
o X
berlaku
J( x
0
, Ix
0
, o) = i nf { J( x, Ix, o) | x X} .
Sedangkan kondisi (3.1) pada Definisi 3.4 merupakan syarat perlu untuk
ketunggalan titik tetap bagi I jika telah diketahui I memenuhi kondisi (3.2). Ini
berarti, terdapat I yang mempunyai titik tetap tunggal tetapi I bukan merupakan
fungsi kontraksi dan juga terdapat I yang tidak mempunyai titik tetap tetapi I
merupakan fungsi kontraksi.

Contoh 3.8
Didefinisikan fungsi 2-metrik semi quasi J
3
dan fungsi I: berturut-turut
dengan
J
3
( x, y, z) = _
0 j i k a sed i k i t nya d ua dar i x, y, z sam a
| x + y + z| j i k a yan g l ai nny a

x, y, z dan Ix = 2x 1.
Fungsi Ix = 2x 1 tersebut mempunyai sebuah titik tetap, yaitu x = 1 sehingga
i nf { J
3
( x, Ix, o) } = 0 . Dengan demikian terdapat 1 sedemikian hingga
untuk o berlaku
J
3
( 1 , I( 1 ) , o) = J
3
( 1, 2. ( 1) 1, o) = J
3
( 1 , 1, o) = 0
J
3
( 1 , I( 1 ) , o) = i nf { J
3
( x, Ix, o) }
sehingga I memenuhi kondisi (3.2).
42

Andaikan I merupakan fungsi kontraksi. Akan tetapi, jika diambil
x = 1, y = 2 d an o = 3 kemudian disubstitusikan ke kondisi (3.1), maka
diperoleh
J
3
( I( 2) , I( 3) , 4) ( J
3
( 2, 3 , 4) , J
3
( 2 , I( 2 ) , 4 ) , J
3
( 3, I( 3) , 4) )
J
3
( 2 . ( 2 ) 1, 2. ( 3) 1, 4)
( J
3
( 2 , 3 , 4) , J
3
( 2 , 2. ( 2) 1 , 4) , J
3
( 3, 2 . ( 3 ) 1 , 4 ) )
J
3
( 3, 5, 4) ( J
3
( 2 , 3 , 4) , J
3
( 2 , 3, 4) , J
3
( 3 , 5, 4) ) .
Dengan menggunakan Definisi 3.3 bagian (b) diperoleh
J
3
( 3 , 5 , 4) kJ
3
( 2, 3, 4 )
karena k < 1 maka
J
3
( 3 , 5 , 4) < J
3
( 2, 3, 4)
| 3 + 5 + 4 | < | 2 + 3 + 4 |
12 < 9.
Hal ini tidak mungkin terjadi, sehingga I tidak memenuhi kondisi (3.1). Oleh
karena itu, I bukan merupakan fungsi kontraksi.

Contoh 3.9
Didefinisikan fungsi I: dengan Ix = 2
2x+1
. Kemudian dipilih
2
dan J
2

berturut-turut adalah fungsi yang didefinisikan pada Contoh 3.5 dan Contoh 3.3.
Telah ditunjukkan dalam Contoh 2.4 bahwa fungsi Ix = 2
2x+1
tidak mempunyai
titik tetap. Selanjutnya akan ditunjukkan bahwa fungsi Ix = 2
2x+1
merupakan
fungsi kontraksi. Dengan mensubstitisikan fungsi Ix = 2
2x+1
dan J
2
ke dalam
kondisi (3.1) diperoleh
43

J
2
( Ix, Iy, o)
2
( J
2
( x, y, o) , J
2
( x, Ix, o) , J
2
( y, Iy, o)
J
2
( 2
x+1
, 2
+1
, o)
2
( J
2
( x, y, o) , J
2
( x, 2
2x+1
, o) , J
2
( y, 2
+1
, o)
|( 2
2x+1
)
( 2+1)
( 2
2+1
)
( 2x+1)
|(| z|
(z-2
2x+1
)( z-2
2j+1
)
1)
2
= 0

|d
2
( x,,u) +d
2
( x,2
2x+1
,u) -2d
2
( ,2
j+1
,u) |
2

0
|d
2
( x,,u) +d
2
( x,2
2x+1
,u) -2d
2
( ,2
j+1
,u) |
2

Ketidaksamaan di atas selalu dipenuhi untuk setiap x, y, o , sehingga fungsi
yang didefinisikan dengan Ix = 2
2x+1
merupakan fungsi kontraksi.

Akibat 3.1 [2]
Misalkan I: X X adalah fungsi dalam ruang 2-metrik semi quasi ( X, J) yang
memenuhi kondisi berikut :
(i) Terdapat bilangan bulat positif n dan 4 sedemikian hingga untuk
setiap x, y, o X berlaku
J( I
n
x, I
n
y, o) ( J( x, y, o) , J( x, I
n
x, o) , J( y, I
n
y, o) (3.3)
(ii) Terdapat titik x
0
X sedemikian hingga untuk o X berlaku
J( x
0
, I
n
x
0
, o) = in { J( x, I
n
x, o) | x X} (3.4)
maka x
0
adalah titik tetap yang tunggal dari I.

Bukti :
Misalkan S = I
n
, maka dengan menggunakan cara yang sama seperti pada bukti
untuk Teorema 3.2, S mempunyai titik tetap yang tunggal. Oleh karena itu, I
n

juga mempunyai titik tetap yang tunggal. Misalkan x
0
adalah titik tetap tunggal
44

dari I
n
, maka I
n
x
0
= x
0
. Selanjutnya, akan ditunjukkan bahwa x
0
juga
merupakan titik tetap tunggal dari I.
Karena I
n
( Ix
0
) = I( I
n
x
0
) = Ix
0
, maka Ix
0
adalah titik tetap dari I
n
.
Jika Ix
0
x
0
, maka terjadi kontradiksi terhadap ketunggalan titik tetap dari T
n
,
sehingga Ix
0
= x
0.
Hal ini menujukkan bahwa x
0
adalah titik tetap dari I.
Untuk menunjukkan ketunggalan x
0
, diandaikan y
0
adalah titik tetap yang
lain dari I, yaitu Iy
0
= y
0
, maka diperoleh
I
n
( y
0
) = T T T _________( y
0
) = y
0
sebanyak n f un gsi T

sehingga y
0
adalah titik tetap dari I
n
. Jika x
0
y
0
maka terjadi kontradiksi
terhadap ketunggalan titik tetap dari I
n
, sehingga haruslah x
0
= y
0
. Jadi x
0

adalah titik tetap yang tunggal dari I.

Jika Definisi 3.3 bagian (b) serta kondisi (3.1) pada Definisi 3.4 dan
kondisi (3.3) pada Akibat 3.1 berturut-turut dituliskan kembali dengan
(b) Misalkan u, :
+
sedemikian hingga jika salah satu dari ketiga
pernyataan u < ( :, :, u) atau u < ( :, u, :) atau u < ( u. :, :)
berlaku, maka u < :, untuk 4,
J( Ix, Iy, o) < ( J( x, y, o) , J( x, Ix, o) , J( y, Iy, o) ) (3.1)
dan
J( I
n
x, I
n
y, o) < ( J( x, y, o) , J( x, I
n
x, o) , J( y, I
n
y, o) ) (3.3)
untuk setiap x, y, o X, maka akan diperoleh akibat sebagai berikut :

45

Akibat 3.2 [2]
Misalkan I: X X adalah fungsi dalam ruang 2-metrik semi quasi ( X, J) yang
memenuhi kondisi berikut :
(i) Terdapat 4 sedemikian hingga x, y, o X berlaku
J( Ix, Iy, o) < ( J( x, y, o) , J( x, Ix, o) , J( y, Iy, o) ) (3.1)
(ii) Terdapat titik x
0
X sedemikian hingga o X berlaku
J( x
0
, Ix
0
, o) = in { J( x, Ix, o) | x X} (3.2)
maka x
0
adalah titik tetap yang tunggal dari I.

Bukti:
Andaikan x
0
X yang memenuhi kondisi (3.2) bukan merupakan titik tetap dari
fungsi I atau Ix
0
x
0
. Misalkan x = x
0
dan y = Ix
0
, kemudian disubstitusikan
pada kondisi (3.1) akan diperoleh
J( Ix
0
, I
2
x
0
, o) < ( J( x
0
, Ix
0
, o) , J( x
0
, Ix
0
, o) , J( Ix
0
, I
2
x
0
, o) ) .
Dengan menggunakan (b) diperoleh
J( Ix
0
, I
2
x
0
, o) < J( x
0
, Ix
0
, o)
J( y, Iy, o) < J( x
0
, Ix
0
, o) .
Karena y X maka J( y, Iy, o) { J( x, Ix, o) | x X} , sehingga terjadi
kontradiksi dengan kondisi (3.2) yang menyatakan bahwa J( x
0
, Ix
0
, o) adalah
infimum dari himpunan { J( x, Ix, o) | x X} . Oleh karena itu Ix
0
= x
0
. Hal ini
menunjukkan x
0
adalah titik tetap dari I.
Untuk menunjukkan ketunggalan x
0
, diandaikan y
0
adalah titik tetap yang
lain dari I, yaitu Iy
0
= y
0
, maka
46

J( x
0
, y
0
, o) = J( Ix
0
, Iy
0
, o) < ( J( x
0
, y
0
, o) , J( x
0
, Ix
0
, o) , J( y
0
, Iy
0
, o) )
< ( J( x
0
, y
0
, o) , J( x
0
, x
0
, o) , J( y
0
, y
0
, o) )
< ( J( x
0
, y
0
, o) , 0 , 0)
Dengan menggunakan (b) diperoleh
J( x
0
, y
0
, o) < 0.
Karena J adalah fungsi tak negatif, maka 0 J( x
0
, y
0
, o) < 0, sehingga untuk
setiap bilangan real positif e > 0 , diperoleh 0 J( x
0
, y
0
, o) < e. Andaikan
J( x
0
, y
0
, o) > 0, maka J( x
0
, y
0
, o) >
d( x
0
,
0
,u)
2
> 0. Diambil e =
d( x
0
,
0
,u)
2
, maka
J( x
0
, y
0
, o) > e > 0. Kontradiksi dengan pernyataan 0 J( x
0
, y
0
, o) < 0 untuk
setiap e > 0 . Jadi pengandaian salah, yang benar adalah J( x
0
, y
0
, o) = 0.
Andaikan x
0
y
0
. Mengingat o adalah sebarang anggota dari X, maka
ada tiga kemungkinan nilai dari o, yaitu: (1) o = x
0
, (2) o = y
0
, (3) o x
0
dan
o y
0
. Pada khususnya jika o x
0
dan o y
0
, maka J( x
0
, y
0
, o) = 0
bertentangan dengan sifat (M1) yang menyatakan bahwa untuk x
0
y
0
terdapat
o x
0
dan o y
0
sedemikian hingga J( x
0
, y
0
, o) 0, sehingga haruslah
x
0
= y
0
. Jadi x
0
adalah titik tetap yang tunggal dari I.

Akibat 3.3 [2]
Misalkan I: X X adalah fungsi dalam ruang 2-metrik semi quasi ( X, J) yang
memenuhi kondisi berikut:
(i) Terdapat bilangan bulat positif n dan 4 sedemikian hingga
x, y, o X berlaku
47

J( I
n
x, I
n
y, o) < ( J( x, y, o) , J( x, I
n
x, o) , J( y, I
n
y, o) ) (3.3)
(ii) Terdapat titik x
0
X sedemikian hinnga untuk o X berlaku
J( x
0
, I
n
x
0
, o) = in { J( x, I
n
x, o) | x X} (3.4)
maka x
0
adalah titik tetap yang tunggal dari I.

Bukti:
Misalkan S = I
n
, maka dengan menggunakan cara yang sama seperti pada bukti
untuk Akibat 3.2, S mempunyai titik tetap yang tunggal. Oleh karena itu I
n

juga
mempunyai titik tetap yang tunggal. Misalkan x
0
adalah titik tetap tunggal dari
I
n
, maka I
n
x
0
= x
0
. Selanjutnya, akan ditunjukkan bahwa x
0
juga merupakan
titik tetap tunggal dari I.
Karena I
n
( Ix
0
) = I( I
n
x
0
) = Ix
0
, maka Ix
0
adalah titik tetap dari I
n
.
Jika Ix
0
x
0
, maka terjadi kontradiksi terhadap ketunggalan titik tetap dari T
n
.
Sehingga haruslah Ix
0
= x
0
yang berarti x
0
adalah titik tetap dari I.
Untuk menunjukkan ketunggalan x
0
, diandaikan y
0
adalah titik tetap yang
lain dari I, yaitu Iy
0
= y
0
, maka diperoleh
I
n
( y
0
) = T T T _________( y
0
) = y
0
sebanyak n f un gsi T

sehingga y
0
adalah titik tetap dari I
n
. Jika x
0
y
0
, maka terjadi kontradiksi
terhadap ketunggalan titik tetap dari I
n
, sehingga haruslah x
0
= y
0
. Jadi x
0

adalah titik tetap yang tunggal dari I.


48

3.3 Titik Tetap Bersama dalam Ruang 2-Metrik Semi Quasi
Dua fungsi Ix = 2x dan Sx = x masing-masing mempunyai titik tetap
tunggal yang sama, yaitu titik x = 0. Titik x = 0 yang demikian biasa disebut
titik tetap bersama yang tunggal dari fungsi Ix = 2x dan Sx = x. Dalam
subbab ini akan diselidiki bahwa jika S: X X dan I: X X adalah pasangan
fungsi dalam ruang 2-metrik semi quasi, maka dengan syarat ketidaksamaan
tertentu, fungsi S dan I mempunyai titik tetap bersama yang tunggal.

Teorema 3.3 [2]
Misalkan S: X X dan I: X X adalah fungsi dalam ruang 2-metrik semi quasi
( X, J) sedemikian hingga x, y, o X memenuhi kondisi berikut:
J( Ix, Sy, o) ( J( x, y, o) , J( x, Ix, o) , J( y, Sy, o) ) (3.5)
Jika terdapat titik x
0
X sedemikian hingga x, y, o X memenuhi
J( x
0
, Ix
0
, o) = in{ J( x, Sx, o) | x X} (3.6)
maka x
0
adalah titik tetap bersama yang tunggal dari S dan I.

Bukti:
Andaikan x
0
X yang memenuhi kondisi (3.6) bukan merupakan titik tetap dari I
atau Ix
0
x
0
. Misalkan x = x
0,
y = Ix
0
dan kemudian disubstitusikan pada
kondisi (3.5) akan diperoleh
J( Ix
0
, S( Ix
0
) , o) ( J( x
0
, Ix
0
, o) , J( x
0
, Ix
0
, o) , J( Ix
0
, S( Ix
0
) , o) ) .
Dengan menggunakan Definisi 3.3 bagian (b) diperoleh
J( Ix
0
, S( Ix
0
) , o) k. J( x
0
, Ix
0
, o) untuk suatu k [ , 1 ) .
49

Karena k < 1 maka
J( Ix
0
, S( Ix
0
) , o) < J( x
0
, Ix
0
, o)
J( y, Sy, o) < J( x
0
, Ix
0
, o)
Karena y X maka J( y, Sy, o) { J( x, Sx, o) | x X} , sehingga terjadi
kontradiksi dengan kondisi (3.6) yang menyatakan bahwa J( x
0
, Ix
0
, o) adalah
infimum dari himpunan { J( x, Sx, o) | x X} . Oleh karena itu, Ix
0
= x
0
. Hal ini
menunjukkan x
0
adalah titik tetap dari I.
Andaikan x
0
X bukan merupakan titik tetap dari S. Misalkan Sx
0
x
0
, maka
J( x
0
, Sx
0
, o) = J( Ix
0
, Sx
0
, o) ( J( x
0
, x
0
, o) , J( x
0
, Ix
0
, o) , J( x
0
, Sx
0
, o) )
J( x
0
, Sx
0
, o) (0, 0, J( x
0
, Sx
0
, o) )
J( x
0
, Sx
0
, o) 0.
Karena J adalah fungsi tak negatif, maka
J( x
0
, Sx
0
, o) = 0.
Kemudian andaikan x
0
Sx
0
. Mengingat o sebarang anggota dari X, maka ada
tiga kemungkinan nilai o, yaitu: (1) o = x
0
, (2) o = Sx
0
, (3) o x
0
dan o Sx
0
.
Pada khususnya jika o x
0
dan o Sx
0
, maka J( x
0
, Sx
0
, o) = 0 bertentangan
dengan sifat (M1) yang menyatakan bahwa untuk x
0
Sx
0
terdapat o x
0
dan
o Sx
0
sedemikian hingga J( x
0
, Sx
0
, o) 0, sehingga x
0
= Sx
0
. Jadi x
0


adalah
titik tetap dari S.
Untuk menunjukkan ketunggalan x
0
, andaikan y
0
adalah titik tetap yang
lain dari S dan I, yaitu Iy
0
= Sy
0
= y
0
, maka
J( x
0
, y
0
, o) = J( Ix
0
, Sy
0
, o) ( J( x
0
, y
0
, o) , J( x
0
, Ix
0
, o) , J( y
0
, Sy
0
, o) )
J( x
0
, y
0
, o) ( J( x
0
, y
0
, o) , J( x
0
, x
0
, o) , J( y
0
, y
0
, o) )
50

J( x
0
, y
0
, o) ( J( x
0
, y
0
, o) , 0, 0)
J( x
0
, y
0
, o) 0.
Karena J adalah fungsi tak negatif, maka J( x
0
, y
0
, o) = 0 .
Kemudian andaikan x
0
y
0
. Mengingat o sebarang anggota dari X, maka ada
tiga kemungkinan nilai o, yaitu: (1) o = x
0
, (2) o = y
0
, (3) o x
0
dan o y
0
.
Pada khususnya jika o x
0
dan o y
0
, maka J( x
0
, y
0
, o) = 0 bertentangan
dengan sifat (M1) yang menyatakan bahwa untuk x
0
y
0
terdapat o x
0
dan
o y
0
sedemikian hingga J( x
0
, y
0
, o) 0, sehingga haruslah x
0
= y
0
. Jadi x
0
adalah titik tetap bersama yang tunggal dari S dan I.

Contoh 3.10
Pandang himpunan semua bilangan real . Didefinisikan fungsi I: dan
S: berturut-turut dengan Ix = 0 dan Sx = x untuk setiap x . Baik
fungsi I maupun fungsi S tersebut masing-masing mempunyai titik tetap tunggal
yang sama, yaitu x = 0. Maka terdapat x
0
= 0 sedemikian hingga
J( x
0
, Ix
0
, o) = J( 0, I0 , o) = J( 0, 0, o) = 0 = in { J( x, Sx, o) | x }
sehingga fungsi I dan S memenuhi kondisi (3.6). Dengan memilih J
4
, yaitu
fungsi 2-metrik semi quasi yang didefinisikan dengan
J
4
( x, y, z) = mi n { | xy x
2
| , | xz x
2
| , | zy y
2
| }
untuk setiap x, y, z dan kemudian mensubstitusikan I, S dan J
4
ke dalam
kondisi (3.5) diperoleh
J
4
( Ix, Sy, o) ( J
4
( x, y, o) , J
4
( x, Ix, o) , J
4
( y, Sy, o) )
J
4
( 0, y, o) ( J
4
( x, y, o) , J
4
( x, 0, o) , J
4
( y, y, o) )
51

mi n{ | 0. ( y ) 0
2
| , | 0 . o 0
2
| , | z( y ) ( y )
2
| } = mi n { 0 ,0, | zy y
2
| }
( J
4
( x, y, o) , J
4
( x, 0, o) , J
4
( y, y, o) )
0 ( J
4
( x, y, o) , J
4
( x, 0, o) , J
4
( y, y, o) )
Mengingat fungsi tak negatif ( 0) maka kondisi di atas selalu dipenuhi
x, y, o , sehingga Ix = 0 dan Sx = x memenuhi kondisi (3.5).

Akibat 3.4 [2]
Misalkan S: X X dan I: X X adalah fungsi dalam ruang 2-metrik semi quasi
( X, J) yang memenuhi kondisi berikut:
(i) Terdapat

4 serta bilangan bulat positif m dan n sedemikian hingga
x, y, o X berlaku
J( I
n
x, S
m
y, o) ( J( x, y, o) , J( x, I
n
x, o) , J( y, S
m
y, o) ) (3.7)
(ii) Terdapat titik x
0
X sedemikian hingga x, o X
J( x
0
, I
n
x
0
, o) = in { J( x, S
m
x, o) | x X} (3.8)
maka x
0
adalah titik tetap bersama yang tunggal dari S dan I.

Bukti:
Andaikan x
0
X yang memenuhi kondisi (3.8) bukan merupakan titik tetap dari
I
n
atau I
n
x
0
x
0
. Misalkan x = x
0
dan y = I
n
x
0
, kemudian disubstitusikan
pada kondisi (3.7) akan diperoleh
J( I
n
x
0
, S
m
( I
n
x
0
) , o)
( J( x
0
, I
n
x
0
, o) , J( x
0
, I
n
x
0
, o) , J( I
n
x
0
, S
m
( I
n
x
0
) , o) )

52

Dengan menggunakan definisi 3.3 bagian (b) diperoleh
J( I
n
x
0
, S
m
( I
n
x
0
) , o) k. J( x
0
, I
n
x
0
, o) untuk suatu k [ , 1) .
Karena k < 1 maka
J( I
n
x
0
, S
m
( I
n
x
0
) , o) < J( x
0
, I
n
x
0
, o)
J( y, S
m
y, o) < J( x
0
, I
n
x
0
, o)
Karena y X maka J( y, S
m
y, o) { J( x, S
m
x, o) | x X} , sehingga terjadi
kontradiksi dengan kondisi (3.8) yang menyatakan bahwa J( x
0
, I
n
x
0
, o) adalah
infimum dari himpunan { J( x, S
m
x, o) | x X} . Oleh karena itu, I
n
x
0
= x
0
. Hal
ini menunjukkan x
0
adalah titik tetap dari I
n
. Kemudian akan ditunjukkan bahwa
x
0
juga merupakan titik tetap dari S
m
.
Andaikan x
0
X yang memenuhi kondisi (3.8) bukan merupakan titik
tetap dari S
m
. Misalkan S
m
x
0
x
0
. Maka
J( x
0
, S
m
x
0
, o) = J( I
n
x
0
, S
m
x
0
, o)
( J( x
0
, x
0
, o) , J( x
0
, I
n
x
0
, o) , J( x
0
, S
m
x
0
, o) )
J( x
0
, S
m
x
0
, o) ( 0,0, J( x
0
, S
m
x
0
, o) )
J( x
0
, S
m
x
0
, o) 0.
Karena J adalah fungsi tak negatif, maka J( x
0
, S
m
x
0
, o) = 0 .
Andaikan x
0
S
m
x
0
. Mengingat o sebarang anggota dari X, maka ada tiga
kemungkinan nilai dari o, yaitu: (1) o = x
0
, (2) o = S
m
x
0
, (3) o x
0
dan
o S
m
x
0
. Pada khususnya jika o x
0
dan o S
m
x
0
, maka kondisi
J( x
0
, S
m
x
0
, o) = 0 bertentangan dengan sifat (M1) yang menyatakan untuk
x
0
S
m
x
0
terdapat o x
0
dan o S
m
x
0
sedemikian hingga J( x
0
, S
m
x
0
, o)
0, sehingga haruslah x
0
= S
m
x
0
. Jadi x
0
adalah titik tetap dari S
m
.
53

Untuk menunjukkan ketunggalan x
0
, andaikan y
0
adalah titik tetap yang
lain dari S
m
dan I
n
yaitu I
n
y
0
= S
m
y
0
= y
0
, maka
J( x
0
, y
0
, o) = J( I
n
x
0
, S
m
y
0
, o)
( J( x
0
, y
0
, o) , J( x
0
, I
n
x
0
, o) , J( y
0
, S
m
y
0
, o) )
J( x
0
, y
0
, o) ( J( x
0
, y
0
, o) , J( x
0
, x
0
, o) , J( y
0
, y
0
, o) )
J( x
0
, y
0
, o) ( J( x
0
, y
0
, o) , 0, 0)
J( x
0
, y
0
, o) 0.
Karena J adalah fungsi tak negatif, maka J( x
0
, y
0
, o) = 0 . Kemudian andaikan
x
0
y
0
. Mengingat o adalah sebarang anggota dari X, maka ada tiga
kemungkinan nilai o, yaitu: (1) o = x
0
, (2) o = y
0
, (3) o x
0
dan o y
0
. Pada
khususnya jika o x
0
dan o y
0
, maka J( x
0
, y
0
, o) = 0 bertentangan dengan
sifat (M1) yang menyatakan bahwa untuk x
0
y
0
terdapat o x
0
dan o y
0

sedemikian hingga J( x
0
, y
0
, o) 0, sehingga x
0
= y
0
. Jadi x
0
adalah titik tetap
bersama yang tunggal dari I
n
dan S
m
.
Selanjutnya akan ditunjukkan x
0
adalah titik tetap tunggal bersama dari S
dan I. Karena I
n
( Ix
0
) = I( I
n
x
0
) = Ix
0
dan S
m
( Sx
0
) = S( S
m
x
0
) = Sx
0
,
maka Ix
0
dan Sx
0
adalah titik tetap dari I
n
dan S
m
. Jika Ix
0
x
0
dan
Sx
0
x
0
, maka terjadi kontradiksi terhadap ketunggalan titik tetap dari I
n
dan
S
m
. Sehingga haruslah Ix
0
= x
0
dan Sx
0
= x
0
. Hal ini menujukkan bahwa x
0

adalah titik tetap dari S dan I.
Untuk menunjukkan ketunggalan x
0
, diandaikan y
0
adalah titik tetap yang
lain dari S dan I, yaitu Iy
0
= y
0
dan Sy
0
= y
0
, maka diperoleh
54

I
n
( y
0
) = I I I _________( y
0
) = y
0
sebanyak n f u ngsi T

dan
S
m
( y
0
) = S S S _________( y
0
) = y
0
sebanyak m f ungsi S

sehingga y
0
adalah titik tetap dari I
n
dan S
m
. Jika x
0
y
0
, maka terjadi
kontradiksi terhadap ketunggalan titik tetap bersama dari I
n
dan S
m
, sehingga
x
0
= y
0
. Jadi x
0
adalah titik tetap tunggal bersama dari S dan I.

Jika fungsi S dan I pada Akibat 3.4 merupakan dua fungsi yang sama
( S = I) , maka akan diperoleh akibat sebagai berikut.

Akibat 3.5 [2]
Misalkan I: X X adalah fungsi dalam ruang 2-metrik semi quasi ( X, J) yang
memenuhi kondisi berikut:
(i) Terdapat

4 serta bilangan bulat positif m dan n sedemikian hingga
x, y, o X berlaku
J( I
n
x, I
m
y, o) ( J( x, y, o) , J( x, I
n
x, o) , J( y, I
m
y, o) ) (3.9)
(ii) Terdapat titik x
0
X sedemikian hingga x, o X
J( x
0
, I
n
x
0
, o) = in { J( x, I
m
x, o) | x X} (3.10)
maka x
0
adalah titik tetap yang tunggal dari I.



55

Bukti:
Andaikan x
0
X yang memenuhi kondisi (3.10) bukan merupakan titik tetap dari
I
n
atau I
n
x
0
x
0
. Misalkan x = x
0
dan y = I
n
x
0
, kemudian disubstitusikan
pada kondisi (3.9) akan diperoleh
J( I
n
x
0
, I
m
( I
n
x
0
) , o)
( J( x
0
, I
n
x
0
, o) , J( x
0
, I
n
x
0
, o) , J( I
n
x
0
, I
m
( I
n
x
0
) , o) ) .
Dengan menggunakan Definisi 3.3 bagian (b) diperoleh
J( I
n
x
0
, I
m
( I
n
x
0
) , o) k. J( x
0
, I
n
x
0
, o)
untuk suatu k [ , 1) . Karena k < 1 maka
J( I
n
x
0
, I
m
( I
n
x
0
) , o) < J( x
0
, I
n
x
0
, o)
J( y, I
m
y, o) < J( x
0
, I
n
x
0
, o)
Karena y X, maka J( y, I
m
y, o) { J( x, I
m
x, o) | x X} , sehingga terjadi
kontradiksi dengan kondisi (3.10) yang menyatakan bahwa J( x
0
, I
n
x
0
, o) adalah
infimum dari himpunan { J( x, I
m
x, o) | x X} , maka I
n
x
0
= x
0
. Hal ini
menunjukkan bahwa x
0
adalah titik tetap dari I
n
. Kemudian akan ditunjukkan
bahwa x
0
juga merupakan titik tetap dari I
m
.
Andaikan x
0
X bukan merupakan titik tetap dari I
m
atau I
m
x
0
x
0
,
maka
J( x
0
, I
m
x
0
, o) = J( I
n
x
0
, I
m
x
0
, o)
( J( x
0
, x
0
, o) , J( x
0
, I
n
x
0
, o) , J( x
0
, I
m
x
0
, o) )
J( x
0
, I
m
x
0
, o) ( 0,0, J( x
0
, I
m
x
0
, o) )
J( x
0
, I
m
x
0
, o) 0.
Karena J adalah fungsi tak negatif, maka J( x
0
, I
m
x
0
, o) = 0.
56

Kemudian andaikan x
0
I
m
x
0
. Mengingat o adalah sebarang anggota dari X,
maka ada tiga kemungkinan nilai o, yaitu: (1) o = x
0
, (2) o = I
m
x
0
, (3) o x
0

dan o I
m
x
0
. Pada khususnya jika o x
0
dan o I
m
x
0
, maka
J( x
0
, I
m
x
0
, o) = 0 bertentangan dengan sifat (M1) dari ruang 2-metrik semi
quasi yang menyatakan bahwa untuk x
0
I
m
x
0
dapat dipilih o x
0
dan
o I
m
x
0
sedemikian hingga J( x
0
, I
m
x
0
, o) 0, maka x
0
= I
m
x
0
. Jadi x
0


adalah titik tetap dari I
m
.
Untuk menunjukkan ketunggalan x
0
, andaikan y
0
adalah titik tetap yang
lain dari I
m
dan I
n
yaitu I
n
y
0
= I
m
y
0
= y
0
, maka
J( x
0
, y
0
, o) = J( I
n
x
0
, I
m
y
0
, o)
( J( x
0
, y
0
, o) , J( x
0
, I
n
x
0
, o) , J( y
0
, I
m
y
0
, o) )
J( x
0
, y
0
, o) ( J( x
0
, y
0
, o) , J( x
0
, x
0
, o) , J( y
0
, y
0
, o) )
J( x
0
, y
0
, o) ( J( x
0
, y
0
, o) , 0, 0)
J( x
0
, y
0
, o) 0.
Karena J adalah fungsi tak negatif, maka J( x
0
, y
0
, o) = 0 .
Kemudian andaikan x
0
y
0
. Mengingat o adalah sebarang anggota dari X, maka
ada tiga kemungkinan nilai o, yaitu: (1) o = x
0
, (2) o = y
0
, (3) o x
0
dan
o y
0
. Pada khususnya jika o x
0
dan o y
0
, maka J( x
0
, y
0
, o) = 0
bertentangan dengan sifat (M1) dari ruang 2-metrik semi quasi yang menyatakan
bahwa untuk x
0
y
0
terdapat o x
0
dan o y
0
sedemikian hingga
J( x
0
, y
0
, o) 0 , sehingga x
0
= y
0
. Jadi x
0
adalah titik tetap bersama yang
tunggal dari I
n
dan I
m
.
57

Selanjutnya akan ditunjukkan x
0
adalah titik tetap yang tunggal dari I.
Karena I
n
( Ix
0
) = I( I
n
x
0
) = Ix
0
dan I
m
( Ix
0
) = I( I
m
x
0
) = Ix
0
, maka Ix
0

adalah titik tetap dari I
n
dan I
m
. Jika Ix
0
x
0
, maka terjadi kontradiksi
terhadap ketunggalan titik tetap dari I
n
dan I
m
, sehingga Ix
0
= x
0
.
Untuk menunjukkan ketunggalan x
0
, diandaikan y
0
adalah titik tetap yang
lain dari I, yaitu Iy
0
= y
0
, maka diperoleh
I
n
( y
0
) = I I I _________( y
0
) = y
0
sebanyak n f u ngsi T

dan
I
m
( y
0
) = I I I _________( y
0
) = y
0
sebanyak m fu n gsi T

sehingga y
0
adalah titik tetap dari I
n
dan I
m
. Jika x
0
y
0
, maka terjadi
kontradiksi terhadap ketunggalan titik tetap bersama dari I
n
dan I
m
, sehingga
haruslah x
0
= y
0
. Jadi x
0
adalah titik tetap yang tunggal dari I.

Jika ruang 2-metrik semi quasi ( X, J) memenuhi sifat (M3) dari ruang 2-
metrik, yaitu J( x, y, z) = J( y, z, x) = J( z, x, y) , dan kondisi (3.6) pada Teorema
3.3 dituliskan kembali dengan
J( x
0
, Sx
0
, o) = in{ J( x, Ix, o) | x X} (3.6)
maka diperoleh akibat sebagai berikut :

Akibat 3.6 [2]
Misalkan S: X X dan I: X X adalah fungsi dalam ruang 2-metrik semi quasi
( X, J) sedemikian hingga untuk x, y, o X memenuhi kondisi berikut :
58

J( Ix, Sy, o) ( J( x, y, o) , J( x, Ix, o) , J( y, Sy, o) (3.5)
Jika terdapat titik x
0
X sedemikian hingga x, o X memenuhi kondisi
J( x
0
, Sx
0
, o) = in{ J( x, Ix, o) | x X} (3.6)
maka x
0
adalah titik tetap tunggal bersama dari S dan I.

Bukti:
Andaikan x
0
X yang memenuhi kondisi (3.6) bukan merupakan titik tetap dari
S atau Sx
0
x
0
. Pada kondisi (3.4) diambil y = x
0
dan x = Sx
0
maka
J( I( Sx
0
) , Sx
0
, o) ( J( Sx
0
, x
0
, o) , J( Sx
0
, I( Sx
0
) , o) , J( x
0
, Sx
0
, o) ) .
Karena ruang 2-metrik semi quasi ( X, J) memenuhi sifat simetri, maka
ketaksamaan di atas dapat dituliskan kembali dengan
J( Sx
0
, I( Sx
0
) , o) ( J( x
0
, Sx
0
, o) , J( Sx
0
, I( Sx
0
) , o) , J( x
0
, Sx
0
, o) )
Dengan menggunakan Definisi 3.3 bagian (b) diperoleh
J( Sx
0
, I( Sx
0
) , o) k. J( x
0
, Sx
0
, o) untuk suatu k [ , 1) .
Karena k < 1 maka
J( Sx
0
, I( Sx
0
) , o) < J( x
0
, Sx
0
, o)
J( x, Ix, o) < J( x
0
, Sx
0
, o)
Karena x X maka J( x, Ix, o) { J( x, Ix, o) | x X} , sehingga terjadi
kontradiksi dengan kondisi (3.6) yang menyatakan bahwa J( x
0
, Sx
0
, o) adalah
infimum dari himpunan { J( x, Ix, o) | x X} , maka Sx
0
= x
0
. Hal ini
membuktikan x
0
adalah titik tetap dari S. Kemudian akan ditunjukkan bahwa x
0

juga merupakan titik tetap dari I.

59

Andaikan x
0
X bukan merupakan titik tetap dari I. Misalkan Ix
0
x
0
, maka
J( x
0
, Ix
0
, o) = J( Sx
0
, Ix
0
, o) ( J( x
0
, x
0
, o) , J( x
0
, Sx
0
, o) , J( x
0
, Ix
0
, o) )
J( x
0
, Ix
0
, o) (0 , 0, J( x
0
, Ix
0
, o) )
J( x
0
, Ix
0
, o) 0.
Karena J adalah fungsi tak negatif, maka J( x
0
, Ix
0
, o) = 0
Kemudian andaikan x
0
Ix
0
. Mengingat o adalah sebarang anggota dari X,
maka ada tiga kemungkinan nilai o, yaitu: (1) o = x
0
, (2) o = Ix
0
, (3) o x
0

dan o Ix
0
. Pada khususnya jika o x
0
dan o Ix
0
, maka J( x
0
, I
0
, o) = 0
bertentangan dengan sifat (M1) dari ruang 2-metrik semi quasi yang menyatakan
bahwa untuk x
0
Ix
0
terdapat o x
0
dan o Ix
0
sedemikian hingga
J( x
0
, Ix
0
, o) 0, sehingga x
0
= Ix
0
. Jadi x
0


adalah titik tetap dari I.
Untuk menunjukkan ketunggalan x
0
, andaikan y
0
adalah titik tetap yang
lain dari S dan I, yaitu Iy
0
= Sy
0
= y
0
, maka
J( x
0
, y
0
, o) = J( Ix
0
, Sy
0
, o) ( J( x
0
, y
0
, o) , J( x
0
, Ix
0
, o) , J( y
0
, Sy
0
, o) )
J( x
0
, y
0
, o) ( J( x
0
, y
0
, o) , J( x
0
, x
0
, o) , J( y
0
, y
0
, o) )
J( x
0
, y
0
, o) ( J( x
0
, y
0
, o) , 0, 0)
J( x
0
, y
0
, o) 0.
Karena J adalah fungsi tak negatif, maka J( x
0
, y
0
, o) = 0 .
Kemudian andaikan x
0
y
0
. Mengingat o sebarang anggota dari X, maka ada
tiga kemungkinan nilai o, yaitu: (1) o = x
0
, (2) o = y
0
, (3) o x
0
dan o y
0
.
Pada khususnya jika o x
0
dan o y
0
, maka J( x
0
, y
0
, o) = 0 bertentangan
dengan sifat (M1) dari ruang 2-metrik semi quasi yang menyatakan untuk x
0
y
0

60

terdapat o x
0
dan o y
0
sedemikian hingga J( x
0
, y
0
, o) 0, sehingga
x
0
= y
0
. Jadi x
0
adalah titik tetap bersama yang tunggal dari I dan S.

Jika Definisi 3.3 bagian (b) serta kondisi (3.5) pada Teorema 3.3, kondisi
(3.7) pada Akibat 3.4 dan kodisi (3.9) pada Akibat 3.5 berturut-turut dituliskan
kembali dengan
(b) Misalkan u, :
+
sedemikian hingga jika salah satu dari ketiga
pernyataan u < ( :, :, u) atau u < ( :, u, :) atau u < ( u. :, :)
berlaku, maka u < :, untuk 4,
J( Ix, Sy, o) < (J( x, y, o) , J( x, Ix, o) , J( y, Sy, o) ) ( 3 .5 )
J( I
n
x, S
m
y, o) < (J( x, y, o) , J( x, I
n
x, o) , J( y, S
m
y, o) ) ( 3 .7
i
)
dan
J( I
n
x, I
m
y, o) < (J( x, y, o) , J( x, I
n
x, o) , J( y, I
m
y, o) ) ( 3 .9
i
)
untuk x, y, o X, maka diperoleh akibat sebagai berikut :

Akibat 3.7 [2]
Misalkan S: X X dan I: X X adalah fungsi pada ruang 2-metrik semi quasi
( X, J) sedemikian hingga x, y, o X memenuhi kondisi berikut :
J( Ix, Sy, o) < (J( x, y, o) , J( x, Ix, o) , J( y, Sy, o) ) ( 3 .5 )
Jika terdapat titik x
0


X sedemikian hingga x, a X memenuhi kondisi
J( x
0
, Ix
0
, o) = in{ J( x, Sx, o) | x X} ( 3.6 )
maka x
0
adalah titik tetap tunggal bersama dari S dan I.

61

Bukti:
Andaikan x
0
X yang memenuhi kondisi (3.6) bukan merupakan titik tetap dari I
atau Ix
0
x
0
. Pada kondisi (3.5) diambil x = x
0
dan y = Ix
0
maka
J( Ix
0
, S( Ix
0
) , o) < ( J( x
0
, Ix
0
, o) , J( x
0
, Ix
0
, o) , J( Ix
0
, S( Ix
0
) , o) ) .
Dengan menggunakan (b) diperoleh
J( Ix
0
, S( Ix
0
) , o) < J( x
0
, Ix
0
, o)
J( y, Sy, o) < J( x
0
, Ix
0
, o)
Karena y X maka J( y, Sy, o) { J( x, Sx, o) | x X} , sehingga terjadi
kontradiksi dengan kondisi (3.6) yang menyatakan bahwa J( x
0
, Ix
0
, o) adalah
infimum dari himpunan { J( x, Sx, o) | x X} , maka Ix
0
= x
0
. Hal ini
menunjukkan x
0
adalah titik tetap dari I. Kemudian akan ditunjukkan bahwa x
0

juga merupakan titik tetap dari S.
Andaikan x
0
X bukan merupakan titik tetap dari S atau Sx
0
x
0
. Maka
J( x
0
, Sx
0
, o) = J( Ix
0
, Sx
0
, o) < ( J( x
0
, x
0
, o) , J( x
0
, Ix
0
, o) , J( x
0
, Sx
0
, o) )
J( x
0
, Sx
0
, o < ( 0 , 0, J( x
0
, Sx
0
, o) )
J( x
0
, Sx
0
, o) < 0.
Karena J adalah fungsi tak negatif, maka 0 J( x
0
, Sx
0
, o) < 0 , sehingga untuk
setiap bilangan real positif e > 0 , diperoleh 0 J( x
0
, Sx
0
, o) < e. Andaikan
J( x
0
, Sx
0
, o) > 0, maka J( x
0
, Sx
0
, o) >
d( x
0
,Sx
0
,u)
2
> 0. Ambil e =
d( x
0
,Sx
0
,u)
2
,
maka J( x
0
, Sx
0
, o) > e > 0. Kontradiksi dengan pernyataan 0 J( x
0
, Sx
0
, o) < e
untuk setiap e > 0. Jadi pengandaian salah, yang benar adalah J( x
0
, Sx
0
, o) = 0.
Kemudian andaikan x
0
Sx
0
. Mengingat o sebarang anggota dari X,
maka ada tiga kemungkinan nilai o, yaitu: (1) o = x
0
, (2) o = Sx
0
, (3) o x
0

62

dan o Sx
0
. Pada khususnya jika o x
0
dan o Sx
0
, maka J( x
0
, y
0
, o) = 0
bertentangan dengan sifat (M1) dari ruang 2-metrik semi quasi yang menyatakan
bahwa untuk x
0
Sx
0
terdapat o x
0
dan o Sx
0
sedemikian hingga
J( x
0
, Sx
0
, o) 0, sehingga x
0
= Sx
0
. Jadi x
0


adalah titik tetap dari S.
Untuk menunjukkan ketunggalan x
0
, diandaikan y
0
adalah titik tetap yang
lain dari S dan I, yaitu Iy
0
= Sy
0
= y
0
, maka
J( x
0
, y
0
, o) = J( Ix
0
, Sy
0
, o) < ( J( x
0
, y
0
, o) , J( x
0
, Ix
0
, o) , J( y
0
, Sy
0
, o) )
J( x
0
, y
0
, o) < ( J( x
0
, y
0
, o) , J( x
0
, x
0
, o) , J( y
0
, y
0
, o) )
J( x
0
, y
0
, o) < ( J( x
0
, y
0
, o) , 0, 0)
J( x
0
, y
0
, o) < 0.
Karena J adalah fungsi tak negatif, maka 0 J( x
0
, y
0
, o) < 0, sehingga untuk
setiap bilangan real positif e > 0, diperoleh 0 J( x
0
, y
0
, o) < e. Dengan
mengandaikan J( x
0
, y
0
, o) > 0, maka J( x
0
, y
0
, o) >
d( x
0
,
0
,u)
2
> 0. Ambil
e =
d( x
0
,
0
,u)
2
, maka J( x
0
, y
0
, o) > e > 0. Kontradiksi dengan pernyataan
0 J( x
0
, y
0
, o) < 0 untuk setiap e > 0. Jadi pengandaian salah, yang benar
adalah J( x
0
, y
0
, o) = 0.
Kemudian andaikan x
0
y
0
. Mengingat o sebarang anggota dari X, maka
ada tiga kemungkinan nilai o, yaitu: (1) o = x
0
, (2) o = y
0
, (3) o x
0
dan
o y
0
. Pada khususnya jika o x
0
dan o y
0
, maka J( x
0
, y
0
, o) = 0
bertentangan dengan sifat (M1) dari ruang 2-metrik semi quasi yang menyatakan
bahwa untuk x
0
y
0
terdapat o x
0
dan o y
0
sedemikian hingga
63

J( x
0
, y
0
, o) 0 , sehingga x
0
= y
0
. Jadi x
0
adalah titik tetap bersama yang
tunggal dari I dan S.

Akibat 3.8 [2]
Misalkan S: X X dan I: X X adalah fungsi dalam ruang 2-metrik semi quasi
( X, J) yang memenuhi kondisi berikut:
(i) Terdapat 4 dan bilangan bulat positif m dan n sedemikian hingga
x, y, o X berlaku
J( I
n
x, S
m
y, o) < (J( x, y, o) , J( x, I
n
x, o) , J( y, S
m
y, o) ) (3.7)
(ii) Terdapat titik x
0
X sedemikian hingga x, o X
J( x
0
, I
n
x
0
, o) = in{ J( x, S
m
x, o) | x X} ( 3.8)
maka x
0
adalah titik tetap bersama yang tunggal dari S dan I.

Bukti:
Andaikan x
0
X yang memenuhi kondisi (3.8) bukan merupakan titik tetap dari
I
n
, atau I
n
x
0
x
0
. Pada kondisi (3.7) diambil x = x
0
dan y = I
n
x
0
, maka
J( I
n
x
0
, S
m
( I
n
x
0
) , o) <
( J( x
0
, I
n
x
0
, o) , J( x
0
, I
n
x
0
, o) , J( I
n
x
0
, S
m
( I
n
x
0
) , o) ) .
Dengan menggunakan (b) diperoleh
J( I
n
x
0
, S
m
( I
n
x
0
) , o) = J( y, S
m
y, o) < J( x
0
, I
n
x
0
, o)
Karena y X maka J( y, S
m
y, o) { J( x, S
m
x, o) | x X} , sehingga terjadi
kontradiksi dengan kondisi (3.8) yang menyatakan bahwa J( x
0
, I
n
x
0
, o) adalah
infimum dari himpunan { J( x, S
m
x, o) | x X} , maka I
n
x
0
= x
0
. Hal ini
64

menunjukkan x
0
adalah titik tetap dari I
n
. Kemudian akan ditunjukkan bahwa x
0

juga merupakan titik tetap dari S
m
.
Andaikan x
0
X bukan merupakan titik tetap dari S
m
, misalkan S
m
x
0
x
0
,
maka
J( x
0
, S
m
x
0
, o) = J( I
n
x
0
, S
m
x
0
, o)
< ( J( x
0
, x
0
, o) , J( x
0
, I
n
x
0
, o) , J( x
0
, S
m
x
0
, o) )
J( x
0
, S
m
x
0
, o) < ( 0 ,0, J( x
0
, S
m
x
0
, o) )
J( x
0
, S
m
x
0
, o) < 0
Karena J adalah fungsi tak negatif, maka 0 J( x
0
, S
m
x
0
, o) < 0 , sehingga
untuk setiap bilangan real positif e > 0, diperoleh 0 J( x
0
, S
m
x
0
, o) < e.
Andaikan J( x
0
, S
m
x
0
, o) > 0, maka J( x
0
, S
m
x
0
, o) >
d( x
0
,S
m
x
0
,u)
2
> 0. Diambil
e =
d( x
0
,S
m
x
0
,u)
2
, maka J( x
0
, S
m
x
0
, o) > e > 0 . Kontradiksi dengan pernyataan
0 J( x
0
, S
m
x
0
, o) < e untuk setiap e > 0. Jadi pengandaian salah, maka
J( x
0
, S
m
x
0
, o) = 0.
Kemudian andaikan x
0
S
m
x
0
. Mengingat o sebarang anggota dari X,
maka ada tiga kemungkinan nilai dari o, yaitu: (1) o = x
0
, (2) o = S
m
x
0
, (3)
o x
0
dan o S
m
x
0
. Pada khususnya jika o x
0
dan o S
m
x
0
, maka
kondisi J( x
0
, S
m
x
0
, o) = 0 bertentangan dengan sifat (M1) yang menyatakan
untuk x
0
S
m
x
0
terdapat o x
0
dan o S
m
x
0
sedemikian hingga
J( x
0
, S
m
x
0
, o) 0, sehingga x
0
= S
m
x
0
. Jadi x
0
titik tetap dari S
m
.
Untuk menunjukkan ketunggalan x
0
, diandaikan y
0
adalah titik tetap yang
lain dari S
m
dan I
n
yaitu I
n
y
0
= S
m
y
0
= y
0
, maka
65

J( x
0
, y
0
, o) = J( I
n
x
0
, S
m
y
0
, o)
< ( J( x
0
, y
0
, o) , J( x
0
, I
n
x
0
, o) , J( y
0
, S
m
y
0
, o) )
J( x
0
, y
0
, o) < ( J( x
0
, y
0
, o) , J( x
0
, x
0
, o) , J( y
0
, y
0
, o) )
J( x
0
, y
0
, o) < ( J( x
0
, y
0
, o) , 0, 0)
J( x
0
, y
0
, o) < 0.
Karena J adalah fungsi tak negatif maka 0 J( x
0
, y
0
, o) < 0, sehingga untuk
setiap bilangan real positif e > 0, diperoleh 0 J( x
0
, y
0
, o) < e. Dengan
mengandaikan J( x
0
, y
0
, o) > 0 , maka J( x
0
, y
0
, o) >
d( x
0
,
0
,u)
2
> 0. Diambil
=
d( x
0
,
0
,u)
2
, maka J( x
0
, y
0
, o) > e > 0. Kontradiksi dengan pernyataan 0
J( x
0
, y
0
, o) < 0 untuk setiap e > 0 . Jadi pengandaian salah, yang benar adalah
J( x
0
, y
0
, o) = 0.
Kemudian andaikan x
0
y
0
. Mengingat o sebarang anggota dari X, maka
ada tiga kemungkinan nilai o, yaitu: (1) o = x
0
, (2) o = y
0
, (3) o x
0
dan
o y
0
. Pada khususnya jika o x
0
dan o y
0
, maka J( x
0
, y
0
, o) = 0
bertentangan dengan sifat (M1) dari ruang 2-metrik semi quasi yang menyatakan
bahwa untuk x
0
y
0
terdapat o x
0
dan o y
0
sedemikian hingga
J( x
0
, y
0
, o) 0, sehingga x
0
= y
0
. Jadi x
0
adalah titik tetap bersama yang
tunggal dari I
n
dan S
m
.
Selanjutnya akan ditunjukkan x
0
adalah titik tetap tunggal bersama dari S
dan I. Karena I
n
( Ix
0
) = I( I
n
x
0
) = Ix
0
dan S
m
( Sx
0
) = S( S
m
x
0
) = Sx
0
,
maka Ix
0
dan Sx
0
adalah titik tetap dari I
n
dan S
m
. Jika Ix
0
x
0
dan
66

Sx
0
x
0
, maka terjadi kontradiksi terhadap ketunggalan titik tetap dari I
n
dan
S
m
, sehingga Ix
0
= x
0
dan Sx
0
= x
0
.
Untuk menunjukkan ketunggalan x
0
, diandaikan y
0
adalah titik tetap yang
lain dari S dan I, yaitu Iy
0
= y
0
dan Sy
0
= y
0
, maka diperoleh
I
n
( y
0
) = I I I _________( y
0
) = y
0
sebanyak n f u ngsi T

dan
S
m
( y
0
) = S S S _________( y
0
) = y
0
sebanyak m f ungsi S

sehingga y
0
adalah titik tetap dari I
n
dan S
m
. Jika x
0
y
0
, maka terjadi
kontradiksi terhadap ketunggalan titik tetap bersama dari I
n
dan S
m
, sehingga
haruslah x
0
= y
0
. Jadi x
0
adalah titik tetap tunggal bersama dari S dan I.

Akibat 3.9 [2]
Misalkan I: X X adalah fungsi dalam ruang 2-metrik semi quasi ( X, J) yang
memenuhi kondisi berikut:
(i) Terdapat bilangan bulat positif m dan n sedemikian hingga x, y, o X
dan

4 berlaku
J( I
n
x, I
m
y, o) < (J( x, y, o) , J( x, I
n
x, o) , J( y, I
m
y, o) ) ( 3 .9
i
)
(ii) Terdapat titik x
0
X sedemikian hingga x, o X
J( x
0
, I
n
x
0
, o) = in{ J( x, I
m
x, o) | x X} ( 3 .10 )
maka x
0
adalah titik tetap yang tunggal dari I.


67

Bukti:
Andaikan x
0
X yang memenuhi kondisi (3.10) bukan merupakan titik tetap dari
I
n
atau I
n
x
0
x
0
. Pada kondisi (3.9) diambil x = x
0
dan y = I
n
x
0
, maka
J( I
n
x
0
, I
m
( I
n
x
0
) , o)
< ( J( x
0
, I
n
x
0
, o) , J( x
0
, I
n
x
0
, o) , J( I
n
x
0
, I
m
( I
n
x
0
) , o) ) .
Dengan menggunakan (b) diperoleh
J( I
n
x
0
, I
m
( I
n
x
0
) , o) = J( y, I
m
y, o) < J( x
0
, I
n
x
0
, o) .
Karena y X maka J( y, I
m
y, o) { J( x, I
m
x, o) | x X} , sehingga terjadi
kontradiksi dengan kondisi (3.10) yang menyatakan bahwa J( x
0
, I
n
x
0
, o) adalah
infimum dari himpunan { J( x, I
m
x, o) | x X} , maka I
n
x
0
= x
0
. Hal ini
menunjukkan bahwa x
0
adalah titik tetap dari I
n
. Kemudian akan ditunjukkan
bahwa x
0
juga merupakan titik tetap dari I
m
.
Andaikan x
0
X bukan merupakan titik tetap dari I
m
. Misalkan I
m
x
0
x
0
,
maka
J( x
0
, I
m
x
0
, o) = J( I
n
x
0
, I
m
x
0
, o)
< ( J( x
0
, x
0
, o) , J( x
0
, I
n
x
0
, o) , J( x
0
, I
m
x
0
, o) )
J( x
0
, I
m
x
0
, o) < ( 0,0 , J( x
0
, I
m
x
0
, o) )
J( x
0
, I
m
x
0
, o) < 0.
Karena J adalah fungsi tak negatif maka 0 J( x
0
, I
m
x
0
, o) < 0, sehingga untuk
setiap bilangan real positif e > 0 , diperoleh 0 J( x
0
, I
m
x
0
, o) < e. Dengan
mengandaikan J( x
0
, I
m
x
0
, o) > 0, maka J( x
0
, I
m
x
0
, o) >
d( x
0
,1
m
x
0
,u)
2
> 0.
Diambil =
d( x
0
,1
m
x
0
,u)
2
, maka J( x
0
, I
m
x
0
, o) > e > 0. Kontradiksi dengan
68

pernyataan 0 J( x
0
, I
m
x
0
, o) < e untuk setiap e > 0 . Jadi pengandaian salah,
maka J( x
0
, I
m
x
0
, o) = 0 .
Kemudian andaikan x
0
I
m
x
0
. Mengingat o sebarang anggota dari X,
maka ada tiga kemungkinan nilai o, yaitu: (1) o = x
0
, (2) o = I
m
x
0
, (3) o x
0

dan o I
m
x
0
. Pada khususnya jika o x
0
dan o I
m
x
0
, maka
J( x
0
, I
m
x
0
, o) = 0 bertentangan dengan sifat (M1) dari ruang 2-metrik semi
quasi yang menyatakan bahwa untuk x
0
I
m
x
0
dapat dipilih o x
0
dan
o I
m
x
0
sedemikian hingga J( x
0
, I
m
x
0
, o) 0, sehingga x
0
= I
m
x
0
. Jadi x
0


adalah titik tetap dari I
m
.
Untuk menunjukkan ketunggalan x
0
, andaikan y
0
adalah titik tetap yang
lain dari I
m
dan I
n
yaitu I
n
y
0
= I
m
y
0
= y
0
, maka
J( x
0
, y
0
, o) = J( I
n
x
0
, I
m
y
0
, o)
< ( J( x
0
, y
0
, o) , J( x
0
, I
n
x
0
, o) , J( y
0
, I
m
y
0
, o) )
J( x
0
, y
0
, o) < ( J( x
0
, y
0
, o) , J( x
0
, x
0
, o) , J( y
0
, y
0
, o) )
J( x
0
, y
0
, o) < ( J( x
0
, y
0
, o) , 0, 0)
J( x
0
, y
0
, o) < 0.
Karena J adalah fungsi tak negatif, maka 0 J( x
0
, y
0
, o) < 0, sehingga untuk
setiap bilangan real positif e > 0 diperoleh 0 J( x
0
, y
0
, o) < e. Andaikan
J( x
0
, y
0
, o) > 0, maka J( x
0
, y
0
, o) >
d( x
0
,
0
,u)
2
> 0. Ambil e =
d( x
0
,
0
,u)
2
, maka
J( x
0
, y
0
, o) > e > 0. Kontradiksi dengan pernyataan 0 J( x
0
, y
0
, o) < 0 untuk
setiap e > 0 . Jadi pengandaian salah, yang benar adalah J( x
0
, y
0
, o) = 0.
Kemudian andaikan x
0
y
0
. Mengingat o adalah sebarang anggota dari
X, maka ada tiga kemungkinan nilai o, yaitu: (1) o = x
0
, (2) o = y
0
, (3) o x
0

69

dan o y
0
. Pada khususnya jika o x
0
dan o y
0
, maka J( x
0
, y
0
, o) = 0
bertentangan dengan sifat (M1) dari ruang 2-metrik semi quasi yang menyatakan
bahwa untuk x
0
y
0
terdapat o x
0
dan o y
0
sedemikian hingga
J( x
0
, y
0
, o) 0 , sehingga x
0
= y
0
. Jadi x
0
adalah titik tetap bersama yang
tunggal dari I
n
dan I
m
.
Selanjutnya akan ditunjukkan x
0
adalah titik tetap yang tunggal I. Karena
I
n
( Ix
0
) = I( I
n
x
0
) = Ix
0
dan I
m
( Ix
0
) = I( I
m
x
0
) = Ix
0
, maka Ix
0
adalah
titik tetap dari I
n
dan I
m
. Jika Ix
0
x
0
, maka terjadi kontradiksi terhadap
ketunggalan titik tetap dari I
n
dan I
m
, sehingga Ix
0
= x
0
.
Untuk menunjukkan ketunggalan x
0
, diandaikan y
0
adalah titik tetap yang
lain dari I, yaitu Iy
0
= y
0
, maka diperoleh
I
n
( y
0
) = I I I _________( y
0
) = y
0
sebanyak n f u ngsi T

dan
I
m
( y
0
) = I I I _________( y
0
) = y
0
sebanyak m fu n gsi T

sehingga y
0
adalah titik tetap dari I
n
dan I
m
. Jika x
0
y
0
, maka terjadi
kontradiksi terhadap ketunggalan titik tetap bersama dari I
n
dan I
m
, sehingga
haruslah x
0
= y
0
. Jadi x
0
adalah titik tetap yang tunggal dari I.