retagged by
448 views
7 votes
7 votes

 Let $\text{Z}$ be the set of all integers. Define a relation $\text{S}$ on $\text{Z} \times \text{Z}$ by $(w,x)\text{S}(y,z)$ if and only if $w-x = y-z.$ We know that $\text{S}$ is an equivalence relation.

Which of the following is true about equivalence classes of $\text{S}?$

  1. The equivalence class of $(a,b)$ is the same as the equivalence class of $(-b,a),$ for all $a,b \in \text{Z}.$
  2. For every $n \in \text{Z},$ there is exactly one equivalence class $\text{E}$ of $\text{S},$ where $(a,b) \in \text{E}$ iff $a-b = n.$
  3. The equivalence class of $(a,b)$ is the same as the equivalence class of $(-b,-a),$ for all $a,b \in \text{Z}.$
  4. The equivalence class of $(a,b)$ is disjoint from the equivalence class of $(a-2,b+2),$ for all $a,b,c,d \in \text{Z}.$
retagged by

1 Answer

5 votes
5 votes
$\text{S}$ is reflexive: $(a,b)\text{S}(a,b)$ because $a-b=a-b.$

$\text{S}$ is symmetric: Suppose $(a,b)\text{S}(c,d).$ Then $a-b=c-d.$ But then also $c-d=a-b,$ so $(c,d)S(a,b).$

$\text{S}$ is transitive: Suppose $(a,b)S(c,d)$ and $(c,d)S(e,f).$ Then $a-b=c-d$ and $c-d=e-f.$ But then by transitivity of equality $a-b=e-f.$ So $(a,b)\text{R}(e,f).$

$\text{S}$ is reflexive, symmetric and transitive, so it is an equivalence relation.

For an equivalence relation $\text{R}$ on a set $\text{A}$, the set of the elements of $\text{A}$ that are related to an element, say a, of $\text{A}$ is called the equivalence class of element $a$ and it is denoted by $[a].$

Each equivalence class is a subset of the base set $\text{Z} \times \text{Z}$ on which the relation has been defined.

Each equivalence class has ordered pairs with the same result of subtracting the second element from the first and there is one equivalence class for each possible difference: $\dots, [(-2,0)], [(-1,0)], [(0,0)], [(1,0)], [(2,0)], \dots $ are all distinct equivalence classes.

NOTE that in any equivalence relation $\text{R}$ on set $\text{A}$, equivalence class of an element $x \in \text{A}$ with respect to $\text{R}$ i.e. $[x]$ is same as  equivalence class of element $y \in \text{A}$ with respect to $\text{R}$ i.e. $[y]$ if and only if $x\text{R}y.$
So, for this question, say for Option C, we only need to check whether $(a,b)\text{S}(-b,-a),$ which is true as $a-b = -b -(-a)$

NOTE that in any equivalence relation $\text{R}$ on set $\text{A},$ equivalence class of an element $x\ in \text{A}$ with respect to $\text{R}$ i.e. $[x]$ is disjoint from the  equivalence class of element $y \in \text{A}$ with respect to $\text{R}$ i.e. $[y]$ if and only if $x$ is Not related to $y.$
edited by
Answer:

Related questions

3 votes
3 votes
1 answer
2