If R$R$ is the smallest equivalence relation on the set \1, 2, 3, 4\$\{1, 2, 3, 4\}$ such that \(1,2), (1,3)\ subset R$\{(1,2), (1,3)\} \subset R$, then the number of elements in R$R$ is
A.10
B.12
C.8
D.15
Solution & Explanation
### Related Formula
An equivalence relation must be reflexive, symmetric, and transitive.
### Core Logic
Given set: S = \1, 2, 3, 4\$S = \{1, 2, 3, 4\}$.
1. **Reflexivity:** R$R$ must contain all identity pairs:
\(1,1), (2,2), (3,3), (4,4)\$\{(1,1), (2,2), (3,3), (4,4)\}$
2. **Symmetry:** Since (1,2)$(1,2)$ and (1,3)$(1,3)$ are given, their symmetric pairs must exist:
\(2,1), (3,1)\$\{(2,1), (3,1)\}$
### Step 1: Adding Transitive Enclosures
3. **Transitivity:**
* (2,1) in R$(2,1) \in R$ and (1,3) in R implies (2,3) in R$(1,3) \in R \implies (2,3) \in R$.
* Since (2,3) in R$(2,3) \in R$, symmetry forces (3,2) in R$(3,2) \in R$.
Let us consolidate our relation elements:
R = \(1,1), (2,2), (3,3), (4,4), (1,2), (2,1), (1,3), (3,1), (2,3), (3,2)\$R = \{(1,1), (2,2), (3,3), (4,4), (1,2), (2,1), (1,3), (3,1), (2,3), (3,2)\}$
Let us check if any other transitions are broken. No, this forms the full transitive partition of the subset \1, 2, 3\$\{1, 2, 3\}$, while \4\$\{4\}$ remains in its isolated reflexive component.
Counting the elements, we find exactly 10$10$ pairs.
### Pattern Recognition
Smallest equivalence relation enclosing components means generating complete disjoint equivalence classes. Here, \1,2,3\$\{1,2,3\}$ merges into one universal group (size 3^2=9$3^2=9$) and \4\$\{4\}$ forms its own (size 1^2=1$1^2=1$). Total elements = 9 + 1 = 10$9 + 1 = 10$.
### Evaluation Rubric / Model Answer
null
### Chapter Mix
Class 12 Mathematics: Relations and Functions
Keywords:#Symmetric Pairs Enclosure#Transitive Closure Element#Equivalence Classes#JEE Main 2024 Sets
More Relations and Functions Previous-Year Questions — Page 8
Q20jee_main_2024_27_jan_morningTypes of Functions
The function f:N-\1\rightarrow N;$f:N-\{1\}\rightarrow N;$ defined by f(n)=$f(n)=$ the highest prime factor of n$n$, is:
A.textboth one-one and onto$\text{both one-one and onto}$
B.textone-one only$\text{one-one only}$
C.textonto only$\text{onto only}$
D.textneither one-one nor onto$\text{neither one-one nor onto}$
Solution
### Related Formula
One-one (Injective): f(x) = f(y) Rightarrow x = y$f(x) = f(y) \Rightarrow x = y$
Onto (Surjective): Range = Codomain.
### Core Logic
Evaluate injectivity (one-one property):
Check standard small inputs.
f(2) = texthighest prime factor of 2 = 2$f(2) = \text{highest prime factor of } 2 = 2$.
f(4) = texthighest prime factor of 4 = 2$f(4) = \text{highest prime factor of } 4 = 2$.
Since f(2) = f(4) = 2$f(2) = f(4) = 2$ but 2 ne 4$2 \ne 4$, the function is many-to-one.
### Step 1: Evaluating Surjectivity
Evaluate surjectivity (onto property):
The codomain is defined as N$N$ (Natural numbers).
Consider an element in the codomain that is NOT prime, for example, 4 in N$4 \in N$.
The highest prime factor of any integer will ALWAYS be a prime number. It is impossible for the output of f(n)$f(n)$ to be a composite number like 4.
Since 4 is not the image of any element in the domain, Range neq$\neq$ Codomain.
Thus, the function is into (not onto).
### Step 2: Final Conclusion
The function is neither one-one nor onto.
### Pattern Recognition
Functions extracting "highest prime factors" or "digit sums" are universally many-to-one because multiple numbers share these properties. If the codomain is ALL natural numbers, but the output is strictly restricted to primes, it universally fails surjectivity.
### Evaluation Rubric / Model Answer
null
### Chapter Mix
Class 12 Maths: Relations and Functions
Q3jee_main_2024_29_jan_morningComposite Functions
If
f(x)=begincases2+2x,& -1le x lt 0\\ 1-fracx3,& 0le xle 3endcases$f(x)=\begin{cases}2+2x,& -1\le x \lt 0\\ 1-\frac{x}{3},& 0\le x\le 3\end{cases}$;
g(x)=begincases-x,& -3le xle 0\\ x,& 0 lt xle 1endcases$g(x)=\begin{cases}-x,& -3\le x\le 0\\ x,& 0 \lt x\le 1\end{cases}$ , then range of (fog(x))$(fog(x))$ is
A.(0, 1]$(0, 1]$
B.[0, 3)$[0, 3)$
C.[0, 1]$[0, 1]$
D.[0, 1)$[0, 1)$
Solution
### Related Formula
f(g(x)) = f(y) quad textwhere y = g(x)$f(g(x)) = f(y) \quad \text{where } y = g(x)$
The domain restrictions of f(y)$f(y)$ must be cross-checked against the range evaluated for g(x)$g(x)$.
### Core Logic
First, analyze the range of the inner function g(x)$g(x)$:
g(x) = -x$g(x) = -x$ for -3 le x le 0$-3 \le x \le 0$. The range here is [0, 3]$[0, 3]$.
g(x) = x$g(x) = x$ for 0 lt x le 1$0 \lt x \le 1$. The range here is (0, 1]$(0, 1]$.
Therefore, the complete range of g(x)$g(x)$ across its entire domain [-3, 1]$[-3, 1]$ is [0, 3]$[0, 3]$. Note that g(x) ge 0$g(x) \ge 0$ for all valid x$x$.
Composite Functions
Now, plug g(x)$g(x)$ into f(x)$f(x)$:
f(g(x)) = begincases2+2g(x),& -1 le g(x) lt 0 quad dots (1) \\ 1-fracg(x)3,& 0 le g(x) le 3 quad dots (2)endcases$f(g(x)) = \begin{cases}2+2g(x),& -1 \le g(x) \lt 0 \quad \dots (1) \\ 1-\frac{g(x)}{3},& 0 \le g(x) \le 3 \quad \dots (2)\end{cases}$Composite Functions
### Step 1: Evaluate the Branches
Check branch (1):
-1 le g(x) lt 0$-1 \le g(x) \lt 0$. Since we already established the range of g(x)$g(x)$ is entirely non-negative (g(x) ge 0$g(x) \ge 0$), this branch condition is never satisfied. No values of x$x$ map here (x in phi$x \in \phi$).
Check branch (2):
0 le g(x) le 3$0 \le g(x) \le 3$. This perfectly aligns with the entire range of g(x)$g(x)$. Hence, this branch is active for all x in [-3, 1]$x \in [-3, 1]$.
We evaluate f(g(x)) = 1 - fracg(x)3$f(g(x)) = 1 - \frac{g(x)}{3}$.
Since g(x)$g(x)$ spans all values continuously from 0$0$ to 3$3$:
When g(x) = 0 Rightarrow f(g(x)) = 1 - 0 = 1$g(x) = 0 \Rightarrow f(g(x)) = 1 - 0 = 1$.
When g(x) = 3 Rightarrow f(g(x)) = 1 - 1 = 0$g(x) = 3 \Rightarrow f(g(x)) = 1 - 1 = 0$.
Since g(x)$g(x)$ is continuous and covers [0, 3]$[0, 3]$, 1 - fracg(x)3$1 - \frac{g(x)}{3}$ covers [0, 1]$[0, 1]$ continuously.
### Step 2: Final Conclusion
The range of f(g(x))$f(g(x))$ is purely evaluated from branch (2), leading to [0, 1]$[0, 1]$.
### Pattern Recognition
When finding the range of f(g(x))$f(g(x))$, evaluate the global range of g(x)$g(x)$ first. Use that resulting interval as the "domain" input for f(x)$f(x)$ to trace the final output bounds, eliminating unneeded piecewise branches.
### Evaluation Rubric / Model Answer
null
### Chapter Mix
Class 11 Mathematics: Sets, Relations and Functions
Let R be a relation on Ztimes Z$Z\times Z$ defined by (a,b)R(c,d)$(a,b)R(c,d)$ if and only if ad-bc$ad-bc$ is divisible by 5. Then R is
A.textReflexive and symmetric but not transitive$\text{Reflexive and symmetric but not transitive}$
B.textReflexive but neither symmetric not transitive$\text{Reflexive but neither symmetric not transitive}$
C.textReflexive, symmetric and transitive$\text{Reflexive, symmetric and transitive}$
D.textReflexive and transitive but not symmetric$\text{Reflexive and transitive but not symmetric}$
Solution
### Related Formula
textReflexive: (x,x) in R text for all x$\text{Reflexive: } (x,x) \in R \text{ for all } x$textSymmetric: (x,y) in R implies (y,x) in R$\text{Symmetric: } (x,y) \in R \implies (y,x) \in R$textTransitive: (x,y) in R text and (y,z) in R implies (x,z) in R$\text{Transitive: } (x,y) \in R \text{ and } (y,z) \in R \implies (x,z) \in R$
### Core Logic
Check Reflexivity:
Let (a,b) in Z times Z$(a,b) \in Z \times Z$.
(a,b) R (a,b) iff ab - ba$(a,b) R (a,b) \iff ab - ba$ is divisible by 5.
ab - ba = 0$ab - ba = 0$. Since 0 is divisible by 5, the relation is strictly Reflexive.
Check Symmetry:
Let (a,b) R (c,d) implies ad - bc = 5k$(a,b) R (c,d) \implies ad - bc = 5k$ for some integer k$k$.
We need to check (c,d) R (a,b)$(c,d) R (a,b)$, which evaluates to cb - da$cb - da$.
Notice that cb - da = -(ad - bc) = -5k = 5(-k)$cb - da = -(ad - bc) = -5k = 5(-k)$.
Since -k$-k$ is an integer, cb - da$cb - da$ is divisible by 5. The relation is Symmetric.
### Step 1: Test Transitivity
To test transitivity, attempt to construct a counter-example where (a,b)R(c,d)$(a,b)R(c,d)$ and (c,d)R(e,f)$(c,d)R(e,f)$, but (a,b)$(a,b)$ does not relate to (e,f)$(e,f)$.
Let's pick numbers carefully. We need ad-bc equiv 0 pmod 5$ad-bc \equiv 0 \pmod 5$ and cf-de equiv 0 pmod 5$cf-de \equiv 0 \pmod 5$.
Try (a,b) = (3,1)$(a,b) = (3,1)$ and (c,d) = (10,5)$(c,d) = (10,5)$:
ad-bc = (3)(5) - (1)(10) = 15 - 10 = 5$ad-bc = (3)(5) - (1)(10) = 15 - 10 = 5$ (Divisible by 5. Thus (3,1)R(10,5)$(3,1)R(10,5)$ holds).
Try (c,d) = (10,5)$(c,d) = (10,5)$ and (e,f) = (1,1)$(e,f) = (1,1)$:
cf-de = (10)(1) - (5)(1) = 10 - 5 = 5$cf-de = (10)(1) - (5)(1) = 10 - 5 = 5$ (Divisible by 5. Thus (10,5)R(1,1)$(10,5)R(1,1)$ holds).
Now check (a,b)R(e,f)$(a,b)R(e,f)$, mapping (3,1)R(1,1)$(3,1)R(1,1)$:
af-be = (3)(1) - (1)(1) = 3 - 1 = 2$af-be = (3)(1) - (1)(1) = 3 - 1 = 2$.
2 is NOT divisible by 5.
Therefore, the relation is Not Transitive.
### Pattern Recognition
Divisibility relations on cross-multiplied pairs (ad-bc$ad-bc$) are almost always reflexive and symmetric, but typically fail transitivity because the intermediate pairing scales elements in non-linear ways that break the modulo arithmetic chain.
### Evaluation Rubric / Model Answer
null
### Chapter Mix
Class 11 Mathematics: Sets, Relations and Functions
Q18jee_main_2024_30_january_eveningDomain and Range
If the domain of the function f(x) = log_e left(frac2x + 34x^2 + x - 3right) + cos^-1left(frac2x - 1x + 2right)$f(x) = \log_e \left(\frac{2x + 3}{4x^2 + x - 3}\right) + \cos^{-1}\left(\frac{2x - 1}{x + 2}\right)$ is (alpha, beta]$(\alpha, \beta]$ , then the value of 5beta - 4alpha$5\beta - 4\alpha$ is equal to
A.10$10$
B.12$12$
C.11$11$
D.9$9$
Solution
### Related Formula
textDomain of log_e(A): A gt 0$\text{Domain of } \log_e(A): A \gt 0$textDomain of cos^-1(B): -1 le B le 1$\text{Domain of } \cos^{-1}(B): -1 \le B \le 1$
### Core Logic
Condition 1: Logarithm domain
frac2x + 34x^2 + x - 3 gt 0$\frac{2x + 3}{4x^2 + x - 3} \gt 0$
Factorizing the denominator: 4x^2 + 4x - 3x - 3 = 4x(x+1) - 3(x+1) = (4x-3)(x+1)$4x^2 + 4x - 3x - 3 = 4x(x+1) - 3(x+1) = (4x-3)(x+1)$.
frac2x + 3(4x - 3)(x + 1) gt 0$\frac{2x + 3}{(4x - 3)(x + 1)} \gt 0$
Critical points are x = -frac32, -1, frac34$x = -\frac{3}{2}, -1, \frac{3}{4}$. Using the wavy curve method:
The intervals where it is positive are left(-frac32, -1right) cup left(frac34, inftyright)$\left(-\frac{3}{2}, -1\right) \cup \left(\frac{3}{4}, \infty\right)$. Let this be set D_1$D_1$.
### Step 1: Inverse Trigonometric Domain
Condition 2: Arc cosine domain
-1 le frac2x - 1x + 2 le 1$-1 \le \frac{2x - 1}{x + 2} \le 1$
This breaks into two inequalities:
(i) frac2x - 1x + 2 ge -1 Rightarrow frac2x - 1x + 2 + 1 ge 0 Rightarrow frac3x + 1x + 2 ge 0$\frac{2x - 1}{x + 2} \ge -1 \Rightarrow \frac{2x - 1}{x + 2} + 1 \ge 0 \Rightarrow \frac{3x + 1}{x + 2} \ge 0$
Critical points are x = -2, -frac13$x = -2, -\frac{1}{3}$. The valid set is (-infty, -2) cup left[-frac13, inftyright)$(-\infty, -2) \cup \left[-\frac{1}{3}, \infty\right)$.
(ii) frac2x - 1x + 2 le 1 Rightarrow frac2x - 1x + 2 - 1 le 0 Rightarrow fracx - 3x + 2 le 0$\frac{2x - 1}{x + 2} \le 1 \Rightarrow \frac{2x - 1}{x + 2} - 1 \le 0 \Rightarrow \frac{x - 3}{x + 2} \le 0$
Critical points are x = -2, 3$x = -2, 3$. The valid set is (-2, 3]$(-2, 3]$.
Intersection for the cosine domain (D_2$D_2$): (-2, 3] cap left( (-infty, -2) cup left[-frac13, inftyright) right) = left[-frac13, 3right]$(-2, 3] \cap \left( (-\infty, -2) \cup \left[-\frac{1}{3}, \infty\right) \right) = \left[-\frac{1}{3}, 3\right]$.
### Step 2: Finding Total Domain
Total domain D = D_1 cap D_2$D = D_1 \cap D_2$:
D = left( left(-frac32, -1right) cup left(frac34, inftyright) right) cap left[-frac13, 3right]$D = \left( \left(-\frac{3}{2}, -1\right) \cup \left(\frac{3}{4}, \infty\right) \right) \cap \left[-\frac{1}{3}, 3\right]$
Since left[-frac13, 3right]$\left[-\frac{1}{3}, 3\right]$ starts strictly greater than -1$-1$, the overlap with left(-frac32, -1right)$\left(-\frac{3}{2}, -1\right)$ is empty.
Overlap with left(frac34, inftyright)$\left(\frac{3}{4}, \infty\right)$ occurs from frac34$\frac{3}{4}$ to 3$3$.
Thus, D = left(frac34, 3right]$D = \left(\frac{3}{4}, 3\right]$.
### Step 3: Calculating Final Expression
Comparing with (alpha, beta]$(\alpha, \beta]$:
alpha = frac34$\alpha = \frac{3}{4}$ and beta = 3$\beta = 3$.
We need to find 5beta - 4alpha$5\beta - 4\alpha$:
5(3) - 4left(frac34right) = 15 - 3 = 12$5(3) - 4\left(\frac{3}{4}\right) = 15 - 3 = 12$
### Pattern Recognition
Compound domains always require individual set resolution (using Wavy Curve) followed by taking the strictest absolute intersection. Identifying disjoint segments (like x lt -1$x \lt -1$ missing the cosine bound) prunes manual checking.
### Evaluation Rubric / Model Answer
null
### Chapter Mix
Class 11 Maths: Functions
Q27jee_main_2024_30_january_eveningTypes of Relations
The number of symmetric relations defined on the set \1, 2, 3, 4\$\{1, 2, 3, 4\}$ which are not reflexive is
Numerical Answer.Answer: 960 to 960
Solution
### Related Formula
textTotal number of symmetric relations on set with n text elements = 2^fracn(n+1)2$\text{Total number of symmetric relations on set with } n \text{ elements} = 2^{\frac{n(n+1)}{2}}$textTotal number of relations both symmetric and reflexive = 2^fracn(n-1)2$\text{Total number of relations both symmetric and reflexive} = 2^{\frac{n(n-1)}{2}}$
### Core Logic
A relation is represented by an n times n$n \times n$ matrix.
For symmetry, the upper triangle determines the lower triangle completely.
The diagonal elements (a_ii$a_{ii}$) can be either 0 or 1.
Number of independent elements (upper triangle + diagonal) = fracn^2 - n2 + n = fracn(n+1)2$\frac{n^2 - n}{2} + n = \frac{n(n+1)}{2}$.
Total symmetric relations = 2^fracn(n+1)2$2^{\frac{n(n+1)}{2}}$.
For a relation to be *both* symmetric and reflexive, all diagonal elements must be 1$1$.
The remaining independent elements (upper triangle) are fracn(n-1)2$\frac{n(n-1)}{2}$.
Total symmetric AND reflexive relations = 2^fracn(n-1)2$2^{\frac{n(n-1)}{2}}$.
### Step 1: Calculating for n = 4
For a set of n = 4$n = 4$ elements:
Total number of symmetric relations:
N_textsymm = 2^frac4(4+1)2 = 2^10 = 1024$N_{\text{symm}} = 2^{\frac{4(4+1)}{2}} = 2^{10} = 1024$
Total number of symmetric and reflexive relations:
N_textsymm+refl = 2^frac4(4-1)2 = 2^6 = 64$N_{\text{symm+refl}} = 2^{\frac{4(4-1)}{2}} = 2^6 = 64$
### Step 2: Finding Requested Number
We need the number of symmetric relations that are NOT reflexive.
N = N_textsymm - N_textsymm+refl$N = N_{\text{symm}} - N_{\text{symm+refl}}$N = 1024 - 64 = 960$N = 1024 - 64 = 960$
### Pattern Recognition
Condition 'not' acts as a simple set subtraction. Count the entire universe of symmetric relations (diagonal is free) and subtract the subset where reflexivity locks the diagonal elements to 1.
### Evaluation Rubric / Model Answer
null
### Chapter Mix
Class 11 Maths: Sets, Relations and Functions
More Relations and Functions Questions — jee_main_2024_29_january_evening
We Map Every Repeating Question in Competitive Exams.
Say goodbye to generic mock test fatigue. RankBit uses smart analysis to group past exam questions into their foundational Repeating Question Types. Find chapter weightage, track repeating questions, and score higher with targeted practice.
Select Your Target Exam
Choose an exam track below to find formulas per chapter and patterns.
Syncing Exam Intelligence
Mapping formulas and patterns across all tracks…
PATH A — FULL LENGTH PRACTICE
Full Mock Test Hub
Simulate real NTA exam conditions with fully tracked mocks. Time yourself against past papers.
Under Development
PATH B — TARGETED PRACTICE
Topic-wise Practice Hub
Practice past-year questions one chapter at a time. Pick an exam → subject → chapter and get every PYQ for that topic — pulled together from all past papers — with the chapter's key formulas alongside.