Wednesday, June 2, 2010

how to prove it - ch4, sec4.4(Ordering Relations)

This section talks about mathematical meaning of ordering elements of sets, finding smallest, finding minimal element of a set with respect to a particular relation.

Antisymmetric Relation: Intuitively, its opposite of a symmetric relation. Formally, Suppose R is a relation on set A. Then R is antisymmetric if xAyA(xRyyRxx=y)

So, in an antisymmetric relation, For two different x and y if xRy then (y,x)R. It, in some sense, is saying that "y is atleast as large as x". And, this though motivates to think about the "ordering".

Suppose R is a relation on a set A.
Partial ordering: R is called a partial ordering on A(or just partial ordering if A is clear from the context) if it is reflexive, transitive and antisymmetric.

Total ordering: R is called a total ordering on A if it is partial order and xAyA(xRyyRx)

So, in case of total ordering, its possible to compare any two elements of A as one of the two ordered pairs formed by them must be in the relation.


Suppose R is a partial ordering on A and BA.

Smallest and Minimal: Then bB is called the R-smallest(or just smallest if R is clear from the context) element of B if xB(bRx).
It is called an R-minimal(or just minimal) if ¬xB(xRbxb)

Largest and Maximal: These are exactly opposite of Smallest and Minimal respectively. bB is called the R-largest element of B if xB(xRb).
It is called an R-maximal if ¬xB(bRxxb)

lower bound and upper bound: Then aA is called a lower bound for B if xB(aRx). Similarly, it is called an upper bound if xB(xRa)

The only difference between a lower bound and smallest element of B is that smallest element has to be in B while its not mandatory for lower bound.


Least Upper Bound(lub) and Greatest Least Bound(glb): Simply speaking, smallest from the set of all upper bounds of B is called lub and largest from the set of all lower bounds of B is called the glb. LUB is also called "supremum"(sup) and GLB is also called "infimum"(inf).


=============================================================================================
Ex-1
(a) Reflexive: Yes
Transitive: Yes
Antisymmetric: Yes

Hence, it is partial order.

It is not total order as none of (a,c) or (c,a) are in R.

(b) Reflexive: Yes
Transitive: Yes
Antisymmetric: No as (-4,4) and (4,-4) both are in R

Hence, it is not partial order.


(c) Reflexive: Yes
Transitive: Yes
Antisymmetric: Yes

Hecne, it is partial order.

It is not total order as none of (4,-4) or (-4,4) are in R


Ex-2
(a) Reflexive: Yes
Transitive: Yes
Antisymmetric: Yes

It is partial order. It is also total order.

(b) Reflexive: Yes
Transitive: Yes
Antisymmetric: Yes

It is partial order. It is also total order.

(c) Reflexive: Yes
Transitive: Yes
Antisymmetric: Yes

It is partial order. It is also total order.


Ex-3
(a) Set of Minimal elements = {2}
Set of Maximal elements = {3,4}
smallest = 2
largest = does not exist

least upper bound = does not exist
greatest lower bound = 2

(a) Set of Minimal elements = {1}
Set of Maximal elements = does not exist
smallest = 1
largest = does not exist

least upper bound = 2
greatest lower bound = 1

(c) Set of Minimal elements = {}
Set of Maximal elements = {xP(N) | x has exactly 5 elements}
smallest =
largest = does not exist

least upper bound = does not exist
greatest lower bound =


Ex-4 () Suppose R is both symmetric and antisymmetric. Let x,y be arbitrary elements of A s.t. (x,y)R. Since R is symmetric, so (y,x)R. Since R is antisymmetric, so x=y. Thus, (x,y)iA. Since x,y are arbitrary, so RiA

() Suppose RiA. Let x,y be arbitrary elements of A s.t. (x,y)R. It follows from the assumption that (x,y)iA, hence x=y. Thus (y,x)R. Since x,y are arbitrary, it follows that R is both symmetric and antisymmetric


Ex-5 Suppose R is a partial order on A and BA.

Let x be an arbitrary element of B. Then (x,x)BXB, also (x,x)AXA, so (x,x)R. Thus (x,x)R(BXB). Since x is arbitrary, so R(BXB) is reflexive on B

Let x,y,z be arbitrary elements of B s.t. (x,y)R(BXB) and (y,z)R(BXB). It follows that (x,y)R and (y,z)R. Since R is a partial order on A, so R is transitive and hence (x,z)R. Also (x,z)BXB. Thus (x,z)R(BXB). Since x,y,z are arbitrary so R(BXB) is transitive on B

Let x,y be arbitrary elements of B s.t. (x,y)R(BXB). Then (x,y)R. Since R is partial order and hence antisymmetric on A, so (x,y)R(y,x)Rx=y. So (x,y)(R(BXB))(y,x)(R(BXB))x=y. Since x,y are arbitrary so R(BXB) is antisymmetric on B

Thus R(BXB) is partial order on B.


Ex-6 Since R1 and R2 both are partial order on A. So both are reflexive, transitive and antisymmetric on A.
(a) Yes.

Let x be an arbitrary element of A. It follows that (x,x)R1 and also (x,x)R2. Then (x,x)R1R2. Since x is arbitrary, so R1R2 is reflexive on A

Let x,y be arbitrary elements of A s.t. (x,y)R1R2. Then (x,y)R1 and (x,y)R2. Since R1 and R2, both are antisymmetric so, (x,y)R1(y,x)R1x=y and (x,y)R2(y,x)R2x=y. Thus (x,y)R1R2(y,x)R1R2x=y. Since x,y are arbitrary so R1R2 is antisymmetric on A

Let x,y,z be arbitrary elements of A s.t. (x,y)R1R2 and (y,z)R1R2. Then (x,y)R1 and (y,z)R1, (x,y)R2 and (y,z)R2. Since both are transitive on A, so (x,z)R1 and (x,z)R2. So (x,z)R1R2. Since x,y,z are arbitrary so R1R2 is transitive on A

Hence R1R2 is Partial order on A

(b) No. Here is a counterexample.
A = {1,2,3}

R1 = {(1,1), (2,2), (3,3), (1,2)}

R2 = {(1,1), (2,2), (3,3), (2,3)}

R1R2 = {(1,1), (2,2), (3,3), (1,2), (2,3)}

clearly its not transitive as (1,2)R1R2 and (2,3)R1R2, but (1,3)R1R2. Hence R1R2 is not partial order on A.


Ex-7 Suppose R1 is partial order on A1, R2 is partial order on A2 and A1A2=
(a) Let x be an arbitrary element of A1A2. So either xA1 or xA2. So either (x,x)R1 or (x,x)R2. Then (x,x)R1R2. Since x is arbitrary so R1R2 is reflexive on A1A2

Let x,y be arbitrary elements of A1A2 s.t. (x,y)R1R2. Let us consider following exhaustive set of cases
Case#1: xA1 and yA1
Then (x,y)R1(y,x)R1x=y. Thus, (x,y)R1R2(y,x)R1R2x=y

Case#2: xA2 and yA2
by a similar argument as above case, (y,x)R1R2

Case#3: xA1 and yA2
Then (x,y)R1 and (x,y)R2, hence (x,y)R1R2. That is contradictory to our assumption, hence this case is not possible

Case#4: xA2 and yA1
This case is also not possible for the same reason as above.

Thus (x,y)R1R2(y,x)R1R2x=y. Since x,y are arbitrary so R1R2 is antisymmetric on A1A2

Let x,y,z be arbitrary elements of A1A2 s.t. (x,y)R1R2 and (y,z)R1R2. Let us consider following exhaustive set of cases
Case#1: (x,y)R1 and (y,z)R1
Then (x,z)R1 and hence (x,z)R1R2

Case#2: (x,y)R2 and (y,z)R2
Then (x,z)R2 and hence (x,z)R1R2

Case#3: (x,y)R1 and (y,z)R2
Since A1A2=, so y can not belong to both A1 and A2 and hence this case is not possible

Case#4: (x,y)R2 and (y,z)R3
For same reason as above, this case is also not possible.

Thus (x,z)R1R2. Since x,y,z is arbitrary so R1R2 is transitive on A1A2.

Hence R1R2 is partial order on A1A2

(b) It can be proven by using the similar arguments as in part(a)

(c) Suppose R1 and R2 are total orders. Let xA1 and yA2. Then neither (x,y) nor (y,x) will be in R1R2. And hence its not total order. On the other hand, (x,y)A1XA2, so R1R2A1XA2 is total order.


Ex-8 Let x be an arbitrary element of A and y be an arbitrary element of B. Since R is partial order, so xRx and similarly ySy. Thus ((x,y),(x,y))T. Since x,y is arbitrary, so T is reflexive in (A X B)

Let x,v be arbitrary elements of A and y,w be arbitrary elements of B. Suppose ((x,y),(v,w))T and ((v,w),(x,y)T. Since ((x,y),(v,w))T, so (x,v)R and (y,w)S. Also since ((v,w),(x,y))T, so (v,x)R and (w,y)S. Since R and S are antisymmetric, it follows that x = v and y = w. Thus, (x,y) = (v,w). Since x,y,v,w are arbitrary so T is antisymmetric

Let x,y,z be arbitrary elements of A and u,v,w be arbitrary elements of B s.t. ((x,u),(y,v))T and ((y,v),(z,w))T. It follows that (x,y)R and (u,v)S, (y,z)R and (v,w)S. Since R and S both are transitive, hence (x,z)R and (u,w)S. Thus ((x,u),(z,w))T. Since x,y,z,u,v,w are arbitrary so T is transitive.

Hence T is partial order in A X B

Suppose R and S is total order. Let (x,u)AXB and (y,v)AXB and x,y be arbitrary elements of A and u,v be arbitrary elements of B. It follows that either (x,y)R or (y,x)R and either (u,v)S or (v,u)S. Let us consider following case,

Case#: (x,y)R and (v,u)S
Clearly, neither ((x,u),(y,v))T nor ((y,v),(x,u))T. And, hence T is not total order.

Ex-9 Let x be arbitrary element of A and y be arbitrary element of B. So (x,x)R and (y,y)S. Thus ((x,y),(x,y))L. Since x,y are arbitrary so L is reflexive in A X B

Let x,y be arbitrary elements of A and u,v be arbitrary elements of B. Suppose ((x,u),(y,v))L and ((y,v),(x,u))L. Then (x,y)R and also (y,x)R. Hence x = y. And then (u,v)S and (v,u)S, then u = v. Thus (x,u) = (y,v). Since x,y,v,u are arbitrary so L is antisymmetric

Let x,y,z be arbitrary elements of A and u,v,w be arbitrary elements of B s.t. ((x,u),(y,v))L and ((y,v),(z,w))L. It follows that (x,y)R and (y,z)R, then (x,z)R. Now consider following cases
Case#1: xz
Then ((x,u),(z,w))L

Case#2: x = z
Since (x,y)R and (y,z)R. Since x = z, so (y,x)R as well. Since R is antisymmetric, so y = x. It follows that (u,v)S and (v,w)S, then (u,w)S. Then ((x,u),(z,w))L

Thus ((x,u),(z,w))L. Since x,y,z,u,v,w are arbitrary so L is transitive. Hence L is partial order on A X B

Suppose R and S are total order. Let (x,u) and (y,v) be arbitrary elements of A X B. It follows that either (x,y)R or (y,x)R and either (u,v)S or (v,u)S. Let us consider the case when (x,y)R and (v,u)S and x = y, then It is not necessary that one of the two ordered pairs formed by (x,y) and (y,v) are in L. Hence L is not total order.


Ex-10 Let x and y be arbitrary elements of A.
() Suppose (x,y)R. Let u be an arbitrary element of Px. It follows that (u,x)R. R is partial order on A and hence transitive, so (u,y)R. Thus uPy. Since u is arbitrary, so PxPy.

() Suppose PxPy. Clearly, xPx because (x,x)R. Then, it follows from our assumption that xPy also, so (x,y)R.


Ex-11 D = {(x,y)Z+ X Z+ | x divides y}
B = {xZx>1}

D-Minimal elements of B are all the prime numbers = {2,3,5,7,...}

As there is no element in B that divides every other element in B, so there does not exist a smallest element.


Ex-12 The implicit relation in this exercise is the subset-of relation.

given: B = {XRXxy((xXx<u="x" x =" {x"style="font-weight:bold;">Ex-13LetxbeanarbitraryelementofA.Then(x,x) \in R,so(x,x) \in R^{-1}also.Sincexisarbitrary,soR^{-1}isreflexiveinA

Let x,y be arbitrary elements of A s.t. (x,y)R-1 and (y,x)R-1. Then (y,x)R and also (x,y)R. But since R is antisymmetric, so x = y. Since x,y are arbitrary, so R-1 is antisymmetric

Let x,y,z be arbitrary elements of A s.t. (x,y)R-1 and (y,z)R-1. Then (y,x)R and (z,y)R. Since R is transitive, so (z,x)R. Thus (x,z)R-1. Since x,y,z are arbitrary so R-1 is transitive

Hence R-1 is partial order in A.

Suppose R is total order. Let x,y be arbitrary elements of A. Then either (x,y)R or (y,x)R. Thus either (y,x)R-1 or (x,y)R-1. Hence R-1 is total order too.


Ex-14
(a) Let bB and b is R-largest element of B iff
bB(xRb) iff
bB(bR-1x) iff
b is the R-1-smallest element of B

(b) Let bB and b is R-maximal element of B iff
¬xB(bRx)xb iff
¬xB(xR-1b)xb iff
b is the R-1-minimal element of B


Ex-15
(a) Suppose b is the R1-smallest element of B. Let x be arbitrary element of B. It follows that (bR1x). Since R1R2, so (bR2x). Since x is arbitrary, so b is R2-smallest element of B also.

(b) Suppose b is the R1-minimal element of B. Then ¬xB(xR1b)xb. Since R1R2, so ¬xB(xR2b)xb. Hence b is R2-minimal element of B also.


Ex-16 Suppose b is the largest element of B. We'll prove by contradiction. Assume b is not the maximal element of B, then we can chose a particular element x in B s.t. (bRx) and xb. But b is the largest element of B so its not possible. Hence b is the maximal element of B.

Again we will use contradiction to prove that b is the only maximal element. Assume there exists another maximal element called c. Then, ¬xB(cRx)xc. Since b is largest element of B, so (cRb). Thus, (c = b). Hence b is the unique maximal element of B.


Ex-17 Suppose b is the one and only minimal element of a subset(calling it B) of a partially ordered set with respect to a relation called R. Assume there exists a smallest element cB. Then (cRb). But since b is the only minimal element, so (b = c). Hence b is the smallest element also. So if the smallest element *exists* then it is b. But it may not exist at all. So, the given statement is not true.

I cheated and looked for this counterexample in the hints section.

A = {R X R}
R = {((x,y),(u,v)) \in A X A | x \leq u \land y \leq v}
B = {(0,0)} ({1} X R)

Let us first prove that R is partial order on A.

Let x, y be arbitrary elements of A. clearly ((x,y),(x,y))R as ((x = x) and (y = y)). Thus R is reflexive on A.

Let x,y,u,v be arbitrary elements of A s.t. ((x,y),(u,v))R and ((u,v),(x,y))R. Then (xu)and(ux), (yv)and(vy). So, (x = u) and (y = v) and hence (x,y) = (u,v). Thus R is antisymmetric on A

Let x,y,z,u,v,w be arbitrary elements of A s.t. ((x,u),(y,v))R and ((y,v),(z,w))R. Then xy and yz, hence xz. Also uv and vw, hence uw. Thus ((x,u),(z,w))R. Thus R is transitive.

Hence R is partial order on A.

clearly (0,0) is one and only minimal element of B but it is not the smallest as pairs like ((0,0),(1,-1)) are not in R.


Ex-18
(a) () Suppose x is arbitrary element of A and x is an upper bound of B1. Let y be an arbitrary element of B2. Then we can chose a z in B1 s.t. (yRz). Since x is an upper bound of B1, so zRx. Since R is transitive, so yRx. Since y is arbitrary element of B2, so x is an upper bound of B2.

() It can be proven by using exactly a same statement as above.

(b) Suppose B1 and B2 are disjoint. We'll prove by contradiction. Let bB1 be a maximal element of B1. Since bB1, so we can choose an element x in B2 s.t. bRx. Since B1 and B2 are disjoint, so bx. Since xB2, so we can choose a yB1 s.t. (xRy). Since (bRx) and (xRy), so by as R is antisymmetric. Since R is transitive, so (bRy), which is a contradiction as b is a maximal element of B. Thus no maximal element exists for B1. By similar argument, we say that no maximal element exists for B2 also.


Ex-19
(a) Let us try to analyze the theorem, and in the process we'll try to find out what is wrong with the given proof.

given: R is a total order on A, BA
goal: every element of B is either the smallest or the largest element of B i.e. bB (b is smallest) (b is largest).

Let b be arbitrary element of B.

given: R is a total order on A, BA, b is arbitrary element of B
goal: either b is smallest or b is largest i.e. xB(bRx) xB(xRb)

ah.. so flaw in the given proof is that it proves that xB((bRx)(xRb)) wherease what we need to prove is that (xB(bRx)) (xB(xRb)) and clearly, two statements are not equivalent

(b) Given theorem is incorrect and here is the counterexample.
A = {1,2,3}
R = {(1,1), (2,2), (3,3), (1,2), (2,3), (1,3)}
B = {1,2,3}

We can see that, in this case R is total order on A but 2 is neither smallest nor largest element of B


Ex-20
(a) Suppose b is the smallest element of B. Let aA be an arbitrary lower bound of B and x be an arbitrary element of B. Then (aRx). Let us choose x = b, so (aRb). So b is larger than a. Since a is arbitrary, so b is the greatest lower bound of B

(b) Suppose b is the largest element of B. Let aA be an arbitrary upper bound of B and x be an arbitrary element of B. Then (xRa). Let us choose x = b, then (bRa). So b is smaller than a. Since a is arbitrary, so b is the least upper bound of B


Ex-21
(a) Suppose x be an arbitrary element of U and y is some element in A s.t. (xRy). Let b be an arbitrary element of B. Since x is an upper bound of B, so (bRx). Since (bRx) and (xRy), R is transitive so (bRy). Thus y is also an upper bound of B, hence yU.

(b) Let b be an arbitrary element of B and u be an arbitrary element of U. It follows that (bRu). Since u is arbitrary, so b is clearly a lower bound of U. Since b is arbitrary, so every element of B is a lower bound for U.

(c) Suppose x is the greatest lower bound of U. In part(b) we proved that every element of B is a lower bound of U, so x must be larger than all of them and hence x is an upper bound of B. But, all the elements of U are upper bounds of B and x is lower bound of U, so x must be the least upper bound of B.


Ex-22 Suppose B1B2. Let b1 be arbitrary element of B1, then (b1Rx1). It follows from our assumption that b1B2. So (b1Rx2), hence x2 is also an upper bound of B1. Since x1 is least upper bound of B1, so it is smaller than any other upper bound of B1, hence (x1Rx2).


Ex-23 There are two parts to be proven.

1. Least upper bound of F is F
F is the union of all the sets in F. so clearly every element of F is a subset of F, hence F is clearly an upper bound of F. Let X be an arbitrary element of P(A) s.t. X is upper bound of F. Let f be an arbitrary element of F, then we can choose a set B in F s.t. fB. Since X is upper bound of F, so BX and hence fX. Since f is arbitrary, so FX. Since X is arbitrary so F is the least upper bound of F.

F is greatest lower bound of F can also be proven using a similar argument. And, here it goes...
F is clearly a lower bound of F as SF(FS)
Let X be an arbitrary element of P(A) s.t. X is lower bound of F.
That implies, SF(XS)
So, XF
Since X is arbitrary so F is the greatest lower bound of F

9 comments:

  1. This comment has been removed by the author.

    ReplyDelete
  2. Solution 18 (b) is not correct. Specifically the way anti-symmetric property is being used to conclude is not proper.

    ReplyDelete
  3. Solution 2.b is incorrect. The relation is NOT antisymmetric. 2.c is a little ambiguous depending on whether or you assume two different countries can have the same population.

    ReplyDelete
  4. Your solution to 9 is also incorrect. L *is* a total order. To see why, assume two cases: either (a, b)L(a', b') or ¬[(a, b)L(a', b')]. If (a, b)L(a', b'), then of course (a, b)L(a', b') ∨ (a', b')L(a, b) is true. If it's not true, then either ¬aRa' or (a = a')∧¬bSb'. In each case, it's easy to prove that a'Ra∧(a = a' → b'Sb), so (a', b')L(a, b) as required.

    ReplyDelete
  5. I am confused about the solution to #15 - so what if R1 ⊂ R2? Why does it follow that if this is true then if bR1x then bR2x?

    I would see why, if bR2x, and R1 ⊂ R2, then certainly bR1x. But I don't see why the above is true. Your proof just says it is lol

    ReplyDelete
  6. In the antisymmetry proof in problem 5, you forgot to set the condition that (y,x)R(B×B).

    ReplyDelete
    Replies
    1. Same problem with problem 6(a). Don't know if I'm missing something.

      Delete
  7. For 3(c) shouldn't the set of natural numbers, N, be the l.u.b? N∈P(N) and ∀x∈B(x⊆N).

    ReplyDelete
    Replies
    1. If you consider a subset of N, that is not itself N, then you can find an element that is not in the chosen subset but is in N. You can then construct a set containing the element, such that the set is an element of B. This set would be subset of N but not of the subset we first considered.

      Delete