Question
Question: Let n be a fixed positive integer. Define a relation R on Z as follows: \(\left( a,b \right)\in R\...
Let n be a fixed positive integer. Define a relation R on Z as follows:
(a,b)∈R⇔a−b is divisible by n. Show that R is an equivalence relation on Z.
Solution
Hint: First we are going to look at the definition of symmetric, reflexive and transitive. And after that we will check all the three conditions and if it satisfies the condition for symmetric, reflexive and transitive then we can say that it is on equivalence relation on Z.
Complete step-by-step answer:
Let’s start our solution by first writing all the definition of the terms:
Symmetric: If we have a set containing two elements ‘a’ and ‘b’, then if the relation set has (a,b) then it must have (b,a) then we can say that it is symmetric.
Reflexive: If we have a set containing two elements ‘a’ and ‘b’, then if the relation set has (a,a) and (b,b) then we can say it is reflexive.
Transitive: If we have a set containing three elements ‘a’ , ‘b’, and ‘c’ then if the relation set has (a,b) and (b,c) then it must have (a,c) for transitive.
Now we have stated all the required definitions.
Now we will check each of them,
(a,a)∈R , a – a =0
0 is divisible by every number.
Therefore, it is divisible by n, hence it is reflexive.
If (a,b)∈R then a – b is divisible by n
⇒b−a is also divisible by n
⇒(b,a)∈R
Hence it is symmetric.
If (a,b)∈R and (b,c)∈R then a – b is divisible by n and b – c is divisible n.
Now if we add any two numbers divisible by 5 then the result will also be divisible by n.
Therefore,
(a−b)+(b−c) is also divisible by n.
a – c is divisible by n
(a,c)∈R
Hence, it is also transitive.
The relation is called equivalence when it is reflexive, symmetric and transitive.
Hence, R is an equivalence relation on Z.
Note: All the definitions of the terms that we have used are very important, without understanding it’s meaning clearly we cannot solve this question. And what does it mean to be an equivalence relation must be known. Usually students tend to skip this question in exams, but if they follow this style of proving, they can easily solve these types of questions.