DMGT Module III Lattices
DMGT Module III Lattices
GRAPH THEORY
MODULE-III
MODULE-III
Minimal Element:
An element b ∈ A is called a minimal element of A if there is no element in c in A such
that c ≤ b.
Example: Determine all the maximal and minimal elements of the poset.
Solution:
The upper bound of B is e, f, and g because every element
of B is '≤' e, f, and g.
Solution:
The least upper bound is c.
The greatest lower bound is k.
Comparable Elements:
Consider an ordered set A. Two elements a and b of set A are called comparable if
a≤b or b≤a
R R
Non-Comparable Elements:
Consider an ordered set A. Two elements a and b of set A are called non-comparable if neither
a ≤ b nor b ≤ a.
Example: Consider A = {1, 2, 3, 5, 6, 10, 15, 30} is ordered by divisibility. Determine all the
comparable and non-comparable pairs of elements of A.
Solution:
The comparable pairs of elements of A are:
{1, 2}, {1, 3}, {1, 5}, {1, 6}, {1, 10}, {1, 15}, {1, 30}, {2, 6}, {2, 10}, {2, 30}, {3, 6}, {3, 15}, {3, 30}, {5,
10}, {5, 15}, {5, 30}, {6, 30}, {10, 30}, {15, 30}
The non-comparable pair of elements of A are:
{2, 3}, {2, 5}, {2, 15}
{3, 5}, {3, 10}, {5, 6}, {6, 10}, {6, 15}, {10, 15}
Linearly Ordered Set or Totally ordered set:
Consider an ordered set A. The set A is called linearly ordered set or totally ordered set, if
every pair of elements in A is comparable.
Lattice:
A lattice is a poset, a partially ordered set, in which every pair of elements has
both a least upper bound and a greatest lower bound.
Solution:
The posets represented by the Hasse diagrams in (a) and (c) are both lattices because in each poset every
pair of elements has both a least upper bound and a greatest lower bound. On the other hand, the poşet
with the Hasse diagram shown in (b) is not a lattice, since the element b and c have no least upper bound.
It is to be noted that each of the elements d, e and ƒ is an upper bound, but none of these three elements
precedes the other two with respect to the ordering of this poset.
The partial ordering on the left indicates a lattice because each pair of elements has both a least upper
bound and greatest lower bound. In other words, each pair of elements is comparable.
However, the partial ordering on the right is not a lattice because elements b and c are
incomparable. Notice that while the upper bound for b and c is {d,e,f,g}, we can’t
identify which one of these vertices is the least upper bound (LUB) — therefore, this
poset is not a lattice.
Duality:
The dual of any statement in a lattice (L,∧ ,∨ ) is defined to be a statement that is obtained
by interchanging ∧ an ∨.
For example, the dual of a ∧ (b ∨ a) = a ∨ a is a ∨ (b ∧ a )= a ∧ a
Bounded Lattices:
A lattice L is called a bounded lattice if it has greatest element 1 and a least element 0.
Example:
(i)The power set P(S) of the set S under the operations of intersection and union is a bounded
lattice since ∅ is the least element of P(S) and the set S is the greatest element of P(S).
(ii)The set of +ve integer I+ under the usual order of ≤ is not a bounded lattice since it has a
least element 1 but the greatest element does not exist.
Properties of Bounded Lattices:
If L is a bounded lattice, then for any element a ∈ L, we have the following identities:
Øa ∨ 1 = 1
Øa ∧1= a
Øa ∨0=a
Øa ∧0=0
Example: