LEMBAR KERJA MAHASISWA

6. Misalkan A   , B   , A, B  R dan A, B terbatas di R .

Misalkan A  B : a  b : a  A, b  B . Buktikan :

a. Sup  A  B   sup A + sup B

b. Inf  A  B   inf A + inf B

Bukti :

A, B terbatas di R , berarti A dan B mempunyai batas atas dan batas bawah.

A dan B mempunyai batas atas dan batas bawah, berarti A dan B mempunyai
suprimum dan infimum.
a. Misalkan u  sup A , berarti u batas atas A . (Definisi 2.3.2 a 1)
Jadi a  u, a  A .......................................(1) (Definisi 2.3.1 a)
Misalkan v  sup B , berarti v batas atas B . (Definisi 2.3.2 a 1)
Jadi b  v, b  B .......................................(2) (Definisi 2.3.1 a)
Dari (1) dan (2) diperoleh a  b  u  v, a  A, b  B (Teorema 2.1.7 b)
Maka, u  v adalah batas atas A  B ...............(*) (Definisi 2.3.1 a)
Misalkan t adalah sebarang batas atas A  B .
Adib: u  v  t .
t adalah sebarang batas atas A  B , berarti a  b  t , a  A, b  B (Definisi
2.3.1 a)
a  b  t ekuivalen dengan a  t  b, a  A (Teorema 2.1.7 b)
Jadi t  b batas atas A (Definisi 2.3.1 a)
u  sup A dan t  b batas atas A , maka u  t  b (Definisi 2.3.2 a 2)
u  t  b ekuivalen dengan b  t  u, b  B (Teorema 2.1.7 b)
Jadi t  u batas atas B (Definisi 2.3.1 a)
v  sup B dan t  u batas atas B , maka v  t u (Definisi 2.3.2 a 2)
v  t  u ekuivalen dengan u  v  t (Teorema 2.1.7 b)
Jadi u  v  t untuk t adalah sebarang batas atas A  B ..........(**) (Definisi
2.3.1 a)
Dari (*) dan (**), maka Sup  A  B   u  v

 Sup  A  B   sup A + sup B (Substitusi)

Jadi, ketika A   , B   , A, B  R dan A, B terbatas di R maka berlaku
Sup  A  B   sup A + sup B
b. Misalkan u '  inf A , berarti u ' batas bawah A (Definisi 2.3.2 b 1)
Jadi a  u ', a  A .......................................(1) (Definisi 2.3.1 b)
Misalkan v '  inf B , berarti v ' batas bawah B . (Definisi 2.3.2 b 1)
Jadi b  v ', b  B .......................................(2) (Definisi 2.3.1 b)
Dari (1) dan (2) diperoleh a  b  u ' v ', a  A, b  B (Teorema 2.1.7 b)
Jadi u ' v ' adalah batas bawah A  B .................(*) (Definisi 2.3.1 b)
Misalkan t ' adalah sebarang batas bawah A  B .
Adib : u ' v '  t '
t ' adalah sebarang batas bawah A  B , berarti a  b  t ', a  A, b  B
(Definisi 2.3.1 b)
a  b  t ' ekuivalen dengan a  t ' b, a  A (Teorema 2.1.7 b)
Jadi t ' b batas bawah A (Definisi 2.3.1 b)
u '  inf A dan t ' b batas bawah A , maka u '  t ' b (Definisi 2.3.2 b 2)
u '  t ' b ekuivalen dengan b  t ' u ', b  B (Teorema 2.1.7 b)
Jadi t ' u ' batas bawah B (Definisi 2.3.1 b)
v '  inf B dan t ' u ' batas bawah B , maka v '  t ' u ' (Definisi 2.3.2 b 2)
v '  t ' u ' ekuivalen dengan u ' v '  t ' (Teorema 2.1.7 b)
Jadi u ' v '  t ' untuk t ' adalah sebarang batas bawah A  B ........(**) (Definisi
2.3.1 b)
Dari (*) dan (**), maka, inf  A  B   u ' v '

 inf  A  B   inf A + inf B (Substitusi)

Jadi, ketika A   , B   , A, B  R dan A, B terbatas di R maka berlaku
Inf  A  B   inf A + inf B