Show that the relation R defined by on where is an equivalence relation. Hence write the equivalence [(3,4)];
Here on where
Reflexivity :
Let (a,b) be an arbitrary element of . Then
So,
Thus
Hence, R is reflexive.
Symmetry :
Let be such that .
Then,
Then,
Hence R is symmetric.
Transitivity :
Let be such that and Then and
That is and
Hence R is transitive.
Since R is reflexive, symmetric and transitive, so R is an equivalence relation as well. For the equivalence class [3,4], we need to find (a,b) such that (a,b)R(3,4)
So,