4. Misalkan S ≠ ∅ , S terbatas di R .
supaS = a sup S
Bukti :
S terbatas di R , maka menurut sifat kelengkapan R , S mempunyai suprimum.
Misalkan u sup S , maka u adalah batas atas S .
Jadi s u, sS .
a 0dan su , maka as au, s S .
Jadi au batas atas aS ...........................................(1)
Misalkan t sebarang batas atas aS , adit : aut .
t sebarang batas bawah aS , berarti as t, sS .
t
a 0dan ast , maka s , s
S.a
t
Jadi batas atas S .
a
t t
u sup S dan batas atas S , maka menurut definisi u
.a a
Karena a 0, maka aut ..........................................(2) Dari (1)
supaS = au = a sup S .
6. Misalkan A , B , A B, R dan A B, terbatas di R .
Bukti :
(*) dan (**), maka menurut definisi suprimum, Sup A B u v = sup A + sup
B