Assignment -1
Grade Class 12

Question:

<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:&nbsp;</strong>Let x&nbsp;<span class="math-tex">$\in$</span>&nbsp;A be any arbitrary&nbsp;element.<br /> We know that, x is divisible by x.<br /> [<span class="math-tex">$\because$</span>&nbsp;every real number except zero is divisible by itself]<br /> <span class="math-tex">$\Rightarrow$</span>&nbsp;(x, x)&nbsp;<span class="math-tex">$\in$</span>&nbsp;R<br /> Since, x&nbsp;<span class="math-tex">$\in$</span>&nbsp;arbitrary&nbsp;element, therefore&nbsp;(x, x)&nbsp;<span class="math-tex">$\in$</span>&nbsp;R,&nbsp;<span class="math-tex">$\forall$</span>&nbsp;x&nbsp;<span class="math-tex">$\in$</span>&nbsp;A.&nbsp;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>&nbsp;(2, 4) <span class="math-tex">$\in$</span> R but (4, 2)&nbsp;<span class="math-tex">$\notin $</span>&nbsp;R<br /> So, R is not symmetric.<br /> <strong>Transitive:</strong> Let x, y, z <span class="math-tex">$\in$</span>&nbsp;A such that (x, y) <span class="math-tex">$\in$</span>&nbsp;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.&nbsp;<span class="math-tex">$\frac{y}{x}$</span>&nbsp;= 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&nbsp;is divisible by y.<br /> i.e.&nbsp;<span class="math-tex">$\frac{z}{y}$</span>&nbsp;= 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>&nbsp;<span class="math-tex">$=k_1 k_2 \Rightarrow \frac{z}{x}=k_1 k_2$</span><br /> where,&nbsp;k<sub>1</sub>k<sub>2</sub>&nbsp;is a natural number.<br /> <span class="math-tex">$\therefore$</span>&nbsp;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.&nbsp;(x, y) <span class="math-tex">$\in$</span> R, (y, z) <span class="math-tex">$\in$</span> R <span class="math-tex">$\Rightarrow$</span>&nbsp;(x, z) <span class="math-tex">$\in$</span> R<br /> Hence, R is transitive.</p>
Correct Answer: C

Master Assignment -1 with Mathbee

Practice this topic under real exam conditions with strict timers, or ask our AI Mentor to explain the concepts step-by-step.

Start Practicing for Free