<p>The relation R defined in the set A = {1, 2, 3, 4, 5, 6} as R = {(x, y) : y is divisible by x} is</p>
<p style="display:inline">an equivalence relation</p>
<p style="display:inline">not symmetric</p>
<p style="display:inline">Reflexive, transitive but not symmetric</p>
<p style="display:inline">Reflexive, symmetric but not transitive</p>
Step-by-Step Solution
Key Concept: To classify a relation, systematically verify the definitions of reflexivity, symmetry, and transitivity by applying the specific divisibility condition to the elements of the given set.
<p>Given, R = {(x, y) : y is divisible by x]<br />
and A = {1, 2, 3, 4, 5, 6}<br />
<strong>Reflexive: </strong>Let x <span class="math-tex">$\in$</span> A be any arbitrary element.<br />
We know that, x is divisible by x.<br />
[<span class="math-tex">$\because$</span> every real number except zero is divisible by itself]<br />
<span class="math-tex">$\Rightarrow$</span> (x, x) <span class="math-tex">$\in$</span> R<br />
Since, x <span class="math-tex">$\in$</span> arbitrary element, therefore (x, x) <span class="math-tex">$\in$</span> R, <span class="math-tex">$\forall$</span> x <span class="math-tex">$\in$</span> A. So, R is reflexive.<br />
<strong>Symmetric:</strong> Clearly, 2, 4 <span class="math-tex">$\in$</span> A and 4 is divisible by 2, but 2 is not divisible by 4.<br />
<span class="math-tex">$\therefore$</span> (2, 4) <span class="math-tex">$\in$</span> R but (4, 2) <span class="math-tex">$\notin $</span> R<br />
So, R is not symmetric.<br />
<strong>Transitive:</strong> Let x, y, z <span class="math-tex">$\in$</span> A such that (x, y) <span class="math-tex">$\in$</span> R and (y, z) <span class="math-tex">$\in$</span> R.<br />
Now, as (x, y) <span class="math-tex">$\in$</span> R, therefore y is divisible by x.<br />
i.e. <span class="math-tex">$\frac{y}{x}$</span> = k<sub>1</sub> (say) ...(i)<br />
where, k<sub>1</sub> is a natural number<br />
and as (y, z) <span class="math-tex">$\in$</span> R, therefore z is divisible by y.<br />
i.e. <span class="math-tex">$\frac{z}{y}$</span> = K<sub>2</sub> (say) ...(ii)<br />
where, k<sub>2</sub> is a natural number.<br />
On multiplying Eqs. (i) and (ii), we get<br />
<span class="math-tex">$\frac{y}{x} \times \frac{z}{y}$</span> <span class="math-tex">$=k_1 k_2 \Rightarrow \frac{z}{x}=k_1 k_2$</span><br />
where, k<sub>1</sub>k<sub>2</sub> is a natural number.<br />
<span class="math-tex">$\therefore$</span> z is divisible by x.<br />
Thus, (x, z) <span class="math-tex">$\in$</span> R, for {x, y), (y, z) <span class="math-tex">$\in$</span> R,<br />
i.e. (x, y) <span class="math-tex">$\in$</span> R, (y, z) <span class="math-tex">$\in$</span> R <span class="math-tex">$\Rightarrow$</span> (x, z) <span class="math-tex">$\in$</span> R<br />
Hence, R is transitive.</p>
Correct Answer: C