MATHEMATICS4
In Example 5, note that all even integers are related to zero, as (0, ± 2), (0, ± 4)
etc., lie in R and no odd integer is related to 0, as (0, ± 1), (0, ± 3) etc., do not lie in R.
Similarly, all odd integers are related to one and no even integer is related to one.
Therefore, the set E of all even integers and the set O of all odd integers are subsets of
Z satisfying following conditions:
(i) All elements of E are related to each other and all elements of O are related to
each other.
(ii) No element of E is related to any element of O and vice-versa.
(iii) E and O are disjoint and Z = E ∪ O.
The subset E is called the equivalence class containing zero and is denoted by
[0]. Similarly, O is the equivalence class containing 1 and is denoted by [1]. Note that
[0] ≠ [1], [0] = [2r] and [1] = [2r + 1], r ∈ Z. Infact, what we have seen above is true
for an arbitrary equivalence relation R in a set X. Given an arbitrary equivalence
relation R in an arbitrary set X, R divides X into mutually disjoint subsets A
i
called
partitions or subdivisions of X satisfying:
(i) all elements of A
i
are related to each other, for all i.
(ii) no element of A
i
is related to any element of A
j
, i ≠ j.
(iii) ∪ A
j
= X and A
i
∩ A
j
= φ, i ≠ j.
The subsets A
i
are called equivalence classes. The interesting part of the situation
is that we can go reverse also. For example, consider a subdivision of the set Z given
by three mutually disjoint subsets A
1
, A
2
and A
3
whose union is Z with
A
1
= {x ∈ Z : x is a multiple of 3} = {..., – 6, – 3, 0, 3, 6, ...}
A
2
= {x ∈ Z : x – 1 is a multiple of 3} = {..., – 5, – 2, 1, 4, 7, ...}
A
3
= {x ∈ Z : x – 2 is a multiple of 3} = {..., – 4, – 1, 2, 5, 8, ...}
Define a relation R in Z given by R = {(a, b) : 3 divides a – b}. Following the
arguments similar to those used in Example 5, we can show that R is an equivalence
relation. Also, A
1
coincides with the set of all integers in Z which are related to zero, A
2
coincides with the set of all integers which are related to 1 and A
3
coincides with the
set of all integers in Z which are related to 2. Thus, A
1
= [0], A
2
= [1] and A
3
= [2].
In fact, A
1
= [3r], A
2
= [3r + 1] and A
3
= [3r + 2], for all r ∈ Z.
Example 6 Let R be the relation defined in the set A = {1, 2, 3, 4, 5, 6, 7} by
R = {(a, b) : both a and b are either odd or even}. Show that R is an equivalence
relation. Further, show that all the elements of the subset {1, 3, 5, 7} are related to each
other and all the elements of the subset {2, 4, 6} are related to each other, but no
element of the subset {1, 3, 5, 7} is related to any element of the subset {2, 4, 6}.