2.

5 Interval

Himpunan bagian dari yang dikonstruksi berdasarkan sifat terurut

dinamakan sebagai interval.

Definisi. Misalkan a,b dengan a<b .

a. Interval buka yang dibentuk dari elemen a dan b adalah himpunan

(a , b )= {x:a< x<b} .

b. Interval tutup yang dibentuk dari elemen a dan b adalah himpunan

[a ,b ]= {x:axb } .

c. Interval setengah buka (atau setengah tutup) yang dibentuk dari elemen a

dan b adalah himpunan [a ,b )= {x : ax <b } atau

(a , b ]= {x :a<xb} .

Definisi. Misalkan a .

a. Interval buka tak terbatas adalah himpunan (a , )= {x : x>a} atau

( , a )= {x : x <a} .

b. Interval tutup tak terbatas adalah himpunan [a , )= {x: xa} atau

( , a ]= {x: xa} .

Teorema 2.5.1. (Karakteristik Interval). Jika S adalah himpunan yang

memuat paling sedikit dua elemen dan memiliki sifat :

jika x, y dan x< y maka [ x , y ]S ,

maka S merupakan suatu interval.

Bukti. Ada 4 kasus yang akan dibuktikan pada teorema ini.

a. Kasus I, S adalah himpunan terbatas

Karena S adalah himpunan terbatas, maka S memiliki infimum dan supremum.

Misalkan a=inf S dan b=supS . Jika xS , maka axb . Karena

x[a,b] , akibatnya S[ a ,b ] .
 Selanjutnya akan ditunjukkan bahwa (a , b )S . Misalkan z(a , b) atau
a< z <b . Berarti z bukan batas bawah dari S, akibatnya terdapat

x 2S x 2 < z
. Dan z juga bukan batas atas dari S sehingga terdapat
y 2 S z < y 2 z[ x 2 , y 2 ]
. Kita dapatkan bahwa . Karena menurut
[ x 2 , y 2 ]S zS . Karena yang demikian berlaku untuk
hipotesis, maka

sebarang z(a , b) maka (a , b )S .

Jika a, bS , maka [ a ,b ]S . Karena telah diperoleh bahwa S[ a ,b ]

maka S=[ a ,b ] . Jika a , bS , maka S(a , b ) . Karena (a , b )S dan

S(a , b ) , maka S=(a, b ) . Jika

aS dan bS , maka S[ a ,b ) dan S[a ,b ) sehingga diperoleh S=[ a ,b )

. Jika aS dan bS , maka dapat ditunjukkan bahwa S=(a,b ] .

b. Kasus II, S adalah himpunan yang terbatas atas tetapi tidak terbatas bawah.

Karena S terbatas atas, maka S memiliki supremum. Misalkan b=supS ,

sehingga diperoleh xb, untuk setiap xS . Akibatnya, S( ,b ] .

Berikutnya, kita akan menunjukkan bahwa ( , b )S . Misalkan

z(,b ) atau z<b . Karena z bukan batas batas atas dari S, maka

y z S z < y z
terdapat . Karena S tidak terbatas bawah, maka terdapat
x z S x z < z z[ x z , y z ]
. Akibatnya, . Karena menurut hipotesis,
[ x z , y z ]S zS . Yang demikian berlaku untuk sebarang
, maka

z(,b ) sehingga ( , b )S .

Jika bS , maka ( , b ]S . Karena S( ,b ] dan ( , b ]S ,

maka S=( ,b ] . Jika bS , maka S( , b ) . Karena ( , b )S

dan S( , b ) , maka S=( , b ) .

c. Kasus III, S adalah himpunan yang tidak terbatas atas, tetapi terbatas bawah.
 Dengan cara yang serupa, seperti pada kasus II, dapat ditunjukkan bahwa

S=[ a , ) atau S=(a ,) dengan a adalah infimum dari S.

d. Kasus IV, S adalah himpunan yang tidak terbatas.

Diketahui S . Selanjutnya kita akan menunjukkan bahwa S .

Misalkan z . Karena tidak terbatas, maka z bukan batas bawah dan batas
x z , y z S x z < z dan z < y z
atas dari S. Akibatnya terdapat , sehingga kita
z[ x z , y z ] [ x z , y z ]S zS .
peroleh . Menurut hipotesis, , maka

Karena hal ini berlaku sebarang z , maka S . Dengan demikian,

=S .

n , n
Interval Bersarang. Sebuah barisan interval , disebur bersarang jika
rangkaian berikut memenuhi :

1 2 3. .. n n+1. ..

n = [a n ,b n ] , n
Sifat Interval Bersarang 2.5.2. Jika adalah barisan interval
bersarang dari interval-interval tutup terbatas, maka terdapat sebuah bilangan

sedemikian sehingga n , n .

Bukti.

n 1 , n
Karena interval-interval itu bersarang, kita memiliki sedemikian
a n<b 1 , n {an : n }
hingga . Oleh karena itu, himpunan tak kosong

terbatas di atas, dan kita misalkan adalah supremumnya. Jelas bahwa

a n , n b n , n
. Kita klaim juga bahwa . Ini dapat dijelaskan

bn {ak : k }
untuk sebarang n, bilangan adalah batas atas dari himpunan .
Kita perhatikan dua kasus.

n k a k bk bn
i. Jika n k , maka karena , kita miliki .

k n a k an bn
ii. Jika k n , maka karena , kita miliki .
 a k b n , k bn
Jadi kita simpulkan bahwa , sehingga adalah batas atas
{ak : k } b n , n
dari . Oleh karena itu, . Karena
a n bn , n n , n
, kita miliki .

n = [a n ,b n ] , n
Teorema 2.5.3. Jika adalah barisan interval bersarang dari

bn an n
interval terbatas dan tutup sedemikian sehingga panjang dari
memenuhi:

inf { b n an : n }=0

n , n
maka bilangan termuat dalam adalah tunggal.

Bukti.

=inf { bn , n }
Jika , maka dengan argumen seperti dalam bukti 2.5.2 dapat
a n , n
digunakan untuk menunjukkan bahwa , sehingga

x n , n
.Kenyataannya dapat ditunjukkan (lihat latihan) bahwa jika dan

x . Jika kita miliki inf { b n an : n }=0

hanya jika , maka untuk
>0 , terdapat sebuah m sedemikian sehingga

0 bmam < . Karenaini memenuhi untuk >0 , maka menurut

teorema 2.1.9 disimpulkan bahwa =0 . Oleh karena itu, kita simpulkan

, n
bahwa = yang hanya sebuah titik yang termasuk dalam n .