Dalam
matematika,
himpunan adalah segala koleksi benda-benda tertentu yang dianggap sebagai satu kesatuan. Walaupun hal ini merupakan
ide yang sederhana, tidak salah jika himpunan merupakan salah satu
konsep penting dan mendasar dalam matematika modern, dan karenanya, studi mengenai struktur kemungkinan himpunan dan
teori himpunan, sangatlah berguna.
Teori himpunan, yang baru diciptakan pada akhir
abad ke-19, sekarang merupakan bagian yang tersebar dalam pendidikan matematika yang mulai diperkenalkan bahkan sejak tingkat
sekolah dasar.
Teori
ini merupakan bahasa untuk menjelaskan matematika modern. Teori
himp
Irisan dari dua himpunan yang dinyatakan dengan
unan dapat dianggap sebagai dasar yang membangun hampir semua aspek
dari matematika dan merupakan sumber dari mana semua matematika
ditur
diagram Venn
Notasi Himpunan
Hubungan di antara 8 buah set dengan menggunakan diagram Venn
Biasanya, nama himpunan ditulis menggunakan huruf besar, misalnya
S,
A, atau
B, sementara elemen himpunan ditulis menggunakan huruf kecil (
a,
c,
z).
Cara penulisan ini adalah yang umum dipakai, tetapi tidak membatasi
bahwa setiap himpunan harus ditulis dengan cara seperti itu. Tabel di
bawah ini menunjukkan format penulisan himpunan yang umum dipakai.
-
|
Notasi |
Contoh |
Himpunan |
Huruf besar |
![S](http://upload.wikimedia.org/math/5/d/b/5dbc98dcc983a70728bd082d1a47546e.png) |
Elemen himpunan |
Huruf kecil (jika merupakan huruf) |
![a](http://upload.wikimedia.org/math/0/c/c/0cc175b9c0f1b6a831c399e269772661.png) |
Kelas |
Huruf tulisan tangan |
![\mathcal{C}](http://upload.wikimedia.org/math/1/9/2/1923743cb649c1b1f7abfdb2dac3caf2.png) |
Himpunan-himpunan bilangan yang cukup dikenal, seperti bilangan
kompleks, riil, bulat, dan sebagainya, menggunakan notasi yang khusus.
-
Bilangan |
Asli |
Bulat |
Rasional |
Riil |
Kompleks |
Notasi |
![\mathbb{N}](http://upload.wikimedia.org/math/6/2/4/624e4cf68723f677d53e8cf2272f348a.png) |
![\mathbb{Z}](http://upload.wikimedia.org/math/3/f/3/3f3c78f02a9c53f5460f4bcc2e7dd3cb.png) |
![\mathbb{Q}](http://upload.wikimedia.org/math/e/1/b/e1b306c1584733e8bca1e28fdfa9ba3f.png) |
![\mathbb{R}](http://upload.wikimedia.org/math/1/3/4/134676911181af05d24d406f16edf587.png) |
![\mathbb{C}](http://upload.wikimedia.org/math/f/0/b/f0b01fe0a1eec87c634584ac0694fb71.png) |
Simbol-simbol khusus yang dipakai dalam teori himpunan adalah:
-
Simbol |
Arti |
atau ![\varnothing](http://upload.wikimedia.org/math/d/0/9/d096fc15d57854ec89d746709b02e52e.png) |
Himpunan kosong |
![\cup](http://upload.wikimedia.org/math/4/3/2/432c1df69e11aba7c5c5070e7578609f.png) |
Operasi gabungan dua himpunan |
![\cap](http://upload.wikimedia.org/math/e/7/8/e78f632038354aae583f795a73d4e6b8.png) |
Operasi irisan dua himpunan |
, , , ![\supset](http://upload.wikimedia.org/math/0/f/2/0f2c04f82a1eb8e3e371366214579f5b.png) |
Subhimpunan, Subhimpunan sejati, Superhimpunan, Superhimpunan sejati |
![A^C](http://upload.wikimedia.org/math/7/9/7/797305c8a9fb44702f004a111ed79beb.png) |
Komplemen |
![\mathcal{P}(A)](http://upload.wikimedia.org/math/2/2/a/22a8862fa283e85802253967e88b15f1.png) |
Himpunan kuasa |
Himpunan dapat didefinisikan dengan dua cara, yaitu:
- Enumerasi, yaitu mendaftarkan semua anggota himpunan. Jika terlampau banyak tetapi mengikuti pola tertentu, dapat digunakan elipsis (...).
![B = \{ apel,\,jeruk,\,mangga,\,pisang\}](http://upload.wikimedia.org/math/6/e/a/6eaa9bc11416f2f3807245f2fbed7bde.png)
![A = \{ a,\,b,\,c,\,...,\,y,\,z\}](http://upload.wikimedia.org/math/f/3/a/f3a162677360a49bc4f0d4a53c807bbe.png)
![\mathbb{N} = \{1,\,2,\,3,\,4,\,...\}](http://upload.wikimedia.org/math/b/1/7/b17f511542083a8be388f6d3e774bceb.png)
- Pembangun himpunan, tidak dengan mendaftar, tetapi dengan mendeskripsikan sifat-sifat yang harus dipenuhi oleh setiap elemen himpuan tersebut.
![O = \{ u\, |\, u \mbox{ adalah bilangan ganjil} \}](http://upload.wikimedia.org/math/5/2/5/52569475f42ee818c5ec6dc8bc606b2c.png)
![E = \{ x\, |\, x \in \mathbb{Z} \and (x \mbox{ mod } 2 = 0)\}](http://upload.wikimedia.org/math/d/4/4/d4418f3d5e6cdfee4eef22719cf71abe.png)
![P = \{ p\, |\, p \mbox{ adalah orang yang pernah menjabat sebagai Presiden RI} \}](http://upload.wikimedia.org/math/e/8/0/e80ace6112a90791f6fa9225c3fbdeb4.png)
Notasi pembangun himpunan dapat menimbulkan berbagai
paradoks, contohnya adalah himpunan berikut:
![A = \{ x\, |\, x \notin A\}](http://upload.wikimedia.org/math/b/8/1/b81167518fd46420695433dc921c67b2.png)
Himpunan A tidak mungkin ada, karena jika A ada, berarti harus
mengandung anggota yang bukan merupakan anggotanya. Namun jika bukan
anggotanya, lalu bagaimana mungkin A bisa mengandung anggota tersebut.
Himpunan kosong
Himpunan {
apel, jeruk, mangga, pisang} memiliki anggota-anggota
apel,
jeruk,
mangga, dan
pisang.
Himpunan lain, semisal {5, 6} memiliki dua anggota, yaitu bilangan 5
dan 6. Kita boleh mendefinisikan sebuah himpunan yang tidak memiliki
anggota apa pun. Himpunan ini disebut sebagai
himpunan kosong.
Himpunan kosong tidak memiliki anggota apa pun, ditulis sebagai:
![\varnothing = \{ \, \}](http://upload.wikimedia.org/math/b/f/4/bf499c83c4f731bee247bd56c09dcfc2.png)
Relasi antar himpunan
Subhimpunan
Dari suatu himpunan, misalnya
A = {
apel, jeruk, mangga, pisang}, dapat dibuat himpunan-himpunan lain yang elemen-elemennya adalah diambil dari himpunan tersebut.
- {apel, jeruk}
- {jeruk, pisang}
- {apel, mangga, pisang}
Ketiga himpunan di atas memiliki sifat umum, yaitu setiap anggota himpunan itu adalah juga anggota himpunan
A. Himpunan-himpunan ini disebut sebagai
subhimpunan atau
himpunan bagian dari
A. Jadi dapat dirumuskan:
B adalah himpunan bagian dari A jika setiap elemen B juga terdapat dalam A.
![B \subseteq A \equiv \forall_x \, x \in B \rightarrow x \in A](http://upload.wikimedia.org/math/d/c/0/dc0672924acaedf207df8ad6280e8854.png)
Kalimat di atas tetap benar untuk
B himpunan kosong. Maka
![\varnothing](http://upload.wikimedia.org/math/d/0/9/d096fc15d57854ec89d746709b02e52e.png)
juga subhimpunan dari
A.
Untuk sembarang himpunan A,
![\varnothing \subseteq A](http://upload.wikimedia.org/math/b/3/9/b390e76834d84741189fabdb993ebe6c.png)
Definisi di atas juga mencakup kemungkinan bahwa himpunan bagian dari
A adalah
A sendiri.
Untuk sembarang himpunan A,
![A \subseteq A](http://upload.wikimedia.org/math/b/4/4/b444b62e47f299a19ce5782b5a1e5e89.png)
Istilah
subhimpunan dari
A biasanya berarti mencakup
A sebagai subhimpunannya sendiri. Kadang-kadang istilah ini juga dipakai untuk menyebut himpunan bagian dari
A, tetapi bukan
A sendiri. Pengertian mana yang digunakan biasanya jelas dari konteksnya.
Subhimpunan sejati dari
A menunjuk pada
subhimpunan dari
A, tetapi tidak mencakup
A sendiri.
![B \subset A \equiv B \subseteq A \wedge B \neq A](http://upload.wikimedia.org/math/3/a/9/3a93b07baa3edb5f2ccce95505c3dfef.png)
Superhimpunan
Kebalikan dari
subhimpunan adalah
superhimpunan, yaitu himpunan yang lebih besar yang mencakup himpunan tersebut.
![A \supseteq B \equiv B \subseteq A](http://upload.wikimedia.org/math/b/7/f/b7f5576ed704b2a5c3a33c570118ad14.png)
Kesamaan dua himpunan
Himpunan
A dan
B disebut sama, jika setiap anggota
A adalah anggota
B, dan sebaliknya, setiap anggota
B adalah anggota
A.
![A = B \equiv \forall_x\; x \in A \leftrightarrow x \in B](http://upload.wikimedia.org/math/9/f/7/9f71f47c635440f3512d378b3e7b9293.png)
atau
![A = B \equiv A \subseteq B \wedge B \subseteq A](http://upload.wikimedia.org/math/9/e/2/9e2850a7274a5bfcb54ae7d8acc3e91c.png)
Definisi di atas sangat berguna untuk membuktikan bahwa dua himpunan
A dan
B adalah sama. Pertama, buktikan dahulu
A adalah subhimpunan
B, kemudian buktikan bahwa
B adalah subhimpunan
A.
Himpunan Kuasa
Himpunan kuasa atau
himpunan pangkat (
power set) dari
A adalah himpunan yang terdiri dari seluruh himpunan bagian dari
A. Notasinya adalah
![\mathcal{P}(A)](http://upload.wikimedia.org/math/2/2/a/22a8862fa283e85802253967e88b15f1.png)
.
Jika
A = {
apel, jeruk, mangga, pisang}, maka
![\mathcal{P}(A)](http://upload.wikimedia.org/math/2/2/a/22a8862fa283e85802253967e88b15f1.png)
:
{ { },
{apel}, {jeruk}, {mangga}, {pisang},
{apel, jeruk}, {apel, mangga}, {apel, pisang},
{jeruk, mangga}, {jeruk, pisang}, {mangga, pisang},
{apel, jeruk, mangga}, {apel, jeruk, pisang}, {apel, mangga, pisang}, {jeruk, mangga, pisang},
{apel, jeruk, mangga, pisang} }
Banyaknya anggota yang terkandung dalam himpunan kuasa dari
A adalah 2 pangkat banyaknya anggota
A.
![|\mathcal{P}(A)| = 2^{|A|}](http://upload.wikimedia.org/math/9/3/d/93d0448426dea54b4a0a3970bcc67b36.png)
Kelas
Suatu himpunan disebut sebagai
kelas, atau
keluarga himpunan jika himpunan tersebut terdiri dari himpunan-himpunan. Himpunan
![A = \{ \{a,\,b\},\, \{c,\,d,\,e,\,f\},\,\{a,\,c\},\,\{,\}\}](http://upload.wikimedia.org/math/a/2/a/a2a0b3ceed0ff27a32ed7e8504826de5.png)
adalah sebuah keluarga himpunan. Perhatikan bahwa untuk sembarang himpunan
A, maka himpunan kuasanya,
![\mathcal{P}(A)](http://upload.wikimedia.org/math/2/2/a/22a8862fa283e85802253967e88b15f1.png)
adalah sebuah keluarga himpunan.
Contoh berikut,
![P = \{ \{a,\,b\}, c\}](http://upload.wikimedia.org/math/9/2/4/9249291d45b8e5a23e71e42896bc2ae5.png)
bukanlah sebuah kelas, karena mengandung elemen
c yang bukan himpunan.
Kardinalitas
Kardinalitas dari sebuah himpunan dapat dimengerti sebagai ukuran
banyaknya elemen yang dikandung oleh himpunan tersebut. Banyaknya elemen
himpunan
![\{apel, jeruk, mangga, pisang\}](http://upload.wikimedia.org/math/c/0/1/c0153a81356432427102852da0c5bd9b.png)
adalah 4. Himpunan
![\{p, q, r, s\}](http://upload.wikimedia.org/math/b/6/7/b6761918a56406e74c680ddbeafa681a.png)
juga memiliki elemen sejumlah 4. Berarti kedua himpunan tersebut
ekivalen satu sama lain, atau dikatakan memiliki kardinalitas yang sama.
Dua buah himpunan
A dan
B memiliki kardinalitas yang sama, jika terdapat fungsi korespondensi satu-satu yang memetakan
A pada
B. Karena dengan mudah kita membuat fungsi
![\{(apel,\,p),\,(jeruk,\,q),\,(mangga,\,r),\,(pisang,\,s)\}](http://upload.wikimedia.org/math/f/1/8/f18d5fbc53d85a39722a2e143acf3c87.png)
yang memetakan satu-satu dan kepada himpunan
A ke
B, maka kedua himpunan tersebut memiliki kardinalitas yang sama.
Himpunan Denumerabel
Jika sebuah himpunan ekivalen dengan himpunan
![\mathbb{N}](http://upload.wikimedia.org/math/6/2/4/624e4cf68723f677d53e8cf2272f348a.png)
, yaitu himpunan bilangan asli, maka himpunan tersebut disebut
denumerabel. Kardinalitas dari himpunan tersebut disebut sebagai kardinalitas
![\mathfrak{a}](http://upload.wikimedia.org/math/2/3/1/2310024ef60556cb19b956e195ec2c4f.png)
.
Himpunan semua bilangan genap positif merupakan himpunan denumerabel,
karena memiliki korespondensi satu-satu antara himpunan tersebut dengan
himpunan bilangan asli, yang dinyatakan oleh
![2n\,](http://upload.wikimedia.org/math/d/7/e/d7e6be4b30546dba6ffd0e0e2bced213.png)
.
![A = \{ 2,\, 4,\, 6,\, 8,\, ...\}](http://upload.wikimedia.org/math/f/f/4/ff47dc09498bad5f3bc536c7db5804ee.png)
Himpunan Berhingga
Jika sebuah himpunan memiliki kardinalitas yang kurang dari kardinalitas
![\mathfrak{a}](http://upload.wikimedia.org/math/2/3/1/2310024ef60556cb19b956e195ec2c4f.png)
, maka himpunan tersebut adalah himpunan berhingga.
Himpunan Tercacah
Himpunan disebut tercacah jika himpunan tersebut adalah berhingga atau denumerabel.
Himpunan Non-Denumerabel
Himpunan yang tidak tercacah disebut himpunan non-denumerabel. Contoh
dari himpunan ini adalah himpunan semua bilangan riil. Kardinalitas
dari himpunan jenis ini disebut sebagai kardinalitas
![\mathfrak{c}](http://upload.wikimedia.org/math/a/f/5/af5b073c55060c089be2e36ee414b551.png)
. Pembuktian bahwa bilangan riil tidak denumerabel dapat menggunakan
pembuktian diagonal.
Himpunan bilangan riil dalam interval (0,1) juga memiliki kardinalitas
![\mathfrak{c}](http://upload.wikimedia.org/math/a/f/5/af5b073c55060c089be2e36ee414b551.png)
,
karena terdapat korespondensi satu-satu dari himpunan tersebut dengan
himpunan seluruh bilangan riil, yang salah satunya adalah
![y=tan(\pi x - \frac{1}{2}\pi)](http://upload.wikimedia.org/math/6/6/7/667d7429187cec7cbb0d6a123056e0f6.png)
.
Fungsi Karakteristik
Fungsi karakteristik menunjukkan apakah sebuah elemen terdapat dalam sebuah himpunan atau tidak.
![\chi_{A}(x) = \begin{cases} 1,\quad\mbox{jika } x \in A \\ 0,\quad\mbox{jika } x \notin A \end{cases}](http://upload.wikimedia.org/math/f/f/f/fff9a20c8de1b5f93d5c3eaa2faabe11.png)
Jika
![A = \{apel,\,jeruk,\,mangga,\,pisang\}](http://upload.wikimedia.org/math/e/e/c/eecb16bcf76d5a8c0160751d6ae78216.png)
maka:
![\chi_A(apel) = 1](http://upload.wikimedia.org/math/9/3/2/9329eff477228561d6f531c1a0b08074.png)
![\chi_A(durian) = 0](http://upload.wikimedia.org/math/1/8/d/18d9e118948e1f9157bac50e2760c64a.png)
![\chi_A(utara) = 0](http://upload.wikimedia.org/math/8/b/c/8bcc90548e8fbc1a45b8d1dbc29243cf.png)
![\chi_A(pisang) = 1](http://upload.wikimedia.org/math/c/3/d/c3db98477f349e342b1429e50b75cf08.png)
![\chi_A(singa) = 0](http://upload.wikimedia.org/math/2/4/1/2411ef67d02ead75944b22b35a82d3c9.png)
Terdapat korespondensi satu-satu antara himpunan kuasa
![\mathcal{P}(S)](http://upload.wikimedia.org/math/9/8/0/980298ee88ca6acb372f460a384de03f.png)
dengan himpunan dari semua fungsi karakteristik dari
S.
Hal ini mengakibatkan kita dapat menuliskan himpunan sebagai barisan
bilangan 0 dan 1, yang menyatakan ada tidaknya sebuah elemen dalam
himpunan tersebut.
Representasi Biner
Jika konteks pembicaraan adalah pada sebuah himpunan semesta
S, maka setiap himpunan bagian dari
S bisa dituliskan dalam barisan angka 0 dan 1, atau disebut juga bentuk biner.
Bilangan biner menggunakan angka 1 dan 0 pada setiap
digitnya. Setiap posisi bit dikaitkan dengan masing-masing elemen
S,
sehingga nilai 1 menunjukkan bahwa elemen tersebut ada, dan nilai 0
menunjukkan bahwa elemen tersebut tidak ada. Dengan kata lain,
masing-masing bit merupakan fungsi karakteristik dari himpunan tersebut.
Sebagai contoh, jika himpunan
S = {
a, b, c, d, e, f, g},
A = {
a, c, e, f}, dan B = {
b, c, d, f}, maka:
Himpunan Representasi Biner
---------------------------- -------------------
a b c d e f g
S = { a, b, c, d, e, f, g } --> 1 1 1 1 1 1 1
A = { a, c, e, f } --> 1 0 1 0 1 1 0
B = { b, c, d, f } --> 0 1 1 1 0 1 0
Cara menyatakan himpunan seperti ini sangat menguntungkan untuk melakukan operasi-operasi himpunan, seperti
union,
interseksi, dan
komplemen, karena kita tinggal menggunakan
operasi bit untuk melakukannya.
- Operasi gabungan
setara dengan A or B
- Operasi irisan
setara dengan A and B
- Operasi komplemen
setara dengan not A
Representasi himpunan dalam bentuk biner dipakai oleh kompiler-kompiler
Pascal dan juga
Delphi.
unkan.