Show that the relation $R$ in the set $A=\{1,2,3,4,5\}$ given by $R =\{(a, b):|a-b| \text{ is even}\}$ is an equivalence relation. Show that all the elements of $\{1,3,5\}$ are related to each other and all the elements of $\{2,4\}$ are related to each other,but no element of $\{1,3,5\}$ is related to any element of $\{2,4\}$.

Vedclass pdf generator app on play store
Vedclass iOS app on app store
(N/A) $A = \{1, 2, 3, 4, 5\}$ and $R = \{(a, b) : |a - b| \text{ is even}\}$.
$1$. Reflexivity: For any $a \in A$,$|a - a| = 0$,which is even. Thus,$(a, a) \in R$. So,$R$ is reflexive.
$2$. Symmetry: Let $(a, b) \in R$. Then $|a - b|$ is even. Since $|a - b| = |b - a|$,$|b - a|$ is also even. Thus,$(b, a) \in R$. So,$R$ is symmetric.
$3$. Transitivity: Let $(a, b) \in R$ and $(b, c) \in R$. Then $|a - b|$ is even and $|b - c|$ is even. Let $|a - b| = 2k$ and $|b - c| = 2m$ for some integers $k, m$. Then $(a - b) = \pm 2k$ and $(b - c) = \pm 2m$. Adding these,$(a - c) = (a - b) + (b - c) = \pm 2k \pm 2m = 2(\pm k \pm m)$,which is even. Thus,$|a - c|$ is even,so $(a, c) \in R$. So,$R$ is transitive.
Since $R$ is reflexive,symmetric,and transitive,it is an equivalence relation.
For the subsets: All elements of $\{1, 3, 5\}$ are odd. The difference between any two odd numbers is even,so they are all related. All elements of $\{2, 4\}$ are even. The difference between any two even numbers is even,so they are all related. However,the difference between an odd number and an even number is always odd,so no element of $\{1, 3, 5\}$ is related to any element of $\{2, 4\}$.

Explore More

Similar Questions

Give an example of a relation which is transitive but neither reflexive nor symmetric.

Let $R$ and $S$ be two non-void relations on a set $A$. Which of the following statements is false?

Difficult
View Solution

The number of relations on the set $A = \{1, 2, 3\}$ containing at most $6$ elements including $(1, 2)$,which are reflexive and transitive but not symmetric,is . . . . . . .

Let $R_{1}$ and $R_{2}$ be two relations defined as follows:
$R_{1} = \{(a, b) \in \mathbb{R}^{2} : a^{2} + b^{2} \in \mathbb{Q}\}$ and $R_{2} = \{(a, b) \in \mathbb{R}^{2} : a^{2} + b^{2} \notin \mathbb{Q}\}$
where $\mathbb{Q}$ is the set of all rational numbers. Then:

The void relation on a set $A$ is

Vedclass Products

For Students

Vedclass Test Series

Mock tests in real JEE/NEET style with performance analysis. 5-day free trial.

Start Free Trial
For Teachers

Exam Paper Generator

Generate Set A/B/C/D exam papers from 7.5L+ questions in 2 minutes. 3 chapters free.

Try Free
For Institutes

Online Exam Module

Live online exams with unlimited students, 360° analytics & white-label branding.

See Demo