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

Chapter 5 Graphs (1).ppt
Chapter 5 Graphs (1).pptChapter 5 Graphs (1).ppt
Chapter 5 Graphs (1).pptishan743441
 
Poset in Relations(Discrete Mathematics)
Poset in Relations(Discrete Mathematics)Poset in Relations(Discrete Mathematics)
Poset in Relations(Discrete Mathematics)Rachana Pathak
 
Non- Deterministic Algorithms
Non- Deterministic AlgorithmsNon- Deterministic Algorithms
Non- Deterministic AlgorithmsDipankar Boruah
 
Predicates and Quantifiers
Predicates and QuantifiersPredicates and Quantifiers
Predicates and Quantifiersblaircomp2003
 
Set, Relations and Functions
Set, Relations and FunctionsSet, Relations and Functions
Set, Relations and Functionssuthi
 
Partial-Orderings in Discrete Mathematics
 Partial-Orderings in Discrete Mathematics Partial-Orderings in Discrete Mathematics
Partial-Orderings in Discrete MathematicsMeghaj Mallick
 
Relations
RelationsRelations
RelationsGaditek
 
Chapter 2: Relations
Chapter 2: RelationsChapter 2: Relations
Chapter 2: Relationsnszakir
 
Find Transitive Closure Using Floyd-Warshall Algorithm
Find Transitive Closure Using Floyd-Warshall AlgorithmFind Transitive Closure Using Floyd-Warshall Algorithm
Find Transitive Closure Using Floyd-Warshall AlgorithmRajib Roy
 
Bellman Ford's Algorithm
Bellman Ford's AlgorithmBellman Ford's Algorithm
Bellman Ford's AlgorithmTanmay Baranwal
 
Lecture 2 predicates quantifiers and rules of inference
Lecture 2 predicates quantifiers and rules of inferenceLecture 2 predicates quantifiers and rules of inference
Lecture 2 predicates quantifiers and rules of inferenceasimnawaz54
 
Shortest path algorithm
Shortest path algorithmShortest path algorithm
Shortest path algorithmsana younas
 
Graph isomorphism
Graph isomorphismGraph isomorphism
Graph isomorphismCore Condor
 
CMSC 56 | Lecture 16: Equivalence of Relations & Partial Ordering
CMSC 56 | Lecture 16: Equivalence of Relations & Partial OrderingCMSC 56 | Lecture 16: Equivalence of Relations & Partial Ordering
CMSC 56 | Lecture 16: Equivalence of Relations & Partial Orderingallyn joy calcaben
 

What's hot (20)

Chapter 5 Graphs (1).ppt
Chapter 5 Graphs (1).pptChapter 5 Graphs (1).ppt
Chapter 5 Graphs (1).ppt
 
Shortest Path in Graph
Shortest Path in GraphShortest Path in Graph
Shortest Path in Graph
 
Poset in Relations(Discrete Mathematics)
Poset in Relations(Discrete Mathematics)Poset in Relations(Discrete Mathematics)
Poset in Relations(Discrete Mathematics)
 
Non- Deterministic Algorithms
Non- Deterministic AlgorithmsNon- Deterministic Algorithms
Non- Deterministic Algorithms
 
Predicates and Quantifiers
Predicates and QuantifiersPredicates and Quantifiers
Predicates and Quantifiers
 
Set, Relations and Functions
Set, Relations and FunctionsSet, Relations and Functions
Set, Relations and Functions
 
Partial-Orderings in Discrete Mathematics
 Partial-Orderings in Discrete Mathematics Partial-Orderings in Discrete Mathematics
Partial-Orderings in Discrete Mathematics
 
Relations
RelationsRelations
Relations
 
Chapter 2: Relations
Chapter 2: RelationsChapter 2: Relations
Chapter 2: Relations
 
Find Transitive Closure Using Floyd-Warshall Algorithm
Find Transitive Closure Using Floyd-Warshall AlgorithmFind Transitive Closure Using Floyd-Warshall Algorithm
Find Transitive Closure Using Floyd-Warshall Algorithm
 
Graph theory
Graph theoryGraph theory
Graph theory
 
Recursion DM
Recursion DMRecursion DM
Recursion DM
 
Floyd Warshall Algorithm
Floyd Warshall AlgorithmFloyd Warshall Algorithm
Floyd Warshall Algorithm
 
Bellman Ford's Algorithm
Bellman Ford's AlgorithmBellman Ford's Algorithm
Bellman Ford's Algorithm
 
