Scribd
Upload
397 views15 pages

Poset & Lattice

The document defines partially ordered sets (posets) and describes their properties and representations using Hasse diagrams. It provides examples of posets based on the divisibility relation over sets of positive integers. Key points include: - A poset is a set combined with a partial order relation that is reflexive, antisymmetric, and transitive. - Hasse diagrams provide a visual representation of posets, with nodes for elements and edges between comparable elements. - Examples show constructing Hasse diagrams for posets based on the divisibility relation, and finding bounds, supremums and infimums for subsets.

Uploaded by

Dab Erq
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
397 views15 pages

Poset & Lattice

The document defines partially ordered sets (posets) and describes their properties and representations using Hasse diagrams. It provides examples of posets based on the divisibility relation over sets of positive integers. Key points include: - A poset is a set combined with a partial order relation that is reflexive, antisymmetric, and transitive. - Hasse diagrams provide a visual representation of posets, with nodes for elements and edges between comparable elements. - Examples show constructing Hasse diagrams for posets based on the divisibility relation, and finding bounds, supremums and infimums for subsets.

Uploaded by

Dab Erq
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 15

POSET & LATTICE

MATEMATIKA SISTEM INFORMASI 1


POSET ( Partially Ordered Set )
Himpunan Terurut Parsial

 Suatu relasi biner dinamakan sebagai suatu relasi


pengurutan tak lengkap atau relasi pengurutan parsial
(partial ordering relation ) jika ia bersifat reflexive,
anti-simetris, dan transitive.

Refleksi : aRa, ∀a ϵ S
Antisimetri : Jika (a, b)  R , maka (b, a)  R,
kecuali ketika a = b
Transitif : jika aRb dan bRc, maka aRc
Misalkan A sebuah himpunan bilangan bulat positif dan
R sebuah relasi biner pada A sedemikian rupa sehingga
(a, b) ada di dalam R jika a membagi habis b.

 Karena jika a membagi habis b berarti b tidak membagi habis


a kecuali a = b, R adalah sebuah relasi antisymmetric (tolak
setangkup).
 Karena setiap bilangan bulat membagi habis dirinya sendiri,
R merupakan suatu relasi reflexive (memantul).
 Karena jika a membagi habis b, dan b membagi habis c,
maka a membagi habis c, R adalah sebuah relasi transitive
(menghantar).

Dengan demikian R adalah sebuah relasi pengurutan


parsial.
Pasangan <A, R> disebut himpunan terurut
parsial / partially ordered set atau POSET.

Notasi relasi POSET :


“≤”, artinya “mendahului”
“a ≤ b”, artinya “a mendahului b”
CONTOH Himpunan Z+ adalah himpunan bilangan bulat positif.
Relasi  (kurang atau sama dengan) adalah sebuah
parsial order pada Z+ . Hal ini berlaku pula untuk
relasi .

Jawab :

Bila (a,b) ada didalam R jika a  b.


Karena setiap bilangan bulat = dirinya sendiri 
refleksi (memantul)

Karena a  b dan b  a kecuali a = b  anti-simetris


Jika a  b dan b  c maka a  c  transitif
(menghantar).
DIAGRAM HASSE
 Diagram Hasse dari POSET < A, ≤> digambarkan
sebagai suatu graph tak berarah tanpa loop, dimana
node/simpul menunjukkan elemen dari A dan
edge/garis menunjukkan relasi.

Aturan membuat Diagram Hasse:


 Jika a ≤ b dan a ≠ b, maka a terletak di bawah b.
 Jika a ≤ b dan tidak ada c ∈ S sedemikian sehingga a ≤ b
dan b ≤ c maka dari a ke b ditarik sebuah garis.
 Jika a ≤ b dan a ≤ c maka b dan c terletak pada level
yang sama.
 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).
CONTOH

A = { 1,2,3,4,12 }. Anggap pengurutan parsial dari


pembagian pada himpunan A jika a dan b  A, a  b jika dan
hanya jika a / b. Gambarkan diagram Hasse Poset (A,  )
Contoh:
Misalkan A = {1,2,3,4,6,8,9,12,18,24} himpunan
terurut oleh pembagian. Maka diagram hasse nya
adalah:
Dari diagram diatas, diperoleh:
 1 adalah elemen minimal dan elemen terkecil dari A
 18 dan 24 adalah elemen maksimal dari A, karena tidak
ada elemen A yang dapat dibagi oleh 18 maupun 24.
 A tidak memiliki elemen terbesar, karena tidak ada elemen
A yang dapat dibagi oleh semua elemen lain di A.
X = { 2,3,6,12,24,36 }. Didefinisikan dengan X ≤ Y sebagai
Y habis dibagi X,maka tentukan
Contoh:
a) Gambar diagram hasse dari (X,≤)
b) Cari batas atas dari (2,3)
c) Cari batas bawah dari (24,36)
d) Cari batas atas terkecil (supremum) dari (2,3)
e) Cari batas bawah terkecil (infirmum) dari (24,36)
JAWAB:

a) b) Batas atas dari (2,3)


24 36 adalah 6,12,24,36 .
c) Batas bawah dari (24,36)
adalah 12,6,3,2 .
12 d) Supremum dari (2,3)
adalah 6
6 e) Infirmum dari (24,36)
adalah 12

2 3
LATIHAN

1. Misalkan B = {2,3,4,6,8,12,24} himpunan terurut


oleh pembagian. Maka diagram hasse nya
adalah:
2. Diketahui diangram hasse sebagai berikut:

misalkan terdapat
himpunan M = {d, e, g},
maka tentukanlah :
o Batas atas dari M ?.
o Batas bawah dari M
?
o Supremum
infimum dari M ?
LATIHAN

3. Misalkan X = { 2,5,10,20,40,100 }.Definisikan X ≤


Y sebagai Y habis di bagi X ,maka tentukan:
a) Diagram hasse untuk (X , ≤)
b) Tentukan batas atas dari (2,5)
c) Tentukan batas bawah dari (40,100)
d) Tentukan supremum dari (2,5)
e) Tentukan infimum dari (40,100)
FINISH...

You might also like

pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy