Bukti Teorema 3.

10

Diambil sebarang ( ) barisan susut subset yang tak kosong, -bounded, -closed. Diambil sebarang
yang bukan anggota 1 . Perhatikan bahwa untuk sebarang berlaku

dis (, +1 ) = inf{( ); +1 } inf{( ); } = dis (, +1 )

dan

dis (, ) = inf{( ); +1 } sup{( ); } sup{( ); 1 } <

Diperoleh barisan (dis (, +1 )) barisan naik dan terbatas, sehingga konvergen. Katakan

= lim dis (, +1 )
n

Dibentuk = (, ) dengan diameter dari . Karena , +1 didapat +1 .

Berdasarkan Fatou property of dan (, ) merupakan -closed set ( lihat referensi [8] ), diperoleh
( ) juga barisan susut subset yang tak kosong, -bounded, -closed.

Diambil ( ) barisan bilangan positif yang monoton turun dan konvergen ke 0, serta >
0, . Karena

= sup{( ); , }

Maka terdapat , sehingga

( ) .

Oleh karena , dan

(( ) ( )) = ( ) .

Maka berdasarkan definisi (,
), yaitu

1 +
(, ) = inf {1 ( ) : (), () , ( ) }
2

Didapat

1 ( ) + ( ) 1 +
(, ) 1 ( ) = 1 ( )
2 2

+
( ) (1 (, ))
2

Akibatnya didapat
 1 1 +
dis (, ) ( ) 1 (, )
2

Perhatikan bahwa +1 , maka diperoleh 0 +1 , . Akibatnya ( ) konvergen, katakan

= lim dan = .

Akan ditinjau 2 kasus.

Kasus 1. ( , untuk setiap 0 , dmn 0 ).

Perhatikan bahwa untuk setiap 1 2 berlaku

1 +
(, 1 ) = inf {1 ( ) : (), () , ( ) 1 }
2
1 +
inf {1 ( ) : (), () , ( ) 2 } = (, 2 )
2

Akibatnya untuk 0 berlaku

1
dis (, ) 1 (, ) 1 (, )

Dengan mengambil diperoleh

1 1 (, )


Didapat (, ) = 0. Karena -uniform convexity, maka berdasar Lemma 3.5 didapat (, ) > 0

untuk setiap > 0. Akibatnya didapat = 0.

Kasus 2. ( 0 < < , untuk tak hingga banyak )

Oleh karena barisan ( ) konvergen ke , maka dari himpunan { : 0 < < }, terdapat barisan naik

( ) yang konvergen ke . Akibatnya barisan ( (, )) barisan naik dan terbatas oleh (, ),


sehingga barisan ( (,
)) konvergen. Diperoleh dengan mengambil , dari persamaan

1
dis (, ) 1 (, )

Didapat

1 1 lim (, ).


Akibatnya lim

(,
) = 0. Karena ( ) konvergen ke dan (, ) > 0 untuk setiap > 0, maka

didapat = 0.
Oleh karena = lim , maka terdapat barisan -Cauchy ( ), dengan ( Gunakan definisi

limit biasa , manfaatkan sifat 0 untuk setiap 0 ). Karena -complete, maka ( ) -
konvergen ke suatu 0 . Karena -closed, maka 0 , . Artinya

Akibatnya

TERBUKTI