Lecture 2 predicates quantifiers and rules of inference
Lecture 2 predicates quantifiers and rules of inferenceLecture 2 predicates quantifiers and rules of inference
Lecture 2 predicates quantifiers and rules of inference
 
Introduction to set theory
Introduction to set theoryIntroduction to set theory
Introduction to set theory
 
Shortest path algorithm
Shortest path algorithmShortest path algorithm
Shortest path algorithm
 
Graph isomorphism
Graph isomorphismGraph isomorphism
Graph isomorphism
 
Graph theory
Graph  theoryGraph  theory
Graph theory
 
CMSC 56 | Lecture 16: Equivalence of Relations & Partial Ordering
CMSC 56 | Lecture 16: Equivalence of Relations & Partial OrderingCMSC 56 | Lecture 16: Equivalence of Relations & Partial Ordering
CMSC 56 | Lecture 16: Equivalence of Relations & Partial Ordering
 

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 setsRahul Avicii
 
mathematical sets.pdf
mathematical sets.pdfmathematical sets.pdf
mathematical sets.pdfJihudumie.Com
 
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 Operationsallyn joy calcaben
 
Answers Of Discrete Mathematics
Answers Of Discrete MathematicsAnswers Of Discrete Mathematics
Answers Of Discrete MathematicsSabrina Green
 
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).pptDediTriLaksono1
 
Mathematics JEE quick revision notes pdf
Mathematics JEE quick revision notes pdfMathematics JEE quick revision notes pdf
Mathematics JEE quick revision notes pdfgowhiksankar54
 
Toc chapter 1 srg
Toc chapter 1 srgToc chapter 1 srg
Toc chapter 1 srgShayak Giri
 
Set theory self study material
Set theory  self study materialSet theory  self study material
Set theory self study materialDrATAMILARASIMCA
 
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.pptxZenLooper
 

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

Semantic Analysis of a C Program
Semantic Analysis of a C ProgramSemantic Analysis of a C Program
Semantic Analysis of a C ProgramDebarati Das
 
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 CircuitsDebarati Das
 
Binary Codes and Number System
Binary Codes and Number SystemBinary Codes and Number System
Binary Codes and Number SystemDebarati Das
 

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

Top Rated Pune Call Girls Budhwar Peth ⟟ 6297143586 ⟟ Call Me For Genuine Se...
Top Rated  Pune Call Girls Budhwar Peth ⟟ 6297143586 ⟟ Call Me For Genuine Se...Top Rated  Pune Call Girls Budhwar Peth ⟟ 6297143586 ⟟ Call Me For Genuine Se...
Top Rated Pune Call Girls Budhwar Peth ⟟ 6297143586 ⟟ Call Me For Genuine Se...Call Girls in Nagpur High Profile
 
Call for Papers - Educational Administration: Theory and Practice, E-ISSN: 21...
Call for Papers - Educational Administration: Theory and Practice, E-ISSN: 21...Call for Papers - Educational Administration: Theory and Practice, E-ISSN: 21...
Call for Papers - Educational Administration: Theory and Practice, E-ISSN: 21...Christo Ananth
 
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.pptxAsutosh Ranjan
 
UNIT-III FMM. DIMENSIONAL ANALYSIS
UNIT-III FMM.        DIMENSIONAL ANALYSISUNIT-III FMM.        DIMENSIONAL ANALYSIS
UNIT-III FMM. DIMENSIONAL ANALYSISrknatarajan
 
High Profile Call Girls Nagpur Meera Call 7001035870 Meet With Nagpur Escorts
High Profile Call Girls Nagpur Meera Call 7001035870 Meet With Nagpur EscortsHigh Profile Call Girls Nagpur Meera Call 7001035870 Meet With Nagpur Escorts
High Profile Call Girls Nagpur Meera Call 7001035870 Meet With Nagpur EscortsCall Girls in Nagpur High Profile
 
Call Girls Service Nashik Vaishnavi 7001305949 Independent Escort Service Nashik
Call Girls Service Nashik Vaishnavi 7001305949 Independent Escort Service NashikCall Girls Service Nashik Vaishnavi 7001305949 Independent Escort Service Nashik
Call Girls Service Nashik Vaishnavi 7001305949 Independent Escort Service NashikCall Girls in Nagpur High Profile
 
