Scribd
Upload
57 views

Solution, Assignment #10, CSE 191

This document provides solutions to assignment problems about relations and their properties. It examines whether relations are reflexive, symmetric, antisymmetric, or transitive. It also discusses equivalence relations and partial orders. Key examples analyzed include relations on real numbers involving addition, subtraction, multiplication, rational number differences, and integer ratios.

Uploaded by

Morium tamanna
Copyright
© © All Rights Reserved
Available Formats
Download as PDF, TXT or read online on Scribd
57 views

Solution, Assignment #10, CSE 191

This document provides solutions to assignment problems about relations and their properties. It examines whether relations are reflexive, symmetric, antisymmetric, or transitive. It also discusses equivalence relations and partial orders. Key examples analyzed include relations on real numbers involving addition, subtraction, multiplication, rational number differences, and integer ratios.

Uploaded by

Morium tamanna
Copyright
© © All Rights Reserved
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 3

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.

You might also like