Concept:
For any two non-empty sets A and B, a relation R from A to B is a subset of the cartesian product A X B.
Reflexive:
Let R be a relation on a non-empty set A, if every element of A is related to itself then R is said to be a reflexive relation.
Thus, R is reflexive if and only if (a, a) ∈ R, ∀ a ∈ A.
Symmetric:
Let R be a relation on a non-empty set A, then the relation R is said to be symmetric relation if and only if (a, b) ∈ R ⇒ (b, a) ∈ R ∀ a, b ∈ A.
Transitive:
Let R be a relation on a non-empty set A, then the relation R is said to be transitive relation if and only if (a, b) ∈ R and (b, c) ∈ R ⇒ (a, c) ∈ R, ∀ a, b, c ∈ A.
Equivalence:
Let R be a relation on a non-empty set A, then the relation R is said to be equivalence relation if R is reflexive, symmetric and transitive.
Calculation:
Given: R is a relation on N and is defined as xRy ⇒ x2 – 4xy + 3y2 = 0.
⇒ x2 – 4xy + 3y2 = 0
⇒ (x - y) (x – 3y) = 0 ...1)
Reflexive:
The given relation R is reflexive ∵ if x = a and y = a then (x = a, y = a) satisfies the equation (1) ⇒ (a, a) ∈ R, ∀ a ∈ N.
Hence, R is reflexive.
Symmetric:
∵ (3, 1) satisfies the equation (1) ⇒ (3, 1) ∈ R.
Let’s check whether (1, 3) ∈ R or not. If we substitute x = 1 and y = 3 in equation (1), we get
⇒ (x - y) (x – 3y) = 16 ≠ 0.
⇒ (1, 3) ∉ R.
Hence, the given relation R is not symmetric ∵ (3, 1) ∈ R but (1, 3) ∉ R.
Transitive:
As we can see that (9, 3) and (3, 1) satisfy the equation (1).
⇒ (9, 3) ∈ R and (3, 1) ∈ R.
Let’s check whether (9, 1) satisfies the equation (1) or not.
⇒ (x - y) (x – 3y) = (9 - 1) (9 - 3) = 48 ≠ 0.
⇒ (9, 1) ∉ R.
Hence, the given relation R is not transitive ∵ (9, 3) ∈ R and (3, 1) ∈ R but (9, 1) ∉ R.