Analisis Riil

Muhammad Ainuddin Daahiljabir

0401520004
Teorema 2.5.3

Jika In=  an , bn  , n  , adalah sebuah barisan bersarang dari interval terbatas

dan tutup, sedemikian sehingga panjang b n −an dari In memenuhi:

inf bn − an : n   = 0,
Maka bilangan  termuat dalam In , n  adalah tunggal.
Bukti
Karena In =  an , bn  , n  , adalah sebuah barisan bersarang dari interval terbatas

dan tutup maka I n  I1 , n 

Karena I n  I1 maka bn  a1 , n  maka bn | n   terbatas di bawah.

Sehingga bn | n   memiliki infimum.
Misalkan  = inf bn | n  
Jelas bahwa   bn , n 

Diklaim bahwa an   , n 

Hal ini dapat ditunjukkan sebagai berikut:

Untuk suatu n, an adalah batas bawah dari bk | k  
Ditinjau dua kasus, yaitu (i) 𝑛 ≤ 𝑘 dan (ii) 𝑛 > 𝑘:
(i) Untuk 𝑛 ≤ 𝑘
jika 𝑛 ≤ 𝑘 maka I n  I k

karena I n  I k maka an  bn  bk

(ii) Untuk 𝑛 > 𝑘

jika 𝑛 > 𝑘 maka I n  I k

karena I n  I k maka an  bn  bk

Dari dua kasus di atas maka an  bk , k 

Sehingga an adalah batas bawah dari bk | k  
Karena an adalah batas bawah dari bk | k   maka an   , n 

Berarti an   dan   bn atau an    bn , sehingga   I n , n 

Dari teorema 2.5.2 (Jika In =  an , bn  , n  , adalah barisan interval bersarang dari

interval-interval tutup terbatas, maka terdapat sebuah bilangan   sedemikian

sehingga   I n , n  ) telah ditunjukkan bahwa  = sup an | n  

Sedangkan  = inf bn | n   sehingga    , n 

Sekarang akan di tunjukkan bahwa:

x  I n , n  , jika dan hanya jika   x  

(i) x  I n , n  , maka an  x  bn

karena  = sup an | n   maka   x

karena  = inf bn | n   maka x  

sehingga   x   atau x   , 

(ii) x   ,  maka   x  

karena   x   dan an    bn serta an    bn

sehingga an    x    bn , n 

jadi an  x  bn atau x  I n

Dari (i) dan (ii) disimpulkan bahwa I n =  , 
n =1

Jika inf bn − an : n   = 0, maka   0 terdapat 𝑛 sedemikian hingga

0   −   bn − an  

Sehingga menurut Teorema 2.1.9 (Jika a sedemikian sehingga

0  a   ,   0 , maka a = 0 ) berlaku  −  = 0 atau  =  adalah satu-satunya

titik yang dimuat I n , n 