Penelitian dengan judul “Karakteristik Himpunan Potongan Dari Himpunan Fuzzy Bernilai Semilatis” dilakukan oleh Harina Orpa Lefina Monim dibawah bimbingan Prof. Dr. Sri Wahyuni, MS. dan Dr. Indah Emilia W., M.Si. pada tahun 2018.
Berikut ini merupakan intisari dari penelitian tersebut.
INTISARI
Semilatis merupakan himpunan terurut parsial yang setiap pasang elemen mempunyai infimum atau supremum. Semilatis yang dilengkapi relasi ekuivalensi dengan definisi
untuk setiap
dengan
,
dan
berturut-turut filter yang dibangkitkan oleh
menyebabkan terbentuknya kelas-kelas ekuivalensi. Koleksi kelas-kelas ekuivalensi disebut himpunan kuosien dan dinotasikan
. Himpunan kuosien
merupakan poset terhadap relasi urutan inklusi. Himpunan kuosien umumnya tidak membentuk semilatis.
Pada himpunan fuzzy bernilai semilatis pada
diambil
semilatis yang dilengkapi dengan relasi ekivalensi
seperti di atas. Untuk
, himpunan bagian dari domain X disebut himpunan potongan
. Koleksi semua himpunan potongan yang dinotasikan dengan
, membentuk poset terhadap relasi inklusi. Invers fungsi
dari
, dinotasikan
, menentukan fungsi karakteristik untuk setiap
. Fungsi karakteristik dari
dengan
adalah
yang di definisikan:
Selanjutnya, koleksi fungsi karakteristik yang diindeks oleh yaitu
, merupakan koleksi himpunan bagian dari himpunan tak kosong
. Koleksi
digunakan untuk membangun teorema sintesa melalui himpunan fuzzy bernilai semilatis
. Akan dikaji syarat cukup koleksi
merupakan koleksi semua himpunan potongan dari
. Pada sisi lain disajikan konsep sistem semi klosur dan sistem dualnya. Selanjutnya, diselidiki kapan koleksi semua potongan merupakan sistem semi klosur dan sistem dual semi klosur. Lebih lanjut lagi disajikan hubungan isomorfisma antara koleksi himpunan potongan dan koleksi bayangan. Berdasarkan sifat tersebut dikaji syarat perlu dan cukup koleksi potongan dari dua himpunan fuzzy bernilai semilatis
.
Hasil yang diperoleh adalah koleksi potongan dari himpunan fuzzy bernilai semilatis merupakan keluarga himpunan bagian
yang bersifat semi klosur yaitu klosur yang diperlemah atas himpunan tak kosong
. Hasil lainnya adalah dua himpunan fuzzy bernilai semilatis mempunyai koleksi potongan yang bersesuaian.
Kata-kata kunci: semilatis, himpunan fuzzy, himpunan potongan, sistem semi klosurdan sistem dual semi klosur.