Let R = {(a, b) : a, b Z and (a + b) is even}.

Show that R is an equivalence relation on Z.


In order to show R is an equivalence relation, we need to show R is Reflexive, Symmetric and Transitive.


Given that, a, b Z, R = {(a, b) : (a + b) is even }.


Now,


R is Reflexive if (a,a) R a Z


For any a A, we have


a+a = 2a, which is even.


(a,a) R


Thus, R is reflexive.


R is Symmetric if (a,b) R (b,a) R a,b Z


(a,b) R


a+b is even.


b+a is even.


(b,a) R


Thus, R is symmetric .


R is Transitive if (a,b) R and (b,c) R (a,c) R a,b,c Z


Let (a,b) R and (b,c) R a, b,c Z


a+b = 2P and b+c = 2Q


Adding both, we get


a+c+2b = 2(P+Q)


a+c = 2(P+Q)-2b


a+c is an even number


(a, c) R


Thus, R is transitive on Z.


Since R is reflexive, symmetric and transitive it is an equivalence relation on Z.


1