Time remaining:
Introduction to Math Proof

Mathematics
Tutor: None Selected Time limit: 0 Hours

Question No. 4: Let S=R×R and define a relation ~ on S by (a, b)~(c, d), if d−b= 4(c − a). Show that ~ is an equivalence relation.

Question No. 5: Consider the relation ~ on Z×(Z\{0}) defined by (a, b)~(c, d) if a.d=b.c. Prove that ~ is an equivalence relation.

Apr 13th, 2015

4. Proof. Reflexivity (a,b) ~ (a,b) follows from b - b = 0 = 4(a - a).

Symmetry. If (a,b)~(c,d), then d - b = 4(c - a) or b - d = 4(a - c), and (c,d) ~ (a,b).

Transitivity. If (a,b)~(c,d) and (c,d)~(e,f), then d - b = 4(c - a) and f - d = 4(e - c). By adding the two equations we get f - b = 4(e - a) or (a,b)~(e,f). Q.E.D.

5. Reflexivity. If c = a and d = b, then a*d = a*b = b*c. Thus, (a,b)~(a,b).

Symmetry. If (a,b)~(c,d), then a*d = b*c or c*b = d*a, and (c,d)~(a,b).

Transitivity. If (a,b)~(c,d) and (c,d)~(e,f), then a*d= b*c and c*f = d*e. Multiply the first equality by f:

a*d*f = b*c*f = b*d*e. Since d in Z\{0}, d is not zero and we can divide both sides of the equality a*d*f=b*d*e by d. Finally, a*f = b*e and (a,b)~(e,f).  

Apr 13th, 2015

Did you know? You can earn $20 for every friend you invite to Studypool!
Click here to
Refer a Friend
...
Apr 13th, 2015
...
Apr 13th, 2015
Dec 9th, 2016
check_circle
Mark as Final Answer
check_circle
Unmark as Final Answer
check_circle
Final Answer

Secure Information

Content will be erased after question is completed.

check_circle
Final Answer