Active Learning Problem Sheets I

ALJABAR HIMPUNAN

A Ringkasan Teori

Misalkan A suatu himpunan.

x  A artinya,
1. x anggota dari A, atau
2. x elemen dari A, atau
3. A memuat elemen x, atau
4. x di A
x  A artinya, x bukan anggota dari A

Definisi :

Misalkan A dan B himpunan.

Himpunan A subset dari B (A termuat di B) jika x  A maka x  B
yaitu, setiap anggota dari A merupakan anggota dari B).
Ditulis : A  B
Jika A  B dan A ≠ B , maka A disebut subset sejati dari B.

Definisi :

Misalkan A dan B himpunan. A = B jika A  B dan B  A

Definisi :

Misalkan A dan B himpunan.

1. Irisan dari A dan B ( AB )  { x : x  A dan x  B }
2. Gabungan dari A dan B ( A B )  { x : x  A atau x  B }
3. Komplemen dari B di A ( A\ B )  { x : x  A dan x  B }

Definisi :

Himpunan kosong adalah himpunan yang tidak mempunyai anggota, dan dinotasikan
dengan  .

1 Analisis Real 1 Aljabar Himpunan

 AB =   A dan B disjoin (tidak beririsan)

Teorema :

Misalkan A , B , C merupakan sebarang himpunan. Maka

1. AA = A AA = A (Sifat Idempoten)
2. AB = BA AB = BA (Sifat Komutatif)
3. (AB)C = A(BC) (AB)C = A(BC) (Sifat Asosiatif)
4. A(BC) = (AB)(AC)
A(BC) = (AB)(AC) (Sifat Distributif)

Teorema :

Jika A , B , C merupakan sebarang himpunan, maka

A\(BC) = (A\B)(A\C)
A\(BC) = (A\B)(A\C)
(Hukum De Morgan)

Definisi :

Misalkan A1 , A2 , ... , An himpunan.

A = A1  A2  ...  An  { x : x  Aj untuk suatu j } , j = 1, 2, ..., n
n
 A j =  { Aj : j = 1, 2, ..., n }
j1

B = A1  A2  ...  An  { x : x  Aj untuk semua j } , j = 1, 2, ..., n

n
 A j =  { Aj : j = 1, 2, ..., n }
j1

B Contoh-Contoh

1. Soal : Misal A , B , C sebarang himpunan.

Buktikanlah A(BC) = (AB)(AC)

Analisis Pendahuluan

x  A(BC)

x  A dan x  (BC)

2 Analisis Real 1 Aljabar Himpunan

 x  A dan ( x  B atau x  C )
xB xC

x  A dan x  B x  A dan x  C

x  (AB) atau x  (AC)

x  (AB)(AC)

y  (AB)(AC)

y  (AB) atau y  (AC)

( y  A dan y  B ) atau ( y  A dan y  C )

y  A dan y  B y  A dan y  C

y  A dan ( y  B atau y  C ) y  A dan ( y  C atau y  B )

y  A(BC)
Bukti
a. Misal x  A(BC) sebarang
Hal ini berarti, x  A dan x  (BC)
atau, x  A dan ( x  B atau x  C )
Akibatnya,
i. Jika x  B , maka x  A dan x  B
ii. Jika x  C , maka x  A dan x  C
Jadi, ( x  A dan x  B ) atau ( x  A dan x  C )
atau, x  (AB)(AC).
Dengan demikian, A(BC)  (AB)(AC).
b. Sebaliknya, misal y  (AB)(AC) sebarang
Hal ini berarti, y  (AB) atau y  (AC)

3 Analisis Real 1 Aljabar Himpunan

 atau, ( y  A dan y  B ) atau ( y  A dan y  C )
Akibatnya,
i. Jika y  A dan y  B, maka y  A dan ( y  B atau y  C )
ii. Jika y  A dan y  C, maka y  A dan ( y  C atau y  B )
Jadi, y  A dan ( y  B atau y  C )
atau, y  A(BC).
Dengan demikian, (AB)(AC)  A(BC)
Berdasarkan a dan b , maka A(BC) = (AB)(AC) 

2. Soal : Misal A , B , C sebarang himpunan.

Buktikanlah A\(BC) = (A\B)(A\C)

Analisis Pendahuluan

x  A\(BC)

x  A dan x  (BC)

x  A dan ( x  B atau x  C )
xB xC

x  A dan x  B x  A dan x  C

x  (A\B) atau x  (A\C)

x  (A\B)(A\C)

y  (A\B)(A\C)

y  (A\B) atau y  (A\C)

( y  A dan y  B ) atau ( y  A dan y  C )

y  A dan y  B y  A dan y  C

4 Analisis Real 1 Aljabar Himpunan

 y  A dan ( y  B atau y  C ) y  A dan ( y  C atau y  B )

y  A dan y  (BC)

