chapter 6. order relations and structure weiqi luo ( 骆伟祺 ) school of software sun yat-sen...
TRANSCRIPT
![Page 1: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/1.jpg)
Chapter 6. Order Relations and Structure
Weiqi Luo (骆伟祺 )School of Software
Sun Yat-Sen UniversityEmail : [email protected] Office : A309
![Page 2: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/2.jpg)
School of Software
6.1. Partially Ordered Sets 6.2. Extremal Elements of Partially Ordered Sets 6.3. Lattices 6.4. Finite Boolean Algebras 6.5. Functions on Boolean Algebras 6.6. Circuit Design
2
Chapter six: Order Relations and Structures
![Page 3: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/3.jpg)
School of Software
Partial Order A relation R on a set A is called a partial order if R is reflexive,
antisymmetric and transitive. The set A together with the partial order R is called a partially ordered set, or simply a poset, denoted by (A, R)
For instance,
1.Let A be a collection of subsets of a set S. The relation ⊆ of set inclusion is a partial order on A, so (A, ) is a poset. ⊆
2.Let Z+ be the set of positive integers. The usual relation ≤
is a partial order on Z+, as is “≥”
6.1 Partially Ordered Sets
3
![Page 4: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/4.jpg)
School of Software
Example 6 Let R be a partial order on a set A, and let R-1 be the
inverse relation of R. Then R-1 is also a partial order.Proof:
(a)Reflexive Δ ⊆ R Δ=Δ-1 ⊆ R-1
(b)Antisymmetric R ∩ R-1 ⊆ Δ R-1 ∩ R ⊆ Δ
(c)Transitive R2 ⊆ R (R-1)2 ⊆ R-1
Thus, R-1 is also a partial order.
The poset (A, R-1) is called the dual of the poset (A, R).
whenever (A, ≤) is a poset, we use “≥” for the partial order ≤-1
6.1 Partially Ordered Sets
4
![Page 5: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/5.jpg)
School of Software
Comparable If (A, ≤) is a poset, elements a and b of A are comparable if
a ≤ b or b ≤ a
In some poset, e.g. the relation of divisibility (a R b iff a | b), some pairs of elements are not comparable
2 | 7 and 7 | 2
Note: if every pair of elements in a poset A is comparable, we say that A is linear ordered set, and the partial order is called a linear order. We also say that A is a chain.
6.1 Partially Ordered Sets
5
![Page 6: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/6.jpg)
School of Software
Theorem 1 If (A, ≤ ) and (B, ≤ ) are posets, then (A×B, ≤) is a poset, with
partial order ≤ defined by
(a, b) ≤ (a’, b’) if a ≤ a’ in A and b≤b’ in B
Note: the ≤ is used to denote three different partial orders.
Proof:
(a) Reflexive
support (a, b) in A×B, then
(a, b) ≤ (a, b) since a ≤ a in A and b ≤ b in B ((A, ≤) and (B, ≤) are posets)
6.1 Partially Ordered Sets
6
![Page 7: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/7.jpg)
School of Software
(b) Antisymmetry
support (a, b) ≤ (a’, b’) and (a’, b’) ≤ (a, b), then
a ≤ a’ and a’ ≤ a in A ; b ≤ b’ and b’ ≤ b in B
since A and B are posets, a=a’, b=b’ (antisymmetry property in A and B, respectively), which means that (a, b)=(a’, b’) and thus ≤ satisfies the antisymmetry property in A×B
(c) Transitive
support (a, b) ≤ (a’, b’) and (a’, b’) ≤ (a’’, b’’), then
a ≤ a’ and a’ ≤ a’’ in A ; b ≤ b’ and b’ ≤ b’’ in B ,
since A and B are posets, a ≤ a’’ and b ≤ b’’ (transitive property in A and B, respectively), which means that
(a, b) ≤ (a’’, b’’)
6.1 Partially Ordered Sets
7
![Page 8: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/8.jpg)
School of Software
Product partial order The partial order ≤ defined on the Cartesian product A× B is called the
Product partial order
The symbol < If (A, ≤ ) is a poset, we say a<b if a ≤ b but a ≠ b
Lexicographic (dictionary) order
Another useful partial order on A×B, denoted by ≺, is defined as (a, b) ≺ (a’, b’) if a<a’ or a=a’ and b ≤ b’
why ≺ is a partial order?
6.1 Partially Ordered Sets
8
![Page 9: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/9.jpg)
School of Software
Example 8
Let A=R, with the usual order ≤. Then the plane R2=R×R may be given lexicographic order
6.1 Partially Ordered Sets
9
xx=x2x=x1
p1
p2
p3
P1 ≺ P2P1 ≺ P3 (x1 ≤ x2, x1 ≠x2) P2 ≺ P3 (x2=x2, y2 ≤ y3)
P1=(x1,y1)
P2=(x2,y2) P3=(x2,y3)
![Page 10: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/10.jpg)
School of Software
Lexicographic ordering is easily extended to Cartesian products A1×A2 …×An as follows:
(a1, a2, …, an) ≺ (a’1, a’2, …, a’n) if and only if
a1 < a’1 or
a1 = a’1and a2 < a’2 or
a1 = a’1and a2 = a’2 and a3 < a’3 or …
a1 = a’1and a2 = a’2 … , an-1 = a’n-1, an ≤ a’n
6.1 Partially Ordered Sets
10
Why?
![Page 11: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/11.jpg)
School of Software
Theorem 2 The digraph of a partial order has no cycle of length larger than 1
Proof: support that the digraph of the partial order ≤ on the set A contains a cycle of length n>=2. Then there exist distinct elements a1,a2,…,an in A such that
a1 ≤a2, a2 ≤a3,…, an-1 ≤an, an ≤a1
by the transitivity of the partial order, used n-1 times,
a1 ≤an
by antisymmetry, an ≤a1and a1 ≤an then a1=an
(Contradiction)
6.1 Partially Ordered Sets
11
![Page 12: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/12.jpg)
School of Software
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)
6.1 Partially Ordered Sets
12
![Page 13: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/13.jpg)
School of Software
Transitive a ≤ b, and b ≤c, then a ≤c (delete the edge from a to c)
6.1 Partially Ordered Sets
13
b
a
c
Vertex dot
a
b
c
Remove arrow (all edges pointing upward)
a
b
c
![Page 14: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/14.jpg)
School of Software
Example 11
Let A={1,2,3,4,12}. Consider the partial order of divisibility on A. Draw the corresponding Hasse diagram.
6.1 Partially Ordered Sets
14
12
4
2
1
3
12
4
2
1
3
![Page 15: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/15.jpg)
School of Software
Example 12 Let S={a,b,c} and A=P(S). Draw the Hasse diagram of
the poset A with the partial order ⊆
6.1 Partially Ordered Sets
15
{a,b,c}
{b,c} {a,b} {a,c}
{b}{c}
{a}
ф
![Page 16: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/16.jpg)
School of Software
The Hasse diagram of a finite linearly order set
Let A={a1,a2,…,an} be a finite set, and ai ≤aj if i ≤j
6.1 Partially Ordered Sets
16
a1
a2
an-1
an
![Page 17: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/17.jpg)
School of Software
Example 13 Fig. a shows the Hasse diagram of a poset (A, ≤), where
A={a, b, c, d, e, f}
Fig. b shows the Hasse diagram of the dual poset (A, ≥)
6.1 Partially Ordered Sets
17
f
d e
ba c
ba c
d e
f
![Page 18: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/18.jpg)
School of Software
Topological Sorting If A is a poset with partial order ≤, we sometimes need
to find a linear order ≺ for the set A that will merely be an extension of the given partial order in the sense that if a ≤ b, then a ≺b. The process of constructing a linear order such as is called topological sorting. ≺
(refer to p.229 for the details of the algorithm)
6.1 Partially Ordered Sets
18
![Page 19: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/19.jpg)
School of Software
Example 14
Give a topological sorting for the poset whose Hasse diagram as follows
6.1 Partially Ordered Sets
19
f
e
b d
a
c
g
a
b
c
d
e
g
f
a
c
g
b
d
e
f
a
d
b
e
c
g
f
Usually, the topological sorting is not unique.
![Page 20: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/20.jpg)
School of Software
Isomorphism Let (A, ≤) and (A’, ≤’) be posets and let f: AA’ be a one to
one correspondence between A and A’. The function f is called an isomorphism from (A, ≤) to (A’, ≤’) if, for any a and b in A,
a ≤ b if and only if f(a) ≤’ f(b)
If f: AA’ is an isomorphism, we say that (A, ≤ ) and (A’, ≤’) are isomorphic posets.
6.1 Partially Ordered Sets
20
![Page 21: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/21.jpg)
School of Software
Example 15
Let A be the set Z+ of positive integers, and let ≤ be the usual partial order on A. Let A’ be the set of positive even integers, and let ≤’ be the usual partial order on A’. The function f: AA’ given by
f(a) = 2 a
is an isomorphism form (A, ≤) to (A’, ≤’)
Proof: First, it is very to show that f is one to one, everywhere defined and onto (one to one correspondence).
Finally, if a and b are elements of A, then it is clear that
a ≤ b if and only if 2a ≤’ 2b. Thus f is an isomorphism.
6.1 Partially Ordered Sets
21
![Page 22: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/22.jpg)
School of Software
Theorem 3 Suppose that f : AA’ is an isomorphism from a poset (A,
≤) to a poset (A’, ≤’). Suppose also that B is a subset of A, and B’=f(B) is the corresponding subset of A’. The following principle must hold.
If the elements of B have any property relating to one another or to other elements of A, and if this property can be defined entirely in terms of the relation ≤, then the elements of B’ must possess exactly the same property, defined in terms of ≤’.
6.1 Partially Ordered Sets
22
![Page 23: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/23.jpg)
School of Software
Example 16 Let (A, ≤ ) be the poset whose Hasse diagram is shown below,
and suppose that f is an isomorphism from (A, ≤) to some other poset (A’, ≤’). Note d ≤ x for any x in A, then the corresponding element f(d) in A’ must satisfy the property f(d) ≤y for all y in A’.
6.1 Partially Ordered Sets
23
d
c
a b
As another example, a ≤ b and b ≤ a. Such a pair is called incomparable in A, then f(a) and f(b) are also incomparable in A’
![Page 24: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/24.jpg)
School of Software
Let (A, ≤ ) and (A’, ≤ ’) be finite posets, let f: AA’ be a one-to-one correspondence, and let H be any Hasse diagram of (A, ≤ ). Then
If f is an isomorphism and each label a of H is replaced by f(a), then H will become a Hasse diagram for (A, ≤ ’)
Conversely
If H becomes a Hasse diagram for (A’, ≤ ’), whenever each label a is replaced by f(a), then f is an isomorphism.
Two finite isomorphic posets have the same Hasse diagrams
6.1 Partially Ordered Sets
24
![Page 25: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/25.jpg)
School of Software
Example 17 Let A={1,2,3,6} and let ≤ be the relation | .
Let A’= {ф, {a}, {b}, {a, b}} and let ≤’ be set containment, . ⊆ If f(1)= ф, f(2)={a}, f(3)={b}, f(6)={a, b}, then f is an
isomorphism. They have the same Hasse diagrams.
6.1 Partially Ordered Sets
25
1
32
6
ф
{b}{a}
{a, b}
![Page 26: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/26.jpg)
School of Software
Homework Ex. 2, Ex. 14, Ex. 16, Ex. 18, Ex. 19 , Ex. 30, Ex. 32
6.1 Partially Ordered Sets
26
![Page 27: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/27.jpg)
School of Software
Consider a poset (A, ≤ ) Maximal Element An element a in A is called a maximal element of A if
there is no element c in A such that a<c.
Minimal Element An element b in A is called a minimal element of A if
there is no element c in A such that c<b.
an element a in A is a maximal (minimal) element of (A, ≥ ) if and only if a is a minimal (maximal) element of (A, ≤ )
6.2 Extremal Elements of Partially Ordered Sets
27
![Page 28: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/28.jpg)
School of Software
Example 1
Find the maximal and minimal elements in the following Hasse diagram
6.2 Extremal Elements of Partially Ordered Sets
28
a1 a2
a3
b1 b2
b3
Maximal elements
Minimal element
Note: a1, a2, a3 are incomparable b1, b2, b3 are incomparable
![Page 29: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/29.jpg)
School of Software
Example 2 Let A be the poset of nonnegative real number with the
usual partial order ≤ . Then 0 is a minimal element of A. There are no maximal elements of A
Example 3 The poset Z with the usual partial order ≤ has no
maximal elements and has no minimal elements
6.2 Extremal Elements of Partially Ordered Sets
29
![Page 30: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/30.jpg)
School of Software
Theorem 1 Let A be a finite nonempty poset with partial order ≤.
Then A has at least one maximal element and at least one minimal element.
Proof: Let a be any element of A. If a is not maximal, we can find an element a1 in A such that a<a1. If a1 is not maximal, we can find an element a2 in A such that a1<a2. This argument can not be continued indefinitely, since A is a finite set. Thus we eventually obtain the finite chain
a <a1<a2<…<ak-1<ak
which cannot be extended. Hence we cannot have ak < b for any b in A, so Ak is a maximal element of (A, ≤).
6.2 Extremal Elements of Partially Ordered Sets
30
![Page 31: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/31.jpg)
School of Software
Algorithm For finding a topological sorting of a finite poset (A ≤).
Step 1: Choose a minimal element a of A
Step 2: Make a the next entry of SORT and replace A with A-{a}
Step 3: Repeat step 1 and 2 until A={ }.
6.2 Extremal Elements of Partially Ordered Sets
31
![Page 32: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/32.jpg)
School of Software
Example 4
6.2 Extremal Elements of Partially Ordered Sets
32
a b
c
d e
SORT:
a b
c
e
d
a b
c
e
a b
c
a
b a
![Page 33: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/33.jpg)
School of Software
Greatest element An element a in A is called a greatest element of A if
x ≤ a for all x in A.
Least element 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, ≥ )
6.2 Extremal Elements of Partially Ordered Sets
33
![Page 34: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/34.jpg)
School of Software
Example 5
Let A be the poset of nonnegative real number with the usual partial order ≤ . Then 0 is a least element of A. There are no greatest elements of A
Example 7
The poset Z with usual partial order has neither a least nor a greatest element.
6.2 Extremal Elements of Partially Ordered Sets
34
![Page 35: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/35.jpg)
School of Software
Theorem 2 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.
6.2 Extremal Elements of Partially Ordered Sets
35
![Page 36: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/36.jpg)
School of Software
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.
Q: does unit/zero element exist for a finite nonempty poset?
6.2 Extremal Elements of Partially Ordered Sets
36
![Page 37: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/37.jpg)
School of Software
Consider a poset A and a subset B of A Upper bound An element a in A is called an upper bound of B if b ≤ a
for all b in B
Lower bound
An element a in A is called a lower bound of B if a ≤ b for all b in B
6.2 Extremal Elements of Partially Ordered Sets
37
![Page 38: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/38.jpg)
School of Software
Example 8 Find all upper and lower bounds of the following subset
of A: (a) B1={a, b}; B2={c, d, e}
6.2 Extremal Elements of Partially Ordered Sets
38
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 bThe upper bounds of B2 are f, g and h
![Page 39: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/39.jpg)
School of Software
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.
6.2 Extremal Elements of Partially Ordered Sets
39
![Page 40: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/40.jpg)
School of Software
Some properties of dual of poset The upper bounds in (A, ≤ ) correspond to lower
bounds in (A, ≥) (for the same set of elements)
The lower bounds in (A, ≤ ) correspond to upper bounds in (A, ≥) (for the same set of elements)
Similar statements hold for greatest lower bounds and least upper bounds.
6.2 Extremal Elements of Partially Ordered Sets
40
![Page 41: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/41.jpg)
School of Software
Example 9 Find all least upper bounds and all greatest lower
bounds of (a) B1={a, b} (b) B2={c, d, e}
6.2 Extremal Elements of Partially Ordered Sets
41
h
f g
d e
c
a b
(a) Since B1 has no lower bounds, it has no greatest lower bounds; However, LUB(B1)=c
(b)Since the lower bounds of B2 are c, a and b, we find that GLB(B2)=c The upper bounds of B2 are f, g and h. Since f and g are not comparable, we conclude that B2 has no least upper bound.
![Page 42: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/42.jpg)
School of Software
Theorem 3 Let (A, ≤) be a poset. Then a subset B of A has at most
one LUB and at most one GLB
Please refer to the proof of Theorem 2.
6.2 Extremal Elements of Partially Ordered Sets
42
![Page 43: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/43.jpg)
School of Software
Example 10 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.
6.2 Extremal Elements of Partially Ordered Sets
43
1
23
4
5 6 7 8
109
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 )
![Page 44: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/44.jpg)
School of Software
Theorem 4 Suppose that (A, ≤) and (A, ≤’) are isomorphic posets under
the isomorphic f: AA’
1. If a is a maximal (minimal) element of (A, ≤), then f(a) is a maximal (minimal) element of (A’, ≤’)
2. If a is the greatest (least) element of (A, ≤), then f(a) is the greatest (least) element of (A’,≤’)
3. If a is an upper (lower, least upper, greatest lower) bound of a subset B of A, then f(a) is an upper (lower, least upper, greatest lower) bound for subset f(B) of A’
4. If every subset of (A, ≤) has a LUB (GLB), then every subset of (A’, ≤’) has a LUB (GLB)
6.2 Extremal Elements of Partially Ordered Sets
44
![Page 45: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/45.jpg)
School of Software
Example 11
Show that the posets (A, ≤) and (A’, ≤’), whose Hasse diagrams are shown below are not isomorphic.
6.2 Extremal Elements of Partially Ordered Sets
45
a
b c
a’ b’
c’
(A, ≤) has a greatest element a, while (A’, ≤’) does not have a greatest element
![Page 46: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/46.jpg)
School of Software
Homework
Ex. 2, Ex. 18, Ex. 22, Ex. 28, Ex. 34, Ex. 37
6.2 Extremal Elements of Partially Ordered Sets
46
![Page 47: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/47.jpg)
School of Software
Lattice 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)
6.3 Lattices
47
![Page 48: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/48.jpg)
School of Software
Example 1 Let S be a set and let L=P(S). As we have seen, ⊆ , containment, is
a partial order on L. Let A and B belong to the poset (L, ⊆ ). Then
a ∨ b =A U B & a ∧b = A ∩ B
Why?
Assuming C is a upper bound of {a, b}, then
A ⊆ C and B ⊆ C thus A U B ⊆ C
Assuming C is a lower bound of {a, b}, then
C ⊆ A and C ⊆ B thus C ⊆ A ∩ B
6.3 Lattices
48
![Page 49: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/49.jpg)
School of Software
Example 2 Consider the poset (Z+, ≤), where for a and b in Z+, a ≤
b if and only if a | b , then
a∨ b = LCM(a,b)
a∧ b = GCD(a,b)
LCM: least common multiple
GCD: greatest common divisor
6.3 Lattices
49
![Page 50: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/50.jpg)
School of Software
Example 3
Let n be a positive integer and Dn be the set of all positive divisors of n. Then Dn is a lattice under the relation of divisibility. For instance,
D20= {1,2,4,5,10,20} D30= {1,2,3,5,6,10,15,20}
6.3 Lattices
50
1
2 5
4 10
20
1
2 5
6 15
30
3
10
![Page 51: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/51.jpg)
School of Software
Example 4 Which of the Hasse diagrams represent lattices?
6.3 Lattices
51
a
b
c
d
a
b c
d
e
f g
a
b
c
e
d
a
b c
e
d
a
b c
d
a
b c
d e
f
a
c db
a
![Page 52: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/52.jpg)
School of Software
Example 6 Let S be a set and L =P(S). Then (L, ⊆ ) is a lattice, and
its dual lattice is (L, ), where “⊇ ⊆ ” is “contained in”, and “⊇ ” is “contains”. Then, in the poset (L, ⊇ )
join: A B=A∩B , ∨ meet: A B=A B.∧ ∪
6.3 Lattices
52
![Page 53: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/53.jpg)
School of Software
Theorem 1 If (L1, ≤ ) and (L2, ≤ ) are lattices, then (L, ≤ ) is a lattices,
where L= L1 ×L2, and the partial order ≤ of L is the product partial order.
Proof: we denote
the join and meet in is L1by ∨ 1 and ∧ 1
the join and meet in is L2by ∨ 2 and ∧ 2
We know that L is a poset (Theorem 1 in p.219)
for (a1,b1) and (a2,b2) in L. then
(a1,b1) ∨ (a2,b2) = (a1 ∨1 a2, b1 ∨2 b2 ) in L
(a1,b1) ∧ (a2,b2) = (a1 ∧ 1 a2, b1 ∧ 2 b2 ) in L
6.3 Lattices
53
![Page 54: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/54.jpg)
School of Software
Example 7
6.3 Lattices
54
× =01
I1
L1
ba
02
I2
L2
(I1 , I2)
(I1 ,a) (I1 ,b)(01 ,I2)
(01 ,a)
(01 ,02 )
(01 ,b )(I1 ,02 )
L1×L2
![Page 55: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/55.jpg)
School of Software
Sublattice Let (L, ≤) be a lattice. A nonempty subset S of L is
called a sublattice of L if a ∨ b in S and a ∧ b in S whenever a and b in S
For instance
Example 3 is one of sublattices of Example 2
6.3 Lattices
55
![Page 56: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/56.jpg)
School of Software
Example 9
6.3 Lattices
56
0
I
e f
ca b
0
I
e f
a b
I
e f
a b 0
cba
c
Not a lattice
a lattice, not a Sublattice
a sublattice
![Page 57: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/57.jpg)
School of Software
Isomorphic Lattices If f: L1L2 is an isomorphism form the poset (L1, ≤1 )
to the poset (L2, ≤ 2) , then L1 is a lattice if and only if L2 is a lattice. In fact, if a and b are elements of L1, then
f(a ∨ b)= f(a) ∨ f(b) & f (a ∧ b)=f(a) ∧ f(b).
If two lattices are isomorphic, as posets, we say they are isomorphic lattices.
6.3 Lattices
57
![Page 58: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/58.jpg)
School of Software
Example 10 (P.225 Ex.17) Let A={1,2,3,6} and let ≤ be the relation | .
Let A’= {ф, {a}, {b}, {a, b}} and let ≤’ be set containment, . ⊆ If f(1)= ф, f(2)={a}, f(3)={b}, f(6)={a, b}, then f is an
isomorphism. They have the same Hasse diagrams.
6.3 Lattices
58
1
32
6
ф
{b}{a}
{a, b}
![Page 59: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/59.jpg)
School of Software
a ∨ b (LUB{a, b}) 1. a ≤ a∨ b and b ≤ a∨ b; a∨ b is an upper bound of a and b
2. If a ≤ c and b ≤ c, then a ∨ b ≤ c ; a ∨ b is the least upper bound of a and b
a ∧ b (GLB{a, b}) 3. a∧ b ≤ a and a ∧ b ≤ b; a ∧ b is a lower bound of a and b
4. If c≤ a and c ≤ b, then c≤ a ∧ b ; a ∧ b is the greatest lower bound of a and b
6.3 Lattices
59
![Page 60: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/60.jpg)
School of Software
Theorem 2 Let L be a lattice. Then for every a and b in L
(a) a ∨ 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 ∨ b =b
Proof:
(a) if a∨ b =b, since a≤ a∨ b, thus a ≤ b
if a ≤ b, since b ≤ b , thus b is a upper bound of a and b, by definition of least upper bound we have a∨ b ≤ b. since a∨ b is an upper bound of a and b, b ≤ a∨ b, so a∨ b =b
(b) Similar to (a); (c) the proof follows from (a) & (b)
6.3 Lattices
60
![Page 61: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/61.jpg)
School of Software
Example 12 Let L be a linearly ordered set. If a and b in L, then
either a ≤ b or b ≤ a. It follows form Theorem 2 that L is a lattice, since every pair of elements has a least upper bound and a greatest lower bound.
6.3 Lattices
61
![Page 62: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/62.jpg)
School of Software
Theorem 3Let L be a lattice. Then
1. Idempotent properties: a∨ a =a ; a∧ a =a
2. Commutative properties: a∨ b= b∨ a; a∧ b = b∧ a
3. Associative properties: (a) (a∨ b)∨ c= a∨ (b∨ c )
(b) (a∧ b) ∧ c= a∧ (b∧ c)
4. Absorption properties: (a) a ∨ (a ∧ b) =a
(b) a ∧ (a ∨ b) =a
6.3 Lattices
62
![Page 63: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/63.jpg)
School of Software
Proof: 3. (a) (a∨ b)∨ c= a∨ (b∨ c)
a≤ a∨ (b∨ c) & b∨ c≤ a∨ (b∨ c)
b≤ b∨ c & c ≤ b∨ c (definition of LUB)
b≤ b∨ c & c ≤ b∨ c & b∨ c≤ a∨ (b∨ c)
b≤ a∨ (b∨ c) & c ≤ a∨ (b∨ c) (transitivity)
a≤ a∨ (b∨ c) & b≤ a∨ (b∨ c) a∨ (b∨ c) is a upper of a and b
then we have a∨ b ≤ a∨ (b∨ c) (why?)
a∨ b ≤ a∨ (b∨ c) & c ≤ a∨ (b∨ c) a∨ (b∨ c) is a upper of a∨ b and c
then we have (a∨ b)∨ c ≤ a∨ (b∨ c)
Similarly, a∨ (b∨ c) ≤ (a∨ b)∨ c
Therefore (a∨ b)∨ c = a∨ (b∨ c) (why?)
6.3 Lattices
63
![Page 64: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/64.jpg)
School of Software
(a ∨ b) ∨ c = a ∨ (b ∨ c) = a ∨ b ∨ c
(a ∧ b) ∧ c = a ∧ (b ∧ c) = a ∧ b ∧ c
LUB({a1,a2,…,an})= a1 ∨ a2 ∨… ∨ an
GLB({a1,a2,…,an}) =a1 ∧ a2 ∧… ∧ an
6.3 Lattices
64
![Page 65: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/65.jpg)
School of Software
Theorem 4 Let L be a lattice. Then, for every a, b and c in L
1. If a ≤ b, then
(a) a ∨ c ≤ b ∨ c
(b) a ∧c ≤ b ∧ c
2. a ≤ c and b ≤ c if and only if a ∨ b ≤ c
3. c ≤ a and c ≤ b if and only if c ≤ a ∧ b
4. If a ≤b and c ≤d, then
(a) a∨ c ≤ b∨ d
(b) a ∧ c ≤ b∧ d
6.3 Lattices
65
![Page 66: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/66.jpg)
School of Software
Proof
1. (a) If a ≤ b, then a c ≤ b c ∨ ∨ c ≤ b c ; b≤ b c ∨ ∨ (definition of LUB)
a ≤ b ; b≤ b c ∨ a≤ b c ∨ (transitivity)
therefore,
b c is a upper bound of a and c , which means ∨ a c ≤ b c ∨ ∨ (why? )
The proofs for others left as exercises.
6.3 Lattices
66
![Page 67: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/67.jpg)
School of Software
Bounded
A lattice L is said to be bounded if it has a greatest element I and a least element 0
For instance:
Example 15: The lattice P(S) of all subsets of a set S, with the relation containment is bounded. The greatest element is S and the least element is empty set.
Example 13: The lattice Z+ under the partial order of divisibility is not bounded, since it has a least element 1, but no greatest element.
6.3 Lattices
67
![Page 68: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/68.jpg)
School of Software
If L is a bounded lattice, then for all a in A
0 ≤ a ≤ I
a ∨ 0 = a, a ∨ I = I
a ∧ 0 = 0 , a ∧ I = a
Note: I (0) and a are comparable, for all a in A.
6.3 Lattices
68
![Page 69: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/69.jpg)
School of Software
Theorem 5
Let L={a1,a2,…,an} be a finite lattice. Then L is bounded.
Proof:
The greatest element of L is a1 ∨ a2 ∨… ∨ an, and the least element of L is a1 ∧ a2 ∧… ∧ an
6.3 Lattices
69
![Page 70: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/70.jpg)
School of Software
Distributive
A lattice L is called distributive if for any elements a, b and c in L we have the following distributive properties:
1. a ∧ (b ∨ c) = (a ∧ b) ∨ (a ∧ c)
2. a ∨ (b ∧ c) = (a ∨ b) ∧ (a ∨ c)
If L is not distributive, we say that L is nondistributive.
Note: the distributive property holds when
a. any two of the elements a, b and c are equal or
b. when any one of the elements is 0 or I.
6.3 Lattices
70
![Page 71: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/71.jpg)
School of Software
Example 16 For a set S, the lattice P(S) is distributive, since union
and intersection each satisfy the distributive property.
Example 17 The lattice whose Hasse diagram shown as follows is
distributive.
6.3 Lattices
71
0
a c
b d
I
![Page 72: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/72.jpg)
School of Software
Example 18 Show that the lattices as follows are nondistributive.
6.3 Lattices
72
0
b
a
I
c
0
a b
I
c
a ( b c) = a I = a∧ ∨ ∧(a ∧ b) (a c) = b 0 = b∨ ∧ ∨
a ( b c) = a I = a∧ ∨ ∧(a ∧ b) (a c) = 0 0 = 0∨ ∧ ∨
![Page 73: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/73.jpg)
School of Software
Theorem 6 A lattice L is nondistributive if and only if it contains a
sublattice that is isomorphic to one of the lattices whose Hasse diagrams are as show.
6.3 Lattices
73
0
b
a
I
c
0
a b
I
c
![Page 74: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/74.jpg)
School of Software
Complement Let L be bounded lattice with greatest element I and
least element 0, and let a in L. An element a’ in L is called a complement of a if
a a’ = I and a a’ =0 ∨ ∧ Note that 0’=I and I’=0
6.3 Lattices
74
![Page 75: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/75.jpg)
School of Software
Example 19
The lattice L=P(S) is such that every element has a complement, since if A in L, then its set complement A has the properties A ∨ A = S and A ∧ A=ф. That is, the set complement is also the complement in L.
Example 20
6.3 Lattices
75
0
b
a
I
c
0
a b
I
c
![Page 76: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/76.jpg)
School of Software
Example 21
6.3 Lattices
76
1
2 5
4 10
20
1
2 5
6 15
30
3
10
D20 D30
![Page 77: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/77.jpg)
School of Software
Theorem 7
Let L be a bounded distributive lattice. If a complement exists, it is unique. Proof: Let a’ and a’’ be complements of the element a in L, then
a ∨ a’ = I, a ∨ a’’= I ; a ∧ a’ = 0, a ∧ a’’ =0
using the distributive laws, we obtain
a’= a’ ∨ 0 = a’ ∨(a ∧ a’’ ) = (a’ ∨ a) ∧ (a’ ∨ a’’)
= I ∧ (a’ ∨ a’’) = a’ ∨ a’’
Also
a’’= a’’ ∨ 0 = a’’ ∨(a ∧ a’ ) = (a’’ ∨ a) ∧ (a’’ ∨ a’)
= I ∧ (a’ ∨ a’’) = a’ ∨ a’’
Hence a’=a’’
6.3 Lattices
77
![Page 78: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/78.jpg)
School of Software
Complemented
A lattice L is called complemented if it is bounded and if every element in L has a complement.
6.3 Lattices
78
![Page 79: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/79.jpg)
School of Software
Example 22
The lattice L=P(S) is complemented. Observe that in this case each element of L has a unique complement, which can be seen directly or is implied by Theorem 7.
Example 23
6.3 Lattices
79
0
b
a
I
c
0
a b
I
c
![Page 80: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/80.jpg)
School of Software
Homework Ex. 6, Ex. 7, Ex. 12, Ex. 19, Ex. 24, Ex. 32, Ex. 40
6.3 Lattices
80
![Page 81: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/81.jpg)
School of Software
Theorem 1 If S1={x1,x2,…,xn} and S2={y1,y2,…,yn} are any two finite
sets with n elements, then the lattices (P(S1), ⊆ ) and (P(S2), ⊆ ) are isomorphic. Consequently, the Hasse diagrams of these lattices may be drawn identically.
6.4 Finite Boolean Algebras
81
S1: x1 x2 x3 … xn
S2: y1 y2 y3 … yn
S1: x1 x2 x3 … xn
S2: y1 y2 y3 … yn
A
f(A)
Arrange the elements in S1 and S2
![Page 82: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/82.jpg)
School of Software
Example 1: S={a, b, c} and T={2,3,5}. Consider the Hasse diagrams of
the two lattices (P(S), ) and (P(T), ). ⊆ ⊆
6.4 Finite Boolean Algebras
82
{a,b,c}
{a,b} {b,c}{a,c}
{a}
ф
{c}{b}
{2,3,5}
{2,3} {3,5}{2,5}
{2}
ф
{5}{3}
Note : the lattice depends only on the number of elements in set, not on the elements.
![Page 83: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/83.jpg)
School of Software
Label the subsets Let a set S={a1,a2,…,an}, then P(S) has 2n subsets. We
label subsets by sequences of 0’s and 1’s of length n.
For instance,
{a1,a2} 1 1 0 0 …0
{a1,an } 1 0 0 0 …1
ф 0 0 0 0 …0
{a1,a2,…,an} 1 1 1 1 …1
…
6.4 Finite Boolean Algebras
83
![Page 84: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/84.jpg)
School of Software
Get the unique Hasse Diagram
6.4 Finite Boolean Algebras
84
{2,3,5}
{2,3} {3,5}{2,5}
{2}
ф
{5}{3}
{a,b,c}
{a,b} {b,c}{a,c}
{a}
ф
{c}{b}
111
110 011101
100
000
001010
![Page 85: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/85.jpg)
School of Software
Lattice Bn
If the Hasse diagram of the lattice corresponding to a set with n elements is labeled by sequences of 0’s and 1’s of length n, the resulting lattice is named Bn. The properties of the partial order on Bn can be described directly as follows. If x=a1a2…an and y=b1b2…bn are two element of Bn, then
1. x ≤ y iff ak ≤ bk (as numbers 0 or 1) for k=1,2,…,n
2. x ∧ y=c1c2…cn, where ck= min{ak,bk}
3. x ∨ y=c1c2…cn, where ck= max{ak,bk}
4. x has a complement x’=z1z2…zn, where zk=1 if xk=0 and zk=0 if xk=1
6.4 Finite Boolean Algebras
85
![Page 86: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/86.jpg)
School of Software
Boolean algebra
A finite lattice is called a Boolean algebra if it is isomorphic with Bn for some nonnegative integer n.
6.4 Finite Boolean Algebras
86
0
1
n=1
0110
00
11
n=2
111
110 011101
100
000
001010
n=3n=0
|Bn| =2n
![Page 87: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/87.jpg)
School of Software
(P(S), ) ⊆ Each x and y in Bn correspond to subsets A and B of S. Then
x ≤ y, x ∧ y, x ∨ y and x’ correspond to A B, A ∩ B, A ⊆U B and A. Therefore,
(P(S), ) is isomorphic with Bn, where n=|S| ⊆
Example 3
Consider the lattice D6 consisting of all positive integer divisors of 6 under the partial order of divisibility.
6.4 Finite Boolean Algebras
871
32
6
00
0110
11
D6 is a Boolean algebras
![Page 88: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/88.jpg)
School of Software
Example 4
Consider the lattices D20 and D30 of all positive integer divisors of 20 and 30, respectively.
6.4 Finite Boolean Algebras
88
1
2 5
4 10
20
1
2 5
6 15
30
3
10
D20 is not a Boolean algebra(why? 6 is not 2n )
D30 is a Boolean algebra,D30 B3
![Page 89: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/89.jpg)
School of Software
Theorem 2 Let n=p1p2…pk, where the pi are distinct primes. The Dn is a
Boolean algebra.
Proof: Let S={p1 , p2 , … , pk}. If T S and a⊆ T is the product of the primes
in T, then aT | n. Any divisor of n must be of the form aT for some subset T of S (let aф=1) .
If V and T are subsets of S, V T if and only if a⊆ V | aT
aV ∩ T = aV a∧ T = GCD(aV,aT) &
aV U T= aV a∨ T = LCM(aV,aT)
Thus, the function f: P(S) Dn given by f(T)=aT is a isomorphism form P(S) to Dn. Since P(S) is a Boolean algebra, so is Dn.
6.4 Finite Boolean Algebras
89
![Page 90: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/90.jpg)
School of Software
Example
Let S={2,3,5}, show the Hasse diagrams of (P(S), ) ⊆and D30 as follows.
6.4 Finite Boolean Algebras
90
1
2 5
6 15
30
3
10
ф
{2} {5}
{2,3}{3,5}
{2,3,5}
{3}
{2,5}
2×3×5=30
3×5=15
![Page 91: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/91.jpg)
School of Software
Example 5
Since 210=2×3×5×7, 66=2×3×11 and 646=2×17×19, then D210, D66 D646 are all Boolean algebras.
Example 9
Since 40=23×5, and 75=3×52, neither D40 and D75 are Boolean algebras.
Note: If n is positive integer and p2 | n, where p is a prime number, then Dn is not a Boolean algebra.
6.4 Finite Boolean Algebras
91
![Page 92: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/92.jpg)
School of Software
Theorem 3 (Substitution rule for Boolean algebra) Any formula involving U or ∩ that holds for arbitrary subsets of a set S
will continue to hold for arbitrary elements of a Boolean algebra L if is ∧ substituted for ∩ and for U. ∨
Example 6 If L is any Boolean algebra and x,y and z are in L, then the following three properties hold.
1. (x’)’=x 2. (x∧ y)’ = x’ y’ 3. (x y)’ = x’∨ ∨ ∧ y’
This is true by theorem 3,
1. (A)=A 2. (A∩B) =A U B 3. (A U B ) = A ∩ B
hold for arbitrary subsets A and B of a set S.
More properties can be found in p. 247, 1 ~12
6.4 Finite Boolean Algebras
92
![Page 93: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/93.jpg)
School of Software
Example 7 Show the lattice whose Hasse diagram shown below is
not a Boolean algebra.
6.4 Finite Boolean Algebras
93
0
c
f
I
a
e
b
d
a and e are both complements of c
However, based on the 11. Every element x has a unique complement x’ Every element A has a unique complement x
Theorem 3 (e.g. properties 1~14) is usually used to show that a lattice L is not a Boolean algebra.
![Page 94: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/94.jpg)
School of Software
Denote the Boolean algebra B1 simply as B. Thus B contains only the two elements 0 and 1. It is a fact that any of the Boolean algebras Bn can be described in terms of B. The following theorem gives this description.
Theorem 4 For any n>=1, Bn is the product B×B×…×B of B, n factors,
where B×B×…×B is given the product partial order.
6.4 Finite Boolean Algebras
94
![Page 95: Chapter 6. Order Relations and Structure Weiqi Luo ( 骆伟祺 ) School of Software Sun Yat-Sen University Email : weiqi.luo@yahoo.com Office : A309 weiqi.luo@yahoo.com](https://reader035.vdocuments.net/reader035/viewer/2022081416/56649db95503460f94aa8fc5/html5/thumbnails/95.jpg)
School of Software
Homework Ex. 6, Ex. 10, Ex. 12, Ex. 20, Ex. 24, Ex. 26, Ex. 29
6.4 Finite Boolean Algebras
95