MATH121 Discrete Mathematics

Self Assessment RELATIONS

Blended Learning 7

Properties of Relations on Finite Sets.

Question 1.

Let A={0,1,2,3} and define relations R, S and T on A as follows:

R = {(0,0), (0,1), ), (0,3), (1,0), (1,1), (2,2), (3,0), (3,3)}

S = {(0,0), (0,2), (0,3), (2,3)}

T = { (0,1), (2,3)}

(a) Draw a digraph for each of the above relations. (R)

3
0

A2) Is R Reflexive? Symmetric? Transitive?

R is reflexive,(maps onto itself),not (entirely)symmetric ((3,1) is absent) and is not transitive.

(S)

3
MATH121 Discrete Mathematics

Self Assessment RELATIONS

Blended Learning 7

(b) Is S Reflexive? Symmetric? Transitive?

S is not reflexive(2 and 3 not mapping self),not symmetric and is transitive(0,2 and 2,3=0,3)

(T)

0 2

1 3

c)Is T Reflexive? Symmetric? Transitive?

T is not reflexive(none mapping self),not symmetric and is not transitive

Properties of Relations on Infinite Sets.

Question 2.

Define a relation R on (The set of all real numbers) as follows: For all x,y R,

xRy <

(a) Is R reflexive?
No,(Unless the sign is <=)
MATH121 Discrete Mathematics

Self Assessment RELATIONS

Blended Learning 7

(b) Is R Symmetric?
No, consider x is 1 and y is 2 -> x<y But y!>x

(c) IS R transitive?
All relations are transitive unless there exists a counter-example?