• Tidak ada hasil yang ditemukan

Sifat-sifat gabungan ideal halus dalam aljabar BCI

N/A
N/A
Protected

Academic year: 2021

Membagikan "Sifat-sifat gabungan ideal halus dalam aljabar BCI"

Copied!
54
0
0

Teks penuh

(1)SIFAT-SIFAT GABUNGAN IDEAL HALUS DALAM ALJABAR BCI. SKRIPSI. OLEH ANGGI FAIZTA WIDIYATIKA NIM.11610021. JURUSAN MATEMATIKA FAKULTAS SAINS DAN TEKNOLOGI UNIVERSITAS ISLAM NEGERI MAULANA MALIK IBRAHIM MALANG 2016.

(2) SIFAT-SIFAT GABUNGAN IDEAL HALUS DALAM ALJABAR BCI. SKRIPSI. Diajukan Kepada Fakultas Sains dan Teknologi Universitas Islam Negeri Maulana Malik Ibrahim Malang untuk Memenuhi Salah Satu Persyaratan dalam Memperoleh Gelar Sarjana Sains (S.Si). Oleh ANGGI FAIZTA WIDIYATIKA NIM. 11610021. JURUSAN MATEMATIKA FAKULTAS SAINS DAN TEKNOLOGI UNIVERSITAS ISLAM NEGERIMAULANA MALIK IBRAHIM MALANG 2016.

(3) SIFAT-SIFAT GABUNGAN IDEAL HALUS DALAM ALJABAR BCI. SKRIPSI. Oleh ANGGI FAIZTA WIDIYATIKA NIM. 11610021. TelahDiperiksadanDisetujuiuntuk Diuji Tanggal 30 Mei 2016. Pembimbing I,. Pembimbing II,. Dr. Abdussakir, M.Pd NIP. 19751006 200312 1 001. Abdul Aziz, M.Si NIP. 197603318 200604 1 002. Mengetahui, KetuaJurusanMatematika. Dr. Abdussakir, M.Pd NIP. 19751006 200312 1 001.

(4) SIFAT-SIFAT GABUNGAN IDEAL HALUS DALAM ALJABR BCI. SKRIPSI. Oleh: ANGGI FAIZTA WIDIYATIKA NIM. 11610021. Telah Dipertahankan di Depan Dewan Penguji Skripsi dan Dinyatakan Diterima sebagai Salah Satu Persyaratan untuk Memperoleh Gelar Sarjana Sains (S.Si) Tanggal: 30 Mei 2016. Penguji Utama. : H. Wahyu H. Irawan, M.Pd. ………………………... Ketua Penguji. : Hairur Rahman, M.Si. ………………………... Sekretaris Penguji : Dr. Abdussakir, M.Pd. ………………………... Anggota Penguji. ………………………... : Abdul Aziz, M.Si. Mengetahui, Ketua Jurusan Matematika. Dr. Abdussakir, M.Pd NIP. 19751006 200312 1 001.

(5) PERNYATAAN KEASLIAN TULISAN. Saya yang bertandatangan di bawahini: Nama. : Anggi Faizta Widiyatika. NIM. : 11610021. Jurusan. : Matematika. Fakultas. : SainsdanTeknologi. Judul Skripsi. : Sifat-Sifat Gabungan Ideal Halus dalam Aljabar BCI. Menyatakandengansebenarnyabahwaskripsi benarmerupakanhasilkaryasayasendiri, tulisanataupikiran. yang. sayatulisinibenar-. bukanmerupakanpengambilan. orang. lain. data, yang. sayaakuisebagaihasiltulisanataupikiransayasendiri, kecualidenganmencantumkansumbercuplikanpadadaftarpustaka.Apabila. di. kemudianhariterbuktiataudapatdibuktikanskripsiinihasiljiplakan, makasayabersediamenerimasanksiatasperbuatantersebut.. Malang, 11 April 2016 Yang membuatpernyataan,. Anggi Faizta Widiyatika NIM. 11610021.

(6) MOTO. “Janganlah bersikap lemah, dan jangan (pula) kamu bersedih hati, padahal kamulah orang-orang yang paling tinggi derajatnya, jika kamu orang-orang yang beriman” (Q.S. Ali Imron:139).. “You can if you think you can, because it’s your life, you’re the boss”..

(7) PERSEMBAHAN. Skripsi ini peneliti persembahkan kepada: Kedua orangtua serta pahlawan tercinta, Ayah Faizin dan Ibu Widayati, adik tersayang Afif Faizta Nurrohmah dan Ariqoh Faizta Nuraiaini, serta keluarga tercinta..

(8) KATA PENGANTAR Assalamu’alaikum Warahmatullahi Wabarakatuh Syukur Alhamdulillah peneliti haturkan kehadirat Allah Swt. yang telah melimpahkan. rahmat,. taufik,. dapatmenyelesaikanstudi. sertahidayah-Nya,. di. sehinggapeneliti. Jurusan. Matematika,. FakultasSainsdanTeknologiUniversitas Islam NegeriMaulana Malik Ibrahim Malang, sekaligusmenyelesaikanskripsi yang berjudul “Sifat-sifat Gabungan Ideal Halus dalam Aljabar BCI” ini dengan baik. Selanjutnyapeneliti haturkanucapanterimakasihseiring doa danharapanjaza kumullah. ahsanal. jaza’. telahmembantuselesainyaskripsiini.. Ucapan. kepadasemuapihak terimakasih. ini. yang peneliti. sampaikankepada: 1.. Prof. Dr. H. Mudjia Rahardjo,M.Si selaku rektor Universitas Islam Negeri Maulana Malik Ibrahim Malang.. 2.. Dr. drh. Bayyinatul Muchtaromah, M.Siselaku dekan Fakultas Sains dan Teknologi Universitas Islam Negeri Maulana Malik Ibrahim Malang.. 3.. Dr. Abdussakir, M.Pd selaku ketua Jurusan Matematika Universitas Islam Negeri Maulana Malik Ibrahim Malang sekaligus dosen pembimbing I yang senantiasa dengan sabar memberikan arahan dan pengalaman yang berharga kepada peneliti.. 4.. Abdul Aziz, M.Si selaku dosen pembimbing II yang telah banyak memberikan arahan dan pengalaman yang berharga kepada peneliti.. viii.

(9) 5.. Segenap civitas akademika Jurusan Matematika, FakultasSainsdanTeknologi, Universitas Islam NegeriMaulana Malik Ibrahim Malang terutama seluruh dosen, terima kasih atas segenap ilmu dan bimbingannya.. 6.. Orangtua, adik, serta keluarga besarpeneliti yang selalu memberikan doa dan motivasi yang tiada henti kepada peneliti.. 7.. Sahabat-sahabat peneliti, Eka Fitri Aprilia, Miftakhul Khoiriyah, Nia Cahyani, dan Prastya Wahyu Putriserta Dyah Retno Galuh dan Helda Dwi “Trio Ricuh” terima kasih telah menjadi sahabat penelitiyang selalu memberikan dukungan, doa, semangat dan kenangan yang indah kepada peneliti.. 8.. Seluruh teman-teman Jurusan Matematika angkatan 2011 “ABELIAN”, Trio Stalker dan teman-teman kost SA 9, terima kasih atas dukungannya serta kenangan dan pengalaman yang tidak terlupakan.. 9.. Semua pihak yang tidak dapat peneliti sebutkan satu persatu yang ikut membantu dalam menyelesaikan skripsi ini baik berupa materiil maupun moril. Peneliti berharapsemogaskripsiini dapat memberikanmanfaatkepada para. pembaca khususnya bagi peneliti secarapribadi. Wassalamu’alaikum Warahmatullahi Wabarakatuh Malang, April 2016. Peneliti. ix.

(10) DAFTAR ISI HALAMAN JUDUL HALAMAN PENGAJUAN HALAMAN PERSETUJUAN HALAMAN PENGESAHAN HALAMAN PERNYATAAN KEASLIAN TULISAN HALAMAN MOTO HALAMAN PERSEMBAHAN KATA PENGANTAR ..................................................................................... viii DAFTAR ISI ...................................................................................................... x DAFTAR TABEL ............................................................................................ xii ABSTRAK....................................................................................................... xiii ABSTRACT ................................................................................................... xiiv. โ€ซ ู…ู„ุฎุตโ€ฌ................................................................................................................ xv BAB I PENDAHULUAN ................................................................................... 2 1.1Latar Belakang .................................................................................... 2 1.2Rumusan Masalah................................................................................ 3 1.3Tujuan Penelitian ................................................................................. 3 1.4Manfaat Penelitian ............................................................................... 3 1.5 Metode Penelitian ............................................................................... 4 1.6 Sistematika Penulisan ......................................................................... 4. BAB II KAJIAN PUSTAKA ............................................................................. 6 2.1 Himpunan ........................................................................................... 6 2.2 Operasi Biner ...................................................................................... 7 2.3 Aljabar BCI ........................................................................................ 7 2.4 Konsep Aljabar BCI dalam al-Quran ................................................ 14. xi.

(11) BAB III PEMBAHASAN................................................................................. 16 3.1Himpunan Halus (Soft Set)................................................................. 16 3.2 Gabungan q-Ideal Halus ................................................................... 22 3.3 Gabungan Ideal Halus pada Aljabar BCI di dalam Al-Quran............. 33 BAB IV PENUTUP .......................................................................................... 36 4.1 Kesimpulan ...................................................................................... 36 4.2Saran ................................................................................................. 37. DAFTAR PUSTAKA DAFTAR RIWAYAT HIDUP. xi.

(12) DAFTAR TABEL Tabel 2.1 Tabel ๐‘‹Terhadap Operasi ∗ ................................................................. 8 Tabel 2.2 Tabel aljabar BCI (๐‘‹, ∗, 0) ................................................................ 15 Tabel 2.3 Tabel cayley (0,1,2) Terhadap Operasi∗............................................. 16 Tabel 3.1 Tabel Cayley ๐‘‹ = {0, ๐‘Ž, ๐‘} Terhadap Operasi ∗................................ 26 Tabel 3.2 Tabel Cayley 5×5............................................................................... 28 Tabel 3.3 Tabel Cayley dari X .......................................................................... 30. xii.

(13) ABSTRAK Widiyatika, A.F. 2016.Sifat-sifat Gabungan Ideal Halus dalam Aljabar BCI. Skripsi. Jurusan Matematika, Fakultas Sains dan Teknologi, Universitas Islam Negeri Maulana Malik Ibrahim Malang. Pembimbing: (I) Dr. Abdussakir, M.Pd. (II) Abdul Aziz, M.Si. Kata kunci: Aljabar BCI, himpunan halus, gabungan ideal halus, gabungan qideal halus. Matematika merupakan ilmu yang sangat memungkinkan untuk dikembangkan di semua bidangnya terutama di bidang aljabar. Aljabar sendiri cakupannya cukup luas untuk dikembangkan, salah satu perkembangannya adalah pada bidang aljabar abstrak. Pada perkembangan aljabar abstrak banyak ditemukan aljabar-aljabar baru, salah satunya adalah aljabar BCI. Dari tahun ke tahun aljabar semakin berkembang, sehingga pada tahun 2014ada temuan baru yaituUnion soft q-Ideals in BCI-Algebra, dan sifat-sifat yang terkait serta di dalamnya persyaratan gabungan ideal halus untuk menjadi gabungan q-ideal halus dan membangun karakteristik dari gabungan q-ideal. Tujuan penelitian ini adalah untuk memperjelas sifat dari teorema yang sudah ada pada penelitian sebelumnya Union soft q-Ideals in BCI-Algebra, sehingga didapatkan simpulan yang lebih terperinci dari penelitian sebelumnya. Hasil dari penelitian ini adalah: A. Setiap gabungan q-ideal halusadalah gabungan ideal halusdan gabungan aljabar ideal. B. Jika ๐น๐ด adalah U-soft q-ideal atas ๐‘ˆ maka ๐น๐ต juga U-soft q-idealatas ๐‘ˆ.Misal ๐น{0} ∈ ๐‘†(๐‘ˆ) dan ๐น{0} adalah U-soft q-ideal atas ๐‘ˆ, maka setiap U-soft ideal adalah U-soft q-ideal atas ๐‘ˆ.. xiii.

(14) ABSTRACT Widiyatika, A.F. 2016. Properties Union of Soft Ideal in BCI-Algebra. Thesis. Department of Mathematics, Faculty of Science and Technology, Maulana Malik Ibrahim State Islamic University of Malang. Supervisor: (I) Dr. Abdussakir, M.Pd. (II) Abdul Aziz, M.Si. Keywords:BCI-algebras, soft set, union soft ideal, union soft q-ideal. Mathematics is the science that can be developed in all it fields, especially in the field of algebra. Algebra scope is wide enough to be developed, one of the development is in the field of abstract algebra. In the development of abstract algebra new kinds of algebra, one of which is a BCI algebra. From year to year algebra is growing, so that in 2014 there are new findings namely Union soft q-Ideals in BCI-Algebra, and the properties involved and in which the requirements of union soft ideal to be union soft q-ideal and build characteristics of q-ideal combination. The purpose of this study was to clarify the property of the theorem already existed in prior research ofUnion softq-Ideals in BCIAlgebra, so a more detailed conclusions from previous studies can to be obtained. The results of this study are: 1. Every union soft q-ideal isunion soft idealandunion soft algebra. 2. If ๐น๐ด isunion soft q-idealover๐‘ˆthen๐น๐ต is union soft q-idealover๐‘ˆ. Let๐น{0} ∈ ๐‘†(๐‘ˆ)and ๐น{0}isunion soft q-idealover๐‘ˆ,then everyunion soft idealisunion soft q-idealover๐‘ˆ.. xiv.

