SlideShare a Scribd company logo
1 of 22
INTRODUCTION TO PARTIAL ORDERING 
RELATION REFLEXIVE SYMMETRIC ASYMMETRIC TRANSITIVE 
Xโ‰ก Y(MOD 5) 
DIVISIBILITY 
X|Y 
LESS THAN 
X<=Y
PARTIAL 
ORDERING 
SOLUTION 
RELATION REFLEXIVE SYMMETRIC ASYMMETRIC TRANSITIVE 
Xโ‰ก Y(MOD 5) Y Y N Y 
DIVISIBILITY 
Y N Y Y 
X|Y 
LESS THAN 
X<=Y 
Y N Y Y
PARTIALLY ORDERED SETS->HD 
โ€ข Hasse Diagrams 
Just a reduced version of the diagram of the partial order of the 
poset. 
a) Reflexive 
Every vertex has a cycle of length 1 (delete all cycles) 
3
PARTIALLY ORDERED SETS->HD 
โ€ข Transitive 
a โ‰ค b, and b โ‰คc, then a โ‰คc (delete the edge from a to c) 
4 
b 
c 
a 
a 
b 
c 
Vertex ๏ƒ  dot 
c 
b 
a 
Remove arrow (all edges 
pointing upward)
EXAMPLE 
โ€ข Let A={1,2,3,4,12}. Consider the partial order of divisibility 
on A. Draw the corresponding Hasse diagram. 
5 
12 
4 
2 
1 
3 
12 
4 
2 
1 
3
Shirt 
innerwear 
Tie 
Jacket 
Trouser 
Belt 
HASSE DIAGRAM 
Left Sock Right Sock 
Left Shoe Right Shoe
Shirt 
innerwear 
Tie 
Jacket 
Trouser 
Belt 
DIRECTED GRAPH 
Left Shoe 
Right Shoe 
Left Sock 
Right Sock
EXTREMAL ELEMENTS & BOUNDS 
โ€ข Lets assume a poset (A, p) represented by a hasse diagram as shown. 
โ€ข Binary Relation : ( a divides b) 
โ€ข Set is = {1,2โ€ฆ..6} 
6 3 
4 5 
2 1
EXTREMAL ELEMENTS & BOUNDS 
โ€ข 1 --- > Least element in Poset ( < everything) 
โ€ข No greatest element in this Poset( as defined by BR) 
โ€ข 4,6 Are maximal Elements 
โ€ข 1 is Minimal Elements 
โ€ข For 2,3 ----- > 6 is the LEAST UPPER BOUND 
โ€ข ------ >1 is the GREATEST LOWER BOUND 
โ€ข For 3,5 ----- > NO LEAST UPPER BOUND 
โ€ข ------ >1 is GREATEST LOWER BOUND 
โ€ข For 4,3 ----- > NO LEAST UPPER BOUND 
โ€ข ------ >1 is GREATEST LOWER BOUND
MAXIMAL & MINIMAL ELEMENTS 
โ€ข Example 
Find the maximal and minimal elements in the following 
Hasse diagram 
a1 a2 
10 
a3 
b1 b2 
b3 
Maximal elements 
Note: a1, a2, a3 are incomparable 
b1, b2, b3 are incomparable 
Minimal element
โ€ข Greatest element (Maximal ) 
An element a in A is called a greatest element of A if 
x โ‰ค a for all x in A. 
โ€ข Least element (Minimal) 
An element a in A is called a least element of A if 
a โ‰ค x for all x in A. 
Note: an element a of (A, โ‰ค ) is a greatest (or least) element if 
and only if it is a least (or greatest) element of (A, โ‰ฅ ) 
11
THEOREM 
A poset has at most one greatest element and at most one least 
element. 
Proof: 
Support that a and b are greatest elements of a poset A. since b is a 
greatest element, we have a โ‰ค b; 
since a is a greatest element, we have b โ‰ค a; thus 
a=b by the antisymmetry property. so, if a poset has a greatest element, it 
only has one such element. 
This is true for all posets, the dual poset (A, โ‰ฅ) has at most one greatest element, 
so (A, โ‰ค) also has at most one least element. 
12
โ€ข Unit element 
The greatest element of a poset, if it exists, is denoted by I 
and is often called the unit element. 
โ€ข Zero element 
The least element of a poset, if it exists, is denoted by 0 and 
is often called the zero element. 
13
EXAMPLE 
โ€ข Find all upper and lower bounds of the following subset of A: 
(a) B1={a, b}; B2={c, d, e} 
14 
h 
f g 
d e 
c 
a b 
B1 has no lower bounds; The upper 
bounds of B1 are c, d, e, f, g and h 
The lower bounds of B2 are c, a and b 
The upper bounds of B2 are f, g and h
BOUNDS 
Let A be a poset and B a subset of A, 
โ€ข Least upper bound 
An element a in A is called a least upper bound of B, denoted 
by (LUB(B)), if a is an upper bound of B and a โ‰คaโ€™, 
whenever aโ€™ is an upper bound of B. 
โ€ข Greatest lower bound 
An element a in A is called a greatest lower bound of B, 
denoted by (GLB(B)), if a is a lower bound of B and aโ€™ โ‰ค a, 
whenever aโ€™ is a lower bound of B. 
15
EXAMPLE 
โ€ข Let A={1,2,3,โ€ฆ,11} be the poset whose Hasse diagram is 
shown below. Find the LUB and GLB of B={6,7,10}, if they 
exist. 
5 6 7 8 
16 
1 
2 
3 
4 
10 
9 
11 The upper bounds of B are 10, 11, and 
LUB(B) is 10 (the first vertex that can be 
Reached from {6,7,10} by upward paths ) 
The lower bounds of B are 1,4, and 
GLB(B) is 4 (the first vertex that can be 
Reached from {6,7,10} by downward paths )
LATTICES 
A lattice is a poset (L, โ‰ค) in which every subset {a, b} 
consisting of two elements has a least upper bound and a 
greatest lower bound. We denote : 
LUB({a, b}) by aโˆจ b (the join of a and b) 
GLB({a, b}) by a โˆงb (the meet of a and b) 
17
LATTICES 
โ€ข Example 
Which of the Hasse diagrams represent lattices? 
d 
c 
b 
a 
18 
f g 
b c 
a 
d 
e 
a 
c 
b 
e 
d 
a 
b c 
e 
d 
d 
b c 
a 
d e 
b c 
a 
f 
c d 
a 
b 
a
LATTICES: EXAMPLE 
โ€ข Is the example from before 
a lattice? 
g h 
b d 
a 
i 
f 
e 
c 
j 
โ€ข No, because the pair 
{b,c} does not have a 
least upper bound
LATTICES: EXAMPLE 
โ€ข What if we modified it as 
shown here? 
g h 
b d 
a 
i 
f 
e 
c 
j 
โ€ข Yes, because for any 
pair, there is an lub & a 
glb
Distributive lattices
THANK YOU 
-- Aarti Jivrajani 
-- Debarati Das

