(Relasi Ekivalen)
Definisi.
Suatu relasi pada himpunan A dikatakan sebagai relasi
ekivalen jika relasi tersebut bersifat refleksif, simetris,
dan transitif.
Dua anggota A yang berelasi oleh suatu relasi ekivalen
dikatakan ekivalen.
Sifat Relasi Ekivalen
Karena R refleksif,
setiap elemen ekivalen terhadap dirinya sendiri.
Karena R simetris,
a ekivalen dengan b setiap kali b ekivalen
dengan a.
Karena R transitif,
jika a dan b ekivalen serta b dan c ekivalen,
maka a dan c juga ekivalen.
Contoh
Misalkan A himpunan string yang memuat alfabet dan
l(x) panjang dari string x.
Jika R relasi pada A dengan aRb jika dan hanya jika l(a) =
l(b), apakah R suatu relasi ekivalen ?
Solusi:
R refleksif, karena l(a) = l(a) dan karenanya aRa untuk
setiap string a.
R simetris, karena jika l(a) = l(b) maka l(b) = l(a),
sehingga jika aRb maka bRa.
R transitif, karena jika l(a) = l(b) dan l(b) = l(c), maka
l(a) = l(c), sehingga aRb dan bRc mengakibatkan aRc.
Jadi, R adalah suatu relasi ekivalen.
Contoh
Periksa apakah relasi di bawah ini merupakan relasi ekivalen
“sejajar dengan”
“mempunyai sebuah titik yang sama dengan”
R={(a,b);a+b genap} untuk semua a,b bil bulat positif
Kelas Ekivalen
Definisi.
Misalkan R relasi ekivalen pada himpunan A.
Himpunan semua anggota yang berelasi oleh R dengan
suatu anggota a di A disebut kelas ekivalen dari a.
Kelas ekivalen dari a dengan memandang relasi R
dinotasikan oleh [a]R,
[a]R = {s | (a,s) R}
Contoh 3.
1. (P(Z),) tidak terurut total
2. (Z+,|) tidak terurut total
3. (Z,) terurut total
Diagram Hasse
Bila relasi biner itu berupa relasi pengurutan parsial, sajian grafik itu bisa
lebih disederhanakan lagi.
Karena relasi bersifat memantul (refleksive), kita dapat membuang panel-
panel ke titik (-titik) nya sendiri. lihat gambar (i) menjadi (ii).
Karena relasi bersifat menghantar (transitive), kita dapat membuang
panah antar titik-titik yang dihubungkan dengan serangkaian panah.
lihat gambar (ii) menjadi gambar (iii).
# Representasi grafik suatu relasi pengurutan parsial yang semua tanda
panahnya mengarah keatas juga dikenal sebagai : “Diagram Hasse“ bagi
relasi tersebut.
Diagram Hasse
Diagram yang memuat informasi yang diperlukan untuk
menemukan suatu pengurutan parsial R.
1
12
2
4
4
3
3
2
1
1
Contoh
S = { a,b,c } dan A = P(S). Gambarkan diagram Hasse poset
A dengan partial order (himpunan bagian) : ( A , )
Jawab : A = { , {a}, {b}, {c}, {a,b}, {a,c}, {b,c},
{a,b,c}}
Dengan mudah dapat dilihat jika ( A, )
adalah sebuah poset dan ( A, ) adalah
{a,b,c} poset juga. Hasse diagram untuk
( A, ) persis sama dengan diagram ( A,
) yang dibalik diatas kebawah.
{a,c}
{b,c}
{a,b}
{c}
{a}
{b}
Soal
Gambarkan diagram Hasse yang
merepresentasikan pengurutan parsial