POSET
POSET
Definisi Poset:
Himpunan P dengan relasi R dinamakan Poset jika R memenuhi:
- sifat Refleksif
- sifat Antisimetris
- sifat Transitif.
2. Misalkan A = {1, 2, 3, 4, 5, 6, 7} dan R = {(x,y) | x − y habis dibagi 3}
Buktikan bahwa R merupakan poset!
Bukti:
(i) R refleksif
Setiap a A, a − a habis dibagi 3, maka a R a
Sehingga, R berlaku sifat refleksif.
(ii) R antisimetris
Setiap a, b A, jika a − b habis dibagi 3, maka b − a habis dibagi 3 dimana
a =b
Setiap a, b A, jika a − b habis dibagi 3, maka b − a habis dibagi 3 akan
tetapi (b, a) merupakan relasi.
Sehingga, R tidak berlaku sifat antisimetris
3. Didefinisikan relasi biner R pada himpunan bilangan bulat positif sebagai berikut:
Dua bilangan bulat positif a, b dikatakan berelasi jika a membagi habis b. Apakah R
poset! Buktikan!
Rantai
Definisi: misalkan ( P , ) sebuah Poset. Jika untuk setiap x , y P berlaku x
y atau y , maka (P, ) disebut Rantai
Jawaban:
Rantai, karena untuk setiap x,y R, berlaku x y atau y , maka himpunan semua
bilangan Real dengan Relasi merupakan sebuah Rantai
Diagram Hasse Poset
Misalkan ( P , ) sebuah Poset. Jika P hingga, maka ( P , ) dapat
dinyatakan dalam bentuk Diagram yang dikenal dengan Diagram Hasse
Tiap elemen diwakili sebuah lingkaran kecil atau titik. Jika x < y , maka
lingkaran yang mewakili x P digambar dibawah lingkaran yang mewakili
y P. misalkan a,b P, a b, ab dan ada anggota lain c, sedemikian hingga a
b c , maka relasi a b dinyatakan Rantai langsung dengan posisi b di atas a.
b
a
Aturan membuat Diagram Hasse
1
Batas Atas dan Batas Bawah
Definisi ( P , ) adalah sebuah Poset dan a,b P.
c P disebut batas atas dari {a,b} jika a c dan b c. sebaliknya
d P disebut batas bawah dari {a,b} jika d a dan d b.
Sebaliknya,
Jika ada p P sehingga p batas bawah dari { a , b } dan untuk setiap batas q
dari { a , b } berlaku q p, maka p dinamakan batas bawah terbesar atau
Infimum dari { a , b } dan dilambangkan p = a * b.
Teorema
Misalkan ( P , ) adalah Poset dan a , b P
(1) Jika Supremum {a,b} ada, maka Supremum tersebut Tunggal
(2) Jika Infimum {a,b} ada, maka Infimum tersebut tunggal
Perhatikan diagram Hasse berikut:
Jika A = {2, 3, 6}, maka:
Batas atas dari A adalah 6, 12, 18, 24
Batas bawah dari A adalah 1
Sup A adalah 6
Inf A adalah 1
Jika B = {4, 6, 9}
Batas atas dari B adalah tidak ada
Sup B adalah tidak ada
Inf B adalah 1
Misalkan A = {2, 3, 4, 6, 12, 18, 24, 36}.
Didefinisikan x ≤ y sebagai y habis dibagi x.
a. Buatlah diagram hasse dari (A, ≤)
b. Tentukan batas atas dari (6, 12)
c. Tentukan batas bawah (24, 36)
d. Tentukan Supremum dari (6,12)
e. Tentukan Infimum dari (24, 36)