College Call Girls Nashik Nehal 7001305949 Independent Escort Service Nashik
College Call Girls Nashik Nehal 7001305949 Independent Escort Service NashikCollege Call Girls Nashik Nehal 7001305949 Independent Escort Service Nashik
College Call Girls Nashik Nehal 7001305949 Independent Escort Service NashikCall Girls in Nagpur High Profile
 
Extrusion Processes and Their Limitations
Extrusion Processes and Their LimitationsExtrusion Processes and Their Limitations
Extrusion Processes and Their Limitations120cr0395
 
Glass Ceramics: Processing and Properties
Glass Ceramics: Processing and PropertiesGlass Ceramics: Processing and Properties
Glass Ceramics: Processing and PropertiesPrabhanshu Chaturvedi
 
The Most Attractive Pune Call Girls Budhwar Peth 8250192130 Will You Miss Thi...
The Most Attractive Pune Call Girls Budhwar Peth 8250192130 Will You Miss Thi...The Most Attractive Pune Call Girls Budhwar Peth 8250192130 Will You Miss Thi...
The Most Attractive Pune Call Girls Budhwar Peth 8250192130 Will You Miss Thi...ranjana rawat
 
(PRIYA) Rajgurunagar Call Girls Just Call 7001035870 [ Cash on Delivery ] Pun...
(PRIYA) Rajgurunagar Call Girls Just Call 7001035870 [ Cash on Delivery ] Pun...(PRIYA) Rajgurunagar Call Girls Just Call 7001035870 [ Cash on Delivery ] Pun...
(PRIYA) Rajgurunagar Call Girls Just Call 7001035870 [ Cash on Delivery ] Pun...ranjana rawat
 
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 RecordAsst.prof M.Gokilavani
 
UNIT - IV - Air Compressors and its Performance
UNIT - IV - Air Compressors and its PerformanceUNIT - IV - Air Compressors and its Performance
UNIT - IV - Air Compressors and its Performancesivaprakash250
 
Sheet Pile Wall Design and Construction: A Practical Guide for Civil Engineer...
Sheet Pile Wall Design and Construction: A Practical Guide for Civil Engineer...Sheet Pile Wall Design and Construction: A Practical Guide for Civil Engineer...
Sheet Pile Wall Design and Construction: A Practical Guide for Civil Engineer...Dr.Costas Sachpazis
 
KubeKraft presentation @CloudNativeHooghly
KubeKraft presentation @CloudNativeHooghlyKubeKraft presentation @CloudNativeHooghly
KubeKraft presentation @CloudNativeHooghlysanyuktamishra911
 
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 Bookingdharasingh5698
 
University management System project report..pdf
University management System project report..pdfUniversity management System project report..pdf
University management System project report..pdfKamal Acharya
 
Call for Papers - African Journal of Biological Sciences, E-ISSN: 2663-2187, ...
Call for Papers - African Journal of Biological Sciences, E-ISSN: 2663-2187, ...Call for Papers - African Journal of Biological Sciences, E-ISSN: 2663-2187, ...
Call for Papers - African Journal of Biological Sciences, E-ISSN: 2663-2187, ...Christo Ananth
 
MANUFACTURING PROCESS-II UNIT-1 THEORY OF METAL CUTTING
MANUFACTURING PROCESS-II UNIT-1 THEORY OF METAL CUTTINGMANUFACTURING PROCESS-II UNIT-1 THEORY OF METAL CUTTING
MANUFACTURING PROCESS-II UNIT-1 THEORY OF METAL CUTTINGSIVASHANKAR N
 

Recently uploaded (20)

Top Rated Pune Call Girls Budhwar Peth ⟟ 6297143586 ⟟ Call Me For Genuine Se...
Top Rated  Pune Call Girls Budhwar Peth ⟟ 6297143586 ⟟ Call Me For Genuine Se...Top Rated  Pune Call Girls Budhwar Peth ⟟ 6297143586 ⟟ Call Me For Genuine Se...
Top Rated Pune Call Girls Budhwar Peth ⟟ 6297143586 ⟟ Call Me For Genuine Se...
 
Call for Papers - Educational Administration: Theory and Practice, E-ISSN: 21...
Call for Papers - Educational Administration: Theory and Practice, E-ISSN: 21...Call for Papers - Educational Administration: Theory and Practice, E-ISSN: 21...
Call for Papers - Educational Administration: Theory and Practice, E-ISSN: 21...
 
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
 
