Agung PR.U Analisi Real (Sifat Kelengkapan Bilangan Real)
Agung PR.U Analisi Real (Sifat Kelengkapan Bilangan Real)
REAL
DEFINISI
• Sebuah batas atas u dari himpunan tak kosong S di R adalah supremum dari
S jika dan hanya jika untuk setiapm 𝜀 > 0 terdapat 𝑠1 ∈ S sedemikian
sehingga u - 𝜀 > 𝑠1
BUKTI
AKIBAT
jika subset tak kosong S ⸦ R terbatas ke bawah, maka infimumnya ada, yaitu terdapat
w ∈ R sedemikian sehingga w = inf S
• BUKTI
Misalkan himpunan T terbatas ke bawah, T ⸦ R. Dibentuk himpunan S = {-t : t ∈ T},
maka S terbatas ke atas dan tidak kosong menurut aksioma
Supremum, sup S ada, namakan u = sup S, maka –u = inf T
PENGGUNAAN SIFAT AKSIOMA SUPREMUM
TEOREMA
Diberikan subset tak kosong S ⸦ R yang terbatas ke atas dan misalkan sebarang 𝑎 ∈ R. Jika himpunan 𝑎
+ S :={ 𝑎 + 𝑠 ∶ 𝑠 ∈ S} maka berlaku sup (𝑎 + S) = 𝑎 + sup S
• BUKTI
Misalkan u = sup S, maka x ≤ 𝑢 untuk semua x ∈ S, sehingga 𝑎 + 𝑥 ≤ 𝑎 + 𝑢. Oleh karena itu, 𝑎 + 𝑢
merupakan batas atas dari himpunan 𝑎 + S. akibatnya sup (𝑎 + 𝑆) ≤ 𝑎 + 𝑢. Selanjutnya, misalkan v
adalah sebarang batas atasa 𝑎 + S, maka 𝑎 + x ≤ 𝑣, untuk semua x ∈ S. akibatnya x ≤ 𝑣 − 𝑎, untuk
semua x ∈ S. jadi v - 𝑎 merupakan batas atas S . oleh karena itu, u = sup S ≤ 𝑣 − 𝑎, sehingga 𝑎 + 𝑢 ≤ 𝑣.
Karena v adalah sebarang batas atas 𝑎 + S, maka bisa mengganti v dengan sup (𝑎 + S) sehingga
diperoleh 𝑎 + u ≤ sup (𝑎 + S)
Karena telah diperoleh : sup (𝑎 + S) ≤ 𝑎 + u dan 𝑎 + u ≤ sup (𝑎 + S), maka dapat disimpulkan sup (𝑎 +
S) =𝑎 + u = 𝑎 + sup S.
TEOREMA
Diberikan subset tak kosong S ⸦ R yang terbatas dan sebarang bilangan real a > 0.
Didefinisikan himpunan 𝑎S :={ 𝑎𝑠 ∶ 𝑠 ∈ 𝑆}, maka berlaku inf (𝑎S)= 𝑎 inf (S)
• bukti
tulis u = inf 𝑎S dan v = inf S. Akan dibuktikan bahwa u = 𝑎v. Karena u = inf 𝑎S maka
u ≤ 𝑎𝑠, untuk setiap s ∈ S. Karena v = inf S, maka v ≤ 𝑠 untuk setiap s ∈ S. Akibatnya
𝑎𝑣 ≤ 𝑎𝑠 untuk setiap s ∈ S. Berarti 𝑎𝑣 merupakan batas bawah 𝑎𝑆. Karena u batas
bawah terbesar 𝑎𝑆, maka 𝑎𝑣 ≤ 𝑢. Karena 𝑢 ≤ 𝑎𝑠 untuk setiap s ∈ S, maka
𝑢 𝑢
diperoleh ≤ 𝑠 untuk setiap s ∈ S (sebab a>0). Karena v = inf S, maka ≤ 𝑣 yang
𝑎 𝑎
berakibat 𝑢 ≤ 𝑎𝑣. Di lain pihak diketahui 𝑎𝑣 ≤ 𝑢, akibatnya 𝑢 = 𝑎𝑣 . dengan
demikian inf (𝑎S) = 𝑎 inf (S).
TEOREMA
Jika A dan B subset tak kosong R dan memenuhi 𝑎 ≤ b untuk semua 𝑎 ∈ 𝐴 dan
𝑏 ∈ 𝐵, maka A≤ inf B
• BUKTI
Diambil sebarang 𝑏 ∈ 𝐵, maka 𝑎 ≤ b untuk semua 𝑎 ∈ 𝐴. Artinya bahwa b
merupakan batas atas A, sehingga sup A ≤ b, selanjutnya, karena berlaku
untuk semua 𝑏 ∈ 𝐵, maka sup A merupakan batas bawah B . akibatnya
diperoleh bahwa sup A ≤ inf B
SIFAT ARCHIMEDES
• Interval
relasi pada R menentukan sebuah koleksi dari subset-subset yang dikenal dengan
interval. Notasi dan istilah untuk himpunan khusus ini sebagai berikut. Jika 𝑎; 𝑏 ∈ R dan
𝑎 ≤ b, maka interval buka yang ditentukan oleh 𝑎 dan b adalah (𝑎, b) = {x ∈ R : 𝑎 <
𝑥 < 𝑏}
titik-titik 𝑎 dan b disebut titik unujng-titik ujung dari interval buka (𝑎, 𝑏), tetapi titik
ujung tersebut tidak termasuk. Jika kedua ujung termasuk disebut interval tutup, maka
ditulis : [𝑎 , 𝑏] = {x ∈ R : 𝑎 ≤ 𝑥 ≤ 𝑏}
himpunan [𝑎 , 𝑏) = {x ∈ R : 𝑎 ≤ 𝑥 < 𝑏} dan (𝑎,b]= {x ∈ R : 𝑎 < 𝑥 < 𝑏} disebut
interval-interval setengah terbuka yang ditentukan oleh titik 𝑎 dan b. Setiap
interval di atas mempunyai panjang b - 𝑎. Jika 𝑎 = 𝑏, catat bahwa interval
buka yang bersesuaian adalah himpunan kosong (𝑎, 𝑎) = Ø
sementara yang bersesuaian dengan interval tutup adalah himpunan dengan
anggota tunggal [𝑎; 𝑎] = 𝑎 . Jika 𝑎 ∈ R maka himpunan-himpunan yang
didefinisikan dengan [𝑎, ∞) = {x ∈ R : ≥ 𝑎} dan (-∞, 𝑎] = {𝑥 ∈ 𝑅: 𝑎 ≤ 𝑥}
disebut interval tutup tak hingga. Dalam kasus ini titik 𝑎 disebut titik akhir dari
interval ini. Sering adalah baik untuk menuliskan R dalam sebuah interval tak
hingga. Dalam kasus ini kita tuliskan (−∞, ∞) = R
• Interval Bersarang
kita katakan sebuah barisan interval 𝐼𝑛 , 𝑛 ∈ 𝑁, disebut bersarang jika
rangkaian berikut memenuhi :
1
untuk contohnya, jika 𝐼𝑛 = [ 0, ], 𝑛 ∈ 𝑁, maka 𝐼𝑛 ⊇ 𝐼𝑛+1 untuk semua
𝑛
n. Maka interval-interval tersebut bersarang. Dalam kasus ini 0 termasuk dalam
semua 𝐼𝑛 dan menurut sifat archimedes dapat digunakan untuk menunjukkan
bahwa satu-satunya anggota seperti itu hanyalah 0. Jadi ∩∞ 𝑛=1 𝐼𝑛 = 0 .