Nama : Salahuddin Akbar Agus Panuntun Hsm

NIM : 0401520008

2.5.2 Sifat Interval bersarang (Nested Intervals Property)

Jika = [ , ] , n ∈ N adalah barisan interval bersarang dari interval-interval

tutup terbatas, maka ξ ∈ R ξ ∈ , n ∈ N.
Bukti:
 Karena interval-interval itu bersarang, kita punyai In ⊆ I1 ,∀n∈ N, an ≤ b1 ,∀ n∈ N.

𝐼2

𝐼𝐼𝑛+1
𝑛+1

𝑎1 𝑎2 𝑎𝑛 𝑎𝑛+1 𝑏𝑛+1 𝑏𝑛 𝑏2 𝑏1

𝐼𝑛

𝐼1

Dari gambar tampak bahwa

 Oleh karena itu himpunan tak kosong {an : n ∈ N} terbatas di atas

 Karena { } dan terbatas di atas oleh maka himpunan itu mempunyai

supremum (Sifat Kelengkapan)
 Kita misalkan ξ = Sup {an : n ∈ N}. Jelas bahwa an ≤ ξ, ∀ n ∈ N (Definisi
Supremum)
 Kita klaim juga bahwa ξ ≤ bn , ∀ n. Ini dapat dijelaskan untuk sebarang n, bilangan bn
adalah batas atas dari himpunan {ak : k ∈ N}.
Kita perhatikan dua kasus:
(i) Jika n ≤ k, maka karena In ⊇ Ik , kita punyai ak ≤ bk ≤ bn .
(ii) Jika k < n, maka karena Ik ⊇ In , kita punyai ak ≤ an ≤ bn .
Penjelasan kasus (i) dan (ii):
(i) Jika n ≤ k, maka karena In ⊇ Ik , kita punyai ak ≤ bk ≤ bn .

𝑎𝑛 𝑎𝑘 𝑏𝑘 𝑏𝑛

𝐼𝑘

𝐼𝑛

(ii) Jika k < n, maka karena Ik ⊇ In , kita punyai ak ≤ an ≤ bn .

𝑎𝑘 𝑎𝑛 𝑏𝑛 𝑏𝑘

𝐼𝑛

𝐼𝑘

Dari (i) dan (ii), kita simpulkan bahwa ak ≤ bn , ∀ k, sehingga bn adalah batas atas dari
{ak : k ∈ N}. Oleh karena itu ξ ≤ bn , ∀ n ∈ N.

 Karena an ≤ ξ ≤ bn , ∀ n, maka ξ ∈ In , ∀ n ∈ N

 Jadi terbukti bahwa: Jika = [ , ] , n ∈ N adalah barisan interval bersarang

dari interval-interval tutup terbatas, maka ξ ∈ R ξ ∈ , n ∈ N.