Sign in
12thPass logo
New chatPYQ LibraryDoubtsRank report
Sign in to see Recents

Your guest activity stays on this device

Sign in to save progress →
Sign in

Sets and Relations question

2023 · 24 Jan · Shift 1 · Q26
Guest · filters and generic practice availableBrowsing as a guest · PYQ filters and generic practice are available. Sign in only for personalised features and saved progress.
  1. PYQ Library
  2. /JEE Main
  3. /Mathematics
  4. /Sets and Relations
  5. /2023 · 24 Jan · Shift 1 · Q26

Sets and Relations question

2023 · 24 Jan · Shift 1 · Q26

JEE MainMathematicsSets and RelationsMCQ+4 / −1
The relation R={(a,b):gcd⁡(a,b)=1,2aeb,a,b∈Z}\mathrm{R = \{ (a,b):\gcd (a,b) = 1,2a e b,a,b \in \mathbb{Z}\}}R={(a,b):gcd(a,b)=1,2aeb,a,b∈Z} is :
  1. A
    reflexive but not symmetric
  2. B
    transitive but not reflexive
  3. C
    symmetric but not transitive
  4. D
    neither symmetric nor transitive
View written solutionFree

Correct answer: D

We are given the relation

R={(a,b):gcd⁡(a,b)=1,  2a∈bZ,  a,b∈Z}.R=\{(a,b): \gcd(a,b)=1,\; 2a\in b\mathbb Z,\; a,b\in \mathbb Z\}.R={(a,b):gcd(a,b)=1,2a∈bZ,a,b∈Z}.

The condition 2a∈bZ2a\in b\mathbb Z2a∈bZ means:

b∣2a.b \mid 2a.b∣2a.

So the relation is:

(a,b)∈R  ⟺  gcd⁡(a,b)=1 and b∣2a.(a,b)\in R \iff \gcd(a,b)=1 \text{ and } b\mid 2a.(a,b)∈R⟺gcd(a,b)=1 and b∣2a.

We must decide whether RRR is reflexive, symmetric, transitive, or none of these.


1. Simplify the condition using gcd⁡(a,b)=1\gcd(a,b)=1gcd(a,b)=1

If gcd⁡(a,b)=1\gcd(a,b)=1gcd(a,b)=1 and b∣2ab\mid 2ab∣2a, then since bbb is coprime to aaa, every prime factor of bbb must divide 222.

Hence bbb can only be one of:

±1, ±2.\pm 1,\ \pm 2.±1, ±2.

So

(a,b)∈R  ⟹  b∈{±1,±2}(a,b)\in R \implies b\in\{\pm1,\pm2\}(a,b)∈R⟹b∈{±1,±2}

with also gcd⁡(a,b)=1\gcd(a,b)=1gcd(a,b)=1.

In particular:

  • if b=±1b=\pm1b=±1, then gcd⁡(a,b)=1\gcd(a,b)=1gcd(a,b)=1 always, and b∣2ab\mid 2ab∣2a always.
  • if b=±2b=\pm2b=±2, then gcd⁡(a,2)=1\gcd(a,2)=1gcd(a,2)=1, so aaa must be odd.

2. Check reflexivity

A relation is reflexive if for every integer aaa, we have (a,a)∈R(a,a)\in R(a,a)∈R.

Now

(a,a)∈R  ⟺  gcd⁡(a,a)=∣a∣=1 and a∣2a.(a,a)\in R \iff \gcd(a,a)=|a|=1 \text{ and } a\mid 2a.(a,a)∈R⟺gcd(a,a)=∣a∣=1 and a∣2a.

The divisibility condition is true for all nonzero aaa, but gcd⁡(a,a)=1\gcd(a,a)=1gcd(a,a)=1 only when a=±1a=\pm1a=±1.

So for example, take a=2a=2a=2:

gcd⁡(2,2)=2≠1.\gcd(2,2)=2\neq 1.gcd(2,2)=2=1.

Hence

(2,2)∉R.(2,2)\notin R.(2,2)∈/R.

Therefore, RRR is not reflexive.


3. Check symmetry

A relation is symmetric if

(a,b)∈R  ⟹  (b,a)∈R.(a,b)\in R \implies (b,a)\in R.(a,b)∈R⟹(b,a)∈R.

Take the pair (1,2)(1,2)(1,2).

Check whether (1,2)∈R(1,2)\in R(1,2)∈R:

  • gcd⁡(1,2)=1\gcd(1,2)=1gcd(1,2)=1,
  • 2∣2⋅1=22\mid 2\cdot 1=22∣2⋅1=2.

So

(1,2)∈R.(1,2)\in R.(1,2)∈R.

Now check (2,1)(2,1)(2,1):

  • gcd⁡(2,1)=1\gcd(2,1)=1gcd(2,1)=1,
  • 1∣2⋅2=41\mid 2\cdot 2=41∣2⋅2=4.

So

(2,1)∈R.(2,1)\in R.(2,1)∈R.

This example does not disprove symmetry.

Try another pair: (2,1)(2,1)(2,1) also gives (1,2)(1,2)(1,2), so still symmetric there.

We need a counterexample if symmetry fails.

Take (3,1)(3,1)(3,1):

  • gcd⁡(3,1)=1\gcd(3,1)=1gcd(3,1)=1,
  • 1∣61\mid 61∣6. So (3,1)∈R(3,1)\in R(3,1)∈R.

Now check (1,3)(1,3)(1,3):

  • gcd⁡(1,3)=1\gcd(1,3)=1gcd(1,3)=1,
  • need 3∣2⋅1=23\mid 2\cdot 1=23∣2⋅1=2, which is false.