More Related Content

What's hot

Dinive conquer algorithm
Dinive conquer algorithmDinive conquer algorithm
Dinive conquer algorithm
Mohd Arif
ย 
Chap4
Chap4Chap4
Chap4
nathanurag
ย 

What's hot (20)

Group homomorphism
Group homomorphismGroup homomorphism
Group homomorphism
ย 
Dinive conquer algorithm
Dinive conquer algorithmDinive conquer algorithm
Dinive conquer algorithm
ย 
Heaps
HeapsHeaps
Heaps
ย 
Maximal and minimal elements of poset.pptx
Maximal and minimal elements of poset.pptxMaximal and minimal elements of poset.pptx
Maximal and minimal elements of poset.pptx
ย 
Learn Set Theory
Learn Set TheoryLearn Set Theory
Learn Set Theory
ย 
Relation Hasse diagram
Relation Hasse diagramRelation Hasse diagram
Relation Hasse diagram
ย 
Graphs - Discrete Math
Graphs - Discrete MathGraphs - Discrete Math
Graphs - Discrete Math
ย 
Partial-Orderings in Discrete Mathematics
 Partial-Orderings in Discrete Mathematics Partial-Orderings in Discrete Mathematics
Partial-Orderings in Discrete Mathematics
ย 
Theory of Automata and formal languages unit 2
Theory of Automata and formal languages unit 2Theory of Automata and formal languages unit 2
Theory of Automata and formal languages unit 2
ย 
Hamiltonian path
Hamiltonian pathHamiltonian path
Hamiltonian path
ย 
Group Theory
Group TheoryGroup Theory
Group Theory
ย 
Sequences and Series
Sequences and SeriesSequences and Series
Sequences and Series
ย 
CMSC 56 | Lecture 15: Closures of Relations
CMSC 56 | Lecture 15: Closures of RelationsCMSC 56 | Lecture 15: Closures of Relations
CMSC 56 | Lecture 15: Closures of Relations
ย 
Function and Its Types.
Function and Its Types.Function and Its Types.
Function and Its Types.
ย 
Topology
TopologyTopology
Topology
ย 
Sets, functions and groups
Sets, functions and groupsSets, functions and groups
Sets, functions and groups
ย 
11 constructors in derived classes
11 constructors in derived classes11 constructors in derived classes
11 constructors in derived classes
ย 
Introduction to Groups and Permutation Groups
Introduction to Groups and Permutation GroupsIntroduction to Groups and Permutation Groups
Introduction to Groups and Permutation Groups
ย 
Types of RELATIONS
Types of RELATIONSTypes of RELATIONS
Types of RELATIONS
ย 
Chap4
Chap4Chap4
Chap4
ย 

