Anda di halaman 1dari 13

POSET & LATTICE

MATEMATIKA TEKNOLOGI INFORMASI 2


Nama : Satriawan Desmana
Nim : 1331127!"#!$
PROGRAM ST%DI TEKNIK INFORMATIKA
FAK%LTAS TEKNIK KOM%NIKASI DAN INFORMATIKA
%NI&ERSITAS NASIONAL
21"
POSET & LATTICE
1' POSET
Himpunan terurut parsial yang dikenal dengan istilah poset, merupakan konsep yang
sangat penting yang mendasari lattice.
Sebelum sampai pada pendefinisian poset, anda diingatkan kembali pada definisi
relasi biner serta sifat-sifatnya.
De(inisi 2'1'1
Misalkan A dan B adalah himpunan-himpunan tak kosong. Hasilkali artes dari A
dan B dinotasikan dengan A ! B adalah himpunan A ! B " #$!,y% & ! A, y B'
ontoh (:
)iketahui himpunan A " #(,*,+' dan B " #a,b'. Hasil kali artes dari A dan B adalah
A ! B " #$(,a%, $(,b%, $*,a%, $*,b%, $+,a%, $+,b%', dan hasil kali artes dari B dan A
adalah B ! A " #$a,(%, $a,*%, $a,+%, $b,(%, $b,*%, $b,+%'
De(inisi 2'1'2
Misalkan A dan B adalah himpunan-himpunan tak kosong. Setiap himpunan bagian
tak kosong dari A ! B disebut relasi biner $atau secara singkat disebut relasi% dari A
ke B.
,ika - adalah relasi dari A ke B dan $!,y% -, maka pernyataan .! berelasi dengan y/
dinotasikan dengan ! - y.
)alam matematika, relasi seringkali dinotasikan dengan symbol khusus yang bukan
merupakan huruf dari ab0ad latin. ontoh yang paling umum adalah relasi .lebih besar
dari/ untuk himpunan bilangan real. -elasi ini dinotasikan oleh yang dapat dipandang
sebagai nama suatu himpunan dengan elemen-elemennya berupa pasangan terurut.
TIK ) Setelah mempela0ari sub bab ini mahasis1a dapat :
* men0elaskan pengertian relasi urutan parsial dan contohnya
* Menggambar )iagram Hasse suatu poset
* Menentukan supremum dan infimum suatu himpunan
,ika a dan b adalah dua bilangan real sedemikian hingga a 2 b, maka dikatakan
bah1a $a,b% 2. 3ebih tepatnya relasi 2 adalah
2 " #$!,y% & !,y adalah bilangan real dan ! 2 y'
Si(at*si(at re+asi ,iner
Ada beberapa sifat relasi biner yang penting untuk diketahui yakni sifat refleksif,
simetris, transitif, dan antisimetris.
De(inisi 2'1'3
Misalkan - adalah relasi pada A $relasi dari A ke A%. - dikatakan refleksif 0ika untuk
setiap ! A, maka $!,!% -.
ontoh *:
)iketahui A " #-4, -5, -+, -*, -(, 6, (, *, +, 5, 4'
Suatu relasi - didefinisikan sebagai berikut :
- " #$!,y%& !,y A, !y 2 6'
7eriksa apakah - refleksif atau tidak.
7enyelesaian
Ambil ! " 6 $6 A%. 8arena 6.6 " 6, maka $6,6% -.
)engan demikian ada ! A sedemikian hingga $!,!% -.
9ni berarti bah1a - tidak refleksif.
Soal latihan
)iketahui B " #(,*,+,5,4'. -elasi - didfinisikan sebagai berikut
- " #$!,y%& !,y B, !y 2 6'
7eriksa apakah - refleksif atau tidak.
De(inisi 2'1'"
Misalkan - adalah relasi pada A. - dikatakan simetris 0ika untuk setiap !, y A
dengan !-y, maka y-!.
ontoh +:
)iketahui A " #:*, :(, 6, (, *' -elasi - didefinisikan sebagai berikut
- " #$!,y%& !,y A, !y 2 6'
7eriksa apakah - simetris atau tidak.
7enyelesaian
A ! A " #$:*,:*%, $:*,:(%, $:*,6%, $:*,(%, $:*, *%, $:(,:*%, $:(,:(%, $:(,6%, $:(,(%, $:(,
*%, $6, :*%, $6, :(%, $6, 6%, $6,(%, $6,*%, $(,:*%, $(, :(%, $(,6%, $(,(%, $(,*%, $*,*%,
$*, :(%, $*,6%, $*,(%, $*,*%'
8arena - " #$!,y%& !,y A, !y 2 6', maka kita nyatakan sebagai berikut :
- " #$:*,:*%, $:*,:(%, $:(,:*%, $:(,:(%, $(,(%, $(,*%, $*,(%, $*,*% '
)ari sini 0elas terlihat bah1a untuk setiap $!,y% - berlaku $y,!% -. )engan kata
lain untuk setiap !,y A dengan !-y, berlaku y-!. ,adi - adalah sebuah relasi yang
simetris.
3atihan soal
)iketahui A " #:*, :(, 6, (, *' -elasi - didefinisikan sebagai berikut
- " #$!,y%& !,y A, ! ; y'
7eriksa apakah - simetris atau tidak.
De(inisi 2'1'#'
Misalkan - adalah relasi pada A. - dikatakan transitif 0ika untuk setiap !, y , < A
dengan !-y dan y-<, maka !-<.
ontoh 5:
)iketahui A " #:(, 6, (' -elasi - didefinisikan sebagai berikut
- " #$!,y%& !,y A, ! ; y'
7eriksa apakah - transitif atau tidak.
7enyelesaian
A ! A " #$:(,:(%, $:(,6%, $:(,(%, $6, :(%, $6, 6%, $6,(%, $(, :(%, $(,6%, $(,(%'
8arena - " #$!,y%& !,y A, ! ; y'dan - merupakan himpunan bagian dari A ! A,
maka - dapat dinyatakan sebagai berikut
- " #$:(,:(%, $:(,6%, $:(,(%, $6, 6%, $6,(%, $(, :(%'
)ari sini 0elas terlihat bah1a untuk setiap !, y , < A dengan !-y dan y-<, maka
!-<. )engan demikian - adalah relasi yang transitif.
3atihan soal
)iketahui A " #a,b,c' -elasi - didefinisikan sebagai berikut
- " #$a,b%, $c,b%, $b,a%, $a,c%'. 7eriksa apakah - transitif atau tidak.
De(inisi 2'1'!'
Misalkan - adalah relasi pada A. - dikatakan antisimetris 0ika untuk setiap !, y A
dengan !-y dan y-!, maka ! " y.
ontoh 4:
)iketahui A " #:*, :(, 6, (, *' -elasi - didefinisikan sebagai berikut
- " #$!,y%& !,y A, y "
x
'
7eriksa apakah - antisimetris atau tidak.
7enyelesaian
A ! A " #$:*,:*%, $:*,:(%, $:*,6%, $:*,(%, $:*, *%, $:(,:*%, $:(,:(%, $:(,6%, $:(,(%,
$:(, *%, $6, :*%, $6, :(%, $6, 6%, $6,(%, $6,*%, $(,:*%, $(, :(%, $(,6%, $(,(%, $(,*%,
$*,*%, $*, :(%, $*,6%, $*,(%, $*,*%'
8arena - " #$!,y%& !,y A, y "
x
', dan - merupakan himpunan bagian dari A ! A
maka - dapat kita nyatakan sebagai berikut :
- " #$:*,*%, $:(,(%, $6,6%, $(,(%, $*,*% '
)ari sini 0elas terlihat bah1a untuk setiap !, y A dengan !-y dan y-!, berlaku ! "
y. )engan demikian - adalah relasi antisimetris.
3atihan soal
)iketahui A " #a,b,c' -elasi - didefinisikan sebagai berikut
- " #$a,b%, $b,a%, $a,c%, $c,a%, $b,c%, $c,a%'
7eriksa apakah - antisimetris atau tidak.
De(inisi 2'1'7'
Himpunan 7 dengan relasi - pada 7 dinamakan poset 0ika - memenuhi sifat refleksif,
antisimetris, dan transitif.
ontoh =:
Misalkan > adalah himpunan semua bilangan bulat positif. -elasi ; $lebih kecil atau
sama dengan% adalah sebuah relasi pada >. 7eriksa apakah himpunan > dengan relasi
; atau dinotasikan $>, ;% merupakan poset atau bukan.
7enyelesaian
Ada tiga sifat yang harus diperiksa yaitu refleksif, antisimetris, dan transitif.
a. 8arena untuk setiap ! > berlaku ! ; !, maka sifat refleksif dipenuhi.
b. 8arena untuk setiap !,y > dengan ! ; y dan y ; !, berarti bah1a ! " y,
maka sifat antisimetris dipenuhi.
c. 8arena untuk setiap a,b,c > dengan a ; b dan b ; c, berlaku a ; c maka sifat
transitif dipenuhi.
8arena tiga sifat terpenuhi, maka $>, ;% merupakan poset.
3atihan Soal
(. Misalkan > adalah himpunan semua bilangan bulat positif. 7eriksa apakah
relasi ? pada > merupakan poset atau bukan.
*. 7eriksa apakah $>
@
, A% merupakan poset atau bukan. >
@
adalah himpunan
bilangan bulat positif. -elasi !Ay adalah relasi y habis dibagi !, untuk setiap
!, y >
@
.
De(inisi 2'1'-
)iberikan $7,-% sebuah poset.
- Blemen !, y 7 disebut dapat dibandingkan 0ika !-y atau y-!.
- Blemen !, y 7 disebut tidak dapat dibandingkan 0ika tidak terpenuhi !-y
ataupun y-!.
De(inisi 2'1'$'
Misalkan $7,;% sebuah poset. ,ika untuk setiap !, y 7 berlaku ! ; y atau y ; ! ,
maka $7,;% disebut rantai..
ontoh C:
)ari contoh sebelumnya diketahui bah1a $>, ;% merupakan poset. 7eriksa apakah
poset $>, ;% merupakan rantai atau bukan.
7enyelesaian
8arena untuk setiap !, y > berlaku ! ; y atau y ; ! , maka $>,;% merupakan rantai.
3atihan Soal
Misalkan - adalah himpunan semua bilangan real. 7eriksa apakah
(. $-, ;% merupakan poset atau bukan
*. $-, ;% merupakan rantai atau bukan
Dia.ram /asse P0set
Misalkan $7, ;% adalah sebuah poset. ,ika 7 hingga, maka $7, ;% dapat dinyatakan
dalam bentuk diagram yang dikenal dengan diagram Hasse. )alam diagram seperti
ini, tiap elemen di1akili oleh sebuah lingkaran kecil atau titik. ,ika ! ? y, maka
lingkaran yang me1akili !7 digambar di ba1ah lingkaran yang me1akili y7.
Dntuk lebih 0elas lagi, misalkan a, b 7, a ; b, a E b dan tak ada anggota lain c
sedemikian hingga a ; b ; c, maka relasi a ; b dinyatakan dengan rantai langsung
dengan posisi b di atas a. 9lustrasinya dapat dibuat sebagai berikut.
Fambar (
ontoh G:
Misalkan 7 "#(,*,+,5' dan ; didefinisikan sebagai relasi .lebih kecil atau sama
dengan/. )apat diperiksa bah1a $7, ;% merupakan sebuah rantai. )iagram Hasse
untuk $7, ;% adalah sebagai berikut
Fambar *
ontoh H:
Misalkan I "#*,+,=,(*,*5,+='. -elasi ; didefinisikan sebagai ! ; y 0ika y habis
dibagi ! $!,y I%. Fambarlah diagram Hasse untuk $I, ;%.
7enyelesaian
b
a
5
+
*
(
Berikut ini merupakan diagram Hasse untuk $I, ;%.
Fambar +
3atihan Soal
Misalkan A adalah sebuah himpunan hingga dan p$A% adalah himpunan kuasanya.
Misalkan merupakan relasi inklusi pada elemen-elemen dari p$A%. Fambarlah
diagram Hasse dari $p$A%, % 0ika
a. A " #a'
b. A " #a, b'
c. A " #a, b, c'
d. A " #a, b, c, d'
E+emen ma1sima+ 2an minima+
Misalkan $7, -% adalah sebuah poset.
- a 7 disebut elemen maksimal dalam poset $7,-% 0ika tidak ada b 7
sedemikian hingga a-b
- a 7 disebut elemen minimal dalam poset $7,-% 0ika tidak ada b 7
sedemikian hingga b-a
Blemen maksimal dan minimal tidaklah tunggal
E+emen ter,esar 2an ter1e3i+
Misalkan $7, -% adalah sebuah poset.
- a 7 disebut elemen terbesar $greatest element% dalam poset $7,-% 0ika b-a
untuk setiap b 7.
- a 7 disebut elemen terkecil $least element% dalam poset $7,-% 0ika a-b untuk
setiap b 7.
Blemen terbesar dan terkecil adalah tunggal
+=
+ *
=
*5
(*
4atas Atas 2an 4atas 4awa5
De(inisi 2'1'1'
Misalkan $7, % adalah sebuah poset dan a, b 7. Blemen c 7 disebut batas atas
dari #a, b' 0ika a c dan b c. Sebaliknya d 7 dinamakan batas ba1ah dari #a,
b' 0ika d a dan d b.
ontoh (6:
Misalkan I "#*,+,=,(*,*5,+='. )efinisikan ! y sebagai y habis dibagi !.
a. Fambarlah diagram Hasse dari $I, %.
b. arilah batas atas dari #*, +'
c. arilah batas ba1ah dari #*5, +='
7enyelesaian
a. Berikut ini merupakan diagram Hasse untuk $I, %.
Fambar 5
b. Batas atas dari #*, +' adalah =, (*, *5, dan +=.
c. Batas ba1ah dari #*5, +=' adalah (*, =, +, dan *.
De(inisi 2'1'11'
Misalkan $7, % adalah sebuah poset dan a, b 7. ,ika ada c 7 sehingga c batas
atas dari #a, b'dan untuk setiap batas d dari #a, b' berlaku c d, maka c dinamakan
batas atas terkecil atau supremum dari #a, b'dan dilambangkan c " a b.
+=
+ *
=
*5
(*
Sebaliknya, 0ika ada p 7 sehingga p batas ba1ah dari #a, b'dan untuk setiap batas J
dari #a, b' berlaku J p, maka p dinamakan batas bawah terbesar atau infimum
dari #a, b'dan dilambangkan c " a K b.
ontoh ((:
Misalkan I "#*,4,(6,*6,56,(66'. )efinisikan ! y sebagai y habis dibagi !.
a. Fambarlah diagram Hasse dari $I, %.
b. arilah batas atas dari #*, 4'
c. arilah batas ba1ah dari #56, (66'
d. arilah supremum dari#*, 4'
e. arilah infimum dari #56, (66'
7enyelesaian
a. Berikut ini merupakan diagram Hasse untuk $I, %.
Fambar 4
b. Batas atas dari #*, 4' adalah (6, *6, 56, dan (66.
c. Batas ba1ah dari #56, (66' adalah *6, (6, 4, dan *.
d. Supremum dari #*, 4' adalah (6.
e. 9nfimum dari #56,(66' adalah *6
Te0rema 2'1'12'
Misalkan $7, % adalah sebuah poset dan a, b 7.
a. ,ika supremum #a, b'ada maka supremum tersebut tunggal.
b. ,ika infimum #a, b'ada maka infimum tersebut tunggal
3atihan soal
(66
4 *
(6
56
*6
(. Misalkan A adalah himpunan bilangan asli. -elasi $lebih besar atau sama
dengan% adalah sebuah relasi pada A. 7eriksa apakah $A, % merupakan poset
atau bukan. ,ika $A, % poset, periksa apakah $A, % rantai atau bukan.
*. Misalkan A adalah himpunan semua factor dari bilangan bulat positif m.
)efinisikan ! y sebagai y habis dibagi oleh !. Buatlah diagram Hasse untuk
a. m " (*.
b. m " 54.
+. Misalkan A"#*, +, 5, =,(*,(G, *5, +='. )efinisikan ! y sebagai y habis dibagi
!.
a. Fambarlah diagram Hasse dari $A, %.
b. arilah batas atas dari #*, +'
c. arilah batas ba1ah dari #*5,+='
d. arilah supremum dari#*, +' $bila ada%
e. arilah infimum dari #*5,+='$bila ada%
2' LATTICE
De(inisi 2'2'1
Misalkan $7, % adalah poset. $7, % dinamakan lattice 0ika untuk setiap a, b
7 terdapat a K b dan a b . 3attice biasanya dilambangkan dengan $3, ,K, %
atau secara singkat dilambangkan dengan 3.
ontoh (
Misalkan 7 adalah himpunan semua factor dari *5. )efinisikan a b sebagai b habis
dibagi a, a K b adalah pembagi persekutuan terbesar dari #a,b' dan a b adalah
kelipatan persekutuan terbesar dari #a,b'. Lun0ukkan bah1a $7, ,K, % adalah
lattice.
7enyelesaian
Dntuk menun0ukkan bah1a $7, ,K, % sebuah lattice, terlebih dahulu harus
ditun0ukkan bah1a $7, % adalah sebuah poset.
TIK ) Setelah mempela0ari sub bab ini mahasis1a dapat :
* men0elaskan pengertian lattice dan contohnya
* Menggambar )iagram Hasse suatu lattice
* Membuktikan sifat-sifat lattice
a. 8arena untuk setiap ! 7 berlaku ! !, maka sifat refleksif
dipenuhi.
b. Sifat antisimetris dipenuhi sebab untuk setiap !, y 7 dengan ! y
dan y !, berlaku ! " y.
c. Sifat transitif dipenuhi sebab untuk setiap !, y, < 7 dengan ! y
dan y <, berlaku ! <.
)engan demikian $7, % adalah sebuah poset. Dntuk lebih 0elasnya perhatikan
diagram Hasse dari $7, %.
Fambar (
Melalui diagram ini dapat diteliti bah1a untuk setiap a, b 7 terdapat a K b dan a
b. )engan demikian $7, ,K, % merupakan sebuah lattice.
Dia.ram /asse se,6a5 Latti3e
Seperti halnya poset, lattice pun dapat dinyatakan dalam bentuk diagram yang disebut
diagram Hasse lattice.
ontoh *
8arena $7, ,K, % pada contoh ( merupakan sebuah lattice, maka diagram Hasse
pada gambar ( merupakan diagram Hasse dari lattice $7, ,K, %.
*5
(*
=
+
G
5
*
(
ontoh +.
Fambar di ba1ah ini merupakan beberapa diagram Hasse dari suatu lattice.
Fambar *
ontoh 5
Fambar di ba1ah ini memuat tiga contoh diagram Hasse bukan lattice.
Fambar +

Anda mungkin juga menyukai