LectureNote MA221 07aug
LectureNote MA221 07aug
A={a,b,c}
a
a
Upper and Lower Bounds
• We define the following terms : a
A={a,b,c}
• Let (S, ) be a poset. And a set A S. Any
element x S is an upper bound for A if for {a,c} {b,c}
all a A, a x. {a,b} a
2 3
Upper and Lower Bounds
• Consider the poset as shown on the right
• Which items are :
1. Upper bounds of 2 and 3 ?
2. Lower bounds of 2 and 3 ?
3. Upper bounds of 6 and 8 ?
4. Lower bounds of 6 and 8 ?
LUB and GLB
• We further define the following terms :
j k
• An item z is a least upper bound (LUB) or
supremum (or sup) for items x and y, if z is an
upper bound of x and y, and no other upper
bound d of x and y exists with d z -- (i) h i
• The lub of f and g does not exist. Here h and i are
upper bounds – violating (i) (neither h i nor i h).
• Similarly, an item w is called a greatest lower f g
bound (GLB) or infimum (or inf) of x and y, if w
is a lower bound of x and y, and no other lower
bound c of x and y exists with w c – (ii)
• The glb of h and i does not exist. Here f and g are b c d e
lower bounds – violating (ii) (neither f g nor g f).
a
LUB and GLB
• Let (S, ) be a poset and set A S. An element x S is
lub for A if x is an upper bound for A and x y, where y
is any upper bound for A. Similarly for glb. 24 36
• For a simply ordered set or a chain, every subset has a
sup and an inf.
12
• A lub, if it exits, is unique, and the same is true for the
glb.
• For A = {2,3,6}, the upper bounds are 6,12, 24, 36, 6
whereas there is no lower bound for A.
• For A has the lub = 6 while the glb of A does not exist. 2 3
LUB and GLB
• B = {2,3} LUB is 6, but there is no GLB.
• C= {12,6}, LUB is 12 and GLB is 6
24 36
• The poset which are such that every subset has a lub
and glb form an important subclass of poset termed as
12
Lattice.
2 3
Well-ordered
• Definition: A poset is called well-ordered if every nonempty subset of
it has a least member (minimum).
• As a consequence of this definition, it follows that every well-ordered
set is totally ordered, because for any subset, say {x,y}, we must have
either x or y as its least member.
• Of course every totally ordered set need not be well-ordered.
• A finite totally ordered set is also well-ordered.
LUB and GLB
• Consider the poset as shown on the right
• Which items are :
1. LUB of 2 and 3 ?
2. GLB of 2 and 3 ?
3. LUB of 6 and 8 ?
4. GLB of 6 and 8 ?