y  A\(BC)
Bukti
a. Misal x  A\(BC) sebarang
Hal ini berarti, x  A dan x  (BC)
atau, x  A dan ( x  B atau x  C )
Akibatnya,
i. Jika x  B , maka x  A dan x  B
ii. Jika x  C , maka x  A dan x  C
Jadi, ( x  A dan x  B ) atau ( x  A dan x  C )
atau, x  (A\B)(A\C).
Dengan demikian, A\(BC)  (A\B)(A\C).
b. Sebaliknya, misal y  (A\B)(A\C) sebarang
Hal ini berarti, y  (A\B) atau y  (A\C)
atau, ( y  A dan y  B ) atau ( y  A dan y  C )
Akibatnya,
i. Jika y  A dan y  B, maka y  A dan ( y  B atau y  C )
ii. Jika y  A dan y  C, maka y  A dan ( y  C atau y  B )
Jadi, y  A dan ( y  B atau y  C )
atau, y  A\(BC).
Dengan demikian, (A\B)(A\C)  A\(BC).
Berdasarkan a dan b , maka A\(BC) = (A\B)(A\C) 

3. Soal : Jika { A1 , A2 , ... , An } merupakan koleksi himpunan, dan E sebarang

n n
himpunan, maka tunjukkanlah bahwa E  A j =  (E  A ) j
j1 j1

Analisis Pendahuluan
n
xE A j
j1

5 Analisis Real 1 Aljabar Himpunan

 n
x  E atau x  A j
j1

x  E dan ( x  Aj , untuk setiap j = 1, 2, ..., n )

xE x  Aj , untuk setiap j = 1, 2, ..., n

x  E atau x  Aj (x  E atau x  Aj ) , untuk setiap j = 1, 2, ..., n

n
x  E Aj , untuk setiap j = 1, 2, ..., n x  (E  A ) j
j1

n
x  (E  A ) j
j1

n
y  (E  A ) j
j1

y  (E Aj) , untuk setiap j = 1, 2, ..., n

( y  E atau y  Aj ) , untuk setiap j = 1, 2, ..., n

yE y  Aj , untuk setiap j = 1, 2, ..., n

n n
y  E atau y   Aj y A j
j1 j1

n n
yE A j yE A j
j1 j1

Bukti
n
a. Misal x  E  A j sebarang
j1

6 Analisis Real 1 Aljabar Himpunan

 n
Hal ini berarti, x  E atau x  A j
j1

atau, x  E dan ( x  Aj , untuk setiap j = 1, 2, ..., n )

Akibatnya,
i. Jika x  E , maka x  EAj , j = 1, 2, ..., n
ii. Jika x  Aj , untuk setiap j = 1, 2, ..., n , maka x  EAj , untuk setiap
j = 1, 2, ..., n
Jadi, x  EAj , untuk setiap j = 1, 2, ..., n
n
atau, x  (E  A ) j
j1

n n
Dengan demikian, E   Aj   (E  A ) j
j1 j1

n
b. Sebaliknya, misal y   (E  A ) sebarang j
j1

Hal ini berarti, y  EAj , untuk setiap j = 1, 2, ..., n

atau, ( y  E atau y  Aj ) , untuk setiap j = 1, 2, ..., n
Akibatnya,
n
i. Jika y  E , maka y  E atau y  A j .
j1

n
ii. Jika y  Aj , untuk setiap j = 1, 2, ..., n, maka y  A j . Sehingga,
j1

n
y  E atau y  A j .
j1

n
Jadi, y  E atau y  A j .
j1

n
atau, y  E  A j .
j1

n n
Dengan demikian,  (E  A j )  E  A j .
j1 j1

n n
Berdasarkan a dan b , maka E   Aj =  (E  A ) j 
j1 j1

7 Analisis Real 1 Aljabar Himpunan

C Latihan

Isilah titik-titik pada flow proof berikut.

Kemudian susunlah pembuktian berdasarkan flow proof tersebut.

1. Soal : Buktikanlah A  B jika dan hanya jika AB = B.

Analisis Pendahuluan

x  AB

................... x  A atau x  B

A  B  ................. x  A atau x  B

xB

xB

........................ x  A atau x  B

x  AB

xA

........................ x  A atau x  B

AB = B

xB
Bukti .............................

2. Soal : Buktikanlah A  B jika dan hanya jika AB = A.

Analisis Pendahuluan

x  AB

8 Analisis Real 1 Aljabar Himpunan

 ..................... x  A dan x  B

xA

xA
A  B  ................. jika x  A maka x  B

..................... x  A dan x  B

x  AB

xA
A  B  ................. jika x  A maka x  B

..................... x  A dan x  B

xB

Bukti .............................

3. Soal : Jika B  A , maka buktikanlah B = A \ ( A\ B ).

Analisis Pendahuluan

x  A \ ( A\ B )

................... x  A dan x  (A\B)

........................
xA xB

x  A dan x  A atau x  A dan x  B

.................. .................. x   , x  (AB)

9 Analisis Real 1 Aljabar Himpunan

 x  A dan x  B

xB

xB
B  A  ................. jika x  B maka x  A

....................... x  A dan x  B

x   atau ( x  B dan x  A )

( x  A dan x  A ) atau ( x  A dan x  B )

....................... x  A dan ( x  A atau x  B )

x  A dan x  ( A \ B )

xA\(A\B)

Bukti .............................

D Pekerjaan Rumah

Buatkanlah flow proof dari analisis pendahuluan untuk soal-soal berikut ini.
Kemudian susunlah pembuktian berdasarkan flow proof tersebut.

Buktikanlah

1. ( A\B )( B\A ) = ( AB ) \ ( AB )

2. AB = A \ ( A\B )
n n
3. E  A j =  ( EA j )
j1 j1

10 Analisis Real 1 Aljabar Himpunan