(15) โ€ซู…ู„ุฎุตโ€ฌ โ€ซู„ู€โ€ฌ. โ€ซโ€ช.ูขู ูกูฆโ€ฌุงู„ุฎุตุงุฆุตโ€ฌ. โ€ซโ€ชUnionโ€ฌููŠโ€ชBCI-โ€ฌโ€ฌ. โ€ซูˆุฏูŠุชูƒุง โ€ช ุŒโ€ฌุบูƒูŠ ูุงุฆุฒโ€ฌ โ€ซโ€ช.Algebraโ€ฌุญุจุซุฌุงู…ุนูŠโ€ช.โ€ฌุดุนุจุฉ ุงู„ุฑูŠุงุถูŠุงุชโ€ช ุŒโ€ฌูƒู„ูŠุฉ ุงู„ุนู„ูˆู… ูˆุงู„ุชูƒู†ูˆู„ูˆุฌูŠุงโ€ช ุŒโ€ฌุงุฌู„ุงู…ุนุฉ ุงุฅู„ุณุงู„ู…ูŠุฉ ุงุญู„ูƒูˆู…ูŠุฉโ€ฌ โ€ซู…ูˆุงู„ู†ุง ู…ุงู„ูƒ ุฅุจุฑุงู‰ูŠู… ู…ุงุงู„ู†ุฌ โ€ช.โ€ฌุงู…ู„ุดุฑู โ€ช:โ€ฌุงู„ุฏูƒุชูˆุฑ ุนุจุฏ ุงู„ุดุงูƒุฑ ุนุจุฏ ุงู„ุนุฒูŠุฒ ุงู…ู„ุงุฌุณุชุฑูŠ โ€ชุŒโ€ฌโ€ฌ โ€ซุงู„ูƒู„ู…ุงุชโ€ฌ. โ€ซโ€ชq-Idealโ€ฌโ€ฌ. โ€ซโ€ชSoftโ€ฌโ€ฌ. โ€ซุงู„ุฑุฆูŠุณูŠุฉโ€ชBCI-algebras, soft set, union soft ideal, union soft q-ideal :โ€ฌโ€ฌ. โ€ซุงู„ุฑูŠุงุถูŠุงุช ู‰ูŠ ุงู„ุนู„ู… ุงู„ุฐูŠ ู…ูŠูƒู† ู…ู† ุชุทูˆูŠุฑ ูŠู ูƒุงูุฉ ุงุฌู…ู„ุงุงู„ุช ูˆุฎุงุตุฉ ูŠู ุฌู…ุงู„ ุงุฌู„ุฑุจ โ€ช.โ€ฌุงุฌู„ุฑุจโ€ฌ โ€ซู†ุทุงู‚ ูˆุงุณุน ู…ุจุง ูŠูƒููŠ ู„ุชูƒูˆู† ุงู…ู„ุชู‚ุฏู…ุฉโ€ช ุŒโ€ฌูˆุงุญุฏุฉ ู…ู† ุชุทูˆูŠุฑ ู‰ูˆ ูŠู ุฌู…ุงู„ ุงุฌู„ุฑุจ โ€ช.โ€ฌูŠู ุชุทูˆุฑ ุงุฌู„ุฑุจ ุงุฌู…ู„ุฑุฏโ€ฌ โ€ซุชูˆุฌุฏ ุงุฌู„ุฑุจ ุงุฌู„ุฏูŠุฏโ€ช ุŒโ€ฌูˆุงุญุฏุฉ ู…ู†ู‡ุง ู‡ ูŠโ€ชBCI-Algebraโ€ฌู…ู† ุนุงู… ุฅู‰ู„ ุงู„ุนุงู…ุงุฌู„ุฑุจ ูŠู†ู…ูˆโ€ช ุŒโ€ฌุชู‰ ุฃู†ูˆ โ€ชูขู ูก4โ€ฌโ€ฌ โ€ซู‰ู†ุงูƒ ุงูƒุชุดุงูุงุช ุฌุฏูŠุฏุฉ ุฃู† โ€ชunion soft q-idealโ€ฌูŠูโ€ช ุŒBCI-Algebraโ€ฌูˆุฎุตุงุฆุต ุงู…ู„ุดุงุฑูƒุฉูˆุงู„ุฐูŠโ€ฌ โ€ซู…ุชุทู„ุจุงุชโ€ชunion soft idealโ€ฌู„ูƒูŠ ูŠูƒูˆู†โ€ชunion soft q-idealโ€ฌูˆุจู†ุงุก ุฎุตุงุฆุตโ€ฌ. โ€ซโ€ชUnion soft q-ideal.โ€ฌโ€ฌ. โ€ซู‰ูˆ ุชูˆุถูŠุญ ุฎุตุงุฆุต ู†ุธุฑูŠุฉ ู…ูˆุฌูˆุฏุฉ ุจุงู„ูุนู„ ูŠู ุณุงุจู‚โ€ฌ โ€ซูˆูƒุงู† ุงู„ุบุฑุถ ู‰ุฐู‡ ุงู„ุฏุฑุงุณุฉโ€ฌ โ€ซุงู„ุจุญูˆุซุงู„ุณุงุจู‚ุชโ€ชunion soft q-idealโ€ฌูŠูโ€ชุŒBCI-Algebraโ€ฌูุงุญู„ุตูˆู„ ุนู„ู‰ ู†ุชุงุฆุฌ ุฃูƒุซุฑโ€ฌ โ€ซุงู„ุจุญูˆุซโ€ฌ โ€ซุชูุตูŠุงู„ู…ู†ุงู„ุฏุฑุงุณุงุช ุงู„ุณุงุจู‚ุฉ โ€ช.โ€ฌู†ุชุงุฆุฌ ู‰ุฐู‡ ุงู„ุฏุฑุงุณุฉโ€ช ุŒโ€ฌู‰ูŠโ€ช:โ€ฌโ€ฌ โ€ซโ€ช Aโ€ฌูƒู„โ€ชUnion soft q-idealโ€ฌู‰ูˆโ€ชUnion soft idealโ€ฌูˆโ€ช.union soft algebraโ€ฌโ€ฌ โ€ซโ€ช . Bโ€ฌุงู† ูƒุงู† ๐ด๐นู‰ูˆโ€ชUnion soft q-idealโ€ฌุนู„ู‰ โ€ช Uโ€ฌู…ูƒุง๐ต๐นุฌูˆูƒุงโ€ชUnion soft q-idealโ€ฌุนู„ู‰ โ€ชUโ€ฌโ€ฌ โ€ซุงู…ู„ุซู„โ€ช๐น{0} ∈ ๐‘†(๐‘ˆ) .โ€ฌูˆ}โ€ช๐น{0โ€ฌู‰ูˆ โ€ช,Union soft q-idealโ€ฌุนู„ู‰๐‘ˆู…ุช ูƒู„ โ€ช Union soft idealโ€ฌู‰ูˆโ€ฌ โ€ซโ€ชUnion soft q-idealโ€ฌุนู„ู‰โ€ชUโ€ฌโ€ฌ. โ€ซโ€ชxvโ€ฌโ€ฌ.

(16) BAB I PENDAHULUAN 1.1 Latar Belakang Perkembangan zaman menuntut berkembangnya ilmu pengetahuan dan teknologi, tidak terkecuali di Indonesia. Di Indonesia terdapat banyak ilmu pengetahuan yang memiliki peranan penting untuk kemajuan, salah satu ilmu yang memiliki peranan penting dalam menunjang kemajuan ilmu pengetahuan dan teknologi adalah matematika.Matematika merupakan ilmu universal yang mendasari perkembangan teknologi modern, mempunyai peran penting dalam berbagai disiplin dan memajukan daya pikir manusia. Perkembangan pesat di bidang teknologi informasi dan komunikasi dewasa ini dilandasi oleh perkembangan matematika di bidang teori bilangan, aljabar, analisis, teori peluang, dan diskrit. Untuk mengusai dan menciptakan teknologi di masa depan diperlukan penguasaan matematika yang kuat sejak dini(Anonim, 2006). Perkembangan ilmu pengetahuan dan teknologi juga dijelaskan dalam alQuran surat Yunus ayat 101, sebagai berikut:. ๏ƒˆ๏€๏ƒจ๏€ฅ๏€จ๏€ฃ๏ฒ๏ƒฃ๏‚๏ƒ๏ƒ ๏’๏€ค๏€ฃ๏€ฃ๏ณ๏‚Œ๏€ค๏ด๏‚๏‚’๏ƒŽ๏ƒป๏ƒ…๏–๏‚บ๏ต๏ฑ๏‚ป๏น๏Š๏‚ก๏‚ก๏€น๏€ค๏€ฃ๏ƒ‡๏ƒš๏ƒถ๏‚‘๏†๏ป๏€ค๏€ฃ๏ต๏ฒ๏€ด๏€ค๏ด๏‚๏ต๏ฒ๏ƒ“๏ƒ๏Ÿ๏ƒธ๏ƒณ๏ƒจ๏€ฟ๏ƒ ๏๏‚ป๏ด๏‚ƒ๏†๏น๏€ค๏€ฃ๏ƒข๏‚‘๏ƒค๏‚‹๏‚–๏™๏€น๏€ค๏€ฃ๏ต๏ฒ๏ ๏ด๏ƒฃ๏€ท๏‘๏ƒถ๏ฑ๏ณ๏€ฅ๏‚ž๏ท๏ด๏ก๏ฑ๏ƒฃ๏š๏ƒ๏‚๏ƒท๏ณ๏ƒฃ๏‚ƒ๏ƒ‡๏ƒŠ๏ƒ‰๏ƒŠ๏ƒˆ Artinya:Katakanlah: "Perhatikanlah apa yang ada di langit dan di bumi. tidaklah bermanfaat tanda kekuasaan Allah dan rasul-rasul yang memberi peringatan bagi orang-orang yang tidak beriman". Ayat tersebut menjelaskan tentang pentingnya perkembangan ilmu pengetahuan dan teknologi yang diawali dengan perintah untuk memperhatikan tanda-tanda kekuasaan Allah baik di. 1. langit. maupun di. bumi,dengan.

(17) 2 memperhatikan ciptaan Allah akan menambah keimanan kepada-Nya serta menambah pengetahuan dan wawasan dalam perkembangan ilmu pengetahuan dan teknologi yang akan sangat bermanfaat untuk kehidupan manusia di bumi, seperti halnya ilmu matematika. Matematika sangat memungkinkan untuk dikembangkan di semua bidangnya terutama di bidang aljabar. Aljabar merupakan satu cabang ilmu matematika yang masih terbagi lagi menjadi beberapa cabang ilmu, salah satu diantaranya adalah aljabar abstrak. Pada aljabar abstrak diperkenalkan tentang konsep struktur aljabar dan sifat-sifatnya. Struktur aljabar merupakan himpunan tak kosong dengan satu atau lebih relasi ekuivalensi dan satu atau lebih operasi biner dengan aksioma-aksioma tertentu (Anggrayni, 2010:1). Pada perkembangan aljabar abstrak banyak ditemukan aljabar-aljabar baru, salah satunya adalah aljabar BCI yang akan dibahas pada penelitian ini.Pada tahun 1966, Y. Imai dan K. Iseki memperkenalkan perkembangan dari struktur aljabar, yaitu Aljabar BCK. Pada tahun yang sama, K. Iseki memperkenalkan gagasan baru, yaitu Aljabar BCI yang merupakan perumusan dari Aljabar BCK sehingga Aljabar BCK termuat di dalam Aljabar BCI (Endah, 2011:4). Dari tahun ke tahun aljabar semakin berkembang, sehingga pada tahun 2014 Kyeong Sun Yang dan Sun Shin Ahnmemperkenalkan tentang Union soft q-Ideals in BCI-Algebra, dan memeriksa terkait sifatnya. Mereka memberikan persyaratan gabungan ideal halus untuk menjadi gabungan q-ideal halus dan membangun karakteristik dari gabungan q-ideal (Yang dan Ahn, 2014:2860). Berdasarkan uraian di atas, aljabar sebagai salah satu bidang matematika perlu dikembangkan secara terus-menerus. Pada penelitian sebelumnyaYang dan.

(18) 3 Ahn (2014) menjelaskan tentang definisi, teorema dan lemma dari q-ideal dalam aljabar BCI. Namun banyak dari teorema yang tidak dibuktikan dan ada beberapa teorema yang dirasa terlalu singkat, sehingga penulis tertarik untuk memperjelas sifat dari teorema yang sudah ada yang dibatasi sampai gabungan q-ideal halus. Berdasarkan latar belakang di atas penelitimengambil judul “Sifat-sifat Gabungan Ideal Halus dalam Aljabar BCI”.. 1.2 Rumusan Masalah Berdasarkan latar belakang di atas, maka rumusan masalah dalam skripsi ini adalah bagaimana sifat-sifat gabungan ideal halus dalam aljabar BCI?. 1.3 Tujuan Penelitian Tujuan penelitian ini adalah menjelaskan sifat-sifat gabungan ideal halus dalam aljabar BCI.. 1.4 Manfaat Penelitian Adapun manfaat yang dapat diperoleh dari penelitian ini adalah: 1. Bagi Penulis Penelitian ini digunakan sebagai tambahan informasi dan wawasan pengetahuan tentang sifat-sifat gabunganq-ideal halus pada aljabar BCI. 2. Bagi Lembaga Hasil penelitian ini dapat digunakan sebagai bahan kepustakaan yang dijadikan sebagai saran pengembangan wawasan keilmuan khususnya pada Jurusan Matematika bidang aljabar..

(19) 4 3. Bagi Pengembangan Ilmu Hasil penelitian ini dapat digunakan sebagai bahan pembanding pihak yang ingin mengetahui lebih banyak tentang sifat-sifat gabungan q-ideal halus pada aljabar BCI.. 1.5 Metode Penelitian Metode yang digunakan dalam penelitian ini adalah studi literatur yang berupa buku-buku dan jurnal-jurnal ilmiah, diantaranya tahapannya yaitu: 1. Mengumpulkan kajian dari buku-buku, jurnal-jurnal dan hasil penelitian berupa teorema, dalil, sifat, dan lain-lain yang berhubungan dengan sifat-sifat gabungan q-ideal halus dalam Aljabar BCI. Jurnal utama yang digunakan adalah jurnal yang berjudul Union Soft q-Ideals in BCI-Algebras dari Kyeong Sun Yang dan Sun Shin Ahn’. 2. Menjabarkan definisi himpunan halus. 3. Menjabarkan definisi subset halus. 4. Menjelaskan Union soft q-Ideals yang memuat definisi, teorema, lemma dan sifat-sifatnya. 1.6 Sistematika Penulisan Sistematika penulisan digunakan untuk mempermudah dalam memahami intisari dari skripsi ini yang terbagi menjadi lima bagian, yaitu: Bab I Pendahuluan Pada bab ini akan diuraikan tentang latar belakang, rumusan masalah, tujuan penelitian, manfaat penelitian, metode penelitian, dan sistematika penulisan..

(20) 5 Bab II Kajian Pustaka Bagian ini menjelaskan tentang himpunan, grup, aljabar BCI, dan sifatsifat aljabar BCI yang terkait dengan q-ideal. Bab III Pembahasan Bagian ini menjelaskan tentang Ideal halus dan sifat-sifat ideal halus pada Aljabar BCI menggunakan teorema dan lemma. Bab IV Penutup Pada bab ini dibahas tentang kesimpulan dari pembahasan hasil penelitian yang telah dibahas dengan dilengkapi dengan saran-saran yang berkaitan dengan penelitian ini..

(21) 6 BAB II KAJIAN PUSTAKA 2.1 Himpunan Kumpulan suatu objek yang mempunyai ciri dan karakteristik yang sama dalam hal ini dinamakan himpunan. Misalkan suatu x menyatakan anggota dari himpunan A maka dinotasikan dengan “๐‘ฅ ∈ ๐ด". Misalkan y menyatakan bukan anggota dari himpunanA maka dinotasikan “๐‘ฆ ๏ƒ๐ด". Sedangkan himpunan yang tidak mempunyai anggota disebut himpunan kosong, yang dinotasikan dengan ๏ฆ atau {} (Mas’oed, 2013:2-3). Definisi 1 Diketahui A dan B adalah dua himpunan dimana anggota A juga terdapat di B, disimbolkan ๐‘ฅ ∈ ๐ด → ๐‘ฅ ∈ ๐ต maka A disebut subset terhadap B (๐ด ๏ƒ๐ต) (Raisinghania dan Aggarwal, 1980:3). Contoh 1 Diketahui himpunan ๐ต = {1,2,3,4}dan ๐ด = {1,3}. Maka ๐ด ๏ƒ ๐ต karena semua anggota A ada di B dan ๐ต ≠ ๐ด. Definisi 2 Diketahui A dan B adalah himpunan. Jika ๐ด ๏ƒ๐ต dan ๐ต ๏ƒ๐ด maka A dan B dikatakan sama, ditulis ๐ด = ๐ต. Jika ๐ด ๏ƒ๐ต dan ๐ด ≠ ๐ต maka A dikatakan subset sejati dari B, ditulis ๐ด ๏ƒŒ ๐ต(Raisinghania dan Aggarwal, 1980:3). Contoh 2 1. Jika ๐ด = a, b, c dan ๐ต = c, b, a , ๐ด ๏ƒ๐ต dan ๐ต ๏ƒ๐ดmaka ๐ด = ๐ต. 2. Jika ๐ด = {1, 3}dan ๐ต = {1, 2, 3, 4}, ๐ด ๏ƒ๐ต dan๐ด ≠ ๐ต maka ๐ด ๏ƒŒ ๐ต. Penjelasan tentang himpunan juga tertera dalam al-Quran surat an-Nuur ayat 45 yang berbunyi:. 6.

(22) 7. ๏‚ช๏€ก๏€ค๏€ฃ๏ต๏ฒ๏ด๏€ฌ๏ฎ๏€ฝ๏น๏ป๏‚จ๏€๏ƒค๏€ฎ๏€ท๏ฐ๏‚ญ๏€ฏ๏€ก๏€ฃ๏น๏‚Š๏ ๏ƒ๏ฉ๏‚๏€ฆ๏ƒค๏€ก๏€ค๏‚จ๏‚๏€จ๏Ž๏ƒฅ๏ซ๏ƒท๏๏ƒ๏Š๏ณ๏ƒน๏ ๏‚จ๏‚๏ƒ“๏ƒ…๏‚ด๏ƒด๏Š๏ด๏‚ƒ๏€ด๏‚’๏ฎ๏€ฟ๏ด๏ƒฃ๏‚พ๏ƒ๏ญ๏ƒ๏š๏ƒด๏ƒœ๏ด๏€ฏ๏Ž๏ƒฅ๏ซ๏ƒท๏๏ƒ๏‚๏ต๏ฒ๏ ๏‚จ๏‚๏ƒ“๏ƒ…๏‚ด๏ƒด๏Š๏ด๏‚ƒ๏€ด๏‚’๏ฎ๏€ฟ๏ด๏ƒฃ๏ƒˆ๏ƒป๏ƒท๏€ฌ๏ณ๏€ฃ๏ƒด๏Ÿ๏ƒ๏‚‘๏Ž๏ƒฅ๏ซ๏ƒท๏๏ƒ๏‚๏ต๏ฒ ๏ ๏‚จ๏‚๏ƒ“๏ƒ…๏‚ด๏ƒด๏Š๏ด๏‚ƒ๏€ฃ๏‚’๏ฎ๏€ฟ๏ด๏ƒฃ๏€ธ๏ƒฌ๏ด๏€ฏ๏ƒถ๏‚‘๏ฒ๏€ฆ๏€ด๏ƒŸ๏€ฌ๏ƒจ๏€ฝ๏ƒธ๏‚ƒ๏ณ๏‚†๏‚ช๏€ก๏€ค๏€ฃ๏€ค๏ด๏‚๏ƒข๏ƒค๏€ก๏€ค๏ด๏‚ฑ๏ฏ๏‚„๏€ด๏‚จ๏ก๏ƒŽ๏€ฉ๏‚ฉ๏€ก๏€ค๏€ฃ๏€ด๏‚’๏ฎ๏€ฟ๏ด๏ƒฃ๏ƒˆ๏ฅ๏€๏ƒ ๏€ฒ๏€ฆ๏ƒค๏ƒณ๏ƒ“๏ธ๏‚ซ๏ƒ–๏‚๏‚ƒ๏ƒ๏‚‰๏ณ๏€ฅ๏ƒ‡๏ƒ๏ƒŽ๏ƒˆ Artinya: Dan Allah Telah menciptakan semua jenis hewan dari air, Maka sebagian dari hewan itu ada yang berjalan di atas perutnya dansebagian berjalan dengan dua kaki sedang sebagian (yang lain) berjalan dengan empat kaki. Allah menciptakan apa yang dikehendaki-Nya, Sesungguhnya Allah Maha Kuasa atas segala sesuatu. Dalam ayat 45 surat an-Nuur ini dijelaskan sekelompok, segolongan, atau sekumpulan makhluk yang disebut hewan. Dalam kelompok hewan tersebut ada sekelompok yang berjalan tanpa kaki, dengan dua kaki, empat atau bahkan lebih sesuai yang dikehendaki Allah (Abdussakir, 2007:110).. 2.2 Operasi Biner Definisi 3 Diberikan๐บ adalah himpunan tak kosong.suatupemetaan ๐บ × ๐บ ke ๐บ,untuk setiap pasangan ๐‘Ž, ๐‘ anggota himpunan dari๐บ, dinotasikan ๐‘Ž ∗ ๐‘ ∈ ๐บmaka ∗disebut operasi biner pada ๐บ(Raisinghania dan Aggarwal, 1980:27). Contoh 3 DiberikanN, yaitu himpunan semua bilangan asli, dan∗adalah operasi padaNdengan syarat ๐‘Ž, ๐‘ ๏ƒŽ๐‘ต, ๐‘Ž ∗ ๐‘ = ๐‘Ž + ๐‘.Karena ๐‘Ž๏ƒŽ๐‘ต dan๐‘ ๏ƒŽ๐‘ต maka penjumlahan dari kedua bilangan asli akan menghasilkan bilangan asli, dinotasikan ๐‘Ž + ๐‘๏ƒŽ๐‘ต . Jadi operasi ∗ merupakan operasi biner pada N. 2.3 Aljabar BCI Definisi 4.

(23) 8 Misalkan X adalah himpunan tak kosong dengan operasi biner ∗ dan konstanta 0. Maka struktur aljabar (X, ∗, 0) dikatakan aljabar BCI jika memenuhi: (a1) ๏€ข๐‘ฅ, ๐‘ฆ, ๐‘ง ∈ ๐‘‹ ( ๐‘ฅ ∗ ๐‘ฆ ∗ ๐‘ฅ ∗ ๐‘ง ) ∗ ๐‘ง ∗ ๐‘ฆ = 0 , (a2) ๏€ข๐‘ฅ, ๐‘ฆ ∈ ๐‘‹. ๐‘ฅ∗ ๐‘ฅ∗๐‘ฆ. ∗๐‘ฆ =0 ,. (a3) ๏€ข๐‘ฅ ∈ ๐‘‹ ๐‘ฅ ∗ ๐‘ฅ = 0 , (a4) ๏€ข๐‘ฅ, ๐‘ฆ ∈ ๐‘‹ (๐‘ฅ ∗ ๐‘ฆ = 0, ๐‘ฆ ∗ ๐‘ฅ = 0 → ๐‘ฅ = ๐‘ฆ) (Lee, 2013:4186). Contoh 4 Berdasarkan definisi di atas peneliti memberikan contoh sebagai berikut: Tunjukkan bahwa. ๐‘‹, ∗, 0 adalah aljabar BCI, dimana ๐‘‹ = 0, 1, 2 .. Definisi ∗ mengikuti tabel di bawah ini: Tabel 2.1 Tabel๐‘‹ Terhadap Operasi∗. ∗. 0. 1. 2. 0. 0. 2. 1. 1. 1. 0. 2. 2. 2. 1. 0. Jawab: i.. Akan ditunjukkan ∀๐‘ฅ, ๐‘ฆ, ๐‘ง ๐œ– ๐‘‹, berlaku. ๐‘ฅ∗๐‘ฆ ∗ ๐‘ฅ∗๐‘ง. ∗ ๐‘ง∗๐‘ฆ = 0. untuk ๐‘ฅ = 0, maka diperoleh. untuk ๐‘ฅ = 1, maka diperoleh. 0∗0 ∗ 0∗1. ∗ 1∗0 =0. 1∗0 ∗ 1∗0. ∗ 0∗0 = 0. 0∗0 ∗ 0∗2. ∗ 2∗0 =0. 1∗0 ∗ 1∗2. ∗ 2∗0 = 0. 0∗1 ∗ 0∗0. ∗ 0∗1 =0. 1∗1 ∗ 1∗0. ∗ 0∗1 = 0. 0∗1 ∗ 0∗1. ∗ 1∗1 =0. 1∗1 ∗ 1∗1. ∗ 1∗1 = 0. 0∗1 ∗ 0∗2. ∗ 2∗1 =0. 1∗1 ∗ 1∗2. ∗ 2∗1 = 0.

(24) 9 0∗2 ∗ 0∗0. ∗ 0∗2 =0. 1∗2 ∗ 1∗2. ∗ 2∗1 = 0. 0∗2 ∗ 0∗1. ∗ 1∗2 =0. 1∗2 ∗ 1∗0. ∗ 0∗2 = 0. 0∗2 ∗ 0∗2. ∗ 2∗2 =0. 1∗2 ∗ 1∗1. ∗ 1∗2 = 0. untuk ๐‘ฅ = 2, maka diperoleh 2∗0 ∗ 2∗0. ∗ 0∗0 =0. 1∗2 ∗ 1∗2. ∗ 2∗2 = 0. 2∗0 ∗ 2∗1. ∗ 1∗0 =0. 2∗1 ∗ 2∗2. ∗ 2∗1 = 0. 2∗0 ∗ 2∗2. ∗ 2∗0 =0. 2∗2 ∗ 2∗0. ∗ 0∗2 = 0. 2∗1 ∗ 2∗0. ∗ 0∗1 =0. 2∗2 ∗ 2∗1. ∗ 1∗2 = 0. 2∗1 ∗ 2∗1. ∗ 1∗1 =0. 2∗2 ∗ 2∗2. ∗ 2∗2 = 0. Jadi, terbukti bahwa ∀๐‘ฅ, ๐‘ฆ, ๐‘ง ๐œ– ๐‘‹, berlaku ii.. iii.. ๐‘ฅ∗๐‘ฆ ๐‘ฅ∗๐‘ง. Akan ditunjukkan ∀๐‘ฅ, ๐‘ฆ ๐œ– ๐‘‹, berlaku ๐‘ฅ ∗ ๐‘ฅ ∗ ๐‘ฆ. ∗ ๐‘ง ∗ ๐‘ฆ = 0.. ∗ ๐‘ฆ = 0.. Untuk ๐‘ฅ = 0, ๐‘ฆ = 0 maka diperoleh 0 ∗ 0 ∗ 0. ∗0=0. Untuk ๐‘ฅ = 0, ๐‘ฆ = 1 maka diperoleh 0 ∗ 0 ∗ 1. ∗1=0. Untuk ๐‘ฅ = 0, ๐‘ฆ = 2 maka diperoleh 0 ∗ 0 ∗ 2. ∗2=0. Untuk ๐‘ฅ = 1, ๐‘ฆ = 0 maka diperoleh 1 ∗ 1 ∗ 0. ∗0=0. Untuk ๐‘ฅ = 1, ๐‘ฆ = 1 maka diperoleh 1 ∗ 1 ∗ 1. ∗1=0. Untuk ๐‘ฅ = 1, ๐‘ฆ = 2 maka diperoleh 1 ∗ 1 ∗ 2. ∗2=0. Untuk ๐‘ฅ = 2, ๐‘ฆ = 0 maka diperoleh 2 ∗ 2 ∗ 0. ∗0 =0. Untuk ๐‘ฅ = 2, ๐‘ฆ = 1 maka diperoleh 2 ∗ 2 ∗ 1. ∗1 =0. Untuk ๐‘ฅ = 2, ๐‘ฆ = 2 maka diperoleh 2 ∗ 2 ∗ 2. ∗2 =0. Dari tabel 2.1, jelas bahwa ∀๐‘ฅ ๐œ– ๐‘‹ berlaku ๐‘ฅ ∗ ๐‘ฅ = 0.

(25) 10 iv.. Dari tabel 2.1, jelas bahwa ∀๐‘ฅ ๐œ– ๐‘‹, jika ๐‘ฅ ∗ ๐‘ฆ = 0 dan ๐‘ฅ ∗ ๐‘ฆ = 0, maka ๐‘ฅ=๐‘ฆ. Terbukti bahwa (๐‘‹, ∗, 0) adalah aljabar BCI. Definisi 5 Dalam setiap aljabar BCI X didefinisikan ๐‘ฅ ≤ ๐‘ฆ jika dan hanya jika ๐‘ฅ ∗ ๐‘ฆ = 0. Teorema 1 Pada aljabar BCI Xberlaku sifat-sifat di bawah ini: (b1) ∀๐‘ฅ ∈ ๐‘‹ ๐‘ฅ ∗ 0 = ๐‘ฅ , (b2) (∀๐‘ฅ, ๐‘ฆ, ๐‘ง ∈ ๐‘‹) ((๐‘ฅ ∗ ๐‘ฆ) ∗ ๐‘ง = (๐‘ฅ ∗ ๐‘ง) ∗ ๐‘ฆ), (b3) (∀๐‘ฅ, ๐‘ฆ ∈ ๐‘‹)(0 ∗ (๐‘ฅ ∗ ๐‘ฆ) = (0 ∗ ๐‘ฅ) ∗ (0 ∗ ๐‘ฆ)), (b4) (∀๐‘ฅ, ๐‘ฆ ∈ ๐‘‹)(๐‘ฅ ∗ (๐‘ฅ ∗ (๐‘ฅ ∗ ๐‘ฆ)) = ๐‘ฅ ∗ ๐‘ฆ), (b5)(∀๐‘ฅ, ๐‘ฆ, ๐‘ง ∈ ๐‘‹)(๐‘ฅ ≤ ๐‘ฆ → ๐‘ฅ ∗ ๐‘ง ≤ ๐‘ฆ ∗ ๐‘ง, ๐‘ง ∗ ๐‘ฆ ≤ ๐‘ง ∗ ๐‘ฅ), (b6) (∀๐‘ฅ, ๐‘ฆ, ๐‘ง ∈ ๐‘‹)((๐‘ฅ ∗ ๐‘ง) ∗ (๐‘ฆ ∗ ๐‘ง) ≤ ๐‘ฅ ∗ ๐‘ฆ), (b7)(∀๐‘ฅ, ๐‘ฆ, ๐‘ง ∈ ๐‘‹)(0 ∗ (0 ∗ ((๐‘ฅ ∗ ๐‘ง) ∗ (๐‘ฆ ∗ ๐‘ง))) = (0 ∗ ๐‘ฆ) ∗ (0 ∗ ๐‘ฅ)), (b8). ∀๐‘ฅ, ๐‘ฆ ∈ ๐‘‹. 0∗ 0∗ ๐‘ฅ∗๐‘ฆ. = 0 ∗ ๐‘ฆ ∗ 0 ∗ ๐‘ฅ (Yang. dan Ahn,. 2014). Definisi 5 Suatu subset tidak kosong S dari aljabar BCI X disebut sub-algebra dari X jika๐‘ฅ ∗ ๐‘ฆ ∈ ๐‘† untuk setiap๐‘ฅ, ๐‘ฆ ๏ƒŽ ๐‘†. Contoh 5 Diberikan ๐‘‹ = {0, 1, 2} Ambil ๐‘† = 1, 2 Misalkan ๐‘ฅ = 1 dan ๐‘ฆ = 2.

(26) 11 ๐‘ฅ∗๐‘ฆ ∈๐‘† 1∗2∈๐‘† 2∈๐‘† Definisi 6 Suatu subset ๐ด tidak kosong dari aljabar BCI disebut ideal X jika memenuhi: (d1) 0 ∈ ๐ด, (d2) (∀๐‘ฅ ∈ ๐‘‹)(∀๐‘ฆ ∈ ๐ด)(๐‘ฅ ∗ ๐‘ฆ ∈ ๐ด → ๐‘ฅ ∈ ๐ด). Dengan catatan bahwa setiap ๐ด yang ideal dari BCI-aljabar X memenuhi: (∀๐‘ฅ ∈ ๐‘‹)(∀๐‘ฆ ∈ ๐ด)(๐‘ฅ ≤ ๐‘ฆ → ๐‘ฅ ๏ƒŽ๐ด)(Yang dan Ahn, 2014). Contoh 6 Diberikan aljabar BCI (๐‘‹, ∗, 0), tunjukkan apakah๐ด = {0, 1}ideal dari (๐‘‹, ∗, 0)menggunakan tabel di bawah ini: Tabel 2.2Tabel aljabar BCI (๐‘‹, ∗, 0). ∗. 0. 1. 2. 0. 0. 2. 1. 1. 1. 0. 2. 2. 2. 1. 0. Jawab: Akan ditunjukkan. ๐‘ฅ ∗ ๐‘ฆ ∈ ๐ด → ๐‘ฅ ∈ ๐ด . ∀๐‘ฅ ∈ ๐‘‹ dan ∀๐‘ฆ ∈ ๐ด. syarat ๐‘ฅ ≤ ๐‘ฆ → ๐‘ฅ๏ƒŽ ๐ด untuk๐‘ฅ = 0 maka diperoleh: 0 ∗ 0 = 0 ∈ ๐ด → 0 ∈ ๐ด 0∗1 =0 ∈๐ด →0 ∈๐ด untuk๐‘ฅ = 1 maka diperoleh: 1 ∗ 1 = 1 ∈ ๐ด → 1 ∈ ๐ด 1∗0 =1 ∈๐ด →1 ∈๐ด. dengan.

(27) 12 maka terbukti bahwa ๐ด = {0, 1} ideal dari (๐‘‹, ∗, 0). Definisi 7 Subset A tidak kosong dari aljabar BCI X disebut q-idealXjika memenuhi (d1) 0 ∈ ๐ด,dan (d2)(∀๐‘ฅ, ๐‘ฆ, ๐‘ง ∈ ๐‘‹)(๐‘ฅ ∗ (๐‘ฆ ∗ ๐‘ง) ∈ ๐ดdan๐‘ฆ ∈ ๐ด → ๐‘ฅ ∗ ๐‘ง ∈ ๐ด)(Yang dan Ahn, 2014:2859). Contoh 7 Diberikan aljabar BCI (๐‘‹, ∗, 0), tunjukkan apakah ๐ด = {0, 1, 2}q-ideal dari (๐‘‹, ∗, 0), dengan menggunakan tabel di bawah ini: Tabel 2.3Tabel cayley (0,1,2) Terhadap Operasi∗. ∗. 0. 1. 2. 0. 0. 2. 1. 1. 1. 0. 2. 2. 2. 1. 0. Jawab: Akan ditunjukkan (๐‘ฅ ∗ (๐‘ฆ ∗ ๐‘ง)) ∈ ๐ด dan๐‘ฆ ∈ ๐ด → ๐‘ฅ ∗ ๐‘ง ∈ ๐ด. Untuk ๐‘ฅ = 0 maka diperoleh: 0 ∗ 0 ∗ 0 = 0 ∈ ๐ด → 0 ∗ 0 = 0 ๏ƒŽ ๐ด. 0 ∗ 0 ∗ 1 = 1 ∈ ๐ด → 0 ∗ 1 = 2 ๏ƒŽ ๐ด. 0 ∗ 0 ∗ 2 = 2 ∈ ๐ด → 0 ∗ 2 = 1 ๏ƒŽ ๐ด. 0 ∗ 1 ∗ 0 = 2 ∈ ๐ด → 0 ∗ 0 = 0 ๏ƒŽ ๐ด. 0 ∗ 2 ∗ 0 = 1 ∈ ๐ด → 0 ∗ 0 = 0 ๏ƒŽ ๐ด. Untuk ๐‘ฅ = 1 maka diperoleh: 1 ∗ 0 ∗ 0 = 1 ∈ ๐ด → 1 ∗ 0 = 1๏ƒŽ ๐ด. 1 ∗ 0 ∗ 1 = 2 ∈ ๐ด → 1 ∗ 1 = 0 ๏ƒŽ ๐ด. 1 ∗ 0 ∗ 2 = 0 ∈ ๐ด → 1 ∗ 2 = 2 ๏ƒŽ ๐ด..

(28) 13 1 ∗ 1 ∗ 0 = 2 ∈ ๐ด → 1 ∗ 1 = 0 ๏ƒŽ ๐ด. 1 ∗ 2 ∗ 0 = 1 ∈ ๐ด → 1 ∗ 0 = 1 ๏ƒŽ ๐ด. Untuk ๐‘ฅ = 2 maka diperoleh: 2 ∗ 0 ∗ 0 = 2 ∈ ๐ด → 2 ∗ 0 = 2 ๏ƒŽ ๐ด. 2 ∗ 0 ∗ 1 = 0 ∈ ๐ด → 2 ∗ 1 = 1 ๏ƒŽ ๐ด. 2 ∗ 0 ∗ 2 = 1 ∈ ๐ด → 2 ∗ 2 = 0 ๏ƒŽ ๐ด. 2 ∗ 1 ∗ 0 = 0 ∈ ๐ด → 2 ∗ 1 = 1 ๏ƒŽ ๐ด. 2 ∗ 2 ∗ 0 = 0 ∈ ๐ด → 2 ∗ 0 = 2 ๏ƒŽ ๐ด. Maka terbukti ๐ด = {0, 1, 2}adalah q-ideal dari (๐‘‹, ∗, 0). Teorema 2 Diberikan I adalah ideal dari Aljabar BCI X. Pernyataan berikut ekuivalen: ๐‘– I adalah q-ideal dari X ๐‘–๐‘– ∀๐‘ฅ, ๐‘ฆ ∈ ๐‘‹ ๐‘ฅ ∗ 0 ∗ ๐‘ฆ ∈ ๐ผ → ๐‘ฅ ∗ ๐‘ฆ ∈ ๐ผ , ๐‘–๐‘–๐‘– ∀๐‘ฅ, ๐‘ฆ, ๐‘ง ∈ ๐‘‹ ๐‘ฅ ∗ ๐‘ฆ ∗ ๐‘ง ∈ ๐ผ → ๐‘ฅ ∗ ๐‘ฆ ∗ ๐‘ง ∈ ๐ผ (Yang dan Ahn, 2014). Bukti: (๐’Š)dan(๐’Š๐’Š) Berdasarkan definisi 10, I dikatakan ideal jika 0 ∈ ๐ผdan (∀๐‘ฅ, ๐‘ฆ, ๐‘ง ∈ ๐‘‹)(๐‘ฅ ∗ (๐‘ฆ ∗ ๐‘ง) ∈ ๐ผdan๐‘ฆ ∈ ๐ผ → ๐‘ฅ ∗ ๐‘ง ∈ ๐ผ). Misal๐‘ฆ = 0 maka (d2) jadi ๐‘ฅ ∗ (0 ∗ ๐‘ง) ∈ ๐ผdan๐‘ฆ ∈ ๐ผ → ๐‘ฅ ∗ ๐‘ง ∈ ๐ผhal ini sesuai dengan pertnyataan (๐‘–๐‘–). ๐’Š๐’Š dan ๐’Š๐’Š๐’Š Dari (๐‘–๐‘–๐‘–) ∀๐‘ฅ, ๐‘ฆ, ๐‘ง ∈ ๐‘‹ ๐‘ฅ ∗ ๐‘ฆ ∗ ๐‘ง ∈ ๐ผ → ๐‘ฅ ∗ ๐‘ฆ ∗ ๐‘ง ∈ ๐ผ maka. misal ๐‘ง = 0. ๐‘ฅ∗ ๐‘ฆ∗0 ∈ ๐ผ → ๐‘ฅ∗๐‘ฆ ∗0 ∈ ๐ผ = ๐‘ฅ∗ 0∗๐‘ฆ ∈ ๐ผ → ๐‘ฅ∗๐‘ฆ ∈. ๐ผ sesuai dengan (๐‘–๐‘–)..

(29) 14 (๐’Š๐’Š๐’Š)dan(๐’Š) Berdasarkan definisi 10, I dikatakan ideal jika 0 ∈ ๐ผdan (∀๐‘ฅ, ๐‘ฆ, ๐‘ง ∈ ๐‘‹)(๐‘ฅ ∗ (๐‘ฆ ∗ ๐‘ง) ∈ ๐ผdan๐‘ฆ ∈ ๐ด → ๐‘ฅ ∗ ๐‘ง ∈ ๐ผ) Akan dibuktikan: ๐‘ฅ ∗ ๐‘ง ∈ ๐ผ Dari(๐‘–๐‘–๐‘–) diketahui ๐‘ฅ ∗ ๐‘ฆ ∗ ๐‘ง ∈ ๐ผ berdasarkan sifat (b2) (∀๐‘ฅ, ๐‘ฆ, ๐‘ง ∈ ๐‘‹) ((๐‘ฅ ∗ ๐‘ฆ) ∗ ๐‘ง = (๐‘ฅ ∗ ๐‘ง) ∗ ๐‘ฆ) maka diperoleh ๐‘ฅ ∗ ๐‘ง ∗ ๐‘ฆ ∈ ๐ผ. Selanjutnya dibawa ke (c2) (∀๐‘ฅ ∈ ๐‘‹)(∀๐‘ฆ ∈ ๐ด)(๐‘ฅ ∗ ๐‘ฆ ∈ ๐ด → ๐‘ฅ ∈ ๐ด) maka diperoleh๐‘ฅ ∗ ๐‘ง ∈ ๐ผ. Dari ketiga bukti di atas maka terbukti ๐‘– , ๐‘–๐‘– , dan (๐‘–๐‘–๐‘–) adalah ekuivalen.. 2.4 Konsep Aljabar BCI dalam Al-Quran Konsep aljabar BCI juga dijelaskan dalam al-Quran Surat Annisa’ ayat 80:. ๏ ๏‚จ๏‚๏ƒ†๏ƒฌ๏ƒ๏ƒœ๏ƒฃ๏‚ƒ๏ด๏๏ฑ๏ƒŸ๏‚™๏‚ง๏‚๏€น๏€ค๏€ฃ๏ƒด๏‚‰๏ณ๏€ฉ๏ณ๏ƒน๏ด๏ƒญ๏€ค๏ณ๏ƒ›๏ฒ๏€ฆ๏‚ฉ๏€ก๏€ค๏€ฃ๏€จ๏ ๏ด๏‚๏ต๏ฒ๏€ด๏‚’๏‚ฏ๏€ผ๏ต๏ฑ๏ณ๏€ฟ๏€ก๏€ค๏น๏Š๏ณ๏ƒน๏น๏€ท๏‚ป๏ฏ๏™๏ƒน๏€ฝ๏น๏‚™๏ƒถ๏‚‘๏ฒ๏€ฆ๏ƒถ๏Ž๏ƒŽ๏ง๏ƒธ๏‚Š๏ฎ๏€ฝ๏ด๏ƒฆ๏€ค๏š๏ƒ ๏‚Š๏ƒ๏ƒฟ๏น๏ญ๏ƒ‡๏ƒ‘๏ƒ‰๏ƒˆ Artinya:“Barangsiapa yang mentaati Rasul itu, Sesungguhnya ia Telah mentaati Allah. dan barangsiapa yang berpaling (dari ketaatan itu), Maka kami tidak mengutusmu untuk menjadi pemelihara bagi mereka[Rasul tidak bertanggung jawab terhadap perbuatan-perbuatan mereka dan tidak menjamin agar mereka tidak berbuat kesalahan].” Dalam ayat di atas menegaskan hendaklah ditanamkan ke dalam hati dan jiwa anak-anak. Dimulai dengan mengerjakan perkara yang wajib dulu lalu mengerjakan yang sunnah. Konsep ilmu dalam aljabar BCImenyerupai dengan konsep sunnah, misalnya shalat sunnah. Jika dalam melaksanakan shalat sunnah seseorang tersebut harus beragama Islam maka dalam konsep aljabar ini selalu berhubungan.

(30) 15 dengan himpunan tak kosong.Tiap-tiap sholat sunnah yang dikerjakan memiliki ketentuan waktu berbeda, misal sholat idul fitri diaksanakan pada tanggal 1 syawal (Endah, 2010). Dalam pembahasan tentang aljabar tiap sub-bab (Himpunan, Operasi Biner, Ideal, Aljabar BCI) selalu mempunyai aksioma dan ketentuan yang berbeda. Misal mengenai aljabar BCI, maka aksioma-aksioma yang harus dipenuhi adalah: i.. ๐‘ฅ∗๐‘ฆ ∗ ๐‘ฅ∗๐‘ง. ii. ๐‘ฅ ∗ ๐‘ฅ ∗ ๐‘ฆ. ∗ ๐‘ง∗๐‘ฆ = 0. ∗๐‘ฆ =0. iii. ๐‘ฅ ∗ ๐‘ฅ = 0 iv. ๐‘ฅ ∗ ๐‘ฆ = 0dan๐‘ฆ ∗ ๐‘ฅ = 0 → ๐‘ฅ = ๐‘ฆ, ∀๐‘ฅ, ๐‘ฆ, ๐‘ง ๐œ– ๐‘‹(Lee, 2013:4186). Konsep di atas telah menunjukkan bahwa dalam al-Quran juga terdapat konsep yang menyerupai konsep Aljabar BCI..

(31) BAB III PEMBAHASAN Pada bab ini dibahas mengenai ideal halus dalam aljabar BCI dan sifatsifat ideal halus dalam aljabar BCI. 3.1 Himpunan Halus (Soft Set) Diberikan ๐‘ˆ sebagai himpunan semesta awal dan ๐ธ merupakan himpunan parameter-parameter.. Pasangan. dari. (๐‘ˆ, ๐ธ). disebut. soft. universe.. Diberikan๐‘ƒ(๐‘ˆ)sebagai himpunan kuasa dari ๐‘ˆ dan ๐ด, ๐ต, ๐ถ, … ๏ƒ๐ธ(Yang dan Ahn, 2014). Definisi 1 Soft set FA pada U didefinisikan sebagai berikut: ๐น๐ด โ‰”. ๐‘ฅ, ๐‘“๐ด ๐‘ฅ | ๐‘ฅ ∈ ๐ธ, ๐‘“๐ด ๐‘ฅ ∈ ๐‘ƒ ๐‘ˆ ,. dimana ๐‘“๐ด : ๐ธ → ๐‘ƒ ๐‘ˆ ; ๐‘“๐ด ๐‘ฅ = ∅ jika ๐‘ฅ๏ƒ๐ด.Fungsi ๐‘“๐ด dinamakan fungsi aproksimasi dari himpunan halus ๐น๐ด . Untuk selanjutnya ๐‘†(๐‘ˆ) adalah himpunan dari semua soft sets pada ๐‘ˆ.(Yang dan Ahn, 2014). Contoh 1 Diberikan ๐‘ˆ = {1,2,3} dan ๐ธ = {๐‘ , ๐‘ก} Maka ๐‘ƒ ๐‘ˆ = ∅, 1 , 2 , 3 , 1,2 , 1,3 , 2,3 , 1,2,3 ๐‘ƒ(๐ธ) = ∅, ๐‘  , ๐‘ก , ๐‘ , ๐‘ก ambil sebarang ๐ด = ๐‘  ๏ƒ๐ธ Misal ๐‘“๐ด : ๐ธ → ๐‘ƒ ๐‘ˆ ๐‘“๐ด ๐‘  = 1 ๐‘“๐ด ๐‘ก = ∅. 16.

(32) 17. ๐‘“๐ด. ๐ธ. ๐‘ƒ(๐‘ˆ). ๏‚ท ๏‚ท ๏‚ท ๏‚ท ๏‚ท. s ๏‚ท t ๏‚ท. Sesuai Definisi 1๐น๐ด =. ๐‘ฅ, ๐‘“๐ด ๐‘ฅ. ∅ {1} {2} โ‹ฎ {1,2,3}. ๐‘ฅ ∈ ๐ธ, ๐‘“๐ด ๐‘ฅ ∈ ๐‘ƒ ๐‘ˆ , maka diperoleh. ๐น๐ด = { ๐‘ , 1 , ๐‘ก, ∅ }. ๐‘†(๐‘ˆ) = { ๐‘ , 1 }. Definisi 2 Misal himpunan halus ๐น๐ด dan ๐บ๐ต mempunyai universe yang sama yaitu U, ๐น๐ด disebut soft subsetpada ๐บ๐ต , dinotasikan ๐น๐ด ๏ƒ ๐บ๐ต , didefinisikan sebagai berikut: (i). ๐ด๏ƒŒ๐ต. (ii). Untuk setiap ๐œ– ∈ ๐ด, ๐น(๐œ–) dan ๐บ(๐œ–) adalah sama (Yang dan Ahn, 2014).. Contoh 2 Dengan menggunakan fungsi pada contoh 1 Diberikan ๐‘ˆ = {1,2,3} dan ๐ธ = {๐‘ , ๐‘ก} Maka ๐‘ƒ ๐‘ˆ = ∅, 1 , 2 , 3 , 1,2 , 1,3 , 2,3 , 1,2,3 ๐‘ƒ(๐ธ) = ∅, ๐‘  , ๐‘ก , ๐‘ , ๐‘ก Misal๐ด = ๐‘  ๏ƒ๐ธ dan๐ต = ๐‘ , ๐‘ก ๏ƒ๐ธ Didefinisikan๐น๐ด =. ๐‘ , 1. dan ๐บ๐ต = { ๐‘ , 1 , ๐‘ก, {1,2,3} }.

(33) 18. Ambil ๐œ– ∈ ๐ด, ๐œ– = ๐‘  maka ๐น ๐œ– = ๐บ ๐œ– = 1 Jadi ๐น๐ด ๏ƒ๐บ๐ต. Definisi 3 Diberikan ๐น๐ด ∈ ๐‘†(๐‘ˆ) dan ๐œ ๏ƒ ๐‘ˆ. Maka himpunan ๐œ-exclusivedari ๐น๐ด didefinisikan sebagai berikut: ๐‘’ ๐น๐ด ; ๐œ โ‰” ๐‘ฅ ∈ ๐ด ๐‘“๐ด ๐‘ฅ ๏ƒ๐œ} (Yang dan Ahn, 2014). Contoh 3 Dengan menggunakan fungsi pada contoh 1 Diberikan ๐‘ˆ = 1, 2, 3 dan ๐ธ = ๐‘ , ๐‘ก , Ambil ๐œ = 1, 3 , ๐ด = ๐‘  ๐‘’ ๐น๐ด ; ๐œ = {๐‘ } Dari definisi 3 didapat sifat-sifat berikut: Teorema 1 ๐‘’ ๐น๐ด ; ๐‘ˆ = ๐ด, Bukti: Untuk membuktikan ๐‘’ ๐น๐ด ; ๐‘ˆ = ๐ดakan dibuktikan terlebih dahulu ๐‘’ ๐น๐ด ; ๐‘ˆ ๏ƒ ๐ด dan ๐ด ๏ƒ ๐‘’ ๐น๐ด ; ๐‘ˆ . a.. ๐‘’ ๐น๐ด ; ๐‘ˆ ๏ƒ๐ด, Bukti: Ambil๐‘ฅ ∈ ๐‘’ ๐น๐ด ; ๐œ , Sesuai dengan definisi ๐‘’ ๐น๐ด ; ๐œ maka ๐‘ฅ ∈ ๐ด. Karena ๐‘ฅ ∈ ๐‘’ ๐น๐ด ; ๐œ dan ๐‘ฅ ∈ ๐ด maka terbukti bahwa ๐‘’ ๐น๐ด ; ๐‘ˆ ๏ƒ ๐ด.. b.. ๐ด ๏ƒ๐‘’ ๐น๐ด ; ๐‘ˆ ..

