Hubungan Orde pada R menentukan kumpulan alami dari himpunan bagian yang
disebut ''interval''. Notasi dan terminologi untuk himpunan khusus ini akan familiar dari
kursu sebelumnya. Jika a,b ∈R memuaskan a < b, lalu interval terbuka ditentukan oleh A
dan B adalah himpunan
( a,b ) := { x ∈R : a < x < b }.
Intinya a dan b disebut titik akhir dari interval; namun, titik akhir tidak termasuk
dalam interval terbuka. Jika kedua titik ujung disatukan ke interval terbuka ini, maka
kitamemperolehinterval tertutup ditentukan oleh a dan b ; yaitu himpunan
[ a,b ] := { x ∈R : a ≤ x ≤ b }.
keduanya setengah terbuka (atau setengah tertutup) interval ditentukan oleh a dan a
adalah [a, b), yang termasuk titik akhir a , dan (a, b], yang termasuk titik akhir b .
Masing-masing dari empat interval ini dibatasi dan memiliki panjang didefinisikan
oleh b – a . Jika a =b interval terbuka yang sesuai adalah himpunan kosong (a,a) = θ
sedangkan interval tertutup yang sesuai adalah himpunan tunggal [a.a] = {a}.
Ada lima jenis interval tak terbatas yang simbol-simbolnya ∞ ¿atau + ∞ ¿ dan - ∞
digunakan sebagai kenyamanan notasi di tempat titik akhir. interval terbuka tak terbatas
adalah himpunan dari bentuk
Set pertama tidak memiliki batas atas dan yang kedua tidak memiliki batas bawah.
Titik akhir yang berdampingan memberi kitainterval tertutup tak terbatas:
[ a,∞ ¿ := { x ∈ R : x ≥ a }∧(−∞ , b ] ≔{ x ∈ R : x ≤b }
Bukti. Ada empat kasus yang perlu dipertimbangkan: (i) S dibatasi, (ii) S dibatasi di
atas tetapi tidak di bawah, (iii) S dibatasi di bawah tetapi tidak di atas, dan (iv) S tidak
dibatasi di atas maupun di bawah.
Kasus (i): Mari a := inf S dan b := sup S. Kemudian S⊆ [ a , b ] dan kami akan
menunjukkan itu ( a, b ) ⊆ S.
Jika a < z < b, kemudian z bukan batas bawah dari S, jadi ada x ∈ S dengan x < z.
Juga, z bukan batas atas dari S, jadi ada kamu y ∈ S dengan z ¿ y. Karena itu z ∈[x,y]. jadi
properti (1) menyiratkan bahwa z ∈S. Sejak z adalah elemen arbitrer dari (a,b) kami
menyimpulkan bahwa (a,b) ⊆ S
Sekarang jika a ∈ S dan b ∈ S, kemudian S = [a,b] . (Mengapa?) Jika a ∉ S dan b ∉S,
kemudian S = (a,b) . Kemungkinan lain mengarah ke S = (a.b] atau S = [a,b)
Kasus (ii): Masilkan b:= sup S. Kemudian S ⊆ ¿ dan kami akan menunjukkan itu
(−∞ , b ) ⊆ S .jika z < b, maka ada x,y ∈ S maka z ∈ [ x , y ] ⊆S. (Mengapa?) Oleh karena itu
(−∞ , b ) ⊆ SJika b∈ S, kemudian S ¿ ¿, dan jika b ∉ S, kemudian S ¿(−∞ ,b). Kasus (iii) dan
(iv) dibiarkan sebagai latihan.
Interval Bersarang
Kami mengatakan bahwa urutan interval In , n ∈ N adalah bersarang jika rantai inklusi
berikut ini berlaku (lihat Gambar 2.5.1):
Misalnya, jika In := [0,1/n] untuk n ∈ N , kemudian In ⊇In+1 untuk setiap n ∈ N jadi ini
urutan interval bersarang. Dalam hal ini, elemen 0 milik semua I n dan Properti Archimedean
2.4.3 dapat digunakan untuk menunjukkan ahwa 0 adalah satu-satunya titik yang sama.
(Buktikan ini.)
Penting untuk disadari bahwa, secara umum, urutan interval bersarang perlu bukan
memiliki titik umum. Misalnya, jika jn := [0,1/n] untuk n ∈ N , maka barisan interval tersebut
adalah bersarang, tetapi tidak ada titik yang sama, karena untuk setiap yang diberikan x > 0,
ada (mengapa?) M∈ N sehingga 1 / m < x yang seperti itu x ∉ JM. Demikian pula, urutan
interval Kn := ( n,∞ ¿ ,n ∈ N , bersarang tetapi tidak memiliki titik yang sama. (Mengapa?)
Namun, itu adalah properti penting dari R bahwa setiap urutan bersarang dari
tertutup, dibatasi interval memang memiliki titik yang sama, seperti yang akan kita buktikan
sekarang. Perhatikan bahwa kelengkapan R memainkan peran penting dalam membangun
properti ini.
2.5.2 Properti Interval Bersarang Jika In =[an,an] n ∈ N , adalah urutan bersarang dari interval
terbatas tertutup, maka ada a nomor ξ ∈ Rseperti yang ξ ∈ Iuntuk semua n ∈ N .
Bukti. Karena intervalnya bersarang, kita memiliki In ⊆ I1 untuk semua n ∈ N maka an ≤ b1
semua n ∈ N . Oleh karena itu, himpunan tak kosong {a n : n ∈ N } dibatasi di atas, dan kami
membiarkan ξ menjadi yang tertinggi. Jelas an ≤ ξ untuk semua n ∈ N .
Kami juga mengklaim bahwa ξ ≤bn untuk semua n. untuk semua tertentu n, nomor bn
adalah batas atas untuk himpunan { ak : K ∈ N }. Kami mempertimbangkan dua
kasus. (i) Jika n≤k, lalu In ⊆Ik, kita punya ak ≤ bk ≤ bn. (ii) Jika k < n, lalu Ik ⊆In, kita
punya ak ≤ bk ≤ bn. (Lihat Gambar 2.5.2.) Dengan demikian, kami menyimpulkan bahwa ak ≤
bn untuk semua k, yang seperti itu bn adalah batas atas himpunn { ak : K ∈ N }. Karenanya ξ ≤
bn untuk seiap n ∈ N . dari ak ≤ ξ ≤ bn untuk semua n . jadi kita mempunyai ξ ∈ I n Untuk
semua n ∈ N .
2.5.3 Teorema Jika In := [an,bn] n ∈ N ., adalah barisan bersarang dari interval-interval tertutup
dan terbatas sedemikian rupa sehingga panjang bn – an untuk In memenuhi
Inf { bn – an : n ∈ N }=0
tertutup I1 dan I sehingga x1 ∉I1 Kemudian memilih subinterval tertuup I2 dan I1 sehingga x2
∉I2 dan seterusnya. Dengan cara ini, kita memperoleh interval tertutup tak kosong.
I1 ⊇I2⊇ … ⊇ In⊇ …