edited by
422 views
3 votes
3 votes

Let $R$ be a relation from a set $A$ to a set $B.$ The inverse relation from $B$ to $A,$ denoted by $R^{-1}$ , is the set of ordered pairs $\{(b,a) \mid (a,b) \in R\}$ .

  • $S1: R$ is reflexive relation iff $R^{-1} = R$
  • $S2: R$ is a symmetric relation iff $R^{-1} = R$

Which one of the following statements is true?

  1. Only $S1$
  2. Only $S2$
  3. Both $S1$ and $S2$
  4. None
edited by

1 Answer

4 votes
4 votes

Suppose A = {1, 2, 3}.

For S1 :

Suppose R = {(1,1), (2,2), (3,3), (1,2)}.

This relation R is reflexive.

Now, $R^{-1}$ = {(1,1), (2,2), (3,3), (2,1)}.

$R^{-1}$ $\neq$ R even when R is reflexive.

Thus, S1 is False.

For S2 : 

Assume, R is symmetric ie $\forall$a,b aRb $\implies$ bRa.

aRb $\implies$ b$R^{-1}$a and bRa $\implies$ a$R^{-1}$b.

Therefore, (in simpler terms) all elements of R will form pair like (a,b) and (b,a) due to symmetry and all elements of $R^{-1}$ will have pairs like (b,a) and (a,b) for ever pair in R.

This makes R = $R^{-1}$.

Now, assume R = $R^{-1}$.

Suppose, (a,b) $\in$ R $\implies$ (b,a) $\in$ $R^{-1}$.

But R = $R^{-1}$ is given $\implies$ (b,a) $\in$ R and (a,b) $\in$ $R^{-1}$.

Now, we have (a,b) $\in$ R $\implies$ (b,a) $\in$ R.

This makes R symmetric.

Thus, S2 is True.

Answer :- B.

Answer:

Related questions

4 votes
4 votes
2 answers
1
GO Classes asked May 12, 2022
674 views
Consider the following sentences :$[R, | ]$ is poset. Where $R$ is the set of all real numbers and $|$ is the divisibility relation i.e. for any $a,b$ in $R, a|b$ iff the...
3 votes
3 votes
1 answer
2
GO Classes asked May 12, 2022
376 views
Suppose $A$ is a finite set of five elements. Then the cardinality of the largest partial order relation possible on $A$ is _______
4 votes
4 votes
1 answer
3
GO Classes asked May 12, 2022
528 views
For any integers $x,y,$ we say that $x$ divides $y$ iff there is some integer $z$ such that $y = x\ast z.$Let $[N, \leq]$ is a partial order relation defined on natural n...
2 votes
2 votes
1 answer
4
GO Classes asked May 12, 2022
514 views
Let $[N, \leq ]$ is a partial order relation defined on natural numbers, where “$\leq$” is the “less than equal to” relation defined on $N = \{ 0,1,2,3,\dots \}.$...