Time remaining:
##### Introduction to Math Proof

label Mathematics
account_circle Unassigned
schedule 0 Hours
account_balance_wallet \$5

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.

Oct 17th, 2017

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

...
Oct 17th, 2017
...
Oct 17th, 2017
Oct 18th, 2017
check_circle
check_circle
check_circle

Secure Information

Content will be erased after question is completed.

check_circle