Himpunan & Aplikasinya
Dari nol sampai mahir: apa itu himpunan, bagaimana ia dioperasikan, hukum-hukum yang mengaturnya, dan bagaimana dia bekerja di dalam mesin pencari, basis data, hingga sistem rekomendasi. Semua dengan contoh pegangan yang sama dari awal sampai akhir.
Apa Itu Himpunan?
Bayangkan kamu memilah surat ke dalam tumpukan: "tagihan", "undangan", "brosur". Itulah inti himpunan — mengelompokkan benda-benda yang punya ciri jelas.
Definisi Intuitif & Formal
Himpunan adalah kumpulan objek yang terdefinisi dengan jelas — untuk setiap objek, kita bisa memastikan ia anggota atau bukan. Tidak boleh "nunggal-nunggal".
Objek di dalamnya disebut anggota/elemen. Himpunan selalu diberi nama huruf kapital: $A$, $B$, $M$, dan seterusnya.
"Jelas" artinya: kalau aku tunjukkan benda sembarang, kamu bisa memutuskan masuk atau tidak. "Himpunan mahasiswa cantik" bukan himpunan; "himpunan mahasiswa ber-IPK di atas 3,5" ya.
Keanggotaan: ∈ dan ∉
Dua simbol paling sering dipakai di seluruh matematika:
$x \notin A$ baca: "x bukan anggota A"
Contoh pegangan kita sepanjang modul: kelas mini berisi 12 mahasiswa bernomor absen $1$ sampai $12$:
$F=\{3,4,7,8,9\}$ — suka Fisika
$P=\{4,5,8,10\}$ — suka Pemrograman
Maka $3 \in M$ (benar), tetapi $7 \notin M$ (salah, sebab 7 hanya ada di $F$).
Dua Cara Menyatakan Himpunan
1. Enumerasi — menulis semua anggotanya satu per satu:
2. Notasi pembentuk himpunan (set-builder) — menulis sifat keanggotaannya:
Dibaca: "M adalah himpunan semua $x$ di dalam $S$ sedemikian sehingga $x$ menyukai Matematika". Contoh lain: himpunan bilangan genap adalah $\{2k \mid k \in \mathbb{N}\}$ — sifatnya "dua kali bilangan asli".
Pilih himpunan lalu masukkan nomor absen $1$–$12$. Mesin akan menyelidiki keanggotaannya.
Urutan dan pengulangan tidak penting. $\{1,2,3\}=\{3,2,1\}=\{1,1,2,3\}$. Himpunan hanyalah "koleksi", bukan antrean — yang menentukan hanyalah siapa saja anggotanya.
$\varnothing \neq \{\varnothing\}$. Yang pertama hampa ($0$ anggota); yang kedua berisi satu anggota, yaitu himpunan hampa itu sendiri — jadi $\{\varnothing\}$ punya $1$ anggota!
Jenis-Jenis & Kekerabatan Himpunan
Sebelum mengoperasikan himpunan, kenali dulu "spesies"-nya: yang hampa, yang raksasa, yang saling menelungkup.
Hampa & Semesta
Himpunan hampa $\varnothing$ : tidak punya anggota. Contoh: $\{x \mid x$ absen $13$ di kelas mini$\}=\varnothing$.
Himpunan semesta $U$ atau $S$ : "dunia" tempat semua himpunan kita tinggal. Di modul ini, $S=\{1,2,\dots,12\}$ — absen kelas mini.
Komplemen selalu relatif terhadap semesta — ganti semesta, ganti hasil.
Berhingga & Tak Berhingga
Berhingga: anggotanya bisa dihitung sampai habis. $M$ berhingga, $|M|=6$.
Tak berhingga: tidak pernah habis dihitung.
| Simbol | Himpunan | Sifat |
|---|---|---|
ℕ | $\{1,2,3,\dots\}$ | asli |
ℤ | $\{\dots,-1,0,1,\dots\}$ | bulat |
ℚ | $\{p/q\}$ | rasional |
ℝ | garis bilangan | nyata |
Sama vs Ekuivalen
Sama (identik): anggotanya persis sama. $\{Citra,Dita\}=\{Dita,Citra\}$.
Ekuivalen / komperabel: banyak anggotanya sama, $|A|=|B|$, walau isinya beda.
$M \neq \{a,\dots,f\}$ tapi $|M|=|\{a,\dots,f\}|=6$ ✓
Analogi: dua tas berisi sama vs dua tas seukuran.
Himpunan Bagian (Subset)
$A$ adalah subset dari $B$, ditulis $A \subseteq B$, jika setiap anggota $A$ juga anggota $B$.
Contoh pegangan: $P=\{4,5,8,10\} \subseteq S$. Himpunan $\{4,8\}$ juga subset $P$. Ditulis $A \subset B$ (proper subset) jika $A\subseteq B$ tetapi $A\neq B$.
- Setiap himpunan adalah subset dirinya: $A\subseteq A$.
- $\varnothing$ adalah subset semua himpunan — "pernyataan untuk semua anggota ∅" otomatis benar.
Klik elemen untuk memasukkannya ke himpunan $A$. Mesin akan mendaftar semua subset yang mungkin.
Dari mana asalnya? Membentuk subset = memberi keputusan ya/tidak pada tiap elemen. Untuk $A=\{a,b,c\}$: $a$ masuk atau tidak ($2$), $b$ idem ($2$), $c$ idem ($2$). Prinsip perkalian memberi $2\cdot2\cdot2=8$ subset — persis jumlahnya $|\mathcal P(A)|$.
Jika $A$ punya $n$ anggota, maka $A$ memiliki $2^n$ subset, di antaranya $\varnothing$ dan $A$ sendiri. Itu sebabnya $|\mathcal P(\varnothing)| = 2^0 = 1$, yaitu $\mathcal P(\varnothing)=\{\varnothing\}$.
Membaca Diagram Venn
Diagram Venn adalah "peta" himpunan: tiap lingkaran satu himpunan, tiap daerah punya makna. Klik daerahnya — mesin akan menerjemahkan.
Empat daerah, empat makna
Klik salah satu daerah pada peta di samping: hanya-A, irisan, hanya-B, atau daerah di luar keduanya.
"Belajar himpunan tanpa diagram Venn itu seperti belajar geografi tanpa peta — bisa saja, tapi jauh lebih melelahkan."
Cara Membaca Peta
- Kotak besar = semesta $S$. Semua yang ada di luar lingkaran tetap anggota $S$.
- Bagian lingkaran yang tumpang tindih = anggota kedua himpunan sekaligus.
- Posisi gambar tidak bermakna ukuran — Venn adalah skema logika, bukan skala.
Operasi Himpunan
Himpunan bisa dijumlah, dikali, dikurangi — dengan makna yang sedikit berbeda dari bilangan biasa. Kenali lima operator + satu perkalian khusus.
Peta Simbol Operasi
| Simbol | Nama | Dibaca | Definisi |
|---|---|---|---|
∪ | Gabungan | "A gabung B" | $A\cup B=\{x \mid x\in A \ \text{atau}\ x\in B\}$ |
∩ | Irisan | "A irisan B" | $A\cap B=\{x \mid x\in A \ \text{dan}\ x\in B\}$ |
− | Selisih | "A kurang B" | $A-B=\{x \mid x\in A \ \text{dan}\ x\notin B\}$ |
ᶜ | Komplemen | "A komplemen" | $A^c=\{x\in S \mid x\notin A\}$ |
△ | Beda setangkup | "A delta B" | $A\triangle B=(A\cup B)-(A\cap B)$ |
× | Kartesian | "A kali B" | $A\times B=\{(a,b)\mid a\in A,\ b\in B\}$ |
$M\cup F=\{1,2,3,4,5,6,7,8,9\}$ — gabungan seluruh penyuka Matematika atau Fisika. Kata kuncinya ATAU.
$M\cap F=\{3,4\}$ — yaitu Citra & Dita, yang menyukai keduanya. Kata kuncinya DAN.
$M-F=\{1,2,5,6\}$ — penyuka Matematika yang tidak tertarik Fisika. Perhatikan $A-B\neq B-A$!
$M^c=\{7,8,9,10,11,12\}$ — semua orang kelas mini di luar $M$. Selalu relatif terhadap $S$.
$M\triangle F=\{1,2,5,6,7,8,9\}$ — yang menyukai tepat satu dari keduanya. "Setia pada satu pilihan".
Cara cepat hafal: ∪ = atau (gabung), ∩ = dan (bareng), − = bukan, △ = salah satu saja. Empat kata ini sudah 90% materi.
Langkah 1 — pilih himpunan target, lalu klik absen 1–12 untuk mendaftarkan/mengeluarkannya. bata = A · teal = B · violet = keduanya
Langkah 2 — pilih operasi:
Perkalian Kartesian A × B
Beda dari lima operator di atas: hasilnya bukan himpunan orang, melainkan himpunan pasangan terurut $(a,b)$ — urutannya penting!
Contoh pegangan: $M\times F$ = semua pasangan (penyuka Mat, penyuka Fis), misalnya $(1,3)=$ (Andi, Citra). Banyak pasangannya:
Asal rumusnya: setiap satu anggota $M$ berpasangan dengan semua $5$ anggota $F$ → $5+5+\dots$ (enam kali) $=6\times5$. Prinsip perkalian! Perhatikan juga $A\times B \neq B\times A$ karena $(a,b)\neq(b,a)$.
6 baris × 5 kolom = 30 pasangan. Arahkan kursor ke sel untuk melacak asal pasangannya.
Hukum-Hukum Aljabar Himpunan
Ekspresi himpunan bisa disederhanakan, seperti $a(b+c)=ab+ac$ di aljabar biasa. Inilah "undang-undang" yang mengatur semua operasi.
Tabel Hukum Lengkap
| Hukum | Bentuk ∪ | Bentuk ∩ |
|---|---|---|
| Identitas | $A\cup\varnothing=A$ | $A\cap U=A$ |
| Idempoten | $A\cup A=A$ | $A\cap A=A$ |
| Komutatif | $A\cup B=B\cup A$ | $A\cap B=B\cap A$ |
| Asosiatif | $(A\cup B)\cup C=A\cup(B\cup C)$ | $(A\cap B)\cap C=A\cap(B\cap C)$ |
| Distributif | $A\cup(B\cap C)=(A\cup B)\cap(A\cup C)$ | $A\cap(B\cup C)=(A\cap B)\cup(A\cap C)$ |
| De Morgan | $(A\cup B)^c=A^c\cap B^c$ | $(A\cap B)^c=A^c\cup B^c$ |
| Involusi | $(A^c)^c=A$ | |
| Komplemen | $A\cup A^c=U$ | $A\cap A^c=\varnothing$ |
Catatan menarik: di aritmetika, $a+(b\cdot c)\neq(a+b)\cdot(a+c)$. Tapi di himpunan, distributif berlaku dua arah — ∪ bisa dibagikan ke ∩ dan sebaliknya. Himpunan lebih "demokratis" daripada bilangan.
Dari mana asalnya? Ganti ∪ dengan "ATAU" dan ∩ dengan "DAN":
= "bukan pintu DAN bukan jendela"
Jika kamu dilarang lewat pintu maupun jendela, artinya kamu harus menghindari keduanya sekaligus. Mengnegasikan "atau" memaksa muncul "dan" — itulah inti Hukum De Morgan. (Ini juga persis hukum De Morgan di logika matematika!)
Mesin akan menyelidiki keempat kemungkinan posisi $x$, satu per satu, lalu membandingkan ruas kiri dan kanan.
| Posisi x | $(A\cup B)^c$ | $A^c\cap B^c$ | Sama? |
|---|---|---|---|
| x ∈ A dan x ∈ B | |||
| x hanya di A | |||
| x hanya di B | |||
| x di luar A dan B |
Kardinalitas & Inklusi–Eksklusi
Pertanyaan pamungkas: "ada berapa banyak?" Ketika himpunan saling beririsan, berhitung butuh trik agar tidak menghitung ganda.
Kardinalitas |A| — dan Masalah Hitung Ganda
Kardinalitas $|A|$ = banyak anggota. $|M|=6$, $|F|=5$, $|P|=4$. Lalu berapa $|M\cup F|$? Kalau asal jumlah: $6+5=11$. Tetapi — Citra dan Dita (absen 3 & 4) masuk di dua-duanya, jadi mereka terhitung dua kali!
Dari mana asalnya? Saat menjumlah $|A|+|B|$, setiap anggota irisan terhitung dua kali (sekali karena ada di A, sekali karena ada di B). Koreksinya: kurangi satu kali, tepat $|A\cap B|$. Rumus ini disebut Prinsip Inklusi–Eksklusi: "masukkan, lalu keluarkan yang gelembung".
Kasus Studi: Kelas 3A (50 mahasiswa) — Tiga Himpunan
Ini contoh pegangan besar kita. Di kelas 3A yang berisi $50$ mahasiswa, survei minat menghasilkan:
$|M\cap F|=12$ · $|M\cap P|=10$ · $|F\cap P|=8$ · $|M\cap F\cap P|=5$
Berapa mahasiswa yang menyukai minimal satu di antara ketiganya? Untuk tiga himpunan, rumusnya bertambah panjang:
Mengapa berakhir dengan "+$|A\cap B\cap C|$\strong{"?} Bayangkan neraca: jumlah awal menghitung irisan ganda (koreksi −), tapi anggota tengah (yang masuk ketiga-tiganya) sempat dihitung $3$ kali lalu dikurangi $3$ kali — jadi hilang total! Harus dia "diangkat" kembali +1 kali.
Tekan Jalankan dan saksikan peta kelas 3A tersusun region demi region — lengkap dengan koreksi hitung gandanya.
Dari data kelas 3A: berapa mahasiswa yang tidak menyukai ketiganya? (Petunjuk: yang ada di luar gabungan. Jawabannya bisa dihitung dari $50$ dikurangi hasil mesin di atas.)
Isi Jawabanmu
Aplikasi: Himpunan di Dalam Mesin
Setiap kali kamu mencari di Google, menyimpan data, atau diberi rekomendasi film — himpunan sedang bekerja diam-diam.
Basis Data (SQL)
Hasil query database adalah himpunan baris. Operator SQL = operator himpunan:
SELECT * FROM mahasiswa WHERE absen IN (1,2,3,4,5,6); -- ∈ UNION -- ∪ INTERSECT -- ∩ EXCEPT -- −Query WHERE minat='M' INTERSECT ... minat='F' tepat menghitung Citra & Dita.
Graf & Jaringan
Jaringan komputer dimodelkan sebagai $G=(V,E)$ — pasangan dua himpunan: simpul $V$ dan sisi $E$.
$E=\{(3,4),(4,8),\dots\}$ (kabel)
Mencari jalur = mencari subset sisi tertentu; kluster = subset simpul yang saling terhubung. Teori graf lahir di atas lantai himpunan.
Probabilitas
Kejadian adalah himpunan hasil. Peluang gabungan dua kejadian langsung mewarisi inklusi–eksklusi:
Asalnya: bagi tiap suku $|{\cdot}|$ di rumus kardinalitas dengan $|S|$ — bentuknya identik. Dua kejadian saling lepas $\Leftrightarrow A\cap B=\varnothing \Leftrightarrow P(A\cup B)=P(A)+P(B)$.
Enam dokumen, lima tag. Setiap tag = satu himpunan dokumen. Susun query dan lihat irisan/gabungan bekerja seperti mesin pencari sungguhan.
Mesin pencari menyimpan indeks terbalik: satu himpunan dokumen per kata kunci. Query kamu dieksekusi sebagai operasi himpunan atas indeks itu — persis mesin-mesin di Bab 4.
Pilih data + keamanan dengan AND → irisan menyisakan satu dokumen: Kriptografi. Lalu ganti OR → gabungan memberi tiga dokumen.
Netflix & Spotify mencocokkanmu dengan pengguna lain lewat kemiripan himpunan selera. Klik minat masing-masing pengguna:
Asalnya: "berapa persen dari total cakupan keduanya yang dipegang bersama". Pembagi $|A\cup B|$ menormalkan skor ke $0$–$1$ agar himpunan besar-kecil bisa dibandingkan adil.
Uji Pemahamanmu
Lima pernyataan benar/salah + satu soal hitung. Kartumu akan "terwarnai" sesuai keberanianmu.
"Salah bukan lawan belajar — dia guru yang paling jujur. Kartu yang memerah tanda bata hari ini adalah rumus yang paling kamu kuasai besok."
Kartu Hafalan Inti
Enam kartu ini adalah seluruh modul yang diringkas. Bawa pulang, tempel di dinding.
$x\in A$ / $x\notin A$ · urutan & duplikat diabaikan.
$A-B$ (bukan) · $A^c=S-A$ · $A\triangle B$ (satu saja)
$|A\times B|=|A|\cdot|B|$
$|\mathcal P(A)|=2^{\,|A|}$
$(A\cap B)^c=A^c\cup B^c$ — "notasi OR membalik jadi AND"
$|A\cup B\cup C|=\Sigma|{\cdot}|-\Sigma|{\cap}{\cdot}|+|A\cap B\cap C|$
Definisi → Venn → Operasi → Hukum → Kardinalitas → Aplikasi. Kalau tersesat, kembali ke satu pertanyaan: "siapa saja anggotanya?" Semua matematika himpunan mengalir dari sana.
Boolean search: AND=∩, OR=∪, NOT=komplemen.