Professional Documents
Culture Documents
Order Relations
and Structure
Weiqi Luo ( )
School of Software
Sun Yat-Sen University
Email weiqi.luo@yahoo.com Office A309
Chapter six: Order Relations and Structures
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 School of Software
6.1 Partially Ordered Sets
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.
3 School of Software
6.1 Partially Ordered Sets
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
4 School of Software
6.1 Partially Ordered Sets
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
5 School of Software
6.1 Partially Ordered Sets
Theorem 1
If (A, ) and (B, ) are posets, then (AB, ) is a poset, with
partial order defined by
(a, b) (a, b) if a a in A and bb in B
Note: the is used to denote three different partial orders.
Proof:
(a) Reflexive
support (a, b) in AB, then
(a, b) (a, b) since a a in A and b b in B ((A, ) and
(B, ) are posets)
6 School of Software
6.1 Partially Ordered Sets
(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 AB
(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)
7 School of Software
6.1 Partially Ordered Sets
8 School of Software
6.1 Partially Ordered Sets
Example 8
Let A=R, with the usual order . Then the plane
R2=RR may be given lexicographic order
P1=(x1,y1)
p3 P2=(x2,y2) P3=(x2,y3)
p1
P1 P2
p2 P1 P3 (x1 x2, x1
x2)
P2 P3 (x2=x2, y2 y3)
x
x=x1 x=x2
9 School of Software
6.1 Partially Ordered Sets
a1 < a1 or
a1 = a1and a2 < a2 or
a1 = a1and a2 = a2 and a3 < a3 or
a1 = a1and a2 = a2 , an-1 = an-1, an an
Why?
10 School of Software
6.1 Partially Ordered Sets
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)
11 School of Software
6.1 Partially Ordered Sets
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)
12 School of Software
6.1 Partially Ordered Sets
Transitive
a b, and b c, then a c (delete the edge from a to c)
c c
c
b
b
b
a a
a
Remove arrow (all edges
Vertex dot pointing upward)
13 School of Software
6.1 Partially Ordered Sets
Example 11
Let A={1,2,3,4,12}. Consider the partial order of
divisibility on A. Draw the corresponding Hasse
diagram.
12
12
4
4
3
3
2
2
1 1
14 School of Software
6.1 Partially Ordered Sets
Example 12
Let S={a,b,c} and A=P(S). Draw the Hasse diagram of
the poset A with the partial order
{a,b,c}
{c}
{b} {a}
15 School of Software
6.1 Partially Ordered Sets
an
an-1
a2
a1
16 School of Software
6.1 Partially Ordered Sets
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, )
f a b c
d e d e
a b c f
17 School of Software
6.1 Partially Ordered Sets
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)
18 School of Software
6.1 Partially Ordered Sets
Example 14
Give a topological sorting for the poset whose
Hasse diagram as follows
f f f
f
g e g Usually, the
e
g e topological
d c sorting is not
d b e unique.
b d
c g b
c
b c d
a a a a
19 School of Software
6.1 Partially Ordered Sets
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)
20 School of Software
6.1 Partially Ordered Sets
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.
21 School of Software
6.1 Partially Ordered Sets
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.
22 School of Software
6.1 Partially Ordered Sets
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.
a b
As another example, a b and b a.
Such a pair is called incomparable in A, then
c f(a) and f(b) are also incomparable in A
23 School of Software
6.1 Partially Ordered Sets
Conversely
If H becomes a Hasse diagram for (A, ), whenever each
label a is replaced by f(a), then f is an isomorphism.
24 School of Software
6.1 Partially Ordered Sets
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
{a, b}
2 3 {a} {b}
25 School of Software
6.1 Partially Ordered Sets
Homework
Ex. 2, Ex. 14, Ex. 16, Ex. 18, Ex. 19 , Ex. 30, Ex. 32
26 School of Software
6.2 Extremal Elements of Partially Ordered Sets
27 School of Software
6.2 Extremal Elements of Partially Ordered Sets
Example 1
Find the maximal and minimal elements in the
following Hasse diagram
a3 Maximal elements
a1 a2
Minimal element
b3
28 School of Software
6.2 Extremal Elements of Partially Ordered Sets
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
29 School of Software
6.2 Extremal Elements of Partially Ordered Sets
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 a k < b for
any b in A, so Ak is a maximal element of (A, ).
30 School of Software
6.2 Extremal Elements of Partially Ordered Sets
Algorithm
For finding a topological sorting of a finite poset (A ).
Step 1: Choose a minimal element a of A
31 School of Software
6.2 Extremal Elements of Partially Ordered Sets
Example 4
a b a b a b a b a
c c c
d e e
SORT: d e c b a
32 School of Software
6.2 Extremal Elements of Partially Ordered Sets
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.
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.
34 School of Software
6.2 Extremal Elements of Partially Ordered Sets
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.
35 School of Software
6.2 Extremal Elements of Partially Ordered Sets
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.
Lower bound
An element a in A is called a lower bound of B if a b
for all b in B
37 School of Software
6.2 Extremal Elements of Partially Ordered Sets
Example 8
Find all upper and lower bounds of the following subset
of A: (a) B1={a, b}; B2={c, d, e}
h
a b
38 School of Software
6.2 Extremal Elements of Partially Ordered Sets
40 School of Software
6.2 Extremal Elements of Partially Ordered Sets
Example 9
Find all least upper bounds and all greatest lower
bounds of (a) B1={a, b} (b) B2={c, d, e}
h
(a) Since B1 has no lower bounds, it has no
greatest lower bounds; However,
f g
LUB(B1)=c
a b
41 School of Software
6.2 Extremal Elements of Partially Ordered Sets
Theorem 3
Let (A, ) be a poset. Then a subset B of A has at most
one LUB and at most one GLB
42 School of Software
6.2 Extremal Elements of Partially Ordered Sets
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.
11 The upper bounds of B are 10, 11, and
10 LUB(B) is 10 (the first vertex that can be
9 Reached from {6,7,10} by upward paths )
43 School of Software
6.2 Extremal Elements of Partially Ordered Sets
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)
44 School of Software
6.2 Extremal Elements of Partially Ordered Sets
Example 11
Show that the posets (A, ) and (A, ), whose Hasse
diagrams are shown below are not isomorphic.
a a b
b c c
(A, ) has a greatest element a, while (A, ) does not have a greatest element
45 School of Software
6.2 Extremal Elements of Partially Ordered Sets
Homework
Ex. 2, Ex. 18, Ex. 22, Ex. 28, Ex. 34, Ex. 37
46 School of Software
6.3 Lattices
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)
47 School of Software
6.3 Lattices
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
48 School of Software
6.3 Lattices
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)
49 School of Software
6.3 Lattices
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}
30
20
6 10 15
4 10
2 3 5
2 5
1
1
50 School of Software
6.3 Lattices
Example 4
Which of the Hasse diagrams represent lattices?
f g e
d d e
c
e
c
b c d d b c d
b
b
a f b c
a a
a
a a
d e c d
b
b c
a a
51 School of Software
6.3 Lattices
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: AB=AB ,
meet: AB=AB.
52 School of Software
6.3 Lattices
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
53 School of Software
6.3 Lattices
Example 7
(I1 , I2)
a b
= (01 ,a)
(I1 ,02 )
(01 ,b )
02
01 (01 ,02 )
L1 L2 L1L2
54 School of Software
6.3 Lattices
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
55 School of Software
6.3 Lattices
Example 9
I
I c
e f a b
I
e f
a b 0
e f
a sublattice
c Not a lattice
a b
c
a b
0
0
a lattice, not a Sublattice
56 School of Software
6.3 Lattices
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.
57 School of Software
6.3 Lattices
2 3 {a} {b}
58 School of Software
6.3 Lattices
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
59 School of Software
6.3 Lattices
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)
60 School of Software
6.3 Lattices
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.
61 School of Software
6.3 Lattices
Theorem 3
Let 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
(b) a (a b) =a
62 School of Software
6.3 Lattices
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?)
63 School of Software
6.3 Lattices
(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
64 School of Software
6.3 Lattices
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
65 School of Software
6.3 Lattices
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? )
66 School of Software
6.3 Lattices
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.
67 School of Software
6.3 Lattices
68 School of Software
6.3 Lattices
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
69 School of Software
6.3 Lattices
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.
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. I
b d
a c
0
71 School of Software
6.3 Lattices
Example 18
Show that the lattices as follows are nondistributive.
I I
c a b c
0
0
a( b c) = a I = a a( b c) = a I = a
(a b)(a c) = b 0 = b (a b)(a c) = 0 0 = 0
72 School of Software
6.3 Lattices
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.
I I
c a b c
0
0
73 School of Software
6.3 Lattices
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
74 School of Software
6.3 Lattices
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
I I
c a b c
b
0
0
75 School of Software
6.3 Lattices
Example 21
20 30
4 10 6 10 15
2 5 2 3 5
1 1
D20 D30
76 School of Software
6.3 Lattices
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
77 School of Software
6.3 Lattices
Complemented
A lattice L is called complemented if it is
bounded and if every element in L has a
complement.
78 School of Software
6.3 Lattices
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
I I
c a b c
0
0
79 School of Software
6.3 Lattices
Homework
Ex. 6, Ex. 7, Ex. 12, Ex. 19, Ex. 24, Ex. 32, Ex. 40
80 School of Software
6.4 Finite Boolean Algebras
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.
Arrange the elements in S1 and S2
A
S1: x1 x2 x3 xn S1: x1 x2 x3 xn
f(A)
S2: y1 y2 y3 yn S2: y1 y2 y3 yn
81 School of Software
6.4 Finite Boolean Algebras
Example 1:
S={a, b, c} and T={2,3,5}. Consider the Hasse diagrams of
the two lattices (P(S), ) and (P(T), ).
{a,b,c} {2,3,5}
{b} {3}
{a} {c} {2} {5}
82 School of Software
6.4 Finite Boolean Algebras
83 School of Software
6.4 Finite Boolean Algebras
Get the{2,3,5
unique Hasse Diagram
}
{2,3} {3,5}
{2,5} 111
{3} 110
{2} {5} 011
101
{a,b,c
}
010
{a,b} {b,c} 100 001
{a,c}
000
{b}
{a} {c}
84 School of Software
6.4 Finite Boolean Algebras
Lattice Bn
If the Hasse diagram of the lattice corresponding to a set with n
elements is labeled by sequences of 0s and 1s 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=a 1a2an and
y=b1b2bn are two element of Bn, then
Boolean algebra
A finite lattice is called a Boolean algebra if it is
isomorphic with Bn for some nonnegative integer n.
111
11
|Bn| =2n 1 110 011
101
10 01
010
100 001
00
0
000
(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 11
D6 is a Boolean algebras
10 01
2 3
1 00
87 School of Software
6.4 Finite Boolean Algebras
Example 4
Consider the lattices D20 and D30 of all positive integer
divisors of 20 and 30, respectively.
20 30
1 1
88 School of Software
6.4 Finite Boolean Algebras
Theorem 2
Let n=p1p2pk, where the pi are distinct primes. The Dn is a
Boolean algebra.
Proof:
Let S={p1 , p2 , , pk}. If T S and aT is the product of the
primes in T, then aT | n. Any divisor of n must be of the form a T 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 aT = GCD(aV,aT) &
aV U T= aV aT = 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 D n.
89 School of Software
6.4 Finite Boolean Algebras
Example
Let S={2,3,5}, show the Hasse diagrams of (P(S), )
and D30 as follows.
235=30
{2,3,5} 30
{2,3} 35=15
{2,5} {3,5} 6 10 15
90 School of Software
6.4 Finite Boolean Algebras
Example 5
Since 210=2357, 66=2311 and 646=21719, then D 210, D66 D646 are all
Boolean algebras.
Example 9
Since 40=235, and 75=352, 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.
91 School of Software
6.4 Finite Boolean Algebras
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. (xy) = x y
This is true by theorem 3,
1. (A)=A 2. (AB) =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
92 School of Software
6.4 Finite Boolean Algebras
Example 7
Show the lattice whose Hasse diagram shown below is
not a Boolean algebra.
I
93 School of Software
6.4 Finite Boolean Algebras
Theorem 4
For any n>=1, Bn is the product BBB of B, n factors,
where BBB is given the product partial order.
94 School of Software
6.4 Finite Boolean Algebras
Homework
Ex. 6, Ex. 10, Ex. 12, Ex. 20, Ex. 24, Ex. 26, Ex. 29
95 School of Software