Show that the number of equivalence relations on the set $A = \{1, 2, 3\}$ containing $(1, 2)$ and $(2, 1)$ is $2$.

Vedclass pdf generator app on play store
Vedclass iOS app on app store
(B) Let $A = \{1, 2, 3\}$. An equivalence relation $R$ must be reflexive,symmetric,and transitive.
Since $R$ contains $(1, 2)$ and $(2, 1)$,by symmetry it must contain $(1, 1)$ and $(2, 2)$ to be reflexive on these elements,and $(3, 3)$ must be included for reflexivity on $3$.
Thus,the smallest equivalence relation $R_1$ containing $(1, 2)$ and $(2, 1)$ is $R_1 = \{(1, 1), (2, 2), (3, 3), (1, 2), (2, 1)\}$.
To form another equivalence relation,we must add elements while maintaining transitivity. If we add $(2, 3)$,then by symmetry we must add $(3, 2)$. For transitivity,since $(1, 2) \in R$ and $(2, 3) \in R$,we must have $(1, 3) \in R$. By symmetry,we must also have $(3, 1) \in R$.
Adding these pairs results in the universal relation $R_2 = A \times A = \{(1, 1), (2, 2), (3, 3), (1, 2), (2, 1), (2, 3), (3, 2), (1, 3), (3, 1)\}$.
Thus,there are exactly $2$ such equivalence relations.

Explore More

Similar Questions

Let $L$ be the set of all lines in a plane and $R$ be the relation in $L$ defined as $R = \{(L_{1}, L_{2}) : L_{1} \text{ is perpendicular to } L_{2}\}$. Show that $R$ is symmetric but neither reflexive nor transitive.

Let $Z$ be the set of all integers,$A = \{(x, y) \in Z \times Z : (x-2)^{2} + y^{2} \leq 4\}$,$B = \{(x, y) \in Z \times Z : x^{2} + y^{2} \leq 4\}$,and $C = \{(x, y) \in Z \times Z : (x-2)^{2} + (y-2)^{2} \leq 4\}$. If the total number of relations from $A \cap B$ to $A \cap C$ is $2^{p}$,then the value of $p$ is:

In the set of all $3 \times 3$ real matrices, a relation is defined as follows: $A$ matrix $A$ is related to a matrix $B$ if and only if there exists a non-singular $3 \times 3$ matrix $P$ such that $B = P^{-1} A P$. This relation is

Which of the following relations $R$ is an equivalence relation?

Let $A$ be a non-empty set of children in a family. The relation $R$ is defined on $A$ as '$x$ is a brother of $y$'. This relation 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