Assignment 01 NAME:_______________________________________________

Relations and Their Properties

Directions: Show ALL work for credit. There are 5 questions. Write on your own paper.

Each part is worth 3 points, unless stated otherwise. 40 points total. You may type or

neatly write your solutions. Make sure you write your name on all papers that you use.

Scan this page at the front of your work, and compile as ONE .pdf file. Check that all work

was saved and scanned legibly.

Save your file as: A01xyLASTNAME.pdf. (where “xy” is your first and middle initial)

Once completed, attach your file under “Assignment 01” on Canvas. Thank you!

1) For the relation ?? = {(1, 3), (1, 4), (2, 3), (2, 4), (3, 1), (3, 4)} on the set

?? = {1, 2, 3, 4} , explain/show whether or not the relation is the following:

(For any credit, be sure to give a reason why for each). (2 points each)

(a) reflexive,

(b) symmetric,

(c) antisymmetric,

(d) transitive.

2) Let the sets be relations on the real numbers: ??1 = {(??, ??) ∈ ℝ2| ?? ≥ ??}, the

“greater than or equal to” relation and let ??2 = {(??, ??) ∈ ℝ2| ?? ≠ ??}, the “unequal

to” relation.

Find:

(a) ??1 ∩ ??2 (write out the relation in the set notation, as ??1 and ??2 were written)

(b) ??1 − ??2 (write out the relation in the set notation, as ??1 and ??2 were written)

(c) ??1⨁??2 (write out the relation in the set notation, as ??1 and ??2 were written)

3)(a) How many binary relations are there on the set {??, ??, ??}? (2 points)

(b) If ?? = {(1, 1), (1, 2), (2, 4), (3, 1), (3, 0)} , ?? = {(1, 2), (2, 0), (3, 1), (0, 0), (4, 3)}

find ?? ∘ ??, with elements listed as above.

4) ?? is the relation represented by the matrix ???? = �

1 0 0

1 1 1

0 1 0

�, find the matrix for:

(a) ??−1

(b) �??���

(c) ?? ∘ ?? (i.e. ??2)

5) (a) The relation R is on {1, 2, 3}. Represent the relation (4 points)

?? = {(1, 1), (2, 1), (2, 2), (2, 3), (3, 2)} with a matrix.

(b) By looking at the matrix, is the relation R reflexive? Why or why not? (2 points)

(c) Draw the directed graph that represents the relation R. (3 points)

Sale!