15
1.4 Himpunan
Sampai saat ini, belum ada definisi yang tepat untuk himpunan sehingga secara matem-
atis himpunan tidak didefinisikan. Meskipun demikian, kita akan tampilkan juga defin-
Himpunan adalah koleksi objek yang memiliki karakteristik tertentu yang jelas.
Keanggotaan suatu objek dilambangkan dengan tanda ”∈” yang pertama kali
diperkenalkan oleh Peano (1889), sementara lambang untuk bukan anggota adalah ”∈”.
/
1. Cara enumerasi/pendaftaran.
Pada cara ini, semua elemen dituliskan dan diletakkan diantara kurung kurawal.
Contoh 1.13. Himpunan bilangan prima yang kecil dari 10 ditulis {2, 3, 5, 7}.
Contoh 1.14. Himpunan bilangan prima yang kurang dari 10 ditulis {x|x prima,
x< 10}.
Perbandingan dua himpunan dapat kita selidiki dengan konsep himpunan bagian
dan kesamaan himpunan.
lain, x ∈ A ⇒ x ∈ B), maka kita katakan A adalah himpunan bagian dari B yang
dilambangkan dengan A ⊆ B.
A = B ⇔ A ⊆ B dan B ⊆ A
Kita juga perlu mengenal sebuah konsep himpunan yang khusus berikut.
Terdapat sebuah himpunan yang tidak memiliki anggota yang dilambangkan dengan ∅
atau {}.
Himpunan kosong ini memiliki status yang khusus seperti dijelaskan dalam teo-
rema berikut
Ada tiga operasi yang bisa dilakukan pada himpunan, yaitu: gabungan, irisan, dan
x ∈ A ∪ B ⇔ x ∈ A atau x ∈ B
17
x ∈ A ∩ B ⇔ x ∈ A dan x ∈ B
3. Selisih dari A dan B yang dilambangkan dengan A\B didefinisikan sebagai him-
x ∈ A\B ⇔ x ∈ A dan x ∈
/B
Terkait operasi himpunan di atas, kita juga mengenal koleksi berhingga gabungan
Masih terkait operasi himpunan, kita juga mengenal beberapa sifat untuk masing-
1. A ∪ ∅ = A
2. A ∪ B = B ∪ A
3. A ∪ (B ∪ C) = (A ∪ B) ∪ C
18
4. A ∪ A = A
5. A ⊆ B ⇔ A ∪ B = B
Bukti.
2. Latihan.
3. Latihan.
4. Latihan.
1. A ∩ ∅ = ∅
2. A ∩ B = B ∩ A
19
3. A ∩ (B ∩ C) = (A ∩ B) ∩ C
4. A ∩ A = A
5. A ⊆ B ⇔ A ∩ B = A
Bukti.
2. Latihan.
3. Latihan.
4. Latihan.
5. Latihan.
Selain kedua teorema di atas, juga ada teorema yang menyangkut sifat distributif
1. A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)
2. A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C)
Bukti.
2. Latihan.
Bukti.
dan x ∈
/ B) dan (x ∈ A dan x ∈
/ C) yang berarti x ∈ A\B dan x ∈ A\C.
2. Latihan.