(34) 19. Bukti: Ambil๐‘ฅ ∈ ๐ด, Karena ๐‘ฅ ∈ ๐ด maka ๐‘“๐ด ๐‘ฅ ≠ ∅. Berdasarkan. definisi. ๐‘’ ๐น๐ด ; ๐œ โ‰” ๐‘ฅ ∈ ๐ด ๐‘“๐ด ๐‘ฅ ๏ƒ ๐œ}. diperoleh๐‘’ ๐น๐ด ; ๐‘ˆ โ‰” ๐‘ฅ ∈ ๐ด ๐‘“๐ด ๐‘ฅ ๏ƒ ๐‘ˆ}. sehingga. ๐‘“๐ด ๐‘ฅ ๏ƒ ๐‘ˆ. maka dan. ๐‘ฅ ∈ ๐‘’ ๐น๐ด ; ๐‘ˆ . Maka terbukti bahwa ๐ด ๏ƒ ๐‘’ ๐น๐ด ; ๐‘ˆ . Karena ๐‘’ ๐น๐ด ; ๐‘ˆ ๏ƒ ๐ด dan ๐ด ๏ƒ๐‘’ ๐น๐ด ; ๐‘ˆ maka terbukti bahwa ๐‘’ ๐น๐ด ; ๐‘ˆ = ๐ด. Contoh 4 Dengan menggunakan fungsi pada contoh 1 Diberikan ๐‘ˆ = 1,2,3 , ๐œ ๏ƒ ๐‘ˆ, ๐ธ = ๐‘ , ๐‘ก , ๐ด = {๐‘ }. ๐œ1 =. = ∅ → ๐‘’ ๐น๐ด ; ๐œ1 = ∅. ๐œ2 = 1 → ๐‘’ ๐น๐ด ; ๐œ2 = {๐‘ } ๐œ3 = 2 → ๐‘’ ๐น๐ด ; ๐œ3 = ∅ ๐œ4 = 3 → ๐‘’ ๐น๐ด ; ๐œ4 = ∅ ๐œ5 = 1,2 → ๐‘’ ๐น๐ด ; ๐œ5 = {๐‘ } ๐œ6 = 1,3 → ๐‘’ ๐น๐ด ; ๐œ6 = {๐‘ } ๐œ7 = 2,3 → ๐‘’ ๐น๐ด ; ๐œ7 = ∅ ๐œ8 = 1,2,3 → ๐‘’ ๐น๐ด ; ๐œ8 = {๐‘ } Jadi ∩ ๐œ = 1 ๏ƒ๐‘ˆ Teorema 2 ๐‘“๐ด ๐‘ฅ = ๏ƒ‡ ๐œ ๏ƒ ๐‘ˆ ๐‘ฅ ∈ ๐‘’ ๐น๐ด ; ๐œ , Bukti:.

