Question
Question: Let A = {1, 2, 3} and R = {(1, 1), (2,2), (3, 3), (1, 2), (2, 3)}. Show that R is reflexive but neit...
Let A = {1, 2, 3} and R = {(1, 1), (2,2), (3, 3), (1, 2), (2, 3)}. Show that R is reflexive but neither symmetric nor transitive.
Solution
Hint:Here, we will use the definitions of reflexive, symmetric and transitive relations to check whether the given relations are reflexive, symmetric or transitive.
Complete step-by-step answer:
A relation between two sets is a collection of ordered pairs containing one object from each set. If the object x is from the first set and the object y is from the second set, then the objects are said to be related if the ordered pair (x, y) is in the relation.
A relation R is reflexive if each element is related itself, i.e. (a, a) ∈ R, where a is an element of the domain.
A relation R is symmetric in case if any one element is related to any other element, then the second element is related to the first, i.e. if (x, y) ∈ R then (y, x) ∈ R, where x and y are the elements of domain and range respectively.
A relation R is transitive in case if any one element is related to a second and that second element is related to a third, then the first element is related to the third, i.e. if (x, y) ∈ R and (y, z) ∈ R then (x, z) ∈ R.
Here, the given relation is:
R = {(1, 1), (2,2), (3, 3), (1, 2), (2, 3)}
The elements present in A are 1, 2 and 3.
We can clearly see that (1, 1), (2, 2) and (3, 3) exists in R.
So, R is reflexive.
Now, we can see that (1, 2) ∈ R but (2, 1) ∈/ R.
Also, (2, 3) ∈ R but (3, 2) ∈/ R.
This means that R is not symmetric.
Now, (1, 2) ∈ R and (2, 3) ∈ R, but (1, 3) ∈/ R. Therefore R is not transitive.
Hence, R is reflexive but neither symmetric nor transitive.
Note: Students should note here that for a relation to be a particular type of relation, i.e. reflexive, symmetric or transitive, all its elements must satisfy the required conditions. If we are able to find even a single counter example, i.e. if any of the elements doesn’t satisfy the criteria, then we can’t proceed further.