Question #171798

Let = {1, 2, 3, 4, 5, 6, 7} and

= {(xy) | is divisible by 3}

Show that is an equivalence relation. Draw the graph of R.


1
Expert's answer
2021-03-18T07:59:03-0400

Solution:

4-1=3 is divisible by 3.

5-2=3 is divisible by 3.

6-3=3 is divisible by 3.

7-4=3 is divisible by 3.

And vice versa.

Also, 1-1=0 is divisible by 3.

2-2=0 is divisible by 3.

and so on

R={(4,1),(5,2),(6,3),(7,4),(1,4),(2,5),(3,6),(4,7),(1,1),(2,2),(3,3),(4,4),(5,5),(6,6),(7,7)}R=\{(4,1),(5,2),(6,3),(7,4),(1,4),(2,5),(3,6),(4,7), \\ (1,1),(2,2),(3,3),(4,4),(5,5),(6,6),(7,7)\}

Reflexive:

Clearly, {(1,1),(2,2),(3,3),(4,4),(5,5),(6,6),(7,7)}\{(1,1),(2,2),(3,3),(4,4),(5,5),(6,6),(7,7)\}

So, {(a,a)R,aA}\{(a,a)\in R, \forall a\in A\}

Hence, it is reflexive.

Symmetric:

Clearly, {(1,4),(4,1),(2,5),(5,2),(3,6),(6,3),(4,7),(7,4)}\{(1,4),(4,1),(2,5),(5,2),(3,6),(6,3),(4,7),(7,4)\}

So, {(a,b)R(b,a)R,aA}\{(a,b)\in R \Rightarrow (b,a)\in R, \forall a\in A\}

Hence, it is symmetric.

Transitive:

Clearly,

{(1,4),(4,1),(1,1),(2,5),(5,2),(2,2),(3,6),(6,3),(3,3),(4,7),(7,4),(4,4)}\{(1,4),(4,1),(1,1),(2,5),(5,2),(2,2),(3,6),(6,3),(3,3),(4,7),(7,4),(4,4)\}

So, {(a,b)R,(b,c)R(a,c)R,aA}\{(a,b)\in R, (b,c)\in R\Rightarrow (a,c)\in R,\forall a\in A\}

Hence, it is transitive.

Thus, the given relation is an equivalence relation.

Graph of R:


Need a fast expert's response?

Submit order

and get a quick answer at the best price

for any assignment or question with DETAILED EXPLANATIONS!

Comments

No comments. Be the first!
LATEST TUTORIALS
APPROVED BY CLIENTS