Similar to Lattices AND Hasse Diagrams

JEE+Crash+course+_+Phase+I+_+Session+1+_+Sets+and++Relations+&+Functions+_+7t...
JEE+Crash+course+_+Phase+I+_+Session+1+_+Sets+and++Relations+&+Functions+_+7t...JEE+Crash+course+_+Phase+I+_+Session+1+_+Sets+and++Relations+&+Functions+_+7t...
JEE+Crash+course+_+Phase+I+_+Session+1+_+Sets+and++Relations+&+Functions+_+7t...
7anantsharma7
ย 
Final maths presentation on sets
Final maths presentation on setsFinal maths presentation on sets
Final maths presentation on sets
Rahul Avicii
ย 

Similar to Lattices AND Hasse Diagrams (20)

JEE+Crash+course+_+Phase+I+_+Session+1+_+Sets+and++Relations+&+Functions+_+7t...
JEE+Crash+course+_+Phase+I+_+Session+1+_+Sets+and++Relations+&+Functions+_+7t...JEE+Crash+course+_+Phase+I+_+Session+1+_+Sets+and++Relations+&+Functions+_+7t...
JEE+Crash+course+_+Phase+I+_+Session+1+_+Sets+and++Relations+&+Functions+_+7t...
ย 
Final maths presentation on sets
Final maths presentation on setsFinal maths presentation on sets
Final maths presentation on sets
ย 
Set Theory DM
Set Theory DMSet Theory DM
Set Theory DM
ย 
mathematical sets.pdf
mathematical sets.pdfmathematical sets.pdf
mathematical sets.pdf
ย 
9108528.ppt
9108528.ppt9108528.ppt
9108528.ppt
ย 
CMSC 56 | Lecture 6: Sets & Set Operations
CMSC 56 | Lecture 6: Sets & Set OperationsCMSC 56 | Lecture 6: Sets & Set Operations
CMSC 56 | Lecture 6: Sets & Set Operations
ย 
Sets class 11
Sets class 11Sets class 11
Sets class 11
ย 
Answers Of Discrete Mathematics
Answers Of Discrete MathematicsAnswers Of Discrete Mathematics
Answers Of Discrete Mathematics
ย 
00_1 - Slide Pelengkap (dari Buku Neuro Fuzzy and Soft Computing).ppt
00_1 - Slide Pelengkap (dari Buku Neuro Fuzzy and Soft Computing).ppt00_1 - Slide Pelengkap (dari Buku Neuro Fuzzy and Soft Computing).ppt
00_1 - Slide Pelengkap (dari Buku Neuro Fuzzy and Soft Computing).ppt
ย 
Set Theory
Set Theory Set Theory
Set Theory
ย 
Sets.pdf
Sets.pdfSets.pdf
Sets.pdf
ย 
Mathematics JEE quick revision notes pdf
Mathematics JEE quick revision notes pdfMathematics JEE quick revision notes pdf
Mathematics JEE quick revision notes pdf
ย 
Toc chapter 1 srg
Toc chapter 1 srgToc chapter 1 srg
Toc chapter 1 srg
ย 
sets by navneet
sets by navneetsets by navneet
sets by navneet
ย 
Ch01-2.ppt
Ch01-2.pptCh01-2.ppt
Ch01-2.ppt
ย 
Set theory
Set theorySet theory
Set theory
ย 
Sets (1).ppt
Sets (1).pptSets (1).ppt
Sets (1).ppt
ย 
Set theory self study material
Set theory  self study materialSet theory  self study material
Set theory self study material
ย 
sets and their introduction and their exercises.pptx
sets and their introduction and their exercises.pptxsets and their introduction and their exercises.pptx
sets and their introduction and their exercises.pptx
ย 
Set theory
Set theorySet theory
Set theory
ย 

