Sifat Interval Susut (Nested Interval Property) Jika In = [an,bn], n N

interval tertutup terbatas dan In

In+1 untuk setiap n N (Interval Susut),

maka
n1 I

Yaitu terdapat

In untuk setiap n N. Selanjutnya, jika panjang I n =

bn-an memenuhi inf { bn-an : n N } = 0, maka elemen berserikat

tersebut tunggal.
Bukti. Dibentuk himpunan A = {an : n N}. Jelas A sebab a 1 A, dan
A

R. Himpunan A terbatas ke atas, sebab I n In=1 untuk setiap n N,

sehingga diperoleh bahwa

an bn
untuk setiap n N, yang berarti b1 batas atas A. Menggunakan sifat
lengkap R, maka supremum A ada, yaitu terdapat

= sup A. Jelas

bahwa
am

untuk setiap m N. Selanjutnya untuk sebarang m,n, N berlaku

an an+m bn+m bm atau an bm
Hal ini berakibat
Sup {an : n N} bm atau
Karena am
N, berarti

dan

bm

bm . maka diperoleh am bm untuk setiap m

I = [a ,b ], untuk setiap n N, sehingga

n
n
n

yang berakibat

n=1 I

n=1 I

. Jika = inf {bn : n N

cara yang sama (sebelumnya), diperoleh

} maka dengan

untuk setiap m

N .

Sehingga diperoleh
n=1 I

Akan dibuktikan ketunggalannnya, yaitu =. Diambil sebarang

Jika inf {bn-an : n N } = 0 , maka terdapat n0
0 bn
Karena berlaku untuk sebarang
.Jadi, terbukti bahwa

an

n=1 I

N sehingga

atau 0 <

> 0, maka
n

> 0.

tunggal.

= 0 atau =