Let R be a binary relation on the set {1,2,…,10} , where (x,y)∈R if the product of x and y is square of an integer. Which of the following properties is/are satisfied by R ?
📖 Explanation
Let's break down the properties of the given binary relation R on the set S={1,2,…,10}. The relation is defined as (x,y)∈R if the product x×y is a perfect square (k2 for some integer k).
-
Reflexive Property: A relation is reflexive if (x,x)∈R for all x∈S.
- For (x,x) to be in R, x×x must be a perfect square.
- x×x=x2.
- Since x is an integer from S, x2 is always the square of the integer x.
- Thus, (x,x)∈R for all x∈{1,2,…,10}. R is Reflexive.
-
Symmetric Property: A relation is symmetric if whenever (x,y)∈R, then (y,x)∈R.
- If (x,y)∈R, then x×y=k2 for some integer k.
- We need to check if y×x is also a perfect square.
- Due to the commutative property of multiplication, x×y=y×x.
- Since x×y=k2, it follows that y×x=k2, which is a perfect square.
- Therefore, if (x,y)∈R, then (y,x)∈R. R is Symmetric.
-
Transitive Property: A relation is transitive if whenever (x,y)∈R and (y,z)∈R, then (x,z)∈R.
- Assume (x,y)∈R and (y,z)∈R. This means x×y=k2 and y×z=m2 for some integers k,m.
- Let the prime factorization of x=∏piαi, y=∏piβi, and z=∏piγi.
- For x×y=k2, the exponent of each prime pi in the product x×y must be even. So, αi+βi is even for all primes pi. This implies αi and βi have the same parity (αi≡βi(mod2)).
- Similarly, for y×z=m2, βi+γi is even for all primes pi. This implies βi and γi have the same parity (βi≡γi(mod2)).
- From αi≡βi(mod2) and βi≡γi(mod2), it follows that αi≡γi(mod2).
- Therefore, αi+γi is even for all primes pi, which means x×z is a perfect square.
- Thus, if (x,y)∈R and (y,z)∈R, then (x,z)∈R. R is Transitive.
-
Antisymmetric Property: A relation is antisymmetric if whenever (x,y)∈R and (y,x)∈R, then x=y.
- We already established that R is symmetric. So, if (x,y)∈R, then (y,x)∈R will always hold.
- We need to check if this condition always forces x=y.
- Consider x=2 and y=8 from S={1,2,…,10}.
- x×y=2×8=16=42. So, (2,8)∈R.
- Since R is symmetric, (8,2)∈R also.
- However, x=2 and y=8, and 2=8.
- The condition x=y is not always satisfied. R is not Antisymmetric.
The properties satisfied by the relation R are Reflexive, Symmetric, and Transitive.