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
So, in an antisymmetric relation, For two different x and y if then . 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
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 .
Smallest and Minimal: Then is called the R-smallest(or just smallest if R is clear from the context) element of B if .
It is called an R-minimal(or just minimal) if
Largest and Maximal: These are exactly opposite of Smallest and Minimal respectively. is called the R-largest element of B if .
It is called an R-maximal if
lower bound and upper bound: Then is called a lower bound for B if . Similarly, it is called an upper bound if
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 = { | 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. . Since R is symmetric, so . Since R is antisymmetric, so . Thus, . Since x,y are arbitrary, so
() Suppose . Let x,y be arbitrary elements of A s.t. . It follows from the assumption that , hence . Thus . 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 .
Let x be an arbitrary element of B. Then , also , so . Thus . Since x is arbitrary, so is reflexive on B
Let x,y,z be arbitrary elements of B s.t. and . It follows that and . Since R is a partial order on A, so R is transitive and hence . Also . Thus . Since x,y,z are arbitrary so is transitive on B
Let x,y be arbitrary elements of B s.t. . Then . Since R is partial order and hence antisymmetric on A, so . So . Since x,y are arbitrary so is antisymmetric on B
Thus is partial order on B.
Ex-6 Since and 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 and also . Then . Since x is arbitrary, so is reflexive on A
Let x,y be arbitrary elements of A s.t. . Then and . Since and , both are antisymmetric so, and . Thus . Since x,y are arbitrary so is antisymmetric on A
Let x,y,z be arbitrary elements of A s.t. and . Then and , and . Since both are transitive on A, so and . So . Since x,y,z are arbitrary so is transitive on A
Hence is Partial order on A
(b) No. Here is a counterexample.
A = {1,2,3}
= {(1,1), (2,2), (3,3), (1,2)}
= {(1,1), (2,2), (3,3), (2,3)}
= {(1,1), (2,2), (3,3), (1,2), (2,3)}
clearly its not transitive as and , but . Hence is not partial order on A.
Ex-7 Suppose is partial order on , is partial order on and
(a) Let x be an arbitrary element of . So either or . So either or . Then . Since x is arbitrary so is reflexive on
Let x,y be arbitrary elements of s.t. . Let us consider following exhaustive set of cases
Case#1: and
Then . Thus,
Case#2: and
by a similar argument as above case,
Case#3: and
Then and , hence . That is contradictory to our assumption, hence this case is not possible
Case#4: and
This case is also not possible for the same reason as above.
Thus . Since x,y are arbitrary so is antisymmetric on
Let x,y,z be arbitrary elements of s.t. and . Let us consider following exhaustive set of cases
Case#1: and
Then and hence
Case#2: and
Then and hence
Case#3: and
Since , so can not belong to both and and hence this case is not possible
Case#4: and
For same reason as above, this case is also not possible.
Thus . Since x,y,z is arbitrary so is transitive on .
Hence is partial order on
(b) It can be proven by using the similar arguments as in part(a)
(c) Suppose and are total orders. Let and . Then neither (x,y) nor (y,x) will be in . And hence its not total order. On the other hand, , so 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 . 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 and . Since , so and . Also since , so and . 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. and . It follows that and , and . Since R and S both are transitive, hence and . Thus . 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 and and x,y be arbitrary elements of A and u,v be arbitrary elements of B. It follows that either or and either or . Let us consider following case,
Case#: and
Clearly, neither nor . And, hence T is not total order.
Ex-9 Let x be arbitrary element of A and y be arbitrary element of B. So and . Thus . 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 and . Then and also . Hence x = y. And then and , 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. and . It follows that and , then . Now consider following cases
Case#1:
Then
Case#2: x = z
Since and . Since x = z, so as well. Since R is antisymmetric, so y = x. It follows that and , then . Then
Thus . 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 or and either or . Let us consider the case when and 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 . Let u be an arbitrary element of . It follows that . R is partial order on A and hence transitive, so . Thus . Since u is arbitrary, so .
() Suppose . Clearly, because . Then, it follows from our assumption that also, so .
Ex-11 D = { X | x divides y}
B = {}
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 = {x" x =" {(x,x) \in R(x,x) \in R^{-1}R^{-1}
Let x,y be arbitrary elements of A s.t. and . Then and also . But since R is antisymmetric, so x = y. Since x,y are arbitrary, so is antisymmetric
Let x,y,z be arbitrary elements of A s.t. and . Then and . Since R is transitive, so . Thus . Since x,y,z are arbitrary so is transitive
Hence is partial order in A.
Suppose R is total order. Let x,y be arbitrary elements of A. Then either or . Thus either or . Hence is total order too.
Ex-14
(a) Let and b is R-largest element of B iff
iff
iff
b is the -smallest element of B
(b) Let and b is R-maximal element of B iff
iff
iff
b is the -minimal element of B
Ex-15
(a) Suppose b is the -smallest element of B. Let x be arbitrary element of B. It follows that . Since , so . Since x is arbitrary, so b is -smallest element of B also.
(b) Suppose b is the -minimal element of B. Then . Since , so . Hence b is -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. and . 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, . Since b is largest element of B, so . 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 . Then . 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 )
Let us first prove that R is partial order on A.
Let x, y be arbitrary elements of A. clearly as ((x = x) and (y = y)). Thus R is reflexive on A.
Let x,y,u,v be arbitrary elements of A s.t. and . Then , . 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. and . Then and , hence . Also and , hence . Thus . 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 . Let y be an arbitrary element of . Then we can chose a z in s.t. (yRz). Since x is an upper bound of , so . Since R is transitive, so . Since y is arbitrary element of , so x is an upper bound of .
() It can be proven by using exactly a same statement as above.
(b) Suppose and are disjoint. We'll prove by contradiction. Let be a maximal element of . Since , so we can choose an element x in s.t. . Since and are disjoint, so . Since , so we can choose a s.t. (xRy). Since (bRx) and (xRy), so 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 . By similar argument, we say that no maximal element exists for 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,
goal: every element of B is either the smallest or the largest element of B i.e. (b is smallest) (b is largest).
Let b be arbitrary element of B.
given: R is a total order on A, , b is arbitrary element of B
goal: either b is smallest or b is largest i.e.
ah.. so flaw in the given proof is that it proves that wherease what we need to prove is that 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 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 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 .
(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 . Let be arbitrary element of , then . It follows from our assumption that . So , hence is also an upper bound of . Since is least upper bound of , so it is smaller than any other upper bound of , hence .
Ex-23 There are two parts to be proven.
1. Least upper bound of is
is the union of all the sets in . so clearly every element of is a subset of , hence is clearly an upper bound of . Let X be an arbitrary element of s.t. X is upper bound of . Let f be an arbitrary element of , then we can choose a set B in s.t. . Since X is upper bound of , so and hence . Since f is arbitrary, so . Since X is arbitrary so is the least upper bound of .
is greatest lower bound of can also be proven using a similar argument. And, here it goes...
is clearly a lower bound of as Antisymmetric Relation: Intuitively, its opposite of a symmetric relation. Formally, Suppose R is a relation on set A. Then R is antisymmetric if
So, in an antisymmetric relation, For two different x and y if then . 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
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 .
Smallest and Minimal: Then is called the R-smallest(or just smallest if R is clear from the context) element of B if .
It is called an R-minimal(or just minimal) if
Largest and Maximal: These are exactly opposite of Smallest and Minimal respectively. is called the R-largest element of B if .
It is called an R-maximal if
lower bound and upper bound: Then is called a lower bound for B if . Similarly, it is called an upper bound if
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 = { | 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. . Since R is symmetric, so . Since R is antisymmetric, so . Thus, . Since x,y are arbitrary, so
() Suppose . Let x,y be arbitrary elements of A s.t. . It follows from the assumption that , hence . Thus . 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 .
Let x be an arbitrary element of B. Then , also , so . Thus . Since x is arbitrary, so is reflexive on B
Let x,y,z be arbitrary elements of B s.t. and . It follows that and . Since R is a partial order on A, so R is transitive and hence . Also . Thus . Since x,y,z are arbitrary so is transitive on B
Let x,y be arbitrary elements of B s.t. . Then . Since R is partial order and hence antisymmetric on A, so . So . Since x,y are arbitrary so is antisymmetric on B
Thus is partial order on B.
Ex-6 Since and 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 and also . Then . Since x is arbitrary, so is reflexive on A
Let x,y be arbitrary elements of A s.t. . Then and . Since and , both are antisymmetric so, and . Thus . Since x,y are arbitrary so is antisymmetric on A
Let x,y,z be arbitrary elements of A s.t. and . Then and , and . Since both are transitive on A, so and . So . Since x,y,z are arbitrary so is transitive on A
Hence is Partial order on A
(b) No. Here is a counterexample.
A = {1,2,3}
= {(1,1), (2,2), (3,3), (1,2)}
= {(1,1), (2,2), (3,3), (2,3)}
= {(1,1), (2,2), (3,3), (1,2), (2,3)}
clearly its not transitive as and , but . Hence is not partial order on A.
Ex-7 Suppose is partial order on , is partial order on and
(a) Let x be an arbitrary element of . So either or . So either or . Then . Since x is arbitrary so is reflexive on
Let x,y be arbitrary elements of s.t. . Let us consider following exhaustive set of cases
Case#1: and
Then . Thus,
Case#2: and
by a similar argument as above case,
Case#3: and
Then and , hence . That is contradictory to our assumption, hence this case is not possible
Case#4: and
This case is also not possible for the same reason as above.
Thus . Since x,y are arbitrary so is antisymmetric on
Let x,y,z be arbitrary elements of s.t. and . Let us consider following exhaustive set of cases
Case#1: and
Then and hence
Case#2: and
Then and hence
Case#3: and
Since , so can not belong to both and and hence this case is not possible
Case#4: and
For same reason as above, this case is also not possible.
Thus . Since x,y,z is arbitrary so is transitive on .
Hence is partial order on
(b) It can be proven by using the similar arguments as in part(a)
(c) Suppose and are total orders. Let and . Then neither (x,y) nor (y,x) will be in . And hence its not total order. On the other hand, , so 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 . 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 and . Since , so and . Also since , so and . 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. and . It follows that and , and . Since R and S both are transitive, hence and . Thus . 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 and and x,y be arbitrary elements of A and u,v be arbitrary elements of B. It follows that either or and either or . Let us consider following case,
Case#: and
Clearly, neither nor . And, hence T is not total order.
Ex-9 Let x be arbitrary element of A and y be arbitrary element of B. So and . Thus . 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 and . Then and also . Hence x = y. And then and , 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. and . It follows that and , then . Now consider following cases
Case#1:
Then
Case#2: x = z
Since and . Since x = z, so as well. Since R is antisymmetric, so y = x. It follows that and , then . Then
Thus . 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 or and either or . Let us consider the case when and 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 . Let u be an arbitrary element of . It follows that . R is partial order on A and hence transitive, so . Thus . Since u is arbitrary, so .
() Suppose . Clearly, because . Then, it follows from our assumption that also, so .
Ex-11 D = { X | x divides y}
B = {}
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 = {x" x =" {(x,x) \in R(x,x) \in R^{-1}R^{-1}
Let x,y be arbitrary elements of A s.t. and . Then and also . But since R is antisymmetric, so x = y. Since x,y are arbitrary, so is antisymmetric
Let x,y,z be arbitrary elements of A s.t. and . Then and . Since R is transitive, so . Thus . Since x,y,z are arbitrary so is transitive
Hence is partial order in A.
Suppose R is total order. Let x,y be arbitrary elements of A. Then either or . Thus either or . Hence is total order too.
Ex-14
(a) Let and b is R-largest element of B iff
iff
iff
b is the -smallest element of B
(b) Let and b is R-maximal element of B iff
iff
iff
b is the -minimal element of B
Ex-15
(a) Suppose b is the -smallest element of B. Let x be arbitrary element of B. It follows that . Since , so . Since x is arbitrary, so b is -smallest element of B also.
(b) Suppose b is the -minimal element of B. Then . Since , so . Hence b is -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. and . 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, . Since b is largest element of B, so . 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 . Then . 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 )
Let us first prove that R is partial order on A.
Let x, y be arbitrary elements of A. clearly as ((x = x) and (y = y)). Thus R is reflexive on A.
Let x,y,u,v be arbitrary elements of A s.t. and . Then , . 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. and . Then and , hence . Also and , hence . Thus . 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 . Let y be an arbitrary element of . Then we can chose a z in s.t. (yRz). Since x is an upper bound of , so . Since R is transitive, so . Since y is arbitrary element of , so x is an upper bound of .
() It can be proven by using exactly a same statement as above.
(b) Suppose and are disjoint. We'll prove by contradiction. Let be a maximal element of . Since , so we can choose an element x in s.t. . Since and are disjoint, so . Since , so we can choose a s.t. (xRy). Since (bRx) and (xRy), so 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 . By similar argument, we say that no maximal element exists for 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,
goal: every element of B is either the smallest or the largest element of B i.e. (b is smallest) (b is largest).
Let b be arbitrary element of B.
given: R is a total order on A, , b is arbitrary element of B
goal: either b is smallest or b is largest i.e.
ah.. so flaw in the given proof is that it proves that wherease what we need to prove is that 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 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 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 .
(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 . Let be arbitrary element of , then . It follows from our assumption that . So , hence is also an upper bound of . Since is least upper bound of , so it is smaller than any other upper bound of , hence .
Ex-23 There are two parts to be proven.
1. Least upper bound of is
is the union of all the sets in . so clearly every element of is a subset of , hence is clearly an upper bound of . Let X be an arbitrary element of s.t. X is upper bound of . Let f be an arbitrary element of , then we can choose a set B in s.t. . Since X is upper bound of , so and hence . Since f is arbitrary, so . Since X is arbitrary so is the least upper bound of .
is greatest lower bound of can also be proven using a similar argument. And, here it goes...
Let X be an arbitrary element of s.t. X is lower bound of .
That implies,
So,
Since X is arbitrary so is the greatest lower bound of
This comment has been removed by the author.
ReplyDeleteSolution 18 (b) is not correct. Specifically the way anti-symmetric property is being used to conclude is not proper.
ReplyDeleteSolution 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.
ReplyDeleteYour 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.
ReplyDeleteI 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?
ReplyDeleteI 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
In the antisymmetry proof in problem 5, you forgot to set the condition that .
ReplyDeleteSame problem with problem 6(a). Don't know if I'm missing something.
DeleteFor 3(c) shouldn't the set of natural numbers, N, be the l.u.b? N∈P(N) and ∀x∈B(x⊆N).
ReplyDeleteIf 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