Question -
Answer -
Given R = {(a, b): a, b тИИ Z and a + b is even} is a relation defined on R.
Also given that Z be the set of integers
To prove equivalence relation it is necessary that the given relation should be reflexive, symmetric and transitive.
Let us check these properties on R.
Reflexivity:
Let a be an arbitrary element of Z.
Then, a тИИ R
Clearly, a + a = 2a is even for all a тИИ Z.
тЗТ (a, a) тИИ R for all a тИИ Z
So, R is reflexive on Z.
Symmetry:
Let (a, b) тИИ R
тЗТ a + b is even
тЗТ b + a is even
тЗТ (b, a) тИИ R for all a, b тИИ Z
So, R is symmetric on Z.
Transitivity:
Let (a, b) and (b, c) тИИ R
тЗТ a + b and b + c are even
Now, let a + b = 2x for some x тИИ Z
And b + c = 2y for some y тИИ Z
Adding the above two equations, we get
A + 2b + c = 2x + 2y
тЗТ a + c = 2 (x + y тИТ b), which is even for all x, y, b тИИ Z
Thus, (a, c) тИИ R
So, R is transitive on Z.
Therefore R is reflexive, symmetric and transitive.
Hence, R is an equivalence relation on Z