Solution, Assignment #10, CSE 191

Solution, Assignment #10, CSE 191
Fall, 2014
Solution
General Guidelines:
This assignment will NOT be collected, nor graded. There will be NO quiz based on
this assignment. However, there will be similar problems in Final exam. So you
should carefully complete this assignment as if it were to be graded.
1. (0 points). Page 581, Problem 4, (b), (c), (d).
(b): reflexive, symmetric, not antisymmetric, (a and b born in the same day. b and a also born
in the same day. But a might not be b), transitive.
(c): reflexive, symmetric, not antisymmetric, (a and b have the same first name. b and a also
have the same first name. But a might not be b), transitive.
(d): reflexive, symmetric, not antisymmetric,(a and b have the same grandmother. b and a also
have the same grandmother. But a might not be b), not transitive.
2. (0 point). Page 581, Problem 6, (a), (c), (e).
(a): • R is not reflexive: for any x 6= 0, (x, x) 6∈ R (because x + x 6= 0).

• R is symmetric: (x, y) ∈ R ⇔ x + y = 0 ⇔ y + x = 0 ⇔ (y, x) ∈ R.
• R is not antisymmetric: (3, −3) ∈ R and (−3, 3) ∈ R but 3 6= −3.
• R is not transitive: (3, −3) ∈ R and (−3, 3) ∈ R. But (3, 3) 6∈ R because 3 + 3 6= 0.
(c): • R is reflexive: ∀x, (x, x) ∈ R because x − x = 0 is a rational number.
• R is symmetric: (x, y) ∈ R ⇔ x − y = r is a rational number; which implies
y − x = −r is a rational number; which implies (y, x) ∈ R.
√ √ √ √
• R is√not antisymmetric:
√ (2 + 3, 3 + 3) ∈ R and (3 + 3, 2 + 3) ∈ R but
2 + 3 6= 3 + 3.
• R is transitive: (x, y) ∈ R and (y, z) ∈ R imply x − y = r1 and y − z = r2 are two
rational numbers. Then x − z = (x − y) + (y − z) = r1 + r2 is rational (note that the
sum of two rational numbers is rational). So (x, z) ∈ R.
(e): • R is reflexive: ∀x, x · x ≥ 0 implies (x, x) ∈ R.
• R is symmetric: (x, y) ∈ R ⇔ x · y ≥ 0 ⇔ y · x ≥ 0 implies (y, x) ∈ R.
• R is not antisymmetric: (3, 1) ∈ R and (1, 3) ∈ R but 1 6= 3.
• R is not transitive: (3, 0) ∈ R and (0, −3) ∈ R. But (3, −3) 6∈ R.
3. (0 point). Page 581, Problem 3, (a), (d).
(a): • R is not reflexive since (4, 4) 6∈ R.

• R is not symmetric: (2, 4) ∈ R but (4, 2) 6∈ R.
• R is not antisymmetric: (2, 3) ∈ R and (3, 2) ∈ R but 2 6= 3.
• R is transitive.
(c): • R is not reflexive: (2, 2) 6∈ R.
• R is symmetric.
• R is not antisymmetric: (2, 4) ∈ R and (4, 2) ∈ R, but 2 6= 4.
1
• R is not transitive: (2, 4) ∈ R (4, 2) ∈ R. But (2, 2) 6∈ R.
(d): • R is not reflexive: (1, 1) ∈
/ R.
• R is not symmetric: (1, 2) ∈ R, but (2, 1) ∈/ R.
• R is antisymmetric.
• R is not transitive: (1, 2) ∈ R and (2, 3) ∈ R, but (1, 3) ∈
/ R.
4. (0 point). Page 582, Problem 32.

S ◦ R = {(1, 1), (1, 2), (2, 1), (2, 2)}
5. (0 point). Page 582, Problem 34 (a), (c)
(a): R1 ∪ R3 = {(a, b) ∈ R2 | a > b or a < b} = {(a, b) ∈ R2 | a 6= b} = R2 − {(a, a) | a ∈ R} =

R6 .
(c): R2 ∩ R4 = {(a, b) ∈ R2 | a ≥ b and a ≤ b} = {(a, b) ∈ R2 | a = b} = R5 .
6. (0 point). Page 582, Problem 36 (c), (e)

