Set, Functions and Relation
Set, Functions and Relation
Unit-2
BCA-102.
Unit 2- Partial Order Relations & Lattices.
Partial Order Relations
A relation R on a set X is a partial order relation if it is:
● Reflexive
● Anti-Symmetric
● Transitive
R → a ∼ b ⇔ a divides b
(N, R) is a POSET
Dual of a Partial Order Relation
● If R is a Partial Order Relation then R-1 is also a Partial Order Relation.
● Let (A, R) be a POSET, then (A, R-1) is also a POSET.
● R-1 is called the dual of the Partial Order Relation R.
2 ~ 4, 4 ~ 12 ⇒ 2 ~ 12
1 ~ 3, 3 ~ 12 ⇒ 1 ~ 12
1 ~ 2, 2 ~ 4 ⇒ 1 ~ 4
After adjustments of directions of
arrows:
Initial Graph:
After removing transitivity:
Rearranging elements:
The final Hasse diagram as a three
shape of a cube:
Q. D24 = { 1, 2, 3, 4, 6, 8, 12, 24 } R = divisibility
Initial graph:
After removing transitivity and length one cycles:
Hasse diagram of D24:
integers in P1
For example:
{3+1+1} ≤ {4+1}
{1+1+1+1+1} ≤ {2+1+1+1}
Hasse diagram of set of partitions of m=5
Important Definitions:
● Maximal element: Let A be a poset with respect to the relation ‘≤’. An
element a in A is said to be maximal element iff for every b in A either b ≤ a
or a and b are not comparable.
● Greatest element: An element a in A is said to be greatest element of A
iff for every b in A, b ≤ a.
● Minimal element: An element a in A is said to be minimal element iff for
every b in A either a ≤ b or a and b are not comparable.
● Least element: An element a in A is said to be greatest element of A iff
for every b in A, a ≤ b.
Maximal element: a1 , a2 , a3,
Minimal element: b1 , b2 , b3
Greatest element: Φ
Least element: Φ
Q. Let A = { { a, b, c, d, e, f, g, h, i } , ‘≤’ } has the following Hasse diagram:
Find:
Zero element: The greatest element, if exists, of a POSET is often called the
unit element. It is denoted by O.
Upper bound:
{ c, d, e, f, g, h }
Lower bound:
Φ
Supremum and Infimum
Least Upper Bound (Supremum): Let (A, ≤) be a POSET and let B be a
subset of A. An element a ∈ A is called an least upper bound ( l.u.b. ) of B iff
1. a is an upper bound of B
2. a ≤ a’ , whenever a’ is an upper bound of B
B = { 6, 7, 10 }
B is subset of A.
8
LUB and GLB of B:
LUB: 10
● LUB: ⊕, ∪ , +
● GLB: *, ∩, •
Examples:
● Dn = Divisors of N
R = divisibility relation
( P(A) , ⊆ ) is a lattice
Hasse Diagram of { P(A) , ⊆ } is given:
Examples:
D8= { 1, 2, 4, 8 }
D20 = { 1, 2, 4, 5, 10, 20 }
D30 = ?
Is this a lattice?
Lattice.
Because,
Dual of a Lattice
Let ( L , ≤) be a lattice. Then, ( L , ≥ ) is also a Lattice and is called Dual of the
lattice.
● ( L, ≤, V, Λ ) is called dual of ( L, ≥, Λ, V )
For Example, Let S be a finite set and P(S) be its power set. For ⊆ relation,
( P(S) , ⊆ ) is a POSET.
Theorems:
a) a V b = b if and only if a ≤ b
b) a Λ b =a if and only if a ≤ b
c) a Λ b =a if and only if a v b = b
● A linearly ordered set is also a lattice.
a) a v a = a a) a v (b v c)= (a v b) v c
b) a Λ a = a b) a Λ(b Λ c)= (a Λ b) Λ c
a) a v b = b v a a) a v (a Λ b) = a
b) a Λ b = b Λ a b) a Λ (a v b) = a
Sublattices
Let (L, ≤) be a lattice. A non-empty subset S of L is called a sublattice of L if
a V b ∈ S and a ⋀ b ∈ S, whenever a, b ∈ S.
Example:
Complement:
Let (L , V, ⋀, 0, I) be a bounded lattice with greatest element I and the least
element 0. Let a ∈ L. Then an element b ∈ L is called a complement of a if
a V b = I and a ⋀ b = 0 .
● It follows from this definition that 0 and I are complement of each other.
● Further, I is the only complement of 0.
Complemented Lattice
A lattice (L, V, ⋀, 1, 0) is called complemented if it is bounded and if every
element of L has at least one complement.
For example, The lattice (P(A), ⊆) of the power set of any set A is a bounded
lattice and a complemented lattice.
Distributive Lattice
A lattice (L, V, ⋀) is called a distributive lattice if for any elements a, b and c in
L,
(1) a ⋀ (b V c) = (a ⋀ b) V (a ⋀ c)
(2) a V (b ⋀ c) = (a V b) ⋀ ( a V c)
a = b V c => a = b or a = c.
For example.
● 0 is join-irreducible
● Here, a is join-irreducible
Atoms
Those elements, which immediately succeed 0, are called atoms.
From the above discussion, it follows that the atoms are join-irreducible.
Thank you.
Efforts by
04114902020