• Tidak ada hasil yang ditemukan

BCK-Aljabar Hiper - Diponegoro University | Institutional Repository (UNDIP-IR)

N/A
N/A
Protected

Academic year: 2017

Membagikan "BCK-Aljabar Hiper - Diponegoro University | Institutional Repository (UNDIP-IR)"

Copied!
13
0
0

Teks penuh

(1)

BCK-ALJABAR HIPER

Oleh :

DEWI YUNITASARI

J2A 006 014

PROGRAM STUDI MATEMATIKA JURUSAN MATEMATIKA

FAKULTAS MATEMATIKA DAN ILMU PENGETAHUAN ALAM

UNIVERSITAS DIPONEGORO

SEMARANG

(2)

BCK-ALJABAR HIPER

DEWI YUNITASARI

J2A 006 014

Skripsi

Diajukan sebagai syarat untuk memperoleh gelar Sarjana Sains pada

Program Studi Matematika

PROGRAM STUDI MATEMATIKA JURUSAN MATEMATIKA

FAKULTAS MATEMATIKA DAN ILMU PENGETAHUAN ALAM

UNIVERSITAS DIPONEGORO

SEMARANG

(3)

HALAMAN PENGESAHAN

Judul : -Aljabar Hiper Nama : Dewi Yunitasari NIM : J2A 006 014

Telah diujikan pada sidang Tugas Akhir tanggal 7 Juni 2010 dan dinyatakan lulus pada tanggal 10 Juni 2010.

Semarang, 10 Juni 2010 Panitia Penguji Tugas Akhir

Ketua,

Drs. Djuwandi, SU NIP. 19520807 198003 1 003

Mengetahui,

Ketua Jurusan Matematika FMIPA UNDIP

Dr. Widowati, S.Si, M.Si NIP. 19690214 199403 2 002

Mengetahui,

Ketua Program Studi Matematika Jurusan Matematika FMIPA UNDIP

(4)

HALAMAN PENGESAHAN

Judul : -Aljabar Hiper Nama : Dewi Yunitasari NIM : J2A 006 014

Telah diujikan pada sidang Tugas Akhir tanggal 7 Juni 2010.

Pembimbing Utama

Suryoto, S.Si, M.Si

NIP. 19680714 199403 1 004

Semarang, 10 Juni 2010 Pembimbing Anggota

(5)

KATA PENGANTAR

Puji syukur penulis panjatkan ke hadirat Tuhan Yang Maha Esa atas segala rahmat dan karunia-Nya sehingga Tugas Akhir ini dapat terselesaikan. Tugas Akhir yang berjudul “ -ALJABAR HIPER” ini disusun sebagai salah satu syarat untuk memperoleh gelar Sarjana Strata Satu (S1) pada Jurusan Matematika Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Diponegoro.

Banyak pihak yang telah membantu dalam penyelesaian Tugas Akhir ini. Oleh karena itu, rasa hormat dan terimakasih ingin penulis sampaikan kepada :

1. Ibu Dra. Rum Hastuti, M.Si selaku Dekan FMIPA UNDIP Semarang.

2. Ibu Dr. Widowati, M.Si selaku Ketua Jurusan Matematika FMIPA UNDIP Semarang.

3. Bapak Bambang Irawanto, S.Si, M.Si selaku Ketua Program Studi Matematika Jurusan Matematika FMIPA UNDIP Semarang.

4. Bapak Suryoto, S.Si, M.Si dan Bapak Drs. Y.D. Sumanto, M.Si selaku Dosen Pembimbing I dan II yang telah bersedia meluangkan waktunya untuk memberikan bimbingan hingga Tugas Akhir ini terselesaikan.

5. Semua pihak yang tidak dapat penulis sebutkan satu per satu.

Penulis menyadari Tugas Akhir ini masih banyak kekurangannya. Untuk itu kritik dan saran yang membangun sangat penulis harapkan. Semoga Tugas Akhir ini dapat bermanfaat bagi penulis dan para pembaca.

Semarang, Juni 2010

(6)

ABSTRAK

(7)

ABSTRACT

A hyper -algebra can be viewed as -algebra in which the binary operation applied to the -algebra has been replaced by hyper operation applied to the hyper

(8)

DAFTAR ISI

1.2 Perumusan Masalah ... 2

1.3 Pembatasan Masalah ... 2

1.4 Tujuan Penulisan ... 2

1.5 Sistematika Penulisan ... 3

BAB II TEORI PENUNJANG ... 4

3.2 Relasi Hiper pada BCK-Aljabar Hiper ... 68

BAB IV PENUTUP ... 89

4.1 Kesimpulan ... 89

4.2 Saran ... 89

(9)

DAFTAR SIMBOL

: Grup

ℤ : Himpunan semua bilangan bulat

ℤ : Himpunan semua bilangan bulat positif atau lebih besar dari 0

ℤ : Himpunan semua bilangan bulat modulo 5

ℜ : Himpunan semua bilangan riil

M2(ℜ) : Himpunan semua matriks berukuran 2x2 yang entri-entrinya merupakan

bilangan riil

( ) : Himpunan kuasa dari himpunan

( ) : Himpunan kuasa dari himpunan tanpa himpunan kosong

R : Relasi

≤ : Relasi terurut parsial • : Operasi biner pada grup

∗ : Operasi biner pada -aljabar

⊛ : Operasi hiper pada -aljabar hiper : Elemen identitas

0 : Elemen khusus dari suatu aljabar

(10)

DAFTAR TABEL

Halaman

Tabel 2.1 Pendefinisian operasi biner pergandaan "∙" pada ...8