UNIT-III FMM. DIMENSIONAL ANALYSIS
UNIT-III FMM.        DIMENSIONAL ANALYSISUNIT-III FMM.        DIMENSIONAL ANALYSIS
UNIT-III FMM. DIMENSIONAL ANALYSIS
 
High Profile Call Girls Nagpur Meera Call 7001035870 Meet With Nagpur Escorts
High Profile Call Girls Nagpur Meera Call 7001035870 Meet With Nagpur EscortsHigh Profile Call Girls Nagpur Meera Call 7001035870 Meet With Nagpur Escorts
High Profile Call Girls Nagpur Meera Call 7001035870 Meet With Nagpur Escorts
 
Call Girls Service Nashik Vaishnavi 7001305949 Independent Escort Service Nashik
Call Girls Service Nashik Vaishnavi 7001305949 Independent Escort Service NashikCall Girls Service Nashik Vaishnavi 7001305949 Independent Escort Service Nashik
Call Girls Service Nashik Vaishnavi 7001305949 Independent Escort Service Nashik
 
College Call Girls Nashik Nehal 7001305949 Independent Escort Service Nashik
College Call Girls Nashik Nehal 7001305949 Independent Escort Service NashikCollege Call Girls Nashik Nehal 7001305949 Independent Escort Service Nashik
College Call Girls Nashik Nehal 7001305949 Independent Escort Service Nashik
 
Extrusion Processes and Their Limitations
Extrusion Processes and Their LimitationsExtrusion Processes and Their Limitations
Extrusion Processes and Their Limitations
 
Glass Ceramics: Processing and Properties
Glass Ceramics: Processing and PropertiesGlass Ceramics: Processing and Properties
Glass Ceramics: Processing and Properties
 
The Most Attractive Pune Call Girls Budhwar Peth 8250192130 Will You Miss Thi...
The Most Attractive Pune Call Girls Budhwar Peth 8250192130 Will You Miss Thi...The Most Attractive Pune Call Girls Budhwar Peth 8250192130 Will You Miss Thi...
The Most Attractive Pune Call Girls Budhwar Peth 8250192130 Will You Miss Thi...
 
(PRIYA) Rajgurunagar Call Girls Just Call 7001035870 [ Cash on Delivery ] Pun...
(PRIYA) Rajgurunagar Call Girls Just Call 7001035870 [ Cash on Delivery ] Pun...(PRIYA) Rajgurunagar Call Girls Just Call 7001035870 [ Cash on Delivery ] Pun...
(PRIYA) Rajgurunagar Call Girls Just Call 7001035870 [ Cash on Delivery ] Pun...
 
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
 
UNIT - IV - Air Compressors and its Performance
UNIT - IV - Air Compressors and its PerformanceUNIT - IV - Air Compressors and its Performance
UNIT - IV - Air Compressors and its Performance
 
Sheet Pile Wall Design and Construction: A Practical Guide for Civil Engineer...
Sheet Pile Wall Design and Construction: A Practical Guide for Civil Engineer...Sheet Pile Wall Design and Construction: A Practical Guide for Civil Engineer...
Sheet Pile Wall Design and Construction: A Practical Guide for Civil Engineer...
 
KubeKraft presentation @CloudNativeHooghly
KubeKraft presentation @CloudNativeHooghlyKubeKraft presentation @CloudNativeHooghly
KubeKraft presentation @CloudNativeHooghly
 
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
 
University management System project report..pdf
University management System project report..pdfUniversity management System project report..pdf
University management System project report..pdf
 
Water Industry Process Automation & Control Monthly - April 2024
Water Industry Process Automation & Control Monthly - April 2024Water Industry Process Automation & Control Monthly - April 2024
Water Industry Process Automation & Control Monthly - April 2024
 
Call for Papers - African Journal of Biological Sciences, E-ISSN: 2663-2187, ...
Call for Papers - African Journal of Biological Sciences, E-ISSN: 2663-2187, ...Call for Papers - African Journal of Biological Sciences, E-ISSN: 2663-2187, ...
Call for Papers - African Journal of Biological Sciences, E-ISSN: 2663-2187, ...
 
MANUFACTURING PROCESS-II UNIT-1 THEORY OF METAL CUTTING
MANUFACTURING PROCESS-II UNIT-1 THEORY OF METAL CUTTINGMANUFACTURING PROCESS-II UNIT-1 THEORY OF METAL CUTTING
MANUFACTURING PROCESS-II UNIT-1 THEORY OF METAL CUTTING
 

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