(35) 20. Seperti. halnya. pada. Teorema. 1,. pada. teorema. dibuktikanterlebih dahulu bahwa ๐‘“๐ด ๐‘ฅ ๏ƒ๏ƒ‡ ๐œ ๏ƒ ๐‘ˆ ๐‘ฅ ∈ ๐‘’ ๐น๐ด ; ๐œ. ini. akan. dan. ๏ƒ‡ ๐œ ๏ƒ๐‘ˆ ๐‘ฅ ∈ ๐‘’ ๐น๐ด ; ๐œ ๏ƒ๐‘“๐ด ๐‘ฅ .. a.. ๐‘“๐ด ๐‘ฅ ๏ƒ๏ƒ‡ ๐œ ๏ƒ ๐‘ˆ ๐‘ฅ ∈ ๐‘’ ๐น๐ด ; ๐œ , Bukti: ambil๐‘ฅ ∈ ๐‘“๐ด ๐‘ฅ Sesuai dengan Definisi 3 bahwa ๐‘“๐ด ๐‘ฅ ๏ƒ ๐œ sehingga ๐‘ฅ ∈ ๐‘’ ๐น๐ด ; ๐œ dan ๐œ ๏ƒ ๐‘ˆ. Maka diperoleh๐‘ฅ ∈ ∩ ๐œ ๏ƒ ๐‘ˆ ๐‘ฅ ∈ ๐‘’ ๐น๐ด ; ๐œ Jadi terbukti ๐‘“๐ด ๐‘ฅ ๏ƒ๏ƒ‡ ๐œ ๏ƒ ๐‘ˆ ๐‘ฅ ∈ ๐‘’ ๐น๐ด ; ๐œ .. b.. ๏ƒ‡ ๐œ ๏ƒ๐‘ˆ ๐‘ฅ ∈ ๐‘’ ๐น๐ด ; ๐œ ๏ƒ ๐‘“๐ด ๐‘ฅ . Bukti: Ambil ๐‘ฅ ∩ ๐œ ๏ƒ๐‘ˆ ๐‘ฅ ∈ ๐‘’ ๐น๐ด ; ๐œ Berdasarkan definisi diatas ๐‘ฅ ∈ ๐ด ๐‘ฅ ∈ ๐‘“๐ด ๐‘ฅ ๐‘ฅ ∩ ๐œ ๏ƒ ๐‘ˆ ๐‘ฅ ∈ ๐‘’ ๐น๐ด ; ๐œ ๏ƒ๐‘“๐ด ๐‘ฅ . Jadi terbukti bahwa ๏ƒ‡ ๐œ ๏ƒ ๐‘ˆ ๐‘ฅ ∈ ๐‘’ ๐น๐ด ; ๐œ ๏ƒ๐‘“๐ด ๐‘ฅ .. Karena ๐‘“๐ด ๐‘ฅ ๏ƒ๏ƒ‡ ๐œ ๏ƒ ๐‘ˆ ๐‘ฅ ∈ ๐‘’ ๐น๐ด ; ๐œ. dan. ๏ƒ‡ ๐œ ๏ƒ ๐‘ˆ ๐‘ฅ ∈ ๐‘’ ๐น๐ด ; ๐œ ๏ƒ ๐‘“๐ด ๐‘ฅ maka terbukti ๐‘“๐ด ๐‘ฅ = ๏ƒ‡ ๐œ ๏ƒ ๐‘ˆ ๐‘ฅ ∈ ๐‘’ ๐น๐ด ; ๐œ . Contoh 5 Diberikan ๐œ1 = 1 , ๐œ2 = 1,2 , ๐‘ˆ = ๐‘ , ๐‘ก , ๐ด = ๐‘  , ๐‘“๐ด = ๐‘ , 1 . Ambil {๐‘ } ∈ ๐‘’(๐น๐ด ; ๐œ1 ).

