Let $R$ be a relation on the set of ordered pairs of positive integers such that $((p,q),(r,s))∈R$ if and only if $p−s=q−r$. Is this relation an equivalence relation ?
My Try :
- It is not a reflexive relation as $((p,q),(p,q))∈R$ then, $p-q = q-p$ and it is not equal.
It is a symmetric relation as $((p,q),(r,s))∈R$ then, the set $((r,s),(p,q))∈R$ should also be present. So, $r-q = s- p$ which is equal to $p−s=q−r$
It is transitive relation too as, if $((p,q),(r,s))∈R$ and if $((r,s),(e,f))∈R$ then, $((p,q),(e,f))∈R$ which is true .
Hence, it is not a equivalence relation as out of reflexive, symmetric and transitive, reflexive property is not satisfied.
That is so.
It means that $R\subseteq (\Bbb Z^+{\times} \Bbb Z^+){\times}(\Bbb Z^+{\times} \Bbb Z^+)$ . A relation on a set is a subset of the Cartession square of that set, and the set of interest is the Cartessian square of the positive integers. The positive integers are $\{1, 2, 3, \ldots\}$, that is the natural numbers excluding zero.
$$R\subseteq \Big\{\big((p,q),(r,s)\big): p\in\Bbb Z^+, q\in\Bbb Z^+,r\in\Bbb Z^+,s\in\Bbb Z^+\Big\}$$
Specifically, $$R = \Big\{\big((p,q),(r,s)\big): p\in\Bbb Z^+, q\in\Bbb Z^+,r\in\Bbb Z^+,s\in\Bbb Z^+, p+r=q+s\Big\}$$