- Areflexive but not symmetric
- Btransitive but not reflexive
- Csymmetric but not transitive
- Dneither symmetric nor transitive
View written solutionFree
Correct answer: D
We are given the relation
The condition means:
So the relation is:
We must decide whether is reflexive, symmetric, transitive, or none of these.
1. Simplify the condition using
If and , then since is coprime to , every prime factor of must divide .
Hence can only be one of:
So
with also .
In particular:
- if , then always, and always.
- if , then , so must be odd.
2. Check reflexivity
A relation is reflexive if for every integer , we have .
Now
The divisibility condition is true for all nonzero , but only when .
So for example, take :
Hence
Therefore, is not reflexive.
3. Check symmetry
A relation is symmetric if
Take the pair .
Check whether :
- ,
- .
So
Now check :
- ,
- .
So
This example does not disprove symmetry.
Try another pair: also gives , so still symmetric there.
We need a counterexample if symmetry fails.
Take :
- ,
- . So .
Now check :
- ,
- need , which is false.
Thus
Therefore, is not symmetric.
4. Check transitivity
A relation is transitive if
We need a counterexample.
Take
Check:
(i)
- ,
- . Hence .
(ii)
- ,
- . Hence .
(iii) ?
- ,
- . So actually .
This does not disprove transitivity.
Let us find a better example.
Take
Then:
(i)
- ,
- . So .
(ii)
- ,
- . So .
(iii) Check
- ,
- . This is true, so .
Still not a counterexample.
Try using outside , because then may fail. For , the second element must itself be restricted strongly. In fact from the simplification above, whenever , we must have
So in any chain and , we must have
Thus only these values need checking.
Now search for a counterexample:
Take
Then
- since and .
- since and .
- since .
Therefore,
So is not transitive.
5. Final classification
We found:
- is not reflexive,
- is not symmetric,
- is not transitive.
Among the given options, this matches:
(Note: option D does not mention reflexivity, but we have also shown it is not reflexive.)
6. Compare with stored correct answer
Stored correct answer: D
Our derived answer: D
So the answer agrees with the stored correct answer.
More from Sets and Relations
- The minimum number of elements that must be added to the relation R = {(a, b), (b, c), (b, d)} on the set {a, b, c, d} so that it is an equivalence relation, is .2023 · Numerical
- Let S = {1, 2, 3, 5, 7, 10, 11}. The number of non-empty subsets of S that have the sum of all elements a multiple of 3, is .2023 · Numerical
- Let R be a relation defined on as if is a multiple of . Then R is2023 · MCQ
- The minimum number of elements that must be added to the relation on the set so that it becomes symmetric and transitive is :2023 · MCQ
- Let be a relation on defined by if and only if . Then is2023 · MCQ
- Among the relations and …2023 · MCQ
- The sum of all the elements of the set is .2022 · Numerical
- Let . Define : either or and the sum of all the elements of is a prime number . Then the number of elements in the set is …2022 · Numerical