(36) 21. Maka {๐‘ } ∈ ๐ด dan ๐‘“๐ด ๐‘  ๏ƒ๐œ1 ๐‘“๐ด ๐‘  ๏ƒ๐œ2 Jadi {๐‘ } ∈ ๐‘’(๐น๐ด ; ๐œ2 ). Teorema 3. ๏€ข๐œ1 , ๐œ2 ๏ƒ ๐‘ˆ (๐œ1 ๏ƒ ๐œ2 → ๐‘’ ๐น๐ด ; ๐œ1 ๏ƒ ๐‘’(๐น๐ด ; ๐œ2 )). Bukti: Akan dibuktikan ๐‘’ ๐น๐ด ; ๐œ1 ๏ƒ ๐‘’ ๐น๐ด ; ๐œ2 . Ambil ๐‘ฅ ∈ ๐‘’ ๐น๐ด ; ๐œ1 Maka ๐‘ฅ ∈ ๐ด dan ๐‘“๐ด ๐‘ฅ ๏ƒ ๐œ1 Karena ๐œ1 ๏ƒ๐œ2 ๐‘ฅ ∈ ๐ดdan๐‘“๐ด ๐‘ฅ ๏ƒ ๐œ1 ๏ƒ ๐œ2 ๐‘ฅ ∈ ๐ดdan๐‘“๐ด ๐‘ฅ ๏ƒ๐œ2 Jadi ๐‘ฅ ∈ ๐‘’ ๐น๐ด ; ๐œ2 Sehingga๐‘’ ๐น๐ด ; ๐œ1 ๏ƒ ๐‘’ ๐น๐ด ; ๐œ2 Maka terbukti ๏€ข๐œ1 , ๐œ2 ๏ƒ ๐‘ˆ ๐œ1 ๏ƒ ๐œ2 → ๐‘’ ๐น๐ด ; ๐œ1 ๏ƒ ๐‘’ ๐น๐ด ; ๐œ2 . Contoh 6 Diberikan ๐œ1 = 1 , ๐œ2 = 1,2 , ๐‘ˆ = ๐‘ , ๐‘ก , ๐ด = ๐‘  , ๐‘“๐ด = ๐‘ , 1 . Ambil {๐‘ } ∈ ๐‘’(๐น๐ด ; ๐œ1 ) Maka {๐‘ } ∈ ๐ด dan ๐‘“๐ด ๐‘  ๏ƒ ๐œ1 ๐‘“๐ด ๐‘  ๏ƒ๐œ2 Jadi {๐‘ } ∈ ๐‘’(๐น๐ด ; ๐œ2 ). Karena {๐‘ } ∈ ๐‘’(๐น๐ด ; ๐œ1 ) dan {๐‘ } ∈ ๐‘’(๐น๐ด ; ๐œ2 ) maka terbukti ๐‘’ ๐น๐ด ; ๐œ1 ๏ƒ ๐‘’ ๐น๐ด ; ๐œ2 ..

(37) 22. 3.2 Gabungan q-Ideal Halus Definisi 3 Misal. ๐‘ˆ, ๐ธ = ๐‘ˆ, ๐‘‹. dengan. ๐‘‹. adalah. aljabar. BCI.Diberikan. subaljabar๐ดdari ๐ธ, dengan๐น๐ด ∈ ๐‘† ๐‘ˆ . Kemudian ๐น๐ด dinamakanUnion soft algebra (disingkat, U-soft algebra) atas ๐‘ˆ jika fungsi aproksimasi๐‘“๐ด dari ๐น๐ด memenuhi: ∀๐‘ฅ, ๐‘ฆ ∈ ๐ด (๐‘“๐ด ๐‘ฅ ∗ ๐‘ฆ ๏ƒ ๐‘“๐ด ๐‘ฅ ∪ ๐‘“๐ด ๐‘ฆ ). (3.2.1). ๐น๐ด disebut Union soft ideal (disingkat, U-soft ideal) atas๐‘ˆ jika fungsi aproksimasi๐‘“๐ด dari ๐น๐ด memenuhi: ∀๐‘ฅ ∈ ๐ด ๐‘“๐ด 0 ๏ƒ ๐‘“๐ด ๐‘ฅ ,. (3.2.2). ∀๐‘ฅ, ๐‘ฆ ∈ ๐ด ๐‘“๐ด ๐‘ฅ ๏ƒ ๐‘“๐ด ๐‘ฅ ∗ ๐‘ฆ ∪ ๐‘“๐ด (๐‘ฆ) ,. (3.2.3). (Yang dan Ahn, 2014). Contoh 7 Misal ๐‘ˆ, ๐ธ = ๐‘ˆ, ๐‘‹ dengan๐‘‹ = {0, ๐‘Ž, ๐‘} adalah aljabar BCI dengan tabel Cayley berikut: Tabel 3.1 Tabel Cayley๐‘‹ = {0, ๐‘Ž, ๐‘} Terhadap Operasi ∗. ∗. 0. ๐‘Ž. ๐‘. 0. 0. 0. ๐‘. ๐‘Ž. ๐‘Ž. 0. ๐‘. ๐‘. ๐‘. ๐‘. 0. Misal๐œ1 , ๐œ2 dan ๐œ3 adalahsubset dari ๐‘ˆ sehingga ๐œ1 ๏ƒ๐œ2 ๏ƒ๐œ3 . Didefinisikan himpunan halus๐น๐ธ atas ๐‘ˆ sebagai berikut:.

