• edited by
14,078 views
43 43 votes

What is the possible number of reflexive relations on a set of $5$ elements?

  1. $2^{10}$
  2. $2^{15}$
  3. $2^{20}$
  4. $2^{25}$

7 Answers

Best answer
58 58 votes

A relation consists of set of ordered pairs $(a,b)$. Here, $a$ can be chosen in $n$ ways and similarly, $b$ can be chosen in $n$ ways. So, totally $n^2$ possible ordered pairs are possible for a relation. Now each of these ordered pair can either be present in the relation or not- 2 possibilities for each of the $n^2$ pair. So, total number of possible relations =  $$2^{\left(n^2\right)}$$

Now, for a relation $R$ to be reflexive, ordered pairs $\left\{(a,a) \mid a \in S \right\}$, must be present in $R$. i.e.; the relation set $R$ must have $n$ ordered pairs fixed. So, number of ordered pairs possible is $ n^2 - n$ and hence total number of reflexive relations is equal to $$ 2^{\left(n^2-n\right)}$$

for $n=5$, answer will be, $2^{5^2-5}=2^{20}$

Therefore, option C is correct

• edited by
9 9 votes

The number of reflexive relations is given by $2^{n^{2}-n}$. The reasoning is not always very clear so here is the explanation:

  • If the relation must be reflexive means we need to have all the self-pairs, e.g. (1,1) for all elements in the set. So choice for these is one as they have to be included, no matter what.
  • Now come the other pairs left. These may or may not be included and it will not affect the overall reflexivity of the relation, as all self-pairs are already selected.

So, total self-pairs = $n$, and remaining pairs = ${n^2}-n$ , which is total minus the self-pairs and the left pairs still have a choice.

Hence total number of reflexive pairs =  $2^{n^{2}-n}$

Substituting $n$=5 for this question we get $2^{20}$, which is option (C).

 

0 0 votes

A relation consists of set of ordered pairs (a,b).

possible number of reflexive relations on a set of n elements=

2^(n^2 - n)

here n=5 

so answer is , 2^(5^2 - 5) =20

0 0 votes
we know n^2 ordered pairs are possible. Think like this if we want a relation and a condition according to question is that it must have reflexive pairs in it. Now in every relation which have to be reflexive there will always be n ordered pairs which are fixed ,, we can't do anything about it, now we are left with how many pairs ? ans. n^2 - n , from here we again have 2 possibilities for every ordered pair you either take it or don't take it. so, 2x2x2x2 ........  (n^2-n) times that equals to 2^(n^2-n).

 

If i am wrong please correct:).
0 0 votes

1) We can fix the mandatory pairs as $\{(a,a), (b,b), (c,c), (d,d), (e,e)\}$. let's call it parent set since they will be present in all relations.
2) We can add any set (a,b) (b,a) etc. to the parent set and it will remain reflexive
3) Such amount of pairs will be $2 \times \binom{5}{2} = 20$. Multiplying by 2 so that we get both (a,b) & (b,a).
4) Then each pair has 2 independent choices (Include or Exclude) in parent set:

$$\text{Total Reflexive Relations} = 2^{20}$$

Answer:
Position:
Show:

Related questions

20 20 votes
5 answers 5 answers
10.6k
10.6k views
go_editor asked Sep 30, 2014
10,643 views
$25$ persons are in a room. $15$ of them play hockey, $17$ of them play football and $10$ of them play both hockey and football. Then the number of persons playing neithe...
42 42 votes
6 answers 6 answers
15.7k
15.7k views
gatecse asked Sep 21, 2014
15,659 views
Consider the set $S = \{1, ω, ω^2\}$, where $ω$ and $ω^2$ are cube roots of unity. If $*$ denotes the multiplication operation, the structure $(S, *)$ formsA GroupA RingA...
10 10 votes
2 answers 2 answers
7.5k
7.5k views
go_editor asked Sep 30, 2014
7,540 views
Choose the most appropriate word from the options given below to complete the following sentence:If we manage to __________ our natural resources, we would leave a better...
57 57 votes
8 answers 8 answers
22.9k
22.9k views
go_editor asked Sep 30, 2014
22,895 views
Suppose computers $A$ and $B$ have $IP$ addresses $10.105.1.113$ and $10.105.1.91$ respectively and they both use same netmask $N$. Which of the values of $N$ given below...