Week 2 Worksheet Answers
Week 2 Worksheet Answers
(a) x, y ∈ R, xRy ⇔ xy = 1.
• 2 · 2 = 4 6= 1 so R is not reflexive.
• If xy = 1 then yx = 1 so R is symmetric.
• 2R 21 and 12 R2 but 2 6= 12 so R is not antisymmetric.
• 2R 21 and 12 R2 but 2 · 2 6= 1 so R is not transitive.
1
• R is not reflexive so it is not a partial order.
• R is not reflexive so it is not an equivalence relation.
(b) x, y ∈ {Rock, Paper, Scissors}, xRy ⇔ x beats y.
• Paper does not beat paper so R is not reflexive.
• Paper beats Rock, but Rock does not beat paper so R is not symmetric.
• As we never have the case that A beats B and also B beats A, R is antisym-
metric.
• Paper beats Rock and Rock beats Scissors, but Paper does not beat Scissors,
so R is not transitive.
• R is not reflexive so it is not a partial order.
• R is not reflexive so it is not an equivalence relation.
(c) x, y ∈ {Rock, Paper, Scissors}, xRy ⇔ x beats or ties y.
• Everything ties itself so R is reflexive.
• Paper beats Rock, but Rock does not beat paper so R is not symmetric.
• We never have the case that A beats B and also B beats or ties A. Then aRb
only if a ties b which only occurs if a = b. So R is antisymmetric.
• Paper beats Rock and Rock beats Scissors, but Paper does not beat Scissors,
so R is not transitive.
• R is not transitive so it is not a partial order.
• R is not symmetric so it is not an equivalence relation.
(d) x, y ∈ Z, xRy ⇔ x − y is even.
• Recall that n is even if n = 2k for some integer k.
• x − x = 0 = 2 · 0 which is even, so R is reflexive.
• If x − y = 2k then y − x = −(x − y) = 2(−k) so R is symmetric.
• 2R0 and 0R2 but 0 6= 2 so R is not antisymmetric.
• If x − y = 2k and y − z = 2` then (x − z) = (x − y) + (y − z) = 2(k + `) so
R is transitive.
• As R is not antisymmetric R is not a partial order.
• As R is reflexive, symmetric, and transitive, R is an equivalence relation.
(e) x, y ∈ Z, xRy ⇔ x | y. (Recall that x | y iff ∃z ∈ Z such that y = xz)
• x = x cdot1 so x|x. Hence R is reflexive.
• 2|4 but 4 6 |2 so R is not symmetric.
• 1 | −1 and − 1 | 1 but 1 6= −1 so R is not antisymmetric.
• If x = yn and y = zm then x = z(nm) so R is transitive.
• As R is not antisymmetric, R is not a partial order.
• As R is not symmetric, R is not an equivalence relation.
(f) x, y ∈ Z+ , xRy ⇔ x | y. (Recall that x | y iff ∃z ∈ Z such that y = xz)
2
• x = x cdot1 so x|x. Hence R is reflexive.
• 2|4 but 4 6 |2 so R is not symmetric.
• If x = yn and y = xm then x = x2 nm. As x > 0 we have 1 = nm so
n = m = ±1.
However as x and y are both greater than 0 we have n = m = 1 so x = y.
Hence R is antisymmetric.
• If x = yn and y = zm then x = z(nm) so R is transitive.
• As R is reflexive, antisymmetric, and transitive, R is a partial order.
• As R is not symmetric, R is not an equivalence relation.
3. For each of the following relations. verify that it is an equivalence relation and give
one member from each of its equivalence classes. (There many be infinitely many
equivalence classes.)
3
• If (a, b)R(x, y) and (x, y)R(m, n) then ay = bx and xn = ym. Then x(b −
n) = y(m − a)
Hence ayxn = bxym so an(xy) = bm(xy) so an = bm so (a, b)R(m, n).
• {(num(q), den(q)) : q ∈ Q} for some choice of numerator and denominator of
q has exactly one element from each equivalence class.
(a) Z × Z × Z
• One way to visualize this set is to tile 3-dimensional space with 1 × 1 × 1
cubes and then look at only the corners of the cubes.
(b) S 1 × (0, 1) where S 1 = {(x, y) ∈ R2 : x2 + y 2 = 1} i.e. a circle.
You can visualize this as a collection of circles of radii in (0, 1) not inclusive
or you can view this as a cylinder with side length 1 and radius 1.
(c) ([0, 1] × {0}) ∪ ({0} × [0, 1]) ∪ ([0, 1] × {1}) ∪ ({1} × [0, 1])
• This is the border of a square.