retagged by
16,625 views
49 49 votes

Consider the binary relation:

$S= \left\{\left(x, y\right) \mid y=x+1 \text{ and } x, y \in \left\{0, 1, 2\right\} \right\}$

The reflexive transitive closure is $S$ is

  1. $\left\{\left(x, y\right) \mid y >x \text{ and } x, y \in \left\{0, 1, 2\right\} \right\}$ 

  2. $\left\{\left(x, y\right) \mid y \geq x \text{ and } x, y \in \left\{0, 1, 2\right\} \right\}$ 

  3. $\left\{\left(x, y\right) \mid y < x \text{ and } x, y \in \left\{0, 1, 2\right\} \right\}$ 

  4. $\left\{\left(x, y\right) \mid y \leq x \text{ and } x, y \in \left\{0, 1, 2\right\} \right\}$

7 Answers

Best answer
28 28 votes
Option $b$. Transitive means, $x$ is related to all greater $y$ (as every $x$ is related to $x + 1$) and reflexive means $x$ is related to $x$.
edited by
46 46 votes

Relation contains = { (0,1) , (1,2) }

When said Reflexive Transitive then apply first Transitive closure and then Reflexive closure.

After Transitive = { (0,1) (1,2) (0,2) }

After Reflexive ={ (0,1) (1,2) (0,2) (0,0) (1,1) (2,2) }

So B is ans.

Some Important Note: Wiki

The transitive closure of a binary relation R on a set X is the smallest relation on X that contains R and is transitive.

For example, if X is a set of airports and x R y means "there is a direct flight from airport x to airport y" (for x and y in X), then the transitive closure of R on X is the relation R+such that x R+ y means "it is possible to fly from x to y in one or more flights". Informally, the transitive closure gives you the set of all places you can get to from any starting place.

More formally, the transitive closure of a binary relation R on a set X is the transitive relation R+ on set X such that R+ contains R and R+ is minimal . If the binary relation itself is transitive, then the transitive closure is that same binary relation; otherwise, the transitive closure is a different relation.

edited by
4 4 votes
Reflexive closure of a relation R on set S is the smallest reflexive relation which contains R.
If S = {(0, 1), (1, 2)} , we make it reflexive by taking its union with set {(0, 0), (1, 1), (2, 2)}. Thus, reflexive closure of S = {(0, 0), (0, 1), (1, 1), (1, 2), (2, 2)}.
Now transitive closure is defined as smallest transitive relation which contains S.
We check where does it violate property of transitivity then add appropriate pair. We have (0, 1) and (1, 2) but not (0, 2). So, S = {(0, 0), (0, 1), (0, 2), (1, 1), (1, 2), (2, 2)} now.
 
Thus, option (B) matches the final set S.
4 4 votes

y=x+1  include { (0,1),(1,2) }  order set
it is reflexive too so order set become { (0,1),(1,2),(0,0),(1,1),(2,2)
it is transitive too so it become { (0,1),(1,2),(0,0),(1,1),(2,2),(0,2)

from options only B satisfiled Hence ans is B
 

1 1 vote

S={ (0,1) , (1,2) }

the reflexive closure of a binary relation R on a set X is the smallest reflexive relation on X that contains R.(Source - Wikipedia)

Hence ,reflexive closure of S (Lets call it R) ={ (0,1) , (1,2) , (0,0) ,(1,1) , (2,2) }

Now R is not transitive  since (0,1) , (1,2) are in R but  (0,2) is not in R .

the transitive closure of a binary relation R on a set X is the smallest relation on X that contains R and is transitive.(Source - Wikipedia)

If we only add (0,2) to R then R will be transitive as well. Lets call this set as RT.

RT ={ (0,1) , (1,2) , (0,0), ,(1,1) , (2,2) , (0,2) }

No proper subset of RT can contain R as well as at the same time being transitive.Hence, RT is the smallest relation  that contains R and also transitive. So, RT is transitive closure of R.

Now , RT is the smallest set that contains S and reflexive as well as transitive.So, RT is reflexive transitive closure of S.

RT contains (x,y) iff x∈{0,1,2} and y∈{0,1,2} and y>=x   .  Hence answer B

 

 

edited by
1 1 vote
S = {(x, y) | y = x+1 and x, y ∈ {0, 1, 2, ...}}


If S = {(0, 1), (1, 2)} , we make it reflexive by taking its union with set {(0, 0), (1, 1), (2, 2)}.

Reflexive closure of a relation R on set S is the smallest reflexive relation which contains R.
Thus, reflexive closure of S = {(0, 0), (0, 1), (1, 1), (1, 2), (2, 2)}.

Now transitive closure is defined as smallest transitive relation which contains S.

So, S = {(0, 0), (0, 1), (0, 2), (1, 1), (1, 2), (2, 2)} now.

 
Thus, option (B) is correct

😊😊😊😊😊😊😊😊😊😊😊😊

Answer:
Position:
Show:

Related questions

57 57 votes
8 answers 8 answers
21.0k
21.0k views
Kathleen asked Sep 18, 2014
20,960 views
The inclusion of which of the following sets into$S = \left\{ \left\{1, 2\right\}, \left\{1, 2, 3\right\}, \left\{1, 3, 5\right\}, \left\{1, 2, 4\right\}, \left\{1, 2, 3,...
49 49 votes
8 answers 8 answers
12.1k
12.1k views
Kathleen asked Sep 18, 2014
12,079 views
The following is the incomplete operation table of a $4-$element group.$$\begin{array}{|l|l|l|l|l|} \hline \textbf{*} & \textbf{e}& \textbf{a} &\textbf{b} & \textbf{c}\\\...
55 55 votes
6 answers 6 answers
14.1k
14.1k views
Kathleen asked Sep 18, 2014
14,106 views
The following finite state machine accepts all those binary strings in which the number of $1$’s and $0$’s are respectively: divisible by $3$ and $2$odd and eveneven ...
50 50 votes
7 answers 7 answers
21.2k
21.2k views
Kathleen asked Sep 18, 2014
21,241 views
The minimum number of colours required to colour the following graph, such that no two adjacent vertices are assigned the same color, is$2$$3$$4$$5$