(c): (a, c) ∈ R1 ◦ R3 ⇔ ∃b such that (a, b) ∈ R3 and (b, c) ∈ R1 ⇔ ∃b such that a < b and b > c.
Since the last condition is always true, we have (a, b) ∈ R1 ◦ R3 for any a, b. Thus
R1 ◦ R3 = R 2 .
(e): (a, c) ∈ R1 ◦ R5 ⇔ ∃b such that (a, b) ∈ R5 and (b, c) ∈ R1 ⇔ ∃b such that a = b and b > c.
⇔ a > c.
Thus R1 ◦ R5 = {(a, c)| a > c} = R1 .
7. (0 point). Page 596, Problem 14 (a), (b), (c), (d).
0 1 0
!
(a): MR1 ∪ MR2 = MR1 ∨ MR2 = 1 1 1
1 1 1
0 1 0
!
(b): MR1 ∩ MR2 = MR1 ∧ MR2 = 0 1 1
1 0 0
0 1 1
!
(c): MR2 ◦R1 = MR1 ⊙ MR2 = 1 1 1
0 1 0
1 1 1
!
(d): MR1 ◦R1 = MR1 ⊙ MR1 = 1 1 1
0 1 0
8. (0 point). For each of the relations represented by the following directed graph, determine
if the relation is:
(i) reflexive? (ii) symmetric? (iii) antisymmetric? (iv) transitive?
(i): • It’s reflexive.

• It’s not symmetric since (a, d) ∈ R but (d, a) 6∈ R.
• It’s not antisymmetric since (c, d) ∈ R and (d, c) ∈ R but c 6= d.
• It’s not transitive since (a, d), (d, c) ∈ R but (a, c) 6∈ R.
(ii): • It’s not reflexive since (a, a), (b, b), (c, c)(d, d) 6∈ R.
2
• It’s not symmetric since (a, b) ∈ R but (b, a) 6∈ R.
• It’s antisymmetric.
• It’s not transitive since (a, b), (b, c) ∈ R but (a, c) 6∈ R.
(iii): • It’s not reflexive since (a, a) 6∈ R.
• It’s not symmetric since (c, a) ∈ R but (a, c) 6∈ R.
• It’s not antisymmetric since (a, b) ∈ R and (b, a) ∈ R but a 6= b.
• It’s not transitive: (a, b) ∈ R and (b, a) ∈ R, but (a, a) 6∈ R.
d c
d c c
a b a b a
b
(2) (3)
(1)
9. (0 point). Page 615, Problem 2 (a), (b), (d).

(You ONLY need to decide whether each of the relations is an equivalence relation or not.
You don’t need to do anything else.)
(a): yes.
(b): yes.
(d): no, not transitive. a and b have met. b and c have met. It doesn’t imply a and c have
meet.
10. (0 point). Page 615, Problem 16. What are the equivalence classes of this relation?
reflexive: for any integer pair (a, b), ab = ba. So, ((a, b), (a, b)) ∈ R.
symmetric: for any two ordered pairs ((a, b), (c, d)) ∈ R, we have ad = bc ⇔ cb = da. It
implies ((c, d), (a, b)) ∈ R.
transitive: for any ((a, b), (c, d)) ∈ R and ((c, d), (e, f )) ∈ R, we have ad = bc ⇔ a/b = c/d and
cf = de ⇔ c/d = e/f . This implies a/b = e/f ⇔ af = be. This implies ((a, b), (e, f )) ∈ R.
[(a, b)]R = {(c, d) | ad = bc} = {(c, d) | a/bd = c/d}, which corresponds to the set of rational
numbers whose value is a/b.
For example: (2, 3)]R = {(2, 3), (4, 6), (6, 9), (8, 12) . . .}
11. (0 point). Page 630, Problem 2 (b), (c), (d).

(b): It’s a partial order.
(c): It’s not a partial order. Not transitive. (3, 1), (1, 2) ∈ R but (3, 2) 6∈ R.
(d): It’s not a partial order. Not transitive since (1, 3), (3, 0) ∈ R but (1, 0) 6∈ R.

Solution, Assignment #10, CSE 191

Uploaded by

Copyright:

Available Formats

Solution, Assignment #10, CSE 191

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Solution, Assignment #10, CSE 191

Uploaded by

Copyright:

Available Formats

Solution, Assignment #10, CSE 191

1. (0 points). Page 581, Problem 4, (b), (c), (d).

2. (0 point). Page 581, Problem 6, (a), (c), (e).

(a): • R is not reflexive: for any x 6= 0, (x, x) 6∈ R (because x + x 6= 0).

3. (0 point). Page 581, Problem 3, (a), (d).

(a): • R is not reflexive since (4, 4) 6∈ R.

4. (0 point). Page 582, Problem 32.

5. (0 point). Page 582, Problem 34 (a), (c)

(a): R1 ∪ R3 = {(a, b) ∈ R2 | a > b or a < b} = {(a, b) ∈ R2 | a 6= b} = R2 − {(a, a) | a ∈ R} =

6. (0 point). Page 582, Problem 36 (c), (e)

7. (0 point). Page 596, Problem 14 (a), (b), (c), (d).

(i): • It’s reflexive.

9. (0 point). Page 615, Problem 2 (a), (b), (d).

11. (0 point). Page 630, Problem 2 (b), (c), (d).

You might also like