Determine whether each of the following relations are reflexive, symmetric and transitive.
Relation $\text{R}$ in the set \[\text{A = }\left\{ \text{1, 2, 3}...\text{13, 14} \right\}\] defined as \[\text{R = }\left\{ \left( \text{x, y} \right)\text{: 3x - y = 0} \right\}\]
Show solutionHide solution
Ans: The given relation is: \[\text{R = }\left\{ \left( \text{1, 3} \right)\text{, }\left( \text{2, 6} \right)\text{, }\left( \text{3, 9} \right)\text{, }\left( \text{4, 12} \right) \right\}\]
Since \[\left( \text{1, 1} \right)\text{, }\left( \text{2, 2} \right)\text{ }...\] and \[\left( \text{14, 14} \right)\notin R\].
We conclude that \[\text{R}\] is not reflexive.
Since \[\left( \text{1, 3} \right)\in \text{R}\], but \[\left( \text{3, 1} \right)\notin \text{R}\]. since \[\text{3}\left( \text{3} \right)\text{-1}\ne \text{0}\]
We conclude that \[\text{R}\] is not symmetric.
Since \[\left( \text{1, 3} \right)\] and \[\left( \text{3, 9} \right)\in \text{R}\], but\[\left( \text{1, 9} \right)\notin \text{R}\text{. }\left[ \text{3}\left( \text{1} \right)\text{-9}\ne \text{0} \right]\].
We conclude that \[\text{R}\] is not transitive.
Therefore, the relation \[\text{R}\] is not reflexive, symmetric or transitive.
Relation $\text{R}$ in the set \[\text{N}\] of natural numbers defined as \[\text{R = }\!\!\{\!\!\text{ }\left( \text{x, y} \right)\text{: y = x + 5}\] and \[\text{x<4 }\!\!\}\!\!\text{ }\]
Ans: The given relation is: \[\text{R = }\left\{ \left( \text{1, 6} \right)\text{, }\left( \text{2, 7} \right)\text{, }\left( \text{3, 8} \right) \right\}\].
Since \[\left( \text{1, 1} \right)\notin \text{R}\].
We conclude that \[\text{R}\] is not reflexive.
Since \[\left( \text{1, 6} \right)\in \text{R}\] but \[\left( \text{6, 1} \right)\notin \text{R}\].
We conclude that \[\text{R}\] is not symmetric.
In the given relation \[\text{R}\] there is not any ordered pair such that \[\left( \text{x, y} \right)\] and \[\left( \text{y, z} \right)\] both \[\in \text{R}\], therefore we can say that \[\left( \text{x, z} \right)\] cannot belong to \[\text{R}\].
Therefore \[\text{R}\] is not transitive.
Hence, the given relation \[\text{R}\] is not reflexive, symmetric or transitive.
Relation $\text{R}$in the set \[\text{A = }\!\!\{\!\!\text{ 1, 2, 3, 4, 5, 6 }\!\!\}\!\!\text{ }\] as \[\text{R= }\!\!\{\!\!\text{ }\left( \text{x, y} \right)\text{: y}\]is divisible by \[\text{x }\!\!\}\!\!\text{ }\]
Ans: The given relation is \[\text{R = }\!\!\{\!\!\text{ }\left( \text{x, y} \right)\text{ : y}\] is divisible by \[\text{x }\!\!\}\!\!\text{ }\]
As we know that any number except \[\text{0}\] is divisible by itself, therefore \[\left( \text{x, x} \right)\in \text{R}\].
We conclude that \[\text{R}\] is reflexive.
Since \[\left( \text{2, 4} \right)\in \text{R}\] (because 4 is divisible by 2, but \[\left( \text{4, 2} \right)\notin \text{R}\] (since 2 is not divisible by 4.
We conclude that \[\text{R}\] is not symmetric.
Assuming that \[\left( \text{x, y} \right)\] and \[\left( \text{y, z} \right)\in \text{R}\], \[\text{y}\] is divisible by \[\text{x}\] and \[\text{z}\] is divisible by \[\text{y}\]. Hence \[\text{z}\] is divisible by \[\text{x}\Rightarrow \left( \text{x, z} \right)\in \text{R}\].
We conclude that \[\text{R}\] is transitive.
Hence, the given relation \[\text{R}\] is reflexive and transitive but it is not symmetric.
Relation \[\text{R}\] in the set \[\text{Z}\] of all integers defined as \[\text{R = }\!\!\{\!\!\text{ }\left( \text{x, y} \right)\text{: x - y }\!\!\}\!\!\text{ }\] is as integer
Ans: The given relation is \[\text{R = }\!\!\{\!\!\text{ }\left( \text{x, y} \right)\text{: x - y}\] is an integer\[\text{ }\!\!\}\!\!\text{ }\]
If \[\text{x}\in \text{Z, }\left( \text{x, x} \right)\in \text{R}\] because \[\text{x-x = 0}\] is an integer.
Hence, we conclude that \[\text{R}\] is reflexive.
For \[\text{x, y}\in \text{Z}\], if \[\left( \text{x, y} \right)\in \text{R}\], then \[\text{x - y}\] is an integer and therefore \[\left( \text{y-x} \right)\] is also an integer.
Therefore, we conclude that \[\left( \text{y, x} \right)\in \text{R}\]and hence \[\text{R}\] is symmetric.
Assuming that \[\left( \text{x, y} \right)\] and \[\left( \text{y, z} \right)\in \text{R}\], where \[\text{x, y, z}\in \text{Z}\].
We can say that \[\left( \text{x-y} \right)\] and \[\left( \text{y-z} \right)\] are integers.
so, \[\left( \text{x, z} \right)\in \text{R}\]
Hence, we conclude that \[\text{R}\] is transitive.
Therefore the given relation \[\text{R}\] is reflexive, symmetric, and transitive.
Relation \[\text{R}\] in the set \[\text{A}\] of human beings in a town at a particular time given by
The relation is: \[\text{R = }\!\!\{\!\!\text{ }\left( \text{x, y} \right)\text{: x and y}\] work at the same place\[\}\]
Ans: The given relation is: \[\text{R = }\!\!\{\!\!\text{ }\left( \text{x, y} \right)\text{: x}\] and \[\text{y}\] work at the same place\[\text{ }\!\!\}\!\!\text{ }\]
This implies that \[\left( \text{x, x} \right)\in \text{R}\].
Hence, we conclude that \[\text{R}\] is reflexive.
Now, \[\left( \text{x, y} \right)\in \text{R}\], then \[\text{x}\] and \[\text{y}\] work at the same place, which means \[\text{y}\] and \[\text{x}\] also work at the same place. Therefore, \[\left( \text{y, x} \right)\in \text{R}\].
Hence, we conclude that \[\text{R}\] is symmetric.
Let us assume that \[\left( \text{x, y} \right)\text{, }\left( \text{y, z} \right)\in \text{R}\].
Then, we can say that \[\text{x}\] and \[\text{y}\] work at the same place and \[\text{y}\] and \[\text{z}\] work at the same place. Which means that \[\text{x}\] and \[\text{z}\] also work at the same place.
Therefore, \[\left( \text{x, z} \right)\in \text{R}\].
Hence, we conclude that \[\text{R}\] is transitive.
Therefore, the given relation \[\text{R}\] is reflexive, symmetric and transitive.
The relation is: \[\text{R = }\!\!\{\!\!\text{ }\left( \text{x, y} \right)\text{: x and y}\] live in the same locality\[\text{ }\!\!\}\!\!\text{ }\]
Ans: The given relation is \[\text{R = }\!\!\{\!\!\text{ }\left( \text{x, y} \right)\text{: x and y}\] live in the same locality\[\text{ }\!\!\}\!\!\text{ }\]
Since, \[\left( \text{x, x} \right)\in \text{R}\].
Therefore, we conclude that \[\text{R}\] is reflexive.
Since \[\left( \text{x, y} \right)\in \text{R}\], \[\text{x}\] and \[\text{y}\] live in the same locality. Therefore, \[\text{y}\] and \[\text{x}\] also live in the same locality, so, \[\left( \text{y, x} \right)\in \text{R}\].
Hence, \[\text{R}\] is symmetric.
Let \[\left( \text{x, y} \right)\in \text{R}\] and \[\left( \text{y, z} \right)\in \text{R}\]. Hence \[\text{x}\] and \[\text{y}\] live in the same locality and \[\text{y}\] and \[\text{z}\] also live in the same locality. Which means that \[\text{x}\] and \[\text{z}\] also live in the same locality.
Therefore, \[\left( \text{x, z} \right)\in \text{R}\].
Hence, we conclude that \[\text{R}\] is transitive.
Therefore, the given relation \[\text{R}\] is reflexive, symmetric and transitive.
\[\text{R = }\!\!\{\!\!\text{ }\left( \text{x, y} \right)\text{: x}\] is exactly \[\text{7}\]cm taller than \[\text{y }\!\!\}\!\!\text{ }\]
Ans: The given relation is: \[\text{R = }\!\!\{\!\!\text{ }\left( \text{x, y} \right)\text{: x}\] is exactly \[\text{7}\] cm taller than \[\text{y }\!\!\}\!\!\text{ }\]
Since, \[\left( \text{x, x} \right)\notin \text{R}\].
Therefore, we conclude that \[\text{R}\] is not reflexive.
Let \[\left( \text{x, y} \right)\in \text{R}\] , Since \[\text{x}\] is exactly \[\text{7}\] cm taller than \[\text{y}\], therefore \[\text{y}\] is obviously not taller than \[\text{x}\], so, \[\left( \text{y, x} \right)\notin \text{R}\].
Hence, \[\text{R}\] is not symmetric.
Assuming that \[\left( \text{x, y} \right)\text{, }\left( \text{y, z} \right)\in \text{R}\], we can say that \[\text{x}\] is exactly \[\text{7}\] cm taller than \[\text{y}\]and \[\text{y}\] is exactly \[\text{7}\] cm taller than \[\text{z}\]. Which means that \[\text{x}\] is exactly \[\text{14}\] cm taller than \[\text{z}\]. So, \[\left( \text{x, z} \right)\notin \text{R}\].
Hence, \[\text{R}\] is not transitive.
Therefore, the given relation \[\text{R}\] is not reflexive, symmetric or transitive.
\[\text{R = }\!\!\{\!\!\text{ }\left( \text{x, y} \right)\text{: x}\] is wife of \[\text{y }\!\!\}\!\!\text{ }\]
Ans: The given relation is: \[\text{R = }\!\!\{\!\!\text{ }\left( \text{x, y} \right)\text{: x}\] is the wife of \[\text{y }\!\!\}\!\!\text{ }\].
Since, \[\left( \text{x, x} \right)\notin \text{R}\]
Therefore, we conclude that \[\text{R}\] is not reflexive.
Let \[\left( \text{x, y} \right)\in \text{R}\] , Since \[\text{x}\] is the wife of \[\text{y}\], therefore \[\text{y}\] is obviously not the wife of \[\text{x}\], so, \[\left( \text{y, x} \right)\notin \text{R}\].
Hence, \[\text{R}\] is not symmetric.
Assuming that \[\left( \text{x, y} \right)\text{, }\left( \text{y, z} \right)\in \text{R}\], we can say that \[\text{x}\] is the wife of \[\text{y}\]and \[\text{y}\] is the wife of \[\text{z}\], which is not possible. So, \[\left( \text{x, z} \right)\notin \text{R}\].
Hence, \[\text{R}\] is not transitive.
Therefore the given relation \[\text{R}\]is not reflexive, symmetric or transitive.
\[\text{R = }\!\!\{\!\!\text{ }\left( \text{x, y} \right)\text{: x}\] is father of \[\text{y }\!\!\}\!\!\text{ }\]
Ans: The given relation is: \[\text{R = }\!\!\{\!\!\text{ }\left( \text{x, y} \right)\text{: x}\] is the father of \[\text{y }\!\!\}\!\!\text{ }\]
Since, \[\left( \text{x, x} \right)\notin \text{R}\]
Therefore, we conclude that \[\text{R}\] is not reflexive.
Let \[\left( \text{x, y} \right)\in \text{R}\] , Since \[\text{x}\] is the father of \[\text{y}\], therefore \[\text{y}\] is obviously not the father of \[\text{x}\], so, \[\left( \text{y, x} \right)\notin \text{R}\].
Hence, \[\text{R}\] is not symmetric.
Assuming that \[\left( \text{x, y} \right)\text{, }\left( \text{y, z} \right)\in \text{R}\], we can say that \[\text{x}\] is the father of \[\text{y}\]and \[\text{y}\] is the father of \[\text{z}\], then \[\text{x}\] is not the father of \[\text{z}\]. So, \[\left( \text{x, z} \right)\notin \text{R}\].
Hence, \[\text{R}\] is not transitive.
Therefore the given relation \[\text{R}\]is not reflexive, symmetric or transitive.