Question
Question: Let R be the relation on the set N of natural numbers be defined as (x, y) \(\in \) R if and only if...
Let R be the relation on the set N of natural numbers be defined as (x, y) ∈ R if and only if x2−4xy+3y2=0 for all x, y ∈ N. Then R is
(1) Reflexive
(2) Symmetric
(3) Transitive
(4) An equivalence relation
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:
We will take an element (x, x) and check whether it belongs to R or not.
as (x, y) ∈ R if and only if x2−4xy+3y2=0 .
Let us take an element (x, x) and check whether it belongs to R or not.
If (x, x) belongs to R, then x2−4×x×x+3×x2 must be equal to 0.
We see that:
x2−4×x×x+3×x2=−3x2+3x2=0
So, (x, x) ∈ R.
So, R is reflexive.
Now, take an element (x, y) ∈ R.
Then x2−4xy+3y2=0.
This does not imply that y2−4yx+3x2=0.
It means that (y, x) ∈/ R.
So, R is not symmetric.
Now, take elements (x, y) and (y, z) ∈ R.
So, we have:
x2−4xy+3y2=0.........(1)y2−4yz+3z2=0.........(2)
On multiplying equation (2) by 3 and subtracting it from equation (1), we get: