Himpunan kabur

Dalam matematika, himpunan kabur atau himpunan fuzi (Inggris: fuzzy set) adalah himpunan objek-objek dengan status keanggotaan yang tidak dapat ditentukan secara tegas. Konsep himpunan kabur diperkenalkan secara terpisah di tahun 1965 oleh Lotfi A. Zadeh, sebagai perumuman dari konsep himpunan yang standar. Di tahun yang sama, Salii mengembangkan struktur bernama L-relation yang lebih umum; struktur ini ia teliti dari sudut pandang aljabar abstrak.

Pada teori himpunan klasik (standar), status keanggotaan elemen dalam suatu himpunan ditentukan dari kondisi benar-salah — antara elemen tersebut termasuk anggota himpunan, atau tidak termasuk. Di sisi lain, teori himpunan kabur memperbolehkan status keanggotaan yang parsial. Sebagai contoh, batu pirus yang berwarna toska dapat dianggap sebagai anggota himpunan semua benda hijau, walau tidak sepenuhnya. Status keanggotaan ini selanjutnya dapat dideskripsikan dengan suatu fungsi keanggotaan yang bernilai real pada selang [0, 1]. Teori himpunan kabur dapat diterapkan pada bidang ilmu dengan informasi yang tidak pasti atau tidak lengkap. Himpunan kabur, bersama dengan relasi kabur, saat ini telah diterapkan dalam bidang linguistik, pengambilan keputusan, bioinformatika, dan clustering.

Definisi

Himpunan kabur dapat didefinisikan sebagai pasangan $(X,\,\mu )$, dengan $X$ adalah sebarang himpunan (yang umumnya disyaratkan tidak kosong) dan $\mu \colon X\rightarrow [0,1]$ adalah fungsi keanggotaan. Himpunan $X$ (terkadang disimbolkan oleh $\Omega$) disebut dengan semesta pembicaraan, dan untuk setiap $x\in U,$ nilai $\mu (x)$ disebut derajat dari keanggotaan elemen $x$ dalam $(X,\mu )$. Lebih lanjut, $x$ disebut

• tidak termasuk dalam himpunan kabur $(X,\,\mu )$ jika $\mu (x)=0$,
• sepenuhnya termasuk jika $\mu (x)=1$,
• sebagian termasuk jika $0<\mu (x)<1$.

Dari definisi di atas, beberapa definisi lain didapat dibuat untuk mempermudah diskusi mengenai operasi-operasi terkait himpunan kabur. Beberapa definisi tersebut antara lain:

• Himpunan kabur $A$ dikatakan kosong ($A=\varnothing$) ketika (dalam artian jika dan hanya jika)

$\forall x\in U:\mu _{A}(x)=m(x)=0$

• Dua himpunan kabur $A$ dan $B$ dikatakan sama ($A=B$) ketika

$\forall x\in U:\mu _{A}(x)=\mu _{B}(x)$

• Himpunan kabur $A$ dikatakan subset dari himpunan $B$ ($A\subseteq B$) ketika

$\forall x\in U:\mu _{A}(x)\leq \mu _{B}(x)$