More from Debarati Das (6)

Semantic Analysis of a C Program
Semantic Analysis of a C ProgramSemantic Analysis of a C Program
Semantic Analysis of a C Program
ย 
Carnegie ppt
Carnegie pptCarnegie ppt
Carnegie ppt
ย 
Class warshal2
Class warshal2Class warshal2
Class warshal2
ย 
Quiz on Digital Logic and Combinatorial Circuits
Quiz on Digital Logic and Combinatorial CircuitsQuiz on Digital Logic and Combinatorial Circuits
Quiz on Digital Logic and Combinatorial Circuits
ย 
Boolean algebra
Boolean algebraBoolean algebra
Boolean algebra
ย 
Binary Codes and Number System
Binary Codes and Number SystemBinary Codes and Number System
Binary Codes and Number System
ย 

Recently uploaded

Structural Analysis and Design of Foundations: A Comprehensive Handbook for S...
Structural Analysis and Design of Foundations: A Comprehensive Handbook for S...Structural Analysis and Design of Foundations: A Comprehensive Handbook for S...
Structural Analysis and Design of Foundations: A Comprehensive Handbook for S...
Dr.Costas Sachpazis
ย 
Call Now โ‰ฝ 9953056974 โ‰ผ๐Ÿ” Call Girls In New Ashok Nagar โ‰ผ๐Ÿ” Delhi door step de...
Call Now โ‰ฝ 9953056974 โ‰ผ๐Ÿ” Call Girls In New Ashok Nagar  โ‰ผ๐Ÿ” Delhi door step de...Call Now โ‰ฝ 9953056974 โ‰ผ๐Ÿ” Call Girls In New Ashok Nagar  โ‰ผ๐Ÿ” Delhi door step de...
Call Now โ‰ฝ 9953056974 โ‰ผ๐Ÿ” Call Girls In New Ashok Nagar โ‰ผ๐Ÿ” Delhi door step de...
9953056974 Low Rate Call Girls In Saket, Delhi NCR
ย 
Call Girls in Ramesh Nagar Delhi ๐Ÿ’ฏ Call Us ๐Ÿ”9953056974 ๐Ÿ” Escort Service
Call Girls in Ramesh Nagar Delhi ๐Ÿ’ฏ Call Us ๐Ÿ”9953056974 ๐Ÿ” Escort ServiceCall Girls in Ramesh Nagar Delhi ๐Ÿ’ฏ Call Us ๐Ÿ”9953056974 ๐Ÿ” Escort Service
Call Girls in Ramesh Nagar Delhi ๐Ÿ’ฏ Call Us ๐Ÿ”9953056974 ๐Ÿ” Escort Service
9953056974 Low Rate Call Girls In Saket, Delhi NCR
ย 
AKTU Computer Networks notes --- Unit 3.pdf
AKTU Computer Networks notes ---  Unit 3.pdfAKTU Computer Networks notes ---  Unit 3.pdf
AKTU Computer Networks notes --- Unit 3.pdf
ankushspencer015
ย 
FULL ENJOY Call Girls In Mahipalpur Delhi Contact Us 8377877756
FULL ENJOY Call Girls In Mahipalpur Delhi Contact Us 8377877756FULL ENJOY Call Girls In Mahipalpur Delhi Contact Us 8377877756
FULL ENJOY Call Girls In Mahipalpur Delhi Contact Us 8377877756
dollysharma2066
ย 
VIP Call Girls Ankleshwar 7001035870 Whatsapp Number, 24/07 Booking
VIP Call Girls Ankleshwar 7001035870 Whatsapp Number, 24/07 BookingVIP Call Girls Ankleshwar 7001035870 Whatsapp Number, 24/07 Booking
VIP Call Girls Ankleshwar 7001035870 Whatsapp Number, 24/07 Booking
dharasingh5698
ย 

Recently uploaded (20)

