10/21/2022

Untuk a, b  , dan a < b, maka :

(a,b) = {x  R : a < x < b } disebut …………………..
[a,b] = {x  R : a  x  b } disebut ……………………
[a,b) = {x  R : a  x < b }, atau
(a,b] = {x  R : a < x  b } disebut ………………………….
Keempat interval tersebut dinamakan interval terbatas,
karena………………….
Panjang dari keempat interval tersebut adalah …………………….
Apabila titik-titik akhir dari interval tersebut sama, artinya a = b, maka
[a,b] =[a,a] = ……… = …….. ; dan (a,b) = (a,a) = ……. = …… dengan
panjang intervalnya adalah ………
(a,) = {x  R: x > a} and (-,b) = {x  R: x < b} disebut ………………
[a,) = {x  R: x  a} and (- , b] = {xR: x  b} disebut …………………
(-,) = R disebut…………………….

2. 5. 1 Teorema Karakterisasi;
Jika S  R yang memuat paling sedikit dua titik dan
memenuhi sifat : jika x , y  S dan x < y, sedemikian
sehingga [x,y]  S, maka S adalah suatu interval.
Bukti :
S  R dan S  , maka terdapat 4 kemungkinan dari S,
yaitu :
i)S terbatas, atau
ii) S terbatas di atas, atau
iii)…………………., atau
iv) ………………….

1
 10/21/2022

Kemungkinan i).
S terbatas, berarti ………………………… dan
…………………………….
Oleh karena itu S mempunyai …………
dan………………….
Andaikan a = sup S dan b = inf S, maka S  [a,b] *) .
Karena kita akan membuktikan bahwa S = [a,b], maka
harus kita buktikan bahwa ……………
Ambil sembarang z  [a,b].
Jika a < z < b, maka z bukan batas atas dari S,
sehingga  x S dan …….
Jika a < z < b, maka z bukan batas bawah dari S,
sehingga  y S dan …….
Akibatnya, …….. dan dapat disimpulkan bahwa z  S.

Karena z sembarang elemen dari interval [a,b],

jadi dapat disimpulkan bahwa ………………….**)
Dari *) dan **) dapat disimpulkan bahwa
…………
Selanjutnya, apabila a  S dan b  S, maka
S = [a,b]; jika a  S dan b  S maka S = [a, b);
jika a  S dan b  S, maka ……….. ; dan apabila
a  S dan b  S, maka ……………

2
 10/21/2022

Kemungkinan ii)
Karena S terbatas di atas dan tidak terbatas di
bawah, maka S mempunyai………...
Ambil b = sup S, maka S  (- , b]i) .
Karena kita akan menunjukkan bahwa S = (- , b],
maka harus ditunjukkan bahwa ………..
Untuk z < b, maka akan terdapat x,y  S
sedemikian hingga z  [x,y]  S.(alasan : ……….).
Oleh karena itu, (- , b)  S ii)
Dari i) dan ii) dapat disimpulkan bahwa ……………..
Jika b  S, maka S = …………….; dan jika b  S,
maka S = ………………

2.5.2 Sifat Interval tersarang

Jika I = [an, bn], n  N merupakan barisan tersarang
dari interval-interval tertutup dan terbatas, maka
ada   , sedemikian hingga   In,  n .
Bukti.
Akan kita buktikan bahwa terdapat bilangan  R
   In ,nN atau an    bn ,  n  N.
Diketahui bahwa In = [a,b] , n  N , merupakan
barisan tersarang dari interval-interval tertutup
dan terbatas.

3
 10/21/2022

Maka In  I1,  n  N, sehingga an  b1,  n  N

(alasan: …….)
Jadi dapat disimpulkan bahwa b1 merupakan batas
atas dari {an :  n  N}.
Dengan demikian {an : n  N} ….dan mempunyai
supermum. Misalkan  = sup. {an :  n  N}.
Dengan demikian, an  ,  n  N
………(*)(alasan?)
Sekarang akan kita tunjukkan bahwa   bn ,
 n  N atau kita tunjukkan secara bertahap untuk
setiap n.

Bilangan bn merupakan batas atas dari

{ak :  k  N }
Kita perhatikan 2 kemungkinan nilai k :
(i) untuk n  k dan (ii) untuk n > k.
(i) : Jika n  k, maka Ik  In, oleh karena itu …  …  …
(ii) : Jika n > k, maka ….  … oleh karena itu
……  ….  ….
Jadi, dapat disimpulkan bahwa …..  …., n  N,
Sehingga bn merupakan …………. dari {ak :  k  N }.
Karena  = sup.{an :  n  N}, then …  …. ,  n  N.
(**)
Dari ketaksamaan (*) and (**), disimpulkan bahwa
an    bn , n  N, dengan demikian   In,nN.

4
 10/21/2022

2.5.3. Theorem
Jika In = [an , bn ] , n  N , merupakan barisan
tersarang dari interval-interval tertutup dan
terbatas sedemikian hingga, panjang interval
In, yaitu bn – an, memenuhi :
Inf { bn – an : n  N } = 0
maka bilangan   In ,nN tunggal.