Thus

(3,1)∈Rbut(1,3)∉R.(3,1)\in R \quad \text{but} \quad (1,3)\notin R.(3,1)∈Rbut(1,3)∈/R.

Therefore, RRR is not symmetric.


4. Check transitivity

A relation is transitive if

(a,b)∈R and (b,c)∈R  ⟹  (a,c)∈R.(a,b)\in R \text{ and } (b,c)\in R \implies (a,c)\in R.(a,b)∈R and (b,c)∈R⟹(a,c)∈R.

We need a counterexample.

Take

a=1,b=2,c=1.a=1,\quad b=2,\quad c=1.a=1,b=2,c=1.

Check:

(i) (1,2)∈R(1,2)\in R(1,2)∈R

  • gcd⁡(1,2)=1\gcd(1,2)=1gcd(1,2)=1,
  • 2∣22\mid 22∣2. Hence (1,2)∈R(1,2)\in R(1,2)∈R.

(ii) (2,1)∈R(2,1)\in R(2,1)∈R

  • gcd⁡(2,1)=1\gcd(2,1)=1gcd(2,1)=1,
  • 1∣41\mid 41∣4. Hence (2,1)∈R(2,1)\in R(2,1)∈R.

(iii) (1,1)∈R(1,1)\in R(1,1)∈R?

  • gcd⁡(1,1)=1\gcd(1,1)=1gcd(1,1)=1,
  • 1∣21\mid 21∣2. So actually (1,1)∈R(1,1)\in R(1,1)∈R.

This does not disprove transitivity.

Let us find a better example.

Take

a=3,b=1,c=2.a=3,\quad b=1,\quad c=2.a=3,b=1,c=2.

Then:

(i) (3,1)∈R(3,1)\in R(3,1)∈R

  • gcd⁡(3,1)=1\gcd(3,1)=1gcd(3,1)=1,
  • 1∣61\mid 61∣6. So (3,1)∈R(3,1)\in R(3,1)∈R.

(ii) (1,2)∈R(1,2)\in R(1,2)∈R

  • gcd⁡(1,2)=1\gcd(1,2)=1gcd(1,2)=1,
  • 2∣22\mid 22∣2. So (1,2)∈R(1,2)\in R(1,2)∈R.

(iii) Check (3,2)(3,2)(3,2)

  • gcd⁡(3,2)=1\gcd(3,2)=1gcd(3,2)=1,
  • 2∣2⋅3=62\mid 2\cdot 3=62∣2⋅3=6. This is true, so (3,2)∈R(3,2)\in R(3,2)∈R.

Still not a counterexample.

Try using ccc outside {±1,±2}\{\pm1,\pm2\}{±1,±2}, because then (a,c)(a,c)(a,c) may fail. For (b,c)∈R(b,c)\in R(b,c)∈R, the second element ccc must itself be restricted strongly. In fact from the simplification above, whenever (x,y)∈R(x,y)\in R(x,y)∈R, we must have

y∈{±1,±2}.y\in\{\pm1,\pm2\}.y∈{±1,±2}.

So in any chain (a,b)∈R(a,b)\in R(a,b)∈R and (b,c)∈R(b,c)\in R(b,c)∈R, we must have

b,c∈{±1,±2}.b,c\in\{\pm1,\pm2\}.b,c∈{±1,±2}.

Thus only these values need checking.

Now search for a counterexample:

Take

a=2,b=1,c=2.a=2,\quad b=1,\quad c=2.a=2,b=1,c=2.

Then

  • (2,1)∈R(2,1)\in R(2,1)∈R since gcd⁡(2,1)=1\gcd(2,1)=1gcd(2,1)=1 and 1∣41\mid 41∣4.
  • (1,2)∈R(1,2)\in R(1,2)∈R since gcd⁡(1,2)=1\gcd(1,2)=1gcd(1,2)=1 and 2∣22\mid 22∣2.
  • (2,2)∉R(2,2)\notin R(2,2)∈/R since gcd⁡(2,2)=2≠1\gcd(2,2)=2\neq 1gcd(2,2)=2=1.

Therefore,

(2,1)∈R,(1,2)∈R,but (2,2)∉R.(2,1)\in R,\quad (1,2)\in R,\quad \text{but } (2,2)\notin R.(2,1)∈R,(1,2)∈R,but (2,2)∈/R.

So RRR is not transitive.


5. Final classification

We found:

  • RRR is not reflexive,
  • RRR is not symmetric,
  • RRR is not transitive.

Among the given options, this matches:

D: neither symmetric nor transitive\boxed{\text{D: neither symmetric nor transitive}}D: neither symmetric nor transitive​

(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.

PreviousNext

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 N as aRb if 2a+3b is a multiple of 5,a,b∈N. Then R is2023 · MCQ
  • The minimum number of elements that must be added to the relation R={(a,b),(b,c)} on the set {a,b,c} so that it becomes symmetric and transitive is :2023 · MCQ
  • Let R be a relation on N×N defined by (a,b) R (c,d) if and only if ad(b−c)=bc(a−d). Then R is2023 · MCQ
  • Among the relations S={(a,b):a,b∈R−{0},2+ba​>0} and T={(a,b):a,b∈R,a2−b2∈Z}…2023 · MCQ
  • The sum of all the elements of the set {α∈{1,2,.....,100}:HCF(α,24)=1} is ​.2022 · Numerical
  • Let A={1,2,3,4,5,6,7}. Define B={T⊆A: either 1otinT or 2∈T} and C={T⊆A:T the sum of all the elements of T is a prime number }. Then the number of elements in the set B∪C is ​…2022 · Numerical