ONLINE FOOD ORDER SYSTEM PROJECT REPORT.pdf
ONLINE FOOD ORDER SYSTEM PROJECT REPORT.pdfONLINE FOOD ORDER SYSTEM PROJECT REPORT.pdf
ONLINE FOOD ORDER SYSTEM PROJECT REPORT.pdf
ย 
Unit 1 - Soil Classification and Compaction.pdf
Unit 1 - Soil Classification and Compaction.pdfUnit 1 - Soil Classification and Compaction.pdf
Unit 1 - Soil Classification and Compaction.pdf
ย 
CCS335 _ Neural Networks and Deep Learning Laboratory_Lab Complete Record
CCS335 _ Neural Networks and Deep Learning Laboratory_Lab Complete RecordCCS335 _ Neural Networks and Deep Learning Laboratory_Lab Complete Record
CCS335 _ Neural Networks and Deep Learning Laboratory_Lab Complete Record
ย 
Coefficient of Thermal Expansion and their Importance.pptx
Coefficient of Thermal Expansion and their Importance.pptxCoefficient of Thermal Expansion and their Importance.pptx
Coefficient of Thermal Expansion and their Importance.pptx
ย 
Structural Analysis and Design of Foundations: A Comprehensive Handbook for S...
Structural Analysis and Design of Foundations: A Comprehensive Handbook for S...Structural Analysis and Design of Foundations: A Comprehensive Handbook for S...
Structural Analysis and Design of Foundations: A Comprehensive Handbook for S...
ย 
Call Now โ‰ฝ 9953056974 โ‰ผ๐Ÿ” Call Girls In New Ashok Nagar โ‰ผ๐Ÿ” Delhi door step de...
Call Now โ‰ฝ 9953056974 โ‰ผ๐Ÿ” Call Girls In New Ashok Nagar  โ‰ผ๐Ÿ” Delhi door step de...Call Now โ‰ฝ 9953056974 โ‰ผ๐Ÿ” Call Girls In New Ashok Nagar  โ‰ผ๐Ÿ” Delhi door step de...
Call Now โ‰ฝ 9953056974 โ‰ผ๐Ÿ” Call Girls In New Ashok Nagar โ‰ผ๐Ÿ” Delhi door step de...
ย 
Call Girls in Ramesh Nagar Delhi ๐Ÿ’ฏ Call Us ๐Ÿ”9953056974 ๐Ÿ” Escort Service
Call Girls in Ramesh Nagar Delhi ๐Ÿ’ฏ Call Us ๐Ÿ”9953056974 ๐Ÿ” Escort ServiceCall Girls in Ramesh Nagar Delhi ๐Ÿ’ฏ Call Us ๐Ÿ”9953056974 ๐Ÿ” Escort Service
Call Girls in Ramesh Nagar Delhi ๐Ÿ’ฏ Call Us ๐Ÿ”9953056974 ๐Ÿ” Escort Service
ย 
UNIT-II FMM-Flow Through Circular Conduits
UNIT-II FMM-Flow Through Circular ConduitsUNIT-II FMM-Flow Through Circular Conduits
UNIT-II FMM-Flow Through Circular Conduits
ย 
Call Girls Walvekar Nagar Call Me 7737669865 Budget Friendly No Advance Booking
Call Girls Walvekar Nagar Call Me 7737669865 Budget Friendly No Advance BookingCall Girls Walvekar Nagar Call Me 7737669865 Budget Friendly No Advance Booking
Call Girls Walvekar Nagar Call Me 7737669865 Budget Friendly No Advance Booking
ย 
AKTU Computer Networks notes --- Unit 3.pdf
AKTU Computer Networks notes ---  Unit 3.pdfAKTU Computer Networks notes ---  Unit 3.pdf
AKTU Computer Networks notes --- Unit 3.pdf
ย 
Call Girls Pimpri Chinchwad Call Me 7737669865 Budget Friendly No Advance Boo...
Call Girls Pimpri Chinchwad Call Me 7737669865 Budget Friendly No Advance Boo...Call Girls Pimpri Chinchwad Call Me 7737669865 Budget Friendly No Advance Boo...
Call Girls Pimpri Chinchwad Call Me 7737669865 Budget Friendly No Advance Boo...
ย 
FULL ENJOY Call Girls In Mahipalpur Delhi Contact Us 8377877756
FULL ENJOY Call Girls In Mahipalpur Delhi Contact Us 8377877756FULL ENJOY Call Girls In Mahipalpur Delhi Contact Us 8377877756
FULL ENJOY Call Girls In Mahipalpur Delhi Contact Us 8377877756
ย 
data_management_and _data_science_cheat_sheet.pdf
data_management_and _data_science_cheat_sheet.pdfdata_management_and _data_science_cheat_sheet.pdf
data_management_and _data_science_cheat_sheet.pdf
ย 
UNIT-IFLUID PROPERTIES & FLOW CHARACTERISTICS
UNIT-IFLUID PROPERTIES & FLOW CHARACTERISTICSUNIT-IFLUID PROPERTIES & FLOW CHARACTERISTICS
UNIT-IFLUID PROPERTIES & FLOW CHARACTERISTICS
ย 
PVC VS. FIBERGLASS (FRP) GRAVITY SEWER - UNI BELL
PVC VS. FIBERGLASS (FRP) GRAVITY SEWER - UNI BELLPVC VS. FIBERGLASS (FRP) GRAVITY SEWER - UNI BELL
PVC VS. FIBERGLASS (FRP) GRAVITY SEWER - UNI BELL
ย 
Intze Overhead Water Tank Design by Working Stress - IS Method.pdf
Intze Overhead Water Tank  Design by Working Stress - IS Method.pdfIntze Overhead Water Tank  Design by Working Stress - IS Method.pdf
Intze Overhead Water Tank Design by Working Stress - IS Method.pdf
ย 
chapter 5.pptx: drainage and irrigation engineering
chapter 5.pptx: drainage and irrigation engineeringchapter 5.pptx: drainage and irrigation engineering
chapter 5.pptx: drainage and irrigation engineering
ย 
Thermal Engineering -unit - III & IV.ppt
Thermal Engineering -unit - III & IV.pptThermal Engineering -unit - III & IV.ppt
Thermal Engineering -unit - III & IV.ppt
ย 
VIP Call Girls Ankleshwar 7001035870 Whatsapp Number, 24/07 Booking
VIP Call Girls Ankleshwar 7001035870 Whatsapp Number, 24/07 BookingVIP Call Girls Ankleshwar 7001035870 Whatsapp Number, 24/07 Booking
VIP Call Girls Ankleshwar 7001035870 Whatsapp Number, 24/07 Booking
ย 
Booking open Available Pune Call Girls Koregaon Park 6297143586 Call Hot Ind...
Booking open Available Pune Call Girls Koregaon Park  6297143586 Call Hot Ind...Booking open Available Pune Call Girls Koregaon Park  6297143586 Call Hot Ind...
Booking open Available Pune Call Girls Koregaon Park 6297143586 Call Hot Ind...
ย 

Lattices AND Hasse Diagrams

  • 1. INTRODUCTION TO PARTIAL ORDERING RELATION REFLEXIVE SYMMETRIC ASYMMETRIC TRANSITIVE Xโ‰ก Y(MOD 5) DIVISIBILITY X|Y LESS THAN X<=Y
  • 2. PARTIAL ORDERING SOLUTION RELATION REFLEXIVE SYMMETRIC ASYMMETRIC TRANSITIVE Xโ‰ก Y(MOD 5) Y Y N Y DIVISIBILITY Y N Y Y X|Y LESS THAN X<=Y Y N Y Y
  • 3. PARTIALLY ORDERED SETS->HD โ€ข Hasse Diagrams Just a reduced version of the diagram of the partial order of the poset. a) Reflexive Every vertex has a cycle of length 1 (delete all cycles) 3
  • 4. PARTIALLY ORDERED SETS->HD โ€ข Transitive a โ‰ค b, and b โ‰คc, then a โ‰คc (delete the edge from a to c) 4 b c a a b c Vertex ๏ƒ  dot c b a Remove arrow (all edges pointing upward)
  • 5. EXAMPLE โ€ข Let A={1,2,3,4,12}. Consider the partial order of divisibility on A. Draw the corresponding Hasse diagram. 5 12 4 2 1 3 12 4 2 1 3
  • 6. Shirt innerwear Tie Jacket Trouser Belt HASSE DIAGRAM Left Sock Right Sock Left Shoe Right Shoe
  • 7. Shirt innerwear Tie Jacket Trouser Belt DIRECTED GRAPH Left Shoe Right Shoe Left Sock Right Sock
  • 8. EXTREMAL ELEMENTS & BOUNDS โ€ข Lets assume a poset (A, p) represented by a hasse diagram as shown. โ€ข Binary Relation : ( a divides b) โ€ข Set is = {1,2โ€ฆ..6} 6 3 4 5 2 1
  • 9. EXTREMAL ELEMENTS & BOUNDS โ€ข 1 --- > Least element in Poset ( < everything) โ€ข No greatest element in this Poset( as defined by BR) โ€ข 4,6 Are maximal Elements โ€ข 1 is Minimal Elements โ€ข For 2,3 ----- > 6 is the LEAST UPPER BOUND โ€ข ------ >1 is the GREATEST LOWER BOUND โ€ข For 3,5 ----- > NO LEAST UPPER BOUND โ€ข ------ >1 is GREATEST LOWER BOUND โ€ข For 4,3 ----- > NO LEAST UPPER BOUND โ€ข ------ >1 is GREATEST LOWER BOUND
  • 10. MAXIMAL & MINIMAL ELEMENTS โ€ข Example Find the maximal and minimal elements in the following Hasse diagram a1 a2 10 a3 b1 b2 b3 Maximal elements Note: a1, a2, a3 are incomparable b1, b2, b3 are incomparable Minimal element
  • 11. โ€ข Greatest element (Maximal ) An element a in A is called a greatest element of A if x โ‰ค a for all x in A. โ€ข Least element (Minimal) An element a in A is called a least element of A if a โ‰ค x for all x in A. Note: an element a of (A, โ‰ค ) is a greatest (or least) element if and only if it is a least (or greatest) element of (A, โ‰ฅ ) 11
  • 12. THEOREM A poset has at most one greatest element and at most one least element. Proof: Support that a and b are greatest elements of a poset A. since b is a greatest element, we have a โ‰ค b; since a is a greatest element, we have b โ‰ค a; thus a=b by the antisymmetry property. so, if a poset has a greatest element, it only has one such element. This is true for all posets, the dual poset (A, โ‰ฅ) has at most one greatest element, so (A, โ‰ค) also has at most one least element. 12
  • 13. โ€ข Unit element The greatest element of a poset, if it exists, is denoted by I and is often called the unit element. โ€ข Zero element The least element of a poset, if it exists, is denoted by 0 and is often called the zero element. 13
  • 14. EXAMPLE โ€ข Find all upper and lower bounds of the following subset of A: (a) B1={a, b}; B2={c, d, e} 14 h f g d e c a b B1 has no lower bounds; The upper bounds of B1 are c, d, e, f, g and h The lower bounds of B2 are c, a and b The upper bounds of B2 are f, g and h
  • 15. BOUNDS Let A be a poset and B a subset of A, โ€ข Least upper bound An element a in A is called a least upper bound of B, denoted by (LUB(B)), if a is an upper bound of B and a โ‰คaโ€™, whenever aโ€™ is an upper bound of B. โ€ข Greatest lower bound An element a in A is called a greatest lower bound of B, denoted by (GLB(B)), if a is a lower bound of B and aโ€™ โ‰ค a, whenever aโ€™ is a lower bound of B. 15
  • 16. EXAMPLE โ€ข Let A={1,2,3,โ€ฆ,11} be the poset whose Hasse diagram is shown below. Find the LUB and GLB of B={6,7,10}, if they exist. 5 6 7 8 16 1 2 3 4 10 9 11 The upper bounds of B are 10, 11, and LUB(B) is 10 (the first vertex that can be Reached from {6,7,10} by upward paths ) The lower bounds of B are 1,4, and GLB(B) is 4 (the first vertex that can be Reached from {6,7,10} by downward paths )
  • 17. LATTICES A lattice is a poset (L, โ‰ค) in which every subset {a, b} consisting of two elements has a least upper bound and a greatest lower bound. We denote : LUB({a, b}) by aโˆจ b (the join of a and b) GLB({a, b}) by a โˆงb (the meet of a and b) 17
  • 18. LATTICES โ€ข Example Which of the Hasse diagrams represent lattices? d c b a 18 f g b c a d e a c b e d a b c e d d b c a d e b c a f c d a b a
  • 19. LATTICES: EXAMPLE โ€ข Is the example from before a lattice? g h b d a i f e c j โ€ข No, because the pair {b,c} does not have a least upper bound
  • 20. LATTICES: EXAMPLE โ€ข What if we modified it as shown here? g h b d a i f e c j โ€ข Yes, because for any pair, there is an lub & a glb
  • 22. THANK YOU -- Aarti Jivrajani -- Debarati Das