Tabel 2.2 Pendefinisian operasi biner penjumlahan “+” pada ℤ ...15

Tabel 2.3 Pendefinisian operasi biner ⊕ pada ℤ ...15

Tabel 2.4 Pembuktian aksioma 1′ pada ℤ dengan operasi biner ⊕ ...16

Tabel 2.5 Pembuktian aksioma 2′ pada ℤ dengan operasi biner ⊕ ...19

Tabel 2.6 Pendefinisian operasi biner ⊙ pada ...21

Tabel 2.7 Pendefinisian operasi biner ∗ pada ...22

Tabel 2.8 Pembuktian aksioma 1 pada dengan operasi biner ∗ ...22

Tabel 2.9 Pembuktian aksioma 2 pada dengan operasi biner ∗ ...24

Tabel 2.10 Pembuktian aksioma 4 pada dengan operasi biner ∗ ...25

Tabel 3.1 Pendefinisian operasi hiper ⊛ pada ...38

Tabel 3.2 Pembuktian aksioma 1 pada dengan operasi hiper ⊛...38

Tabel 3.3 Pembuktian aksioma 2 pada dengan operasi hiper ⊛...42

Tabel 3.4 Pembuktian aksioma 3 pada dengan operasi hiper ⊛...43

Tabel 3.5 Pembuktian aksioma 6 pada dengan operasi hiper ⊛...46

(11)

BAB I

PENDAHULUAN

1.1 Latar Belakang

Suatu struktur aljabar merupakan himpunan yang tidak kosong dengan paling sedikit sebuah relasi ekuivalensi, satu atau lebih operasi biner dan memenuhi aksioma–aksioma tertentu.

Selain grup dan ring yang merupakan struktur aljabar, -aljabar juga merupakan suatu struktur aljabar. Berdasarkan grup pembangunnya, -aljabar mempunyai beberapa kelas antara lain -aljabar, -aljabar, -aljabar ketika grup pembangun -aljabar merupakan grup komutatif dan -aljabar ketika grup pembangun -aljabar merupakan grup tidak komutatif.

Pada tahun 1966, K. Iseki dan Y. Imai memperkenalkan struktur aljabar baru yang disebut -aljabar. Kemudian pada tahun yang sama, K. Iseki memperkenalkan gagasan baru mengenai -aljabar yang merupakan perumuman dari -aljabar, sehingga -aljabar memuat -aljabar. Selanjutnya pada tahun 1983, Q. P. Hu dan X. Li memperkenalkan struktur aljabar baru yang lebih luas lagi yang disebut -aljabar. Mereka memperkenalkan bahwa -aljabar merupakan -aljabar. Kemudian setelah itu, M. Bolurian dan A. Hasankhani mulai memperkenalkan suatu struktur aljabar baru yang disebut dengan -aljabar hiper.

(12)

pada -aljabar hiper. Seperti halnya -aljabar yang memiliki relasi yang berlaku di dalamnya, -aljabar hiper yang dapat dipandang sebagai -aljabar juga memiliki relasi yang berlaku di dalamnya. Salah satu relasi yang berlaku pada

-aljabar hiper dinamakan sebagai relasi hiper.

1.2 Perumusan Masalah

Berdasarkan uraian di atas, permasalahan yang akan dibahas dalam tugas akhir ini yaitu

1. apakah -aljabar hiper itu dan bagaimana sifat-sifat yang berlaku di dalamnya, serta

2. bagaimana relasi hiper pada -aljabar hiper.

1.3 Pembatasan Masalah

-aljabar mempunyai beberapa hal yang dapat dikaji, antara lain -aljabar hiper, -homomorfisma, -semihomomorfisma dan sebagainya. Pada tugas akhir ini hanya akan dibahas mengenai -aljabar hiper dan relasi hiper pada -aljabar hiper saja. Kemudian himpunan yang digunakan dalam

-aljabar hiper adalah himpunan yang berhingga.

1.4 Tujuan Penulisan

Berdasarkan uraian di atas, tujuan penulisan dari tugas akhir ini adalah

(13)

1.5 Sistematika Penulisan

Referensi

Dokumen terkait

aljabar dengan operasi biner pada X yang telah diberikan pada Tabel 1.. Selanjutnya akan dilihat apakah X merupakan

Struktur ini merupakan perumuman dari -aljabar dengan demikian setiap -aljabar adalah -aljabar akan tetapi sebaliknya tidak berlaku.. Konsep-konsep seperti ideal dan

dari -aljabar dan membahas sifat-sifat yang berlaku pada -aljabar serta aspek-. aspek yang terkait yaitu ideal dan homomorfisma

Dengan menggunakan konsep dan sifat dari derivasi -aljabar akan dipelajari pula sifat-sifat derivasi yang berlaku pada -aljabar 0-komutatif.. Kata kunci : -aljabar,

Terdapat hubungan antara -aljabar kuadratik dengan -aljabar yaitu setiap -aljabar kuadratik yang dapat dibentuk dari lapangan merupakan -aljabar demikian berlaku

Struktur aljabar merupakan himpunan yang tidak kosong dengan paling sedikit sebuah relasi ekuivalensi, satu atau lebih operasi biner dan aksioma- aksioma yang

Selama ini mungkin hanya diketahui grup dan ring saja yang merupakan salah satu contoh dari struktur aljabar, ternyata masih banyak sekali. struktur aljabar

Suatu BCC -aljabar merupakan subkelas dari K -aljabar bilamana grup pembangunnya adalah grup tidak komutatif, sehingga sifat-sifat yang berlaku pada K -aljabar akan