(38) 23. ๐น๐ธ = { 0, ๐œ1 , ๐‘Ž, ๐œ2 , ๐‘, ๐œ3 } ๐‘‹ = 0, ๐‘Ž, ๐‘ = ๐ธ Berdasarkan persamaan (3.2.3) diperoleh: Ambil 0, ๐‘Ž ∈ ๐ธ ๐‘“๐ธ 0 ๏ƒ ๐‘“๐ธ 0 ∗ ๐‘Ž ∪ ๐‘“๐ธ ๐‘Ž ๐œ1 ๏ƒ ๐‘“๐ธ (0) ∪ ๐‘“๐ธ ๐‘Ž ๐œ1 ๏ƒ ๐œ1 ∪ ๐œ2 ๐œ1 ๏ƒ๐œ2 sesuai. Ambil 0, ๐‘ ∈ ๐ธ ๐‘“๐ธ 0 ๏ƒ ๐‘“๐ธ 0 ∗ ๐‘ ∪ ๐‘“๐ธ ๐‘ ๐œ1 ๏ƒ ๐‘“๐ธ (0) ∪ ๐‘“๐ธ ๐‘ ๐œ1 ๏ƒ๐œ1 ∪ ๐œ3 ๐œ1 ๏ƒ ๐œ3 sesuai. Ambil ๐‘Ž, ๐‘ ∈ ๐ธ ๐‘“๐ธ ๐‘Ž ๏ƒ ๐‘“๐ธ ๐‘Ž ∗ ๐‘ ∪ ๐‘“๐ธ ๐‘ ๐œ2 ๏ƒ ๐‘“๐ธ (๐‘) ∪ ๐‘“๐ธ ๐‘ ๐œ2 ๏ƒ๐œ3 ∪ ๐œ3 ๐œ2 ๏ƒ ๐œ3 sesuai. Karena ketiga pernyataan di atas sesuai maka ๐น๐ธ adalah U-soft ideal pada ๐‘ˆ. Definisi 4 Misal. ๐‘ˆ, ๐ธ = ๐‘ˆ, ๐‘‹. dengan๐‘‹ adalah. aljabar. BCI.Diberikan. subaljabar๐ด dari๐ธ, dengan๐น๐ด ∈ ๐‘† ๐‘ˆ . Maka๐น๐ด dinamakanUnion soft q-.

(39) 24. ideal (disingkat, U-soft q-ideal) atas U jika fungsi aproksimasi๐‘“๐ด dari ๐น๐ด memenuhi (3.2.2) dan ∀๐‘ฅ, ๐‘ฆ, ๐‘ง ∈ ๐ด (๐‘“๐ด ๐‘ฅ ∗ ๐‘ง ๏ƒ๐‘“๐ด ๐‘ฅ ∗ ๐‘ฆ ∗ ๐‘ง. ∪ ๐‘“๐ด ๐‘ฆ ). (3.2.4). (Yang dan Ahn, 2014). Contoh 8 Misal ๐‘ˆ, ๐ธ = ๐‘ˆ, ๐‘‹ di mana ๐‘‹= {0, ๐‘Ž, ๐‘, ๐‘} adalah aljabar BCI dengan tabel Cayley berikut: Tabel 3.2Tabel Cayley5×5. ∗. 0. ๐‘Ž. ๐‘. ๐‘. 0. 0. ๐‘. ๐‘. ๐‘Ž. ๐‘Ž. ๐‘Ž. 0. ๐‘. ๐‘. ๐‘. ๐‘. ๐‘Ž. 0. ๐‘. ๐‘. ๐‘. ๐‘. ๐‘Ž. 0. Misal๐œ1 , ๐œ2 , ๐œ3 dan. ๐œ4 adalahsubset. dari. ๐‘ˆ sehingga. Didefinisikan himpunan halus ๐น๐ธ atas ๐‘ˆ sebagai berikut: ๐น๐ธ = { 0, ๐œ1 , ๐‘Ž, ๐œ2 , ๐‘, ๐œ3 , (๐‘, ๐œ4 )} ๐‘‹ = 0, ๐‘Ž, ๐‘, ๐‘ = ๐ธ Berdasarkan persamaan (3.2.4) didapat: Ambil 0, ๐‘Ž, ๐‘ ∈ ๐ธ ๐‘“๐ธ 0 ∗ ๐‘ ๏ƒ๐‘“๐ธ 0 ∗ (๐‘Ž ∗ ๐‘) ∪ ๐‘“๐ธ ๐‘ ๐‘“๐ธ ๐‘ ๏ƒ ๐‘“๐ธ (0 ∗ ๐‘) ∪ ๐‘“๐ธ ๐‘ ๐œ3 ๏ƒ ๐‘“๐ธ (๐‘Ž) ∪ ๐œ3. ๐œ1 ๏ƒ๐œ2 ๏ƒ๐œ3 ๏ƒ๐œ4 ..

(40) 25. ๐œ3 ๏ƒ ๐œ2 ∪ ๐œ3 ๐œ3 ๏ƒ๐œ3 sesuai. Ambil 0, ๐‘Ž, ๐‘ ∈ ๐ธ ๐‘“๐ธ 0 ∗ ๐‘ ๏ƒ๐‘“๐ธ 0 ∗ (๐‘Ž ∗ ๐‘) ∪ ๐‘“๐ธ ๐‘Ž ๐‘“๐ธ ๐‘Ž ๏ƒ ๐‘“๐ธ (0 ∗ ๐‘) ∪ ๐‘“๐ธ ๐‘Ž ๐œ2 ๏ƒ ๐‘“๐ธ (๐‘) ∪ ๐œ2 ๐œ2 ๏ƒ๐œ3 ∪ ๐œ2 ๐œ2 ๏ƒ๐œ3 sesuai. Ambil 0, ๐‘, ๐‘ ∈ ๐ธ ๐‘“๐ธ 0 ∗ ๐‘ ๏ƒ๐‘“๐ธ 0 ∗ (๐‘ ∗ ๐‘) ∪ ๐‘“๐ธ ๐‘ ๐‘“๐ธ ๐‘Ž ๏ƒ ๐‘“๐ธ (0 ∗ ๐‘) ∪ ๐‘“๐ธ ๐‘ ๐œ2 ๏ƒ ๐‘“๐ธ (๐‘Ž) ∪ ๐œ3 ๐œ2 ๏ƒ๐œ2 ∪ ๐œ3 ๐œ2 ๏ƒ๐œ3 sesuai. Ambil ๐‘Ž, ๐‘, ๐‘ ∈ ๐ธ ๐‘“๐ธ ๐‘Ž ∗ ๐‘ ๏ƒ ๐‘“๐ธ ๐‘Ž ∗ (๐‘ ∗ ๐‘) ∪ ๐‘“๐ธ ๐‘ ๐‘“๐ธ ๐‘ ๏ƒ ๐‘“๐ธ (๐‘Ž ∗ ๐‘) ∪ ๐‘“๐ธ ๐‘ ๐œ3 ๏ƒ ๐‘“๐ธ (๐‘) ∪ ๐œ3 ๐œ3 ๏ƒ๐œ3 ∪ ๐œ3 ๐œ3 ๏ƒ๐œ3 sesuai. Karena keempat pernyataan di atas sesuai maka ๐น๐ธ adalah U-soft q-ideal pada ๐‘ˆ..

(41) 26. Teorema 4 Misal. ๐‘ˆ, ๐ธ = ๐‘ˆ, ๐‘‹ dimana ๐‘‹ adalah aljabar BCI.Setiap U-soft q-. idealadalah yang U-soft ideal dan U-soft algebra. Bukti. Misal๐น๐ด adalah U-soft q-idealatas ๐‘ˆ dimana ๐ดadalah subaljabar dari ๐ธ. Ambil ๐‘ง: = 0 subtitusikan ke persamaan (3.2.4) yaitu ๐ด (๐‘“๐ด ๐‘ฅ ∗ ๐‘ง ๏ƒ ๐‘“๐ด ๐‘ฅ ∗ ๐‘ฆ ∗ ๐‘ง ∀๐‘ฅ, ๐‘ฆ, ๐‘ง ∈ ๐‘‹. ∀๐‘ฅ, ๐‘ฆ, ๐‘ง ∈. ∪ ๐‘“๐ด ๐‘ฆ )dengan menggunakan sifat (b1). ๐‘ฅ ∗ ๐‘ฆ ∗ ๐‘ง = ๐‘ฅ ∗ ๐‘ง ∗ ๐‘ฆ sehinggamenjadi:. ๐‘“๐ด ๐‘ฅ = ๐‘“๐ด ๐‘ฅ ∗ 0 ๏ƒ ๐‘“๐ด ๐‘ฅ ∗ ๐‘ฆ ∗ 0 ๏ƒˆ ๐‘“๐ด ๐‘ฆ = ๐‘“๐ด ๐‘ฅ ∗ ๐‘ฆ ๏ƒˆ ๐‘“๐ด (๐‘ฆ), ∀๐‘ฅ, ๐‘ฆ ∈ ๐ด. (3.2.5). Sehingga๐‘“๐ด disebutU-soft ideal atas ๐‘ˆ. Ambil ๐‘ฆ = ๐‘ง subtitusikan ke persamaan (3.2.4) dengan menggunakan sifat. ∀๐‘ฅ, ๐‘ฆ, ๐‘ง ∈ ๐‘‹. ๐‘ฅ∗๐‘ฆ ∗. ๐‘ง = ๐‘ฅ ∗ ๐‘ง ∗ ๐‘ฆ sehingga: ๐‘“๐ด ๐‘ฅ ∗ ๐‘ง = ๐‘“๐ด ๐‘ฅ ∗ (๐‘ง ∗ ๐‘ง) ๏ƒˆ ๐‘“๐ด ๐‘ง = ๐‘“๐ด ๐‘ฅ ∗ 0 ๏ƒˆ ๐‘“๐ด ๐‘ง = ๐‘“๐ด ๐‘ฅ ๏ƒˆ ๐‘“๐ด (๐‘ง). (3.2.6). untuk setiap ๐‘ฅ, ๐‘ฆ ∈ ๐ด. Menunjukkan ๐‘“๐ด adalah U-soft algebraatas ๐‘ˆ. Contoh 9 Misal ๐‘ˆ, ๐ธ = ๐‘ˆ, ๐‘‹ dengan๐‘‹ = {0, ๐‘Ž, ๐‘, ๐‘} adalah aljabar BCI dengan tabel Cayley berikut:.

(42) 27. Tabel 3.3Tabel Cayley dari X. ∗. 0. ๐‘Ž. ๐‘. ๐‘. 0. 0. ๐‘. ๐‘. ๐‘Ž. ๐‘Ž. ๐‘Ž. 0. ๐‘. ๐‘. ๐‘. ๐‘. ๐‘Ž. 0. ๐‘. ๐‘. ๐‘. ๐‘. ๐‘Ž. 0. Misal๐œ1 dan ๐œ2 adalahsubset dari ๐‘ˆ sehingga ๐œ1 ๏ƒ๐œ2 . Didefinisikan soft set ๐น๐ธ atas ๐‘ˆ sebagai berikut: ๐น๐ธ = { 0, ๐œ1 , ๐‘Ž, ๐œ2 , ๐‘, ๐œ2 , ๐‘, ๐œ2 }. (3.2.7). Ambil 0, ๐‘Ž, ๐‘ ∈ ๐ธ ; ๐‘ง: = 0 ๐‘“๐ธ 0 = ๐‘“๐ธ 0 ∗ ๐‘ ๏ƒ๐‘“๐ธ 0 ∗ (๐‘ ∗ 0) ∪ ๐‘“๐ธ ๐‘ ๐‘“๐ธ ๐‘ ๏ƒ ๐‘“๐ธ (0 ∗ ๐‘) ∪ ๐‘“๐ธ ๐‘ ๐œ2 ๏ƒ ๐‘“๐ธ (๐‘) ∪ ๐œ2 ๐œ2 ๏ƒ๐œ2 maka terbukti bahwa U-soft ideal Ambil 0, ๐‘Ž, ๐‘ ∈ ๐ธ ; ๐‘ฆ: = ๐‘ง ๐‘“๐ธ 0 ∗ ๐‘ = ๐‘“๐ธ 0 ∗ (๐‘ ∗ ๐‘) ∪ ๐‘“๐ธ ๐‘ ๐‘“๐ธ ๐‘ ๏ƒ ๐‘“๐ธ (0 ∗ ๐‘) ∪ ๐‘“๐ธ ๐‘ ๐œ2 ๏ƒ ๐‘“๐ธ (๐‘) ∪ ๐œ2 ๐œ2 ๏ƒ๐œ2 maka terbukti bahwa U-soft algebra ๐น๐ธ adalah U-soft ideal dan U-soft algebra atas ๐‘ˆ tetapi bukan U-soft qideal atas ๐‘ˆ karena: ๐‘“๐ธ ๐‘ ∗ ๐‘Ž = ๐‘“๐ธ ๐‘ = ๐œ2 โŠˆ ๐œ1 = ๐น๐ธ ๐‘ ∗ 0 ∗ ๐‘Ž ๏ƒˆ๐‘“๐ธ (0). (3.2.8).

