Himpunan Matematika Diskret (TKE132107) Program Studi Teknik Elektro, Unsoed Iwan Setiawan <stwn at unsoed.ac.id>
Tahun Ajaran 2013/2014
Obyek-obyek diskret ada di sekitar kita.
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Obyek diskret pada perangkat digital?
Sekumpulan obyek.
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Semua mahasiswa Teknik Elektro Unsoed.
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Definisi Himpunan
Himpunan adalah kumpulan obyek-obyek yang berbeda.
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Elemen/unsur/anggota.
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Struktur diskret dasar yang mendasari struktur diskret lain seperti relasi, kombinasi, graf, ...
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Penyajian Himpunan
Ada 4 cara menyajikan himpunan.
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
(1) Enumerasi (menuliskan semua elemen)
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Simbol huruf kapital.
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Kurung kurawal.
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Himpunan A berisi anggota 5,3,7,9. Sajikan dengan cara enumerasi!
Himpunan B berisi enam bilangan ganjil positif pertama. Sajikan dengan cara enumerasi!
Himpunan ditentukan oleh anggotaanggotanya, bukan urutan anggotanya.
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Mengandung anggota yang berbeda.
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Himpunan C berisi Badu, 45, kayu, kucing, g. Sajikan dengan cara enumerasi!
T = {a, b, {a,b,c}, {a,c}} U = {a, {a}, {{a}}} V = {{}} Apakah himpunan-himpunan di atas dapat disebut sebagai himpunan?
W = {a,b,c,...,x,y,z} X = {1,2,...,100}
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
x∈A x∉A
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
A = {1, 2, 3, 4} Z = {{}} Tuliskan elemen dengan notasi anggota!
P1 = {a, b} P2 = {{a,b}} Tuliskan elemen dengan notasi anggota!
(2) Simbol-simbol baku
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
P = himpunan bilangan bulan positif = {1,2,3,...} R = himpunan bilangan nyata ...
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Himpunan yang universal. (semesta)
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
U = {1,2,3,4}. A = {2,3}. (A adalah himpunan bagian dari U)
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
(3) Notasi pembentuk himpunan Notasi: { x | syarat yang harus dipenuhi oleh x}
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
A adalah himpunan bilangan bulat positif lebih kecil dari 7. Tulis dengan cara notasi pembentuk himpunan!
M adalah himpunan mahasiswa yang mengambil mata kuliah Matematika Diskret. Tulis dengan cara notasi pembentuk himpunan!
(4) Diagram Venn
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Secara Grafis. John Venn. 1881. (segi empat, lingkaran)
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
U = {7, 8, 9, 10, ..., 15} A = {9, 10, 15} B = {8, 9, 12, 13, 14} Gambarkan dalam diagram Venn!
Kardinalitas
A merupakan himpunan berhingga, maka jumlah elemen berbeda di dalam A disebut kardinal dari himpunan A.
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Notasi: n(A) atau |A|
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
A = { x | x merupakan bilangan prima lebih kecil dari 18} Jadi |A|?
Himpunan Kosong
Himpunan yang tak memiliki satupun elemen. (atau himpunan dengan kardinal = 0)
Notasi: ⊘ atau { }
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
F = { z | z < z} Kardinal F?
O = {orang Purwokerto yang pernah ke Pluto} Kardinal O?
Himpunan Bagian
Himpunan A merupakan himpunan bagian dari himpunan B jika dan hanya jika setiap elemen A merupakan elemen B.
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
A subset dari B, B superset dari A.
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
A⊆B
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Gambarkan dalam diagram Venn!
Teorema untuk himpunan A: (1) A ⊆ A, (2) ⊘ ⊆ A, (3) Jika A ⊆ B dan B ⊆ C, maka A ⊆ C.
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Proper subset dan subset.
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Himpunan yang Sama
Himpunan A dikatakan sama dengan himpunan B jika dan hanya jika keduanya memiliki elemen yang sama.
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Notasi: A = B ↔ A ⊆ B dan B ⊆ A
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Catatan: urutan elemen tidak penting, pengulangan elemen tidak berpengaruh, aksioma himpunan.
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Aksioma 3 himpunan A, B, dan C. 1. A = A, B = B, C = C. 2. Jika A = B, B = A. 3. Jika A = B dan B = C, A = C.
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Himpunan yang Ekivalen
Dua himpunan dikatakan ekivalen, jika dan hanya jika keduanya berkardinal sama.
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Notasi: A ~ B ↔ |A| = |B|
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
A = {3, 4, 5} dan B = {beruang, gajah, penguin} Apakah A dan B adalah himpunan yang ekivalen?
Himpunan Saling Lepas
Himpunan dikatakan saling lepas jika kedua himpunan tidak memiliki elemen yang sama.
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Kita berbeda dalam semua, kecuali dalam cinta. – Gie (Sebuah Tanya, 1969)
Notasi: A // B
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Gambarkan dalam diagram Venn!
Himpunan Kuasa
Himpunan kuasa dari himpunan dari A adalah himpunan yang elemennya merupakan semua himpunan bagian dari A. (termasuk himpunan kosong dan himpunan A itu sendiri)
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Notasi: P(A) atau 2A
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Tulis himpunan kuasa dari F = {5,7,9}!
Himpunan kuasa dari himpunan kosong?
Operasi Terhadap Himpunan
(1) Irisan
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Irisan himpunan A dan B adalah himpunan yang setiap anggotanya merupakan elemen dari himpunan A dan B.
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Notasi: A ∩ B = { x | x ∈ A dan x ∈ B}
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Gambarkan dalam diagram Venn!
(2) Gabungan
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Himpunan A dan B yang setiap anggotanya merupakan anggota himpunan A atau himpunan B.
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Notasi: A ∪ B = { x | x ∈ A atau x ∈ B}
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Gambarkan dalam diagram Venn!
(3) Komplemen
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Komplemen A terhadap himpunan semesta U adalah himpunan yang elemennya merupakan elemen U tapi bukan elemen himpunan A.
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Notasi: A = { x | x ∈ U dan x ∉ A}
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Gambarkan dalam diagram Venn!
(4) Selisih
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Himpunan yang elemennya merupakan elemen dari A tetapi bukan elemen dari B.
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
A – B = { x | x ∈ A dan x ∉ B } = A ∩ B
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Gambarkan dalam diagram Venn!
(5) Beda Setangkup
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Himpunan yang elemennya ada pada himpunan A atau B, tetapi tidak pada keduanya.
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
A ⊕ B = (A ∪ B) – (A ∩ B) = (A-B) ∪ (B-A)
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Gambarkan dalam diagram Venn!
Hukum komutatif dan asosiatif pada beda setangkup dapat dibaca di buku referensi.
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
(6) Perkalian kartesian
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Himpunan yang elemennya semua pasangan berurutan yang dibentuk dari komponen pertama dari himpunan A dan komponen kedua dari himpunan B.
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Notasi: A x B = { (a,b) | a ∈ A dan b ∈ B}
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Berapa banyak kombinasi makanan dan minuman yang dapat disusun dari kedua himpunan di bawah ini? A = {g = gethuk, c = coto, m = mie rebus} B = {s = susu, k = kopi, d = dawet }
Catatan ●
●
●
●
Jika A dan B merupakan himpunan berhingga, maka |A x B| = |A| . |B|. Pasangan berurutan (a,b) berbeda dengan (b,a); Dengan kata lain (a,b) ≠ (b,a). Perkalian kartesian tidak komutatif, A x B ≠ B x A, dengan syarat himpunan A dan B tidak kosong. Jika A = ⊘ atau B = ⊘ maka A x B = B x A = ⊘.
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Perampatan Operasi Himpunan dapat dibaca di buku referensi.
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Hukum-Hukum Aljabar Himpunan
Kesamaan himpunan (set identities).
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Identitas, null/dominasi, komplemen, idempoten, involusi, penyerapan, komutatif, asosiatif, distributif, De Morgan, 0/1* * Hukum komplemen 2
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Notasi pada hukum logika: ∧, ∨, B, S. Notasi pada himpunan: ∩, ∪, ⊘, dan U.
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Prinsip Dualitas
Dua konsep yang berbeda dapat dipertukarkan namun tetap memberikan jawaban yang benar.
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Contoh?
Letak kemudi. (keharusan berjalannya kendaraan, lajur untuk mendahului, “belok jalan terus”?)
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Konsep “kiri dan kanan” dapat dipertukarkan tetapi tetap dapat berlaku di masing-masing tempat.
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Prinsip dualitas juga terdapat pada himpunan.
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Beberapa sifat himpunan merupakan analog satu sama lain.
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
A ∪ A = U analog dengan A ∩ A = ⊘
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Ada lagi?
Semua pasangan dalam hukum aljabar himpunan.
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Tinggal mengganti operatornya saja. (himpunan kosong ditukar dengan semesta, dan sebaliknya)
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Prinsip dualitas penting dalam aljabar himpunan.
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Kita dapat menggunakan prinsip ini untuk menurunkan kesamaan himpunan yang mengandung ∪ dan ∩, serta ⊘ dan U.
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
..atau untuk membuktikan dual dari kesamaan himpunan lain.
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Dualitas hukum aljabar himpunan dapat dibaca di buku referensi.
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Prinsip Inklusi-Eksklusi
Penggabungan 2 buah himpunan.
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Penggabungan 2 himpunan, A dan B.
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Hasilnya adalah himpunan baru yang elemen-elemennya berasal dari himpunan A dan B.
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Kardinal himpunan irisan A dan B.
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Pada 2 himpunan yang beririsan terdapat elemen yang dihitung 2 kali jika digabungkan.
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Jadi, seharusnya elemen yang berada di dalam irisan kedua himpunan dihitung sekali saja.
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Karena itu jumlah elemen hasil penggabungan kedua himpunan adalah total jumlah gabungan elemen masing-masing himpunan dikurangi jumlah elemen di dalam irisannya.
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
“Total gabungan” dikurangi irisannya.
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
|A∪B|=|A|+|B|-|A∩B|
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Perkecualian jika A // B, |A∪B|=|A|+|B|
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Jumlah elemen hasil operasi beda setangkup?
| A ⊕ B | = | A | + | B | – 2 (A ∩ B)
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Berapa banyak bilangan bulat dari 1 sampai 1000 yang habis dibagi 5 dan 10?
Prinsip Inklusi-Eksklusi ●
●
●
Definisikan dulu himpunan dan operasinya dengan penyajian sesuai data yang diberikan. Definisikan permasalahan dalam notasi himpunan. Selesaikan permasalahan dengan konsep-konsep himpunan. ●
Kardinal tiap-tiap himpunan dan operasinya.
●
Kardinal permasalahan.
●
Kesimpulan.
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
3 himpunan. A, B, dan C.
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
|A∪B∪C|=|A|+|B|+|C|-|A∩B||A∩C|-|B ∩C|+|A∩B∩C|
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Pelajari Contoh 2.36.
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Pembuktian Proposisi Himpunan
Proposisi himpunan?
Proposisi yang menggunakan notasi himpunan.
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Jika A ∩ B = ⊘ dan A ⊆ (B ∪ C), selalu berlaku bahwa A ⊆ C.
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Terdapat 4 metode pembuktian kebenaran proposisi himpunan.
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
(1) Pembuktian dengan diagram Venn
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Dengan cara menggambar diagram Venn untuk masing-masing ruas pada kesamaan himpunan.
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Buktikan dengan diagram Venn: A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)
Daerah arsiran yang sama.
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Kekurangannya?
(2) Pembuktian dengan tabel keanggotaan
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Mirip seperti tabel kebenaran dengan penggunaan nilai 0 untuk bukan anggota dan 1 untuk anggota.
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Ingat operator logika dan himpunan!
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Buktikan dengan tabel keanggotaan untuk: A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)
(3) Pembuktian dengan aljabar himpunan
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Menggunakan hukum aljabar himpunan, termasuk teorema, definisi operasi himpunan, dan prinsip dualitas.
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Terdapat 2 himpunan A dan B. Tunjukkan bahwa: ( A – B) – C = (A – C) – B!
(4) Pembuktian dengan menggunakan definisi
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Digunakan untuk membuktikan proposisi himpunan yang tidak berbentuk kesamaan.
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed
Sila membacanya di buku referensi :-)
Hash Milhan, CC BY, http://flic.kr/p/2qKgwi
Daftar Bacaan ●
Munir, R. 2010. Matematika Diskrit, Revisi Keempat, Penerbit Informatika.
Matematika Diskret (TKE132107) - Program Studi Teknik Elektro, Unsoed