Analisi Kelompok 5 :

CINDY CAHYANI R NAPITU 42035300

Real RIZKA ANNISA MINGKA

JIMMY HARDY BOY SILALAHI
4192530011
41925300

RATNA ARDITA SARI 41935300

ARIQA MUTIARA 4182230011
KHOPIPAH SIMATUPANG 42012300
ELLA WINANDA 4203230023
RUTH MARGARETHA TAMBUNAN
4203530004
 2.3.4 Lemma
Batas atas dari himpunan tak kosong di adalah supremum dari jika dan hanya jika untuk setiap
terdapat sehingga .
Bukti:
Misalkan maka berdasarkan definisi supremum pada Lemma 2.3.3, bahwa
1. Untuk memiliki
2. Untuk memiliki beberapa di sedemikian hingga

(i) Diketahui : dan

Akan dibuktikan : Untuk setiap terdapat sedemikian hingga  
Dari definisi , ambil
Dari definisi kedua, jika maka terdapat beberapa di sedemikan hingga , jadi dapat ditulis .
Diketahui : dan untuk setiap terdapat sedemikian hingga
Akan dibuktikan :
 
Misalkan adalah batas atas dari dan untuk setiap . Karena maka bukan merupakan batas atas dari
himpunan S. Ambil maka . Berdasarkan setiap maka terdapat beberapa di sedemikan hingga . Dan
berdasarkan elemen akan berlaku .

 
Jadi, berdasarkan (i) dan (ii) terbukti bahwa batas atas dari himpunan tak kosong di adalah supremum dari
jika dan hanya jika untuk setiap terdapat sehingga .
 (a) Jika himpunan tak kosong memiliki jumlah elemen berhingga,
maka himpunan tersebut menunjukkan bahwa memiliki
elemen terbesar u dan a elemen terkecil w. Kemudian
dan ,dan keduanya merupakan anggota S1. (Ini jelas jika S1
hanya memiliki satu elemen, dan itu bisa menjadi dibuktikan
dengan induksi jumlah elemen pada S1)
(b) Himpunan S2 := { x : 0 < x<1}
2.3.5 Jika v < 1, terdapat elemen s’ ϵ S2 sehingga v < s’. Maka v bukan
batas atas S2 dan karena v adalah bilangan arbitrer v < 1,

contoh sehingga sup S2 = 1.

Hal yang sama ditunjukkan bahwa inf S2 = 0. Dimana kedua
supremum dan minimum S2 terkandung dalam S2.
c) Himpunan . Menggunakan argument yang sama seperti yang
diberikan dalam (b), bahwa Dalam hal ini, himpunan , tidak
mengandung supremumnya. Demikian pula, inf tidak
terkandung dalam .
2.3.6 Sifat Kelengkapan dari

Setiap himpunan tak kosong dari bilangan real yang

memiliki batas atas juga memiliki supremum di
Properti ini juga disebut Properti Supremum dari .
Misalkan adalah himpunan bagian tak kosong
dari yang dibatasi di bawah. Maka himpunan tak
kosong : = { - : S } yang dibatasi di atas, dan
sifat tertinggi menyiratkan bahwa ada di . Dimana
–u adalah minimum dari S.