(43) 28. Lemma 1 Misal ๐‘ˆ, ๐ธ = ๐‘ˆ, ๐‘‹ dimana ๐‘‹ adalah aljabar BCI. Diberikan subalgebra ๐ด dari ๐ธ, jika ๐น๐ด ∈ ๐‘† ๐‘ˆ maka ๐น๐ด adalah U-soft ideal atas ๐‘ˆ. Jika memenuhi kondisi berikut: ∀๐‘ฅ, ๐‘ฆ ∈ ๐ด (๐‘ฅ ≤ ๐‘ฆ → ๐‘“๐ด ๐‘ฅ ๏ƒ ๐‘“๐ด ๐‘ฆ ). (3.2.9). Bukti: Misal ๐‘ง โ‰” 0 pada persamaan (3.2.4) yaitu ๐‘“๐ด ๐‘ฅ ∗ ๐‘ง ๏ƒ ๐‘“๐ด ๐‘ฅ ∗ ๐‘ฆ ∗ ๐‘ง maka ๐‘“๐ด ๐‘ฅ ∗ 0 ๏ƒ ๐‘“๐ด ๐‘ฅ ∗ ๐‘ฆ ∗ 0. ๐‘“๐ด ๐‘ฆ. ∪. ∪ ๐‘“๐ด ๐‘ฆ. ๐‘“๐ด ๐‘ฅ ๏ƒ๐‘“๐ด ๐‘ฅ ∗ ๐‘ฆ ∪ ๐‘“๐ด ๐‘ฆ Karena ๐‘ฅ ≤ ๐‘ฆ ambil ๐‘ฅ = ๐‘ฆ ๐‘“๐ด ๐‘ฅ ๏ƒ๐‘“๐ด ๐‘ฆ ∗ ๐‘ฆ ∪ ๐‘“๐ด ๐‘ฆ Berdasarkan definisi 3 pada persamaan (3.2.2) maka ๐‘“๐ด ๐‘ฅ ∗ 0 = ๐‘“๐ด 0 ∪ ๐‘“๐ด (๐‘ฆ) Jadi ๐‘“๐ด ๐‘ฅ ๏ƒ ๐‘“๐ด ๐‘ฆ . Maka terbukti ∀๐‘ฅ, ๐‘ฆ ∈ ๐ด (๐‘ฅ ≤ ๐‘ฆ → ๐‘“๐ด ๐‘ฅ ๏ƒ ๐‘“๐ด ๐‘ฆ) . Teorema 5 Misal. ๐‘ˆ, ๐ธ = (๐‘ˆ, ๐‘‹) dimana ๐‘‹ adalah aljabar BCI. Untuk setiap. subaljabar ๐ด dari ๐ธ, misal ๐น๐ด ∈ ๐‘† ๐‘ˆ ๐‘ˆ pernyataan berikut ekuivalen: ๐‘–. ๐น๐ด adalah U-soft q-ideal atas ๐‘ˆ,. ๐‘–๐‘–๐‘– (∀๐‘ฅ, ๐‘ฆ ∈ ๐ด)(๐‘“๐ด ๐‘ฅ ∗ ๐‘ฆ ๏ƒ ๐‘ฅ ∗ 0 ∗ ๐‘ฆ , ๐‘–๐‘–๐‘– (∀๐‘ฅ, ๐‘ฆ, ๐‘ง ∈ ๐ด) ๐‘“๐ด ((๐‘ฅ ∗ ๐‘ฆ ∗ ๐‘ง ). adalah U-soft ideal atas.

(44) 29. Bukti. ๐‘– ke ๐‘–๐‘– Misalkan ๐‘“๐ด adalah U-soft q-ideal atas ๐‘ˆ, dimana ๐ด adalah subaljabar dari ๐ธ. Sesuai dengan persamaan (3.2.4) dan (3.2.2) bahwa: ๐‘“๐ด (๐‘ฅ ∗ ๐‘ฆ). ๏ƒ. ๐‘“๐ด ๐‘ฅ ∗ 0 ∗ ๐‘ฆ ๏ƒˆ๐‘“๐ด 0. =. ๐‘“๐ด (๐‘ฅ ∗ 0 ∗ ๐‘ฆ ). (3.2.10). untuk setiap ๐‘ฅ, ๐‘ฆ ∈ ๐ด. ๐‘–๐‘– ke (๐‘–๐‘–๐‘–) menjadi ∗ (๐‘ฅ ∗ ๐‘ฆ ∗ ๐‘ง ) = ((๐‘ฅ ∗ ๐‘ฆ) ∗ (๐‘ฅ ∗ ๐‘ฆ ∗ ๐‘ง ) ∗ (0 ∗ ๐‘ง). ๐‘ฅ∗๐‘ฆ ∗ 0∗๐‘ง. ≤. ๐‘ฆ∗๐‘ง ∗๐‘ฆ ∗ 0∗๐‘ง. = 0 ∗ ๐‘ง ∗ 0 ∗ ๐‘ง = 0, ∀๐‘ฅ, ๐‘ฆ, ๐‘ง ∈ ๐ด. dari. ๐‘–๐‘– dan. lemma. 1. bahwa. (3.2.11). ๐‘“๐ด ๐‘ฅ ∗ ๐‘ฆ ∗ ๐‘ง ๏ƒ ๐‘“๐ด ๐‘ฅ ∗ ๐‘ฆ ∗ 0 ∗. ๐‘ง ๏ƒ๐‘“๐ด ๐‘ฅ ∗ ๐‘ฆ ∗ ๐‘ง untuk setiap ๐‘ฅ, ๐‘ฆ ∈ ๐ด. sehingga (๐‘–๐‘–๐‘–) terbukti. ๐‘–๐‘–๐‘– ke (๐‘–) menggunakan (3.2.3), (b2) dan ๐‘–๐‘–๐‘– diperoleh: ๐‘“๐ด (๐‘ฅ ∗ ๐‘ง). ๏ƒ. ๐‘“๐ด (๐‘ฅ ∗ ๐‘ง) ∗ ๐‘ฆ ๏ƒˆ๐‘“๐ด ๐‘ฆ. =. ๐‘“๐ด (๐‘ฅ ∗ ๐‘ฆ) ∗ ๐‘ง ๏ƒˆ๐‘“๐ด ๐‘ฆ. ๏ƒ. ๐‘“๐ด (๐‘ฅ ∗ (๐‘ฆ ∗ ๐‘ง ๏ƒˆ๐‘“๐ด ๐‘ฆ. (3.2.12). Untuk setiap ๐‘ฅ, ๐‘ฆ ∈ ๐ด.Sehingga ๐‘“๐ด adalah U-soft q-idealatas ๐‘ˆ. Lemma 2 Misal. ๐‘ˆ, ๐ธ = ๐‘ˆ, ๐‘‹ dimana ๐‘‹ adalah aljabar BCI. Diberikan sub-. algebra ๐ด dari ๐ธ, misal ๐น๐ด ∈ ๐‘† ๐‘ˆ adalah U-soft ideal atas ๐‘ˆ. Pernyataan berikut ekuivalen: ๐‘– ๐น๐ด adalah U-soft ideal atas ๐‘ˆ,.

(45) 30. ๐‘–๐‘– Himpunan ๐œ-eksklusif tidak kosong dari ๐น๐ด adalah ideal dari ๐ด untuk setiap๐œ ๏ƒ๐‘ˆ. Bukti: Dari (๐‘–) ke (๐‘–๐‘–) dibuktikan menggunakan definisi ideal: a.. 0 ∈ ๐ด, ๐œ ≠ ∅. b. (∀๐‘ฅ ∈ ๐‘‹)(∀๐‘ฆ ∈ ๐ด)(๐‘ฅ ∗ ๐‘ฆ ∈ ๐ด → ๐‘ฅ ∈ ๐ด). Misalkan ๐‘ฆ = 0 ∈ ๐ด ๐‘ฅ∗๐‘ฆ∈๐ด ๐‘ฅ∗0∈๐ด ๐‘ฅ∈๐ด Dari ๐‘–๐‘– ke (๐‘–) Berdasarkan sifat ke-3 pada definisi 2. ๏€ข๐œ1 , ๐œ2 ๏ƒ ๐‘ˆ (๐œ1 ๏ƒ๐œ2 → ๐‘’ ๐น๐ด ; ๐œ1 ๏ƒ ๐‘’(๐น๐ด ; ๐œ2 )) ๐‘“๐ด ๐‘ฅ ∈ ๐œ1 ๏ƒ ๐‘“๐ด ๐‘ฆ ∈ ๐œ2 ๐‘“๐ด ๐‘ฅ ๏ƒ ๐‘“๐ด ๐‘ฆ Sesuai dengan lemma 1 maka terbukti ๐น๐ด adalah U-soft ideal. Teorema 6 Misal. ๐‘ˆ, ๐ธ = ๐‘ˆ, ๐‘‹ dimana ๐‘‹ adalah aljabar BCI. Diberikan sub-. algebra ๐ด dari ๐ธ, misal ๐น๐ด ∈ ๐‘† ๐‘ˆ adalah U-soft ideal atas ๐‘ˆ. Pernyataan berikut ekuivalen: ๐‘– ๐น๐ด adalah U-soft q-ideal atas ๐‘ˆ. ๐‘–๐‘– Himpunan ๐œ-eksklusif tidak kosong dari ๐น๐ด adalah ideal dari ๐ด untuk setiap๐œ ๏ƒ๐‘ˆ..

(46) 31. Bukti. ๐’Š → (๐’Š๐’Š)Asumsikan ๐น๐ด adalah U-soft q-ideal atas ๐‘ˆ. Maka๐น๐ด adalah Usoft ideal atas ๐‘ˆ sebagaimana teorema 1.Oleh karena ๐‘’ ๐น๐ด ; ๐œ adalah ideal dari ๐ดuntuk setiap ๐œ ๏ƒ๐‘ˆsebagaimana lemma2. Misal๐œ ๏ƒ U dan ๐‘ฅ, ๐‘ฆ, ๐‘ง ∈ ๐ด sebagaimana ๐‘ฅ ∗ ๐‘ฆ ∗ ๐‘ง ∈ ๐‘’ ๐น๐ด ; ๐œ dan ๐‘ฆ ∈ ๐‘’ ๐น๐ด ; ๐œ maka๐‘“๐ด ๐‘ฅ ∗ ๐‘ฆ ∗ ๐‘ง ๏ƒ τ, ๐‘“๐ด ๐‘ฆ ๏ƒ๐œdan sehingga: ๐‘“๐ด ๐‘ฅ ∗ ๐‘ง ๏ƒ ๐‘“๐ด ๐‘ฅ ∗ ๐‘ฆ ∗ ๐‘ง ๏ƒˆ๐‘“๐ด ๐‘ฆ ๏ƒ๐œ. (3.2.13). Karena ๐‘ฅ ∗ ๐‘ง ∈ ๐‘’(๐น๐ด ; ๐œ). Sehingga ๐‘’(๐น๐ด ; ๐œ)adalah q-ideal dari A. ๐’Š๐’Š → (๐’Š) seandainya himpunan ๐œ-eksklusif tidak kosong dari ๐น๐ด adalah q-ideal dari ๐ด untuk setiap ๐œ ๏ƒ๐‘ˆ. Maka ๐‘’(๐น๐ด ; ๐œ) adalah ideal dari ๐ด untuk semua ๐œ ๏ƒ ๐‘ˆ. Karena ๐น๐ด adalah U-soft ideal atas ๐‘ˆ berdasarkan Lemma 2. Misal ๐‘ฅ, ๐‘ฆ ∈ ๐ด sebagaimana ๐‘“๐ด ๐‘ฅ ∗ 0 ∗ ๐‘ฆ. = ๐œ. Maka ๐‘ฅ ∗ 0 ∗ ๐‘ฆ ∈. ๐‘’(๐น๐ด ; ๐œ) dan ๐‘ฅ ∗ ๐‘ฆ ∈ ๐‘’(๐น๐ด ; ๐œ) berdasarkan Teorema Aljabar BCI, karena ๐‘“๐ด ๐‘ฅ ∗ ๐‘ฆ ๏ƒ๐œ = ๐‘“๐ด ๐‘ฅ ∗ 0 ∗ ๐‘ฆ . Maka menurut Teorema 2 bahwa ๐น๐ด adalah U-soft q-ideal atas U. Q-ideal ๐‘’(๐น๐ด ; ๐œ) pada Teorema 3 ini disebut eksklusif q-idealsdari๐น๐ด . Teorema 7 Misal ๐‘ˆ, ๐ธ = ๐‘ˆ, ๐‘‹. dimana ๐‘‹ adalah Aljabar BCI. Diberikan. subaljabar๐ด dan ๐ต dari ๐ธ, ๐น๐ต ∈ ๐‘†(๐‘ˆ)sedemikian hingga: ๐‘– ๐น๐ด ๏ƒŒ ๐น๐ต , ๐‘–๐‘– ๐น๐ต adalah U-soft ideal atas ๐‘ˆ. Jika ๐น๐ด adalah U-soft q-ideal atas ๐‘ˆ maka ๐น๐ต juga U-soft q-ideal atas ๐‘ˆ. Bukti..

(47) 32. Misal ๐œ ๏ƒ ๐‘ˆ sehingga ๐‘’ ๐น๐ต ; ๐œ ≠ ∅. Untuk memenuhi kondisi (๐‘–๐‘–) dan Lemma 2 bahwa ๐‘’(๐น๐ต ; ๐œ) adalah ideal. Diasumsikan bahwa ๐น๐ด adalah Usoft q-ideal atas ๐‘ˆ. Maka ๐‘’(๐น๐ด ; ๐œ) adalah q-ideal untuk setiap ๐œ ๏ƒ ๐‘ˆ berdasarkan Teorema 3. Misal ๐‘ฅ, ๐‘ฆ ∈ ๐ธ dan ๐œ ๏ƒ ๐‘ˆ sehingga ๐‘  โ‰” ๐‘ฅ ∗ (0 ∗ ๐‘ฆ) ∈ ๐‘’ ๐น๐ต ; ๐œ . Maka ๐‘ฅ ∗ ๐‘  ∗ 0 ∗ ๐‘ฆ = ๐‘ฅ ∗ 0 ∗ ๐‘ฆ. ∗๐‘  = ๐‘ ∗๐‘  =0 ∈. ๐‘’(๐น๐ด ; ๐œ) Karena ๐‘’(๐น๐ด ; ๐œ) adalah q-ideal, maka didapatkan ๐‘ฅ ∗ ๐‘  ∗ ๐‘ฆ ∈ ๐‘’ ๐น๐ด ; ๐œ ๏ƒ ๐‘’ ๐น๐ต ; ๐œ .. Menggunakan. ๐‘’ ๐น๐ต ; ๐œ . Maka ๐‘ฅ ∗ ๐‘ฆ ∈ ๐‘’ ๐น๐ต ; ๐œ. (b2). didapatkan. karena ๐‘’ ๐น๐ต ; ๐œ. (๐‘ฅ ∗ ๐‘ฆ) ∗ ๐‘  ∈. adalah ideal. Jadi. ๐‘’ ๐น๐ต ; ๐œ adalah q-idealkarena ๐น๐ต adalah U-soft q-ideal atas U. Corollary Misal ๐‘ˆ, ๐ธ = ๐‘ˆ, ๐‘‹ dengan๐‘‹ adalah Aljabar BCI. Diberikan subaljabar {0} dari ๐ธ, misal ๐น{0} ∈ ๐‘†(๐‘ˆ), jika ๐น{0} adalah U-soft q-ideal atas ๐‘ˆ, maka setiap U-soft ideal adalah U-soft q-ideal atas ๐‘ˆ. Bukti. Ambil ๐น{0} adalah U-soft q-ideal. ๐น๐ต adalah U-soft ideal. Akan ditunjukkan ๐น{0} ⊆ ๐น๐ต Ambil sebarang ๐‘ฅ ∈ ๐น{0} dengan ๐น{0}adalah U-soft q-ideal, berdasarkan teorema 4 bahwa setiap U-soft q-ideal adalah U-soft ideal, maka ๐‘ฅ juga anggota dari U-soft ideal. Karena ๐น๐ต sebarang U-sotf ideal, maka ๐‘ฅ ∈ ๐น๐ต . Jadi ๐‘ฅ ∈ ๐น{0} dan ๐‘ฅ ∈ ๐น๐ต sehingga terbukti ๐น{0} ⊆ ๐น๐ต ..

(48) 33. Teorema 7 Misal ๐‘ˆ, ๐ธ = ๐‘ˆ, ๐‘‹ dan๐น๐ด ∈ ๐‘†(๐‘ˆ)dengan ๐‘‹ adalah aljabar BCI dan ๐ด adalah subalgebra dari ๐ธ. Untuk subset ๐œ dari U, didefinisikan softset ๐น๐ด atas ๐‘ˆ oleh: ๐‘“๐ด (๐‘ฅ) if ๐‘ฅ ∈ ๐‘’ ๐น๐ด ; ๐œ , ๐น๐ด∗ : ๐ธ → ๐‘ƒ ๐‘ˆ , ๐‘ฅ → ๐‘ˆlainnya. Jika ๐น๐ด adalah U-soft q-ideal atas U, maka begitu juga ๐น๐ด∗ . Bukti: ๐‘– Jika ๐น๐ด adalah ๐‘ˆ-soft q-ideal atas ๐‘ˆ, maka ๐‘’(๐น๐ด ; ๐œ) adalah q-ideal dari ๐ด untuk setiap ๐œ ⊆ ๐‘ˆ.Oleh karena itu 0 ∈ ๐‘’(๐น๐ด ; ๐œ) dan juga ๐น๐ด∗ 0 = ๐น๐ด (0) ⊆ ๐‘“๐ด (๐‘ฅ) ⊆ ๐น๐ด∗ ๐‘ฅ untuk semua ๐‘ฅ ∈ ๐ด. Diberikan๐‘ฅ, ๐‘ฆ, ๐‘ง ∈ ๐ด, jika ๐‘ฅ ∗ ๐‘ฆ ∗ ๐‘ง ∈ ๐‘’ (๐น๐ด ; ๐œ) dan ๐‘ฆ ∈ ๐‘’ ๐น๐ด ; ๐œ , maka ๐‘ฅ ∗ ๐‘ง ∈ ๐‘’ ๐น๐ด ; ๐œ dan sehingga ๐น๐ด∗ ๐‘ฅ ∗ ๐‘ง = ๐‘“๐ด ๐‘ฅ ∗ ๐‘ง ⊆ ๐‘“๐ด ๐‘ฅ ∗ ๐‘ฆ ∗ ๐‘ง. ∪ ๐‘“๐ด ๐‘ฆ. = ๐‘“๐ด∗ ๐‘ฅ ∗ ๐‘ฆ ∗ ๐‘ง. ∪ ๐‘“๐ด∗ ๐‘ฆ .. ๐‘–๐‘– Jika ๐‘ฅ ∗ (๐‘ฆ ∗ ๐‘ง) ∉ ๐‘’ ๐น๐ด ; ๐œ atau ๐‘ฆ ∉ ๐‘’ ๐น๐ด ; ๐œ , maka ๐‘“๐ด∗ ๐‘ฅ ∗ (๐‘ฆ ∗ ๐‘ง) = ๐‘ˆ atau ๐‘“๐ด∗ ๐‘ฆ = ๐‘ˆ, oleh karena itu ๐‘“๐ด∗ ๐‘ฅ ∗ ๐‘ง ⊆ ๐‘ˆ = ๐น๐ด∗ ๐‘ฅ ∗ (๐‘ฆ ∗ ๐‘ง) ∪ ๐‘“๐ด∗ ๐‘ฆ . Jadi terbukti bahwa ๐น๐ด∗ adalah ๐‘ˆ soft q-ideal atas ๐‘ˆ..

(49) 34. 3.3 Gabungan Ideal Halus pada Aljabar BCI di dalam Al-Quran Pada pembahasan skripsi di atas adanya teorema dan lemma yang harus dibuktikan supaya tidak menimbulkan keraguan sesuai dengan ayat Al-Quran dalam Surat Al-Baqarah ayat 23:. ๏ก๏ƒŽ๏€ฉ๏ต๏ฒ๏ƒถ๏Ž๏ƒง๏†๏š๏ƒ ๏€ฒ๏‚’๏ƒŽ๏ƒป๏€ต๏€ฝ๏ƒท๏‚ƒ๏ต๏‚‘๏€ค๏‚ฃ๏Š๏ƒ๏ฉ๏‚๏€ค๏ต๏š๏ƒธ๏€น๏‚จ๏‚“๏ด๏’๏€ด๏‚’๏ฎ๏€ฟ๏ด๏ƒฃ๏€ค๏ด๏’๏ƒ๏‚‰๏ƒถ๏€ท๏ด๏ƒฃ๏€จ๏€ฃ๏ฑ๏ƒจ๏€ฟ๏ƒน๏€ง๏ณ๏ƒน๏€ป๏ฏ๏ต๏‚‘๏ฑ๏ƒ๏‚ก๏ƒŽ๏€ฏ๏ ๏ƒ๏ฉ๏‚๏‚พ๏ƒ๏€ฆ๏ƒŽ๏€ฃ๏ƒท๏–๏ƒ๏ฉ๏‚๏€จ๏€ฃ๏ฑ๏ƒฃ๏ƒฃ๏ƒท๏‚Š๏€ค๏€ฃ๏ต๏ฒ๏Ž๏ƒค๏€ฎ๏ต๏ƒค๏€ก๏€ฃ๏น๏‚‰๏น๏ง๏ƒค๏‚ฉ๏ ๏ƒ๏ฉ๏‚๏ƒˆ๏ก๏ฒ๏ƒŸ ๏‚Š๏‚ซ๏€ก๏€ค๏€ฃ๏ข๏ƒŽ๏€ฉ๏ƒถ๏Ž๏ƒง๏†๏š๏ƒค๏€ฎ๏ด๏ƒป๏ƒผ๏ƒ๏€ฅ๏ƒ๏‚‰๏‚ป๏ผ๏‚น๏ƒ‡๏ƒ‹๏ƒŒ๏ƒˆ Artinya:”Dan jika kamu (tetap) dalam keraguan tentang Al Quran yang kami wahyukan kepada hamba kami (Muhammad), buatlah[31] satu surat (saja) yang semisal Al Quran itu dan ajaklah penolong-penolongmu selain Allah, jika kamu orang-orang yang benar.” Ayat ini merupakan tantangan bagi mereka yang meragukan tentang kebenaran Al Quran itu tidak dapat ditiru walaupun dengan mengerahkan semua ahli sastra dan bahasa karena ia merupakan mukjizat nabi Muhammad s.a.w. Adanya keraguan yang harus dibuktikan juga terdapat dalam Surat AlBaqarah ayat 87:. ๏ƒด๏‚‰๏ณ๏€ฉ๏ณ๏€น๏ต๏ฒ๏€ค๏ฏ๏™๏ƒท๏‚๏ณ๏€ฟ๏€ฃ๏ต๏ƒค๏ƒ“๏น๏‚›๏ฑ๏ƒฃ๏‚๏ผ๏€ฝ๏‚ป๏ด๏‡๏ƒ…๏€ณ๏ƒธ๏€น๏€ค๏€ฃ๏€ค๏ต๏š๏ƒธ๏‚Š๏‚ค๏ƒฟ๏ณ๏€ฅ๏ต๏ฒ๏€ฎ๏ ๏ƒ๏‚๏‚พ๏ƒ๏ฎ๏ƒ๏‚‰๏ƒท๏ƒจ๏ด๏€ฏ๏ƒˆ๏€๏ƒŸ๏‚™๏‚”๏‚๏€น๏€ค๏€ค๏ƒŽ๏€ฏ๏€จ๏€ค๏ฏ๏™๏ƒท๏‚๏ณ๏€ฟ๏€ฃ๏ต๏ƒค๏ต๏ฒ๏ƒ“๏ผ๏‚ค๏‚Š๏ƒ๏ƒฃ๏ด๏ƒป๏ƒธ๏ƒณ๏€ค๏€ฃ๏บ๏Ž๏ด๏‚ƒ๏ƒณ๏‚๏ณ๏„๏ƒ๏๏‚ป๏ฏ๏™๏ƒ‰๏ฉ๏‚๏ด๏€ถ๏ƒธ๏€น๏€ค๏€ฃ๏ƒง๏ญ๏‚ป๏ด๏’๏ƒด ๏‚‰๏‚ญ๏‚ƒ๏ฒ๏€ฆ๏ต๏ฒ๏ƒ‡๏น๏ฒ๏ƒฃ๏‚๏ƒŽ๏€ฏ๏ƒ„๏‚จ๏ƒŸ๏‚‰๏ƒ ๏€ฉ๏ƒธ๏€น๏€ค๏€ฃ๏€ณ๏€ค๏น๏Š๏‚ฏ๏€ฝ๏ƒค๏€ณ๏ณ๏ƒน๏ฒ๏€ฆ๏ƒถ๏Ž๏ƒค๏€ฎ๏ต๏ƒค๏€ก๏€ฅ๏น๏ ๏€ท๏๏ฑ๏ƒŸ๏‚™๏ต๏‚‘๏€ค๏น๏Š๏ƒŽ๏€ฏ๏‚Ÿ๏ท๏€ฃ๏‚“๏ต๏ฑ๏ƒถ๏ซ๏ณ๏…๏ƒฃ๏Ž๏ƒค๏€ณ๏ƒ๏‚ก๏ƒ ๏ƒฟ๏’๏ฒ๏€ฆ๏ƒท๏Œ๏ƒค๏ฎ๏ƒท๏‚Ž๏น๏€น๏ƒต๏€ณ๏ด๏†๏ƒณ๏‚™๏€ค๏€ฃ๏€ค๏š๏€ฉ๏‚ƒ๏ƒŒ๏‚๏ธ๏ƒฟ๏ณ๏ƒน๏ƒท๏Œ๏ƒค๏ƒช๏ƒถ๏€ฏ๏‚ค๏‚‹๏ธ๏€ฎ๏€ค๏š ๏€ฉ๏‚ƒ๏ƒŒ๏‚๏ณ๏ƒน๏ต๏ฒ๏‚š๏ข๏ฑ๏ƒจ๏€ฝ๏ƒง๏‡๏ƒธ๏€ฉ๏ณ๏€ฟ๏ƒ‡๏ƒ‘๏ƒ๏ƒˆ Artinya:“Dan Sesungguhnya kami Telah mendatangkan Al Kitab (Taurat) kepada Musa, dan kami Telah menyusulinya (berturut-turut) sesudah itu dengan rasul-rasul, dan Telah kami berikan bukti-bukti kebenaran (mukjizat) kepada Isa putera Maryam dan kami memperkuatnya dengan Ruhul Qudus. Apakah setiap datang kepadamu seorang Rasul membawa sesuatu (pelajaran) yang tidak sesuai dengan keinginanmu lalu kamu menyombong; Maka beberapa orang (diantara mereka) kamu dustakan dan beberapa orang (yang lain) kamu bunuh?”.

(50) 35. Pada ayat ini menjelaskan bahwa Allah menurunkan kitabnya kepada Rasul selalu diikuti dengan mukjizat sebagai kebenaran kitab tersebut dan menjawab keraguan para umatnya. Dari kedua ayat di atas ditegaskan bahwa setiap keraguan akan dilakukan pembuktian untuk mencapai kebenarannya, hal ini juga terkait dengan skripsi ini. Ada beberapak teorema dan lemma yang perlu dibuktikan agar menjadi pernyataan yang berlaku umum..

(51) BAB IV PENUTUP 4.1 Kesimpulan Dari pembahasan di atas didapatkan sifat-sifat sebagai berikut: A. Setiap union soft q-ideal adalah union soft ideal dan union soft algebra. B. Untuk setiap sub-aljabar ๐ด dari ๐ธ, Misal ๐น๐ด ∈ ๐‘† ๐‘ˆ adalah U-soft ideal atas ๐‘ˆ. Pernyataan berikut ekuivalen: ๐‘– ๐น๐ด adalah U-soft q-ideal atas ๐‘ˆ, ๐‘–๐‘–๐‘– (∀๐‘ฅ, ๐‘ฆ ∈ ๐ด)(๐‘“๐ด ๐‘ฅ ∗ ๐‘ฆ ๏ƒ ๐‘ฅ ∗ 0 ∗ ๐‘ฆ , ๐‘–๐‘–๐‘– (∀๐‘ฅ, ๐‘ฆ, ๐‘ง ∈ ๐ด)๐‘“๐ด ((๐‘ฅ ∗ ๐‘ฆ ∗ ๐‘ง ). C. Diberikan subalgebra ๐ด dari ๐ธ, misal ๐น๐ด ∈ ๐‘† ๐‘ˆ adalah U-soft idealatas ๐‘ˆ. Pernyataan berikut ekuivalen: ๐‘– ๐‘“๐ด adalah U-soft q-ideal atas ๐‘ˆ. ๐‘–๐‘– Himpunan ๐œ-eksklusif tidak kosong dari ๐น๐ด adalah ideal dari ๐ด untuk setiap ๐œ ๏ƒ๐‘ˆ. D. Diberikan sub-algebra ๐ด dan ๐ต dari ๐ธ, ๐น๐ต ∈ ๐‘†(๐‘ˆ) sebagaimana: ๐‘– ๐น๐ด ๏ƒŒ๐น๐ต , ๐‘–๐‘– ๐น๐ต adalah U-soft ideal atas ๐‘ˆ. Jika ๐น๐ด adalah U-soft q-ideal atas ๐‘ˆ maka ๐น๐ต juga U-soft q-idealatas ๐‘ˆ. E. Misal ๐น{0} ∈ ๐‘†(๐‘ˆ), jika ๐น{0} adalah U-soft q-ideal atas ๐‘ˆ, maka setiap U-soft ideal adalah U-soft q-ideal atas ๐‘ˆ.. 40.

(52) 37. 3.4 Saran Semoga skripsi ini bisa menjadi acuan untuk penelitian berikutnya dan semoga bermanfaat untuk para pembaca..

(53) DAFTAR PUSTAKA Anggrayni, D.D. 2010. Q-Aljabar. Skripsi tidak diterbitkan. Semarang: Jurusan Matematika F. Matematika dan Ilmu Pengetahuan Alam Universitas Diponegoro. Anonim.. 2006.. Situs. Belajar. Matematika. Online-Matematika. Umum.. http://www.rumusmatematikadasar.com/2014/09/pengertian-matematikamenurut-pendapat-ahli-dan-kurikulum.html.Diakses tanggal3 November. 2015. Endah, L.S. 2011. Ideal-ideal pada Aljabar BCI P-semisimple yang Terbangun dari Karakterisasi Grup Modulo n. Skripsi tidak diterbitkan. Malang: Jurusan Matematika Fakultas Sains dan Teknologi Universitas Maulana Malik Ibrahim. Lee, K.J. 2013.A New Kind of Derivations in BCI-Algebra.Mathematical Sciences Journal. Volume 7, Halaman 4185-4194. Mas’oed, F. 2013. Struktur Aljabar. Jakarta: Akademia Permata. Mostafa, S.M., Naby, M.A.A., dan Elgendy, O.R. 2011. Fuzzy TM-Ideals of TMAlgebra. Journal of American Sciens. (7):17-21. Raisinghania, M.D., dan Anggarawal,R.S. 1980. Moderrn Algebra. New delhi: S. CHAN and COMPANY LTD. Saeid, A.B. 2010. Fantastic Ideals in BCI-Algebra. World Applied Sciences Journal. (8):550-554. Sun, D., dan Xu, S.. 2000. A Radical Ideal and The Characteristic of An Is Algebra Without Zero Divisiors. Soochow Journal of Mathematics. Volume 26. Halaman 401-409. Wardah, R..2014. Sifat-sifat Fantastik Ideal pada Aljabar BCI. Skripsi tidak diterbitkan. Malang: Jurusan Matematika Fakultas Sains dan Teknologi Universitas Maulana Malik Ibrahim. Yang, K.S., dan Ahn, S.S.. 2014. Union Soft q-Ideals in BCI-Algebras. Applied Mathematical Sciences Journal. (8):2859-2869..

(54) RIWAYAT HIDUP. Anggi Faizta Widiyatika, lahir di Kabupaten Malang pada tanggal 05 Juli 1993, biasa dipanggil Anggi, tinggal di Desa Ngadilangkung Dusun Ketawang RT. 004 RW. 002 Kecamatan Kepanjen Kabupaten Malang. Anak pertama dari tiga bersaudara dari Bapak Faizin dan Ibu Widayati. Pendidikan dasarnya ditempuh di SDN Ngadilangkung 1 Kepanjen dan lulus pada tahun 2005, setelah itu melanjutkan ke SMP NU Sunan Giri Kepanjen dan lulus pada tahun 2008. Kemudian melanjutkan pendidikan ke SMA Islam Kepanjen dan lulus pada tahun 2011. Selanjutnya, pada tahun 2011 menempuh kuliah di Jurusan Matematika, Fakultas Sains dan Teknologi, Universitas Islam Negeri Maulana Malik Ibrahim Malang. Selama menjadi mahasiswa, dia mengikutiperkumpulan di PNBB (Proyek Nulis Buku Bareng) bersama Ustad Erryk Khusbandono..

(55)

Referensi

Dokumen terkait