email: arudhito@yahoo.co.id
ABSTRAK
Makalah ini membahas aljabar matriks atas aljabar max-min interval (matriks interval) dan suatu cara
untuk mempermudah pengoperasian matriks interval melalui interval matriksnya. Aljabar matriks ini
merupakan perluasan aljabar matriks atas aljabar max-min dan dapat menjadi dasar pembahasan aljabar
matriks max-min bilangan kabur. Dapat ditunjukkan bahwa himpunan semua matriks interval yang
dilengkapi dengan operasi perkalian skalar max-min dan penjumlahan max-min merupakan semimodul.
Himpunan semua matriks persegi atas aljabar max-min interval yang dilengkapi dengan operasi penjumlahan
max-min dan perkalian max-min merupakan semiring idempoten. Sebagai jaminan dapat dilakukan
pengoperasian matriks interval melalui interval matriksnya, ditunjukkan bahwa semimodul himpunan semua
matriks interval isomorfis dengan semimodul himpunan interval matriks yang bersesuaian, dan semiring
himpunan semua matriks interval persegi isomorfis dengan semiring himpunan interval matriks persegi yang
bersesuaian.
149
Prosiding Seminar Nasional Sains dan Pendidikan Sains VIII, Fakultas Sains dan Matematika, UKSW
Salatiga, 15 Juni 2013, Vol 4, No.1, ISSN:2087-0922
pembahasan matriks atas aljabar max-min [2], hanya bila, jika x •y = 0maka x = 0atau y = 0
matriks atas aljabar max-plus [1], [4] dan untuk setiap x, y ∈S.
matriks atas aljabar max-plus interval [4], akan
dikonstruksikan dan dibahas sifat-sifat dan Diberikan S dan T adalah semiring. Fungsi f : S
teknis perhitungan matriks atas aljabar max- →T disebut homomorfisma semiring jika
plus interval. Hasil-hasil pembahasan akan berlaku f (a ∗ b) = f (a) ∗ f (b) dan f (a •b) = f
disajikan dalam definisi, teorema dan contoh. (a) • f (b) untuk setiap a, b∈S. Jika
homomorfisma semiring f bersifat bijektif,
HASIL DAN DISKUSI maka f disebut isomorfisma semiring dan
Terlebih dahulu akan ditinjau beberapa konsep dikatakan bahwa semiring S isomorfis dengan
dasar dalam semiring dan semimodul [5] , [6], semiring T.
aljabar max-min dan aljabar max-min interval,
yang selengkapnya dapat dilihat dalam [5].
Diberikan semiring komutatif (S, ∗ ,•) dengan
elemen netral0dan elemenidentitas1.
Suatusemiring (S, ∗ ,•) adalah suatu himpunan SemimodulMatasSadalah semigrup komutatif
takkosong Syang dilengkapi dengan dua (M, ∗ ) yang dilengkapi operasi perkalian
operasi biner ∗ dan •, yang memenuhi aksioma skalar♦ :S×M→M, yang dituliskan (α , x)
berikut
a α•x, sedemikian hingga memenuhi
i) (S, ∗ ) adalah semigrup komutatif dengan
aksioma berikut:
elemen netral0,yaituberlaku
(a ∗ b) ∗ c = a ∗ (b ∗ c) , i) α♦(x ∗ y) = α♦x ∗ α♦y,
a∗b = b∗a , ii) (α ∗ β) ♦x = α♦x ∗ β♦x,
a ∗ 0 = a , untuk setiap a, b, c∈S. iii) α♦(β♦x) = (α♦β) ♦x,
ii) (S, •) adalahsemigrup dengan elemen iv) 1♦x = x,
satuan1, yaituberlaku v) 0♦x = 0.
(a•b) •c = a • (b•c), untuk setiap α , β∈Sdan untuk setiap
a•1 = 1•a = a,untuk setiap a, b, c∈S. x,y∈M.Elemen-elemen dalam semimodul
iii) Elemen netral0merupakan elemen penyerap disebut vektor.
terhadap operasi•,yaituberlaku
a•0 = 0•a = 0,untuk setiap a∈S. Diberikan semimodul M atas semiring S dengan
iv) Operasi ∗ distributif terhadap• , operasi penjumlahan + dan perkalian skalar •.
yaituberlaku(a ∗ b) •c = (a •c) ∗ (b•c), Dapat ditunjukkan bahwa jika (M, + )
a• ( b ∗ c ) = (a •b) ∗ (a•c) merupakan semigrup komutatif idempoten,
untuk setiap a, b, c∈S. maka operasi + dan •konsisten terhadap urutan
p m dalam semimodul M , yaitu untuk setiap
Semiring (S, ∗ , •) dikatakanidempotenjika x,y,z∈M dan untuk setiap α∈S , jika x p m y ,
operasi ∗ bersifat idempoten, yaitu berlaku a ∗ a
= a untuk setiap a∈S, dan dikatakankomutatif maka x + z p m y + z dan α•x p m α•y .
jika operasi•bersifat komutatif. Dapat Diberikan M dan N adalah semimodul atas
ditunjukkan bahwa jika (S, ∗ ) merupakan semiring komutatif S. Fungsi f : M →N disebut
semigrup komutatif idempoten maka relasi homomorfisma semimodul jika f (α•x) = α•f
“p” yang (x) danf (x+ y) = f (x) + f (y) untuk setiap x,
y∈M dan untuk setiap α∈S. Jika
didefinisikanpadaSdenganx p y⇔x ∗ y =
homomorfisma semimodul f bersifat bijektif,
ymerupakan urutan parsial padaS. Operasi ∗ maka f disebut isomorfisma semimodul dan
dan × dikatakan konsisten terhadap urutan “ p ” dikatakan bahwa semimodul M isomorfis
dalam S bila dan hanya bila jika x p y, maka dengan semimodul N.
x ∗ z p y ∗ z dan x×z p y×z untuk setiapx, y, z
+ +
∈S. Dalam semiring idempoten (S, ∗ , •) Diberikan R ε+ := R ∪{ε} dengan R adalah
operasi ∗ dan • konsisten terhadap urutan p himpunan semua bilangan real nonnegatip dan ε
dalam S. : = +∞. Pada R ε+ didefinisikan operasi
Semiring (S, ∗ , •) dengan elemen netral
0dikatakan tidak memuat pembagi nol bila dan
150
Prosiding Seminar Nasional Sains dan Pendidikan Sains VIII, Fakultas Sains dan Matematika, UKSW
Salatiga, 15 Juni 2013, Vol 4, No.1, ISSN:2087-0922
+ ..., n.
Pada I( R )ε didefinisikan operasi ⊕ dan ⊗ :
+
x ⊕ y= [ x ⊕ y , x ⊕ y ] dan Didefinisikan matriks E∈I( R ) εn × n ,dengan
x ⊗ y= [ x ⊗ y , x ⊗ y ] ⎧0 , jika i = j
(E)ij : = ⎨ . Didefinisikan pula
⎩ ε , jika i ≠ j
+
untuk setiap x, y∈I( R )ε.
Dapat ditunjukkan bahwa (I( R )ε, ⊕ , ⊗ )
+ matriks ε∈I( R + ) εn × n ,dengan: (ε)ij := ε untuk
merupakan semiring idempoten komutatif. setiap i dan j .
+
Selanjutnya (I( R )ε, ⊕ , ⊗ ) disebut aljabar
+ Contoh 1
max-min interval dan cukup dituliskan I( R )ε. +
Perhatikan bahwa I( R ) εm ×n tertutup terhadap
+ operasi ⊕ , hal ini akibat dari sifat ketertutupan
Selanjutnya operasi ⊕ dan ⊗ pada I( R )ε.di +
operasi ⊕ pada I( R )ε. Selanjutnya dapat
atas dapat diperluas untuk operasi-operasi
+
+
matriks dalam I( R ) εm ×n seperti dalam definisi ditunjukkan(I( R ) εm ×n , ⊕ ) merupakan semi-
berikut. grup idempotent komutatif, sehingga relasi
“ p Im ” yang didefinisikan pada
151
Prosiding Seminar Nasional Sains dan Pendidikan Sains VIII, Fakultas Sains dan Matematika, UKSW
Salatiga, 15 Juni 2013, Vol 4, No.1, ISSN:2087-0922
+
+
I( R ) εm ×n dengan A p Im B⇔A ⊕B = Untuk setiap matriks intervalA∈I( R ) εm ×n .
Bmerupakan urutanparsial. Perhatikan bahwa didefinisikan matriks A = ( Aij )
A⊕B = B⇔Aij ⊕ Bij = Bij⇔Aij
∈ R ε+ m× n dan A = ( Aij ) ∈ R ε+ m× n ,berturut-turut
p Im Bij⇔ Aij p m Bij dan Aij p m Bij untuk
disebut matriks batas bawah dan matriks batas
setiap i dan j. Lebih lanjut I( R + ) εm ×n merupakan atas matriks intervalA.
+ +
semimodul atas I( R )ε., sedangkan I( R ) εn × n , Contoh 2.
⊕, ⊗ ) merupakan semiring idempoten Diberikan matriks interval
dengan elemen netral adalah matriks ε dan ⎡ [1, 2] [0, 0] [6, 9]⎤
A= ⎢ ⎥ , maka
elemen satuan adalah matriks E. Perhatikan ⎣[ε , ε ] [0, 3] [2, 2]⎦
+
bahwa (I( R ) εn × n , ⊕ , ⊗ ) bukan semiring ⎡ 1 0 6⎤ ⎡ 2 0 9⎤
A= ⎢ ⎥ dan A = ⎢ ⎥.
komutatif , hal ini sebagai akibat dari R ε+ n× n ⎣ε 0 2⎦ ⎣ε 3 2⎦
yang bukan merupakan semiring komutatif.
Definisi 5
+
Mengingat (I( R ) εm ×n , ⊕ ) merupakan semi- Diberikan matriks intervalA∈I( R + ) εm ×n ,
grup idempoten, maka operasi ⊕ konsisten dengan A dan A berturut-turut adalah matriks
+ batas bawah dan matriks batas atasnya.
terhadap urutan p Im dalam I( R ) εm ×n , yaitu
Didefinisikan interval matriks dariA,
jika A p Im B, makaA ⊕ C p Im B ⊕ Cuntuk yaitu[ A , A ] = {A∈ R ε+ m× n ⎜ A p m A p m A }
+
setiap A, B, C ∈I( R ) εm ×n . Mengingat danI( R ε+ m× n )b = { [ A , A ] |A∈I( R + ) εm ×n }.
+
(I( R ) εm ×n , ⊕, ⊗) merupakan semiring
Contoh 3
idempoten, maka operasi ⊗ konsisten terhadap
urutan p Im dalam
+
I( R ) εn × n , yaitu Diberikan matriks interval
152
Prosiding Seminar Nasional Sains dan Pendidikan Sains VIII, Fakultas Sains dan Matematika, UKSW
Salatiga, 15 Juni 2013, Vol 4, No.1, ISSN:2087-0922
berlaku A ⊗ B = A ⊗ B dan A ⊗ B = A ⊗ B .
Untuk setiap [ A , A ], [B,B]
∈I( R ε+ n× n )bberlaku A pm A dan B pm B . n
A ⊗B pm A ⊗ B . Jadi [ A ⊕ B , A ⊕ B ] ⊕ k =1
[ A ik , A ik ] ⊗ [ Bkj , Bkj ] = ⊕
k =1
merupakan interval matriks. Jadi n
+ n× n
I( R ε )btertutup terhadap operasi perkalian [ A ik ⊗ Bkj , A ik ⊗ Bkj ] = [ ⊕ A ik ⊗ Bkj ,
k =1
⊗ seperti yang didefinisikan di atas. Dapat n
153
Prosiding Seminar Nasional Sains dan Pendidikan Sains VIII, Fakultas Sains dan Matematika, UKSW
Salatiga, 15 Juni 2013, Vol 4, No.1, ISSN:2087-0922
154
Prosiding Seminar Nasional Sains dan Pendidikan Sains VIII, Fakultas Sains dan Matematika, UKSW
Salatiga, 15 Juni 2013, Vol 4, No.1, ISSN:2087-0922
⎡ 1 4⎤ ⎡ 2 5⎤ DAFTAR PUSTAKA
A ⊗B = ⎢ ⎥ , A⊗ B = ⎢ ⎥.
⎣ε 2⎦ ⎣ε 4⎦ [1] Baccelli, F., Cohen, G., Olsder, G.J. and
Quadrat, J.P. 2001. Synchronization and
Perhatikan bahwa A ⊗ B ≈ [A ⊗ B, A ⊗ B] = Linearity. New York: John Wiley & Sons.
⎡ ⎡ 1 4⎤ ⎡ 2 5 ⎤ ⎤
⎢⎢
ε 2 ⎥, ⎢ε 4⎥ ⎥ , [2] Gondran, M and Minoux, M. 2008. Graph,
⎣ ⎣ ⎦ ⎣ ⎦⎦ Dioids and Semirings. New York: Springer.
⎡ [1, 2] [4, 5]⎤
sehinggaA ⊗ B = ⎢ ⎥. [3] Litvinov, G.L., Sobolevskii, A.N. 2001.
⎣[ε , ε ] [2, 4]⎦ Idempotent Interval Anaysis and
Optimization Problems.Reliab.Comput., 7,
KESIMPULAN 353 – 377; arXiv: math.SC/ 010180.
Dari pembahasan di atas dapat disimpulkan
bahwa operasi-operasi pada matriks interval [4]Rudhito, Andy. 2011. Aljabar Max-Plus
dapat dilakukan melalui matriks-matriks batas Bilangan Kabur dan Penerapannya pada
bawah dan batas bawahnya. Selanjutnya dapat Masalah Penjadwalan dan Jaringan Antrian
diperoleh interval matriks yang bersesuaian Kabur. Disertasi: Program Pascasarjana
dengan matriks interval hasil pengoperasian. Universitas Gadjah Mada. Yogyakarta.
Hasil pembahasan di atas selanjutnya dapat
digunakan untuk membahas sistem persamaan [5]Rudhito, Andy. 2013. Aljabar Max-Min
linear max-min interval. Di samping itu hasil- Interval. Prosiding Seminar Nasional
hasil di atas juga dapat digeneralisir ke dalam Penelitian, Pendidikan , dan Penerapan
matriks atas aljabar max-min bilangan kabur MIPA, tanggal 18 Mei 2013, FMIPA
(fuzzy), dengan terlebih dulu menggeneralisir Universitas Negeri Yogyakarta.
aljabar max-min interval ke dalam aljabar max-
min bilangan kabur. [6] Schutter, B. De., 1996. Max-Algebraic
System Theory for Discrete Event Systems,
PhD thesis Departement of Electrical
Enginering Katholieke Universiteit Leuven,
Leuven
155
Prosiding Seminar Nasional Sains dan Pendidikan Sains VIII, Fakultas Sains dan Matematika, UKSW
Salatiga, 15 Juni 2013, Vol 4, No.1, ISSN:2087-0922
A=
A=
A=
1. Jika tanpa aljabar max – min, apakah hanya untuk menentukan batas atas dan bawah saja ?
2. Apa maksudnya Semiring idenpoten ?
Jawaban :
1. Makalah ini membahas jaminan matematis operasi matriks interval melalui interval matriks
yang bersesuaian
2. Semiring : seperti ring tapi dengan aksioma yang lebih lemh, seperti grup menjadi
semigrup
+
Idenpoten : a + a = a
156