JEE Main & Advanced

Functions

Functions & Binary Operations

1
Module 1

Foundations of Functions

Mapping Definitions, Domain, Range & CodomainTopic 1

A function $f: A \to B$ is a special type of relation that maps every element $a$ in set $A$ (Domain) to exactly one element $b$ in set $B$ (Codomain). The element $b$ is called the Image of $a$, and $a$ is the Pre-image of $b$. The Range is the subset of the codomain containing all actual outputs: $\text{Range}(f) = \{f(a) : a \in A\} \subseteq B$. A common mistake is assuming the range always equals the codomain. In the JEE exam, finding the domain of a composite or piecewise function requires solving a simultaneous system of radical, fractional, and logarithmic inequalities.

Worked Examples
1

Find the domain of definition of the real-valued function $f(x) = \frac{1}{\sqrt{\lfloor x \rfloor^2 - \lfloor x \rfloor - 6}}$, where $\lfloor \cdot \rfloor$ denotes the greatest integer function.

Show solution
For the real-valued function to be well-defined, the expression inside the square root in the denominator must be strictly positive ($>0$): \[ \lfloor x \rfloor^2 - \lfloor x \rfloor - 6 > 0 \] Let us treat this expression as a quadratic inequality in terms of $\lfloor x \rfloor$: \[ (\lfloor x \rfloor - 3)(\lfloor x \rfloor + 2) > 0 \] Using the wavy-curve method, this inequality splits into two separate cases: \[ \lfloor x \rfloor < -2 \quad \text{or} \quad \lfloor x \rfloor > 3 \] Now apply the definitions and properties of the greatest integer function to isolate $x$:
  • Case 1: $\lfloor x \rfloor < -2 \implies \lfloor x \rfloor \le -3 \implies x < -2$
  • Case 2: $\lfloor x \rfloor > 3 \implies \lfloor x \rfloor \ge 4 \implies x \ge 4$
Combining the intervals from both cases gives the complete domain of the function: \[ x \in (-\infty, -2) \cup [4, \infty) \] Final Answer: $x \in (-\infty, -2) \cup [4, \infty)$.
2

Find the range of the real function $f(x) = \sin^2 x - 4\sin x + 7$.

Show solution
Let $t = \sin x$. We know that for all real numbers $x$, the range of the sine function is bounded: $t \in [-1, 1]$.
Rewrite the function as a quadratic expression in terms of $t$: \[ g(t) = t^2 - 4t + 7 \quad \text{for } t \in [-1, 1] \] Let us complete the square to analyze the behavior of the parabola: \[ g(t) = (t - 2)^2 + 3 \] The vertex of this parabola occurs at $t = 2$. However, $t = 2$ lies completely outside our restricted domain interval $[-1, 1]$. Since the parabola opens upward ($a=1>0$) and the vertex is to the right of the interval, the function is strictly decreasing across the domain $[-1, 1]$.
Evaluate the function at the boundary endpoints to find the maximum and minimum values:
  • Maximum value occurs at the left endpoint $t = -1$: \[ g(-1) = (-1 - 2)^2 + 3 = (-3)^2 + 3 = 9 + 3 = 12 \]
  • Minimum value occurs at the right endpoint $t = 1$: \[ g(1) = (1 - 2)^2 + 3 = (-1)^2 + 3 = 1 + 3 = 4 \] End{itemize} Therefore, the range of the function over its valid domain is the closed interval $[4, 12]$. Final Answer: Range $\in [4, 12]$.
3

Determine the domain of the function $f(x) = \log_x (\cos x)$.

Show solution
We must apply the domain constraints for both the base and the argument of the logarithm simultaneously:
  1. Constraints on the base $x$: The base must be strictly positive and cannot equal $1$: \[ x > 0 \quad \text{and} \quad x \neq 1 \]
  2. Constraint on the argument: The argument must be strictly positive: \[ \cos x > 0 \]
The inequality $\cos x > 0$ is true when $x$ lies in the first and fourth quadrants of the unit circle: \[ x \in \left( 2k\pi - \frac{\pi}{2}, \ 2k\pi + \frac{\pi}{2} \right), \quad k \in \mathbb{Z} \] Now intersect this solution set with the base conditions $x > 0$ and $x \neq 1$. Let us look at the first few valid intervals starting from zero ($k=0$ and $k=1$):
  • For $k = 0$: The interval is $(-\frac{\pi}{2}, \frac{\pi}{2})$. Restricting this to positive numbers ($x > 0$) gives $(0, \frac{\pi}{2})$. We must also remove $x = 1$, which splits this section into $(0, 1) \cup (1, \frac{\pi}{2})$.
  • For $k \ge 1$: The entire interval is positive, so it is included unchanged.
Write the complete domain using general notation: \[ x \in (0, 1) \cup \left( 1, \frac{\pi}{2} \right) \cup \bigcup_{k=1}^{\infty} \left( 2k\pi - \frac{\pi}{2}, \ 2k\pi + \frac{\pi}{2} \right) \] Final Answer: $x \in (0, 1) \cup (1, \frac{\pi}{2}) \cup \bigcup_{k=1}^{\infty} \left( 2k\pi - \frac{\pi}{2}, 2k\pi + \frac{\pi}{2} \right)$.
✎ Self-Check — 5 questions0 / 5
Q1.The mathematical domain of definition of the real function $f(x) = \sqrt{x - \lfloor x \rfloor}$ is:
Q2.The total number of elements inside the range of the signum function $f(x) = \text{sgn}(x^2 + 1)$ is:
Q3.The domain of the function $f(x) = \frac{1}{\sqrt{|x| - x}}$ is given by the set:
Q4.If the domain of a mapping $f(x)$ is finite and contains $m$ elements, and the range contains $n$ elements, then which relationship is unconditionally true?
Q5.The range of the fraction expression $f(x) = \frac{x^2}{x^2 + 1}$ is:

Advanced Injectivity, Surjectivity & Bijectivity ClassificationTopic 2

Functions are classified by their mapping properties into four main structural types:
  1. One-One (Injective): Every distinct element in the domain maps to a distinct element in the codomain. Algebraically, $f(a_1) = f(a_2) \implies a_1 = a_2$. Geometrically, any horizontal line crosses an injective function's graph at most once.
  2. Many-One: More than one domain element maps to the same output image.
  3. Onto (Surjective): Every element in the codomain has at least one pre-image in the domain, meaning the Range equals the Codomain.
  4. Into: At least one codomain element is left uncovered ($\text{Range} \subset \text{Codomain}$).
A function is Bijective if it is both one-one and onto simultaneously. Bijective functions are important because they are the only functions that are completely invertible.
Worked Examples
1

Determine if the function $f: \mathbb{R} \to \mathbb{R}$ defined by the rule $f(x) = x^3 - 3x^2 + 3x + 5$ is a bijection.

Show solution
To check if the function is a bijection, we must test for both injectivity (one-one) and surjectivity (onto) independently:
  1. Injectivity Test: Let us analyze the derivative of the function to check its monotonicity: \[ f'(x) = 3x^2 - 6x + 3 = 3(x^2 - 2x + 1) = 3(x-1)^2 \] For all real numbers $x$, $(x-1)^2 \ge 0$, which means $f'(x) \ge 0$ everywhere. Since the derivative is non-negative and only vanishes at a single isolated point ($x=1$), the function is strictly increasing across its entire domain. A strictly monotonic function never repeats an output value, which proves it is One-One (Injective).
  2. Surjectivity Test: The function is an odd-degree polynomial expression ($n=3$). Let us look at its behavior at the limits of the domain: \[ \lim_{x \to \infty} f(x) = \infty \quad \text{and} \quad \lim_{x \to -\infty} f(x) = -\infty \] Since the polynomial is continuous, the Intermediate Value Theorem guarantees that it takes every real value between negative and positive infinity. Thus, $\text{Range}(f) = (-\infty, \infty) = \mathbb{R}$. Since the calculated range matches the given codomain ($\mathbb{R}$), the function is Onto (Surjective).
Since the mapping is both injective and surjective simultaneously, it is a valid bijection. Final Answer: $f(x)$ is a Bijective function.
2

Let a mapping be defined as $f: \mathbb{R} \to [0, \infty)$ with the rule $f(x) = x^2$. Analyze the type of function this represents.

Show solution
Let us test the function against our mapping rules:
  • Test for Injectivity: Let us choose two symmetric points around zero, $x_1 = 2$ and $x_2 = -2$. Evaluate their images: $f(2) = 2^2 = 4$ and $f(-2) = (-2)^2 = 4$. Since distinct domain inputs produce identical outputs ($f(2) = f(-2)$), the function is Many-One, not injective.
  • Test for Surjectivity: The function squares real inputs, so its outputs are always non-negative: $\text{Range}(f) = [0, \infty)$. The problem states that the codomain is explicitly restricted to $[0, \infty)$. Since the range equals the codomain, the function is Onto (Surjective).
Combining these properties, the function is classified as many-one and onto. Final Answer: Many-One and Onto (Surjective).
3

Find the number of structural bijections that can be defined from a finite set $A$ to itself, if $|A| = 4$.

Show solution
A bijection maps each element in a set to a unique element in the target set without leaving any elements out. For a finite set of cardinality $n$ mapping to another set of cardinality $n$, let us count the number of choices for each element step-by-step:
  • The first element has exactly $n$ available choices in the target set.
  • The second element has exactly $n-1$ choices remaining (since one was taken and the function must be one-one).
  • The third element has $n-2$ choices remaining, and so on.
Multiply the choices together to find the total number of bijections, which is given by the factorial formula: \[ \text{Total Bijections} = n! \] Substitute the given value $n = 4$ into the formula: \[ \text{Total Bijections} = 4! = 4 \times 3 \times 2 \times 1 = 24 \] Final Answer: 24 distinct bijections.
✎ Self-Check — 5 questions0 / 5
Q1.If a horizontal line can be drawn that crosses the graph of a function at more than one point, the function is classified as:
Q2.Let $f: \mathbb{R} \to \mathbb{R}$ be defined by $f(x) = e^x$. This function is:
Q3.If the cardinality of set $A$ is $3$ and the cardinality of set $B$ is $4$, the total number of surjective functions (onto maps) that can be defined from $A$ to $B$ is:
Q4.A function is completely invertible if and only if it satisfies which of the following conditions?
Q5.The polynomial function $f: \mathbb{R} \to \mathbb{R}$ defined by $f(x) = x^2 - x + 6$ is:
2
Module 2

Advanced Operations & Compositions

Composition of Functions & Inverse Matrix DynamicsTopic 1

The composition of two functions $f$ and $g$ forms a new mapping, denoted as $f \circ g$, which is evaluated as $(f \circ g)(x) = f(g(x))$. For $f \circ g$ to exist, the range of the inner function $g$ must be a subset of the domain of the outer function $f$: $\text{Range}(g) \subseteq \text{Domain}(f)$. Function composition is associative ($(f \circ g) \circ h = f \circ (g \circ h)$) but generally not commutative ($f \circ g \neq g \circ f$). If a function is a bijection, its unique Inverse Function $f^{-1}$ exists, which reverses the mapping and swaps the domain and range columns. The inverse of a composite function follows the socks-and-shoes reversal law: $(f \circ g)^{-1} = g^{-1} \circ f^{-1}$.

Worked Examples
1

Let two real-valued piecewise functions be defined by $f(x) = 2x + 1$ and $g(x) = x^2 - 2$. Find the explicit algebraic expressions for the composite terms (a) $(f \circ g)(x)$ and (b) $(g \circ f)(x)$.

Show solution
  • Part (a): Evaluate $(f \circ g)(x) = f(g(x))$. Substitute the full expression for $g(x)$ into the input slot of function $f$: \[ f(g(x)) = f(x^2 - 2) \] Apply the rule for $f$, which multiplies its input by 2 and adds 1: \[ f(g(x)) = 2(x^2 - 2) + 1 = 2x^2 - 4 + 1 = 2x^2 - 3 \]
  • Part (b): Evaluate $(g \circ f)(x) = g(f(x))$. Substitute the expression for $f(x)$ into the input slot of function $g$: \[ g(f(x)) = g(2x + 1) \] Apply the rule for $g$, which squares its input and subtracts 2: \[ g(f(x)) = (2x + 1)^2 - 2 \] Expand the perfect square expression: \[ g(f(x)) = (4x^2 + 4x + 1) - 2 = 4x^2 + 4x - 1 \]
Notice that $2x^2 - 3 \neq 4x^2 + 4x - 1$, which confirms that function composition is not commutative ($f \circ g \neq g \circ f$). Final Answer: $(f \circ g)(x) = 2x^2 - 3$ and $(g \circ f)(x) = 4x^2 + 4x - 1$.
2

Find the inverse function $f^{-1}(x)$ of the strictly monotonic mapping $f: (2, \infty) \to (5, \infty)$ defined by the rule $f(x) = x^2 - 4x + 9$.

Show solution

To find the inverse function, set the equation equal to $y$ and isolate $x$ in terms of $y$: \[ y = x^2 - 4x + 9 \] Complete the square on the right-hand side to make isolating $x$ simpler: \[ y = (x^2 - 4x + 4) + 5 \implies y = (x - 2)^2 + 5 \] Subtract 5 from both sides of the equation: \[ (x - 2)^2 = y - 5 \] Take the square root of both sides. This introduces a choice of signs: \[ x - 2 = \pm\sqrt{y - 5} \implies x = 2 \pm\sqrt{y - 5} \] To choose the correct sign, check the specified domain of the original function ($x \in (2, \infty)$). Since $x$ must be strictly greater than 2, we must choose the positive sign branch: \[ x = 2 + \sqrt{y - 5} \] Now swap the variable labels to write the final inverse function in terms of $x$: \[ f^{-1}(x) = 2 + \sqrt{x - 5} \] The domain of this inverse function is $(5, \infty)$, which matches the range of the original function. Final Answer: $f^{-1}(x) = 2 + \sqrt{x - 5}$.

3

If $f(x) = \frac{x+1}{x-1}$ for $x \neq 1$, evaluate the multi-tier composite iteration expression $f(f(x))$.

Show solution

Substitute the full expression for $f(x)$ back into itself: \[ f(f(x)) = \frac{f(x) + 1}{f(x) - 1} = \frac{\left(\frac{x+1}{x-1}\right) + 1}{\left(\frac{x+1}{x-1}\right) - 1} \] Multiply both the numerator and the denominator by the common factor $(x-1)$ to simplify the complex fraction: \[ f(f(x)) = \frac{(x + 1) + 1(x - 1)}{(x + 1) - 1(x - 1)} \] Expand and combine the terms in the numerator and denominator: \[ \text{Numerator} = x + 1 + x - 1 = 2x \] \[ \text{Denominator} = x + 1 - x + 1 = 2 \] Divide the simplified terms: \[ f(f(x)) = \frac{2x}{2} = x \] Since $f(f(x)) = x$, the function is its own inverse ($f = f^{-1}$). This type of function is called an involution. Final Answer: $x$.

✎ Self-Check — 5 questions0 / 5
Q1.If $f(x) = \log_e x$ and $g(x) = x^2$, then the composite expression $(g \circ f)(x)$ expands to:
Q2.According to the reversal law for composite inverses, the expression $(f \circ g)^{-1}$ expands to:
Q3.For the composite function $f(g(x))$ to be well-defined, which relationship must hold true between the individual ranges and domains?
Q4.If $f(x) = 3x - 4$, then its inverse function $f^{-1}(x)$ is equal to:
Q5.Which property does function composition always satisfy?
3
Module 3

Functional Symmetry & Periodicity

Even and Odd FunctionsTopic 1

Functions display unique symmetries when their inputs are reflected across zero. A function is Even if it satisfies the condition $f(-x) = f(x)$ for all $x$ in its domain. Geometrically, even graphs are perfectly symmetrical with respect to the vertical y-axis (like $y = x^2$ or $y = \cos x$). A function is Odd if it satisfies $f(-x) = -f(x)$. Geometrically, odd graphs are symmetrical with respect to the origin (like $y = x^3$ or $y = \sin x$). Crucially, any general function can be uniquely decomposed into the sum of an even part and an odd part: $f(x) = \left[\frac{f(x)+f(-x)}{2}\right] + \left[\frac{f(x)-f(-x)}{2}\right]$.

Worked Examples
1

Determine if the function $f(x) = \log_e \left( x + \sqrt{x^2 + 1} \right)$ is even, odd, or neither.

Show solution

To test the symmetry of the function, replace $x$ with $-x$ throughout the expression: \[ f(-x) = \log_e \left( -x + \sqrt{(-x)^2 + 1} \right) = \log_e \left( \sqrt{x^2 + 1} - x \right) \] To find the relationship between $f(-x)$ and $f(x)$, let us rationalize the expression inside the logarithm by multiplying the numerator and denominator by its conjugate $(\sqrt{x^2 + 1} + x)$: \[ \sqrt{x^2 + 1} - x = \frac{(\sqrt{x^2 + 1} - x)(\sqrt{x^2 + 1} + x)}{\sqrt{x^2 + 1} + x} = \frac{(x^2 + 1) - x^2}{x + \sqrt{x^2 + 1}} = \frac{1}{x + \sqrt{x^2 + 1}} \] Substitute this reciprocal back into the logarithm expression: \[ f(-x) = \log_e \left( \frac{1}{x + \sqrt{x^2 + 1}} \right) = \log_e \left( x + \sqrt{x^2 + 1} \right)^{-1} \] Apply the logarithmic power rule to bring the exponent $-1$ out to the front: \[ f(-x) = -1 \cdot \log_e \left( x + \sqrt{x^2 + 1} \right) = -f(x) \] Since $f(-x) = -f(x)$, the function satisfies the algebraic definition of an odd function. Final Answer: $f(x)$ is an Odd function.

2

Find the purely even component function $E(x)$ of the natural exponential function $f(x) = e^x$.

Show solution

According to the functional decomposition theorem, any function can be split into even and odd components. The formula for the even component is: \[ E(x) = \frac{f(x) + f(-x)}{2} \] Substitute our given function $f(x) = e^x$ into this formula: \[ E(x) = \frac{e^x + e^{-x}}{2} \] This specific expression forms the definition of the hyperbolic cosine function ($\cosh x$). We can verify it is even by checking $E(-x) = \frac{e^{-x} + e^{-(-x)}}{2} = \frac{e^{-x} + e^x}{2} = E(x)$. Final Answer: $E(x) = \frac{e^x + e^{-x}}{2}$.

3

If $f(x)$ is an odd function and $g(x)$ is an even function, determine the parity of their product function $h(x) = f(x) \cdot g(x)$.

Show solution

To determine the parity of the product function $h(x)$, replace $x$ with $-x$: \[ h(-x) = f(-x) \cdot g(-x) \] Apply the given parity properties for each individual function ($f(-x) = -f(x)$ and $g(-x) = g(x)$): \[ h(-x) = (-f(x)) \cdot (g(x)) \] Factor out the negative sign: \[ h(-x) = -(f(x) \cdot g(x)) = -h(x) \] Since $h(-x) = -h(x)$, the product function satisfies the definition of an odd function. Final Answer: The product function $h(x)$ is Odd.

✎ Self-Check — 5 questions0 / 5
Q1.The graph of an even function always displays perfect geometric symmetry with respect to:
Q2.Which of the following functions is classified as an odd function?
Q3.The unique function that is classified as both an even function and an odd function simultaneously across its entire domain is:
Q4.If $f(x)$ is an odd function, then the composite function $f(f(x))$ must be:
Q5.The value of the sum of an odd function and an even function is:

Periodic Functions & Standard Fundamental PeriodsTopic 2

A function $f(x)$ is Periodic if its outputs repeat at regular intervals. Mathematically, this means a positive real constant $T$ exists such that $f(x + T) = f(x)$ for all $x$ in the domain. The smallest such positive constant $T$ is called the Fundamental Period. Standard fundamental periods include:
  • $\sin x, \cos x, \sec x, \csc x \implies T = 2\pi$
  • $\tan x, \cot x \implies T = \pi$
  • Fractional part function $\{x\} \implies T = 1$
An important theorem states that scaling the input variable changes the period: if the fundamental period of $f(x)$ is $T$, then the period of $f(kx)$ is $\frac{T}{|k|}$.
Worked Examples
1

Find the fundamental period of the composite trigonometric expression $f(x) = \sin(3x) + \cos(2x)$.

Show solution
To find the fundamental period of a sum of multiple periodic functions, calculate the fundamental period of each individual term first, and then find their Least Common Multiple (LCM):
  • Step 1: Find the period $T_1$ of $\sin(3x)$. The standard period of sine is $2\pi$. Divide by the input scaling factor $k = 3$: \[ T_1 = \frac{2\pi}{3} \]
  • Step 2: Find the period $T_2$ of $\cos(2x)$. The standard period of cosine is $2\pi$. Divide by the input scaling factor $k = 2$: \[ T_2 = \frac{2\pi}{2} = \pi \]
Step 3: Calculate the LCM of the fractional periods $T_1 = \frac{2\pi}{3}$ and $T_2 = \frac{\pi}{1}$. Use the fractional LCM formula ($\text{LCM} = \frac{\text{LCM of Numerators}}{\text{HCF of Denominators}}$): \[ \text{Numerator LCM}(2\pi, \pi) = 2\pi \] \[ \text{Denominator HCF}(3, 1) = 1 \] Combine these results to find the final period $T$: \[ T = \frac{2\pi}{1} = 2\pi \] Final Answer: The fundamental period is $2\pi$.
2

Evaluate the fundamental period of the fractional part expression $f(x) = \{5x\}$.

Show solution

Let us analyze the base function. The standard fractional part function, defined as $\{x\} = x - \lfloor x \rfloor$, repeats its values over a constant interval of length 1. Thus, its standard fundamental period is: \[ T_{\text{base}} = 1 \] The problem introduces an input scaling multiplier of $k = 5$. Apply the scaling theorem, which states that multiplying the input variable divides the fundamental period by that factor: \[ T_{\text{new}} = \frac{T_{\text{base}}}{|k|} = \frac{1}{5} = 0.2 \] Final Answer: $\frac{1}{5}$.

3

Find the fundamental period of the function $f(x) = |\sin x| + |\cos x|$.

Show solution

Let us analyze the individual components first. Taking the absolute value of a trigonometric function folds its negative waves upward, which cuts its period in half: the period of $|\sin x|$ is $\pi$, and the period of $|\cos x|$ is $\pi$. The LCM of these periods is $\pi$.
However, notice that $\sin x$ and $\cos x$ are complementary functions ($\sin(\frac{\pi}{2} + x) = \cos x$). For symmetric expressions involving complementary functions, the true fundamental period can be smaller than the LCM. Let us test if half of the LCM angle ($\frac{\pi}{2}$) satisfies the periodicity definition: \[ f\left(x + \frac{\pi}{2}\right) = \left|\sin\left(x + \frac{\pi}{2}\right)\right| + \left|\cos\left(x + \frac{\pi}{2}\right)\right| \] Apply the trigonometric reduction identities: \[ \sin\left(x + \frac{\pi}{2}\right) = \cos x \quad \text{and} \quad \cos\left(x + \frac{\pi}{2}\right) = -\sin x \] Substitute these expansions back into the expression for the shifted function: \[ f\left(x + \frac{\pi}{2}\right) = |\cos x| + |-\sin x| = |\cos x| + |\sin x| = f(x) \] The function values match exactly over intervals of length $\frac{\pi}{2}$. Therefore, the true fundamental period is $\frac{\pi}{2}$, not $\pi$. Final Answer: $\frac{\pi}{2}$.

✎ Self-Check — 5 questions0 / 5
Q1.The fundamental period of the standard tangent function $y = \tan x$ is equal to:
Q2.If the fundamental period of $f(x)$ is $T$, then the period of the scaled function $f(4x)$ is:
Q3.The fundamental period of the fractional part function $y = \{x\}$ is exactly:
Q4.Which of the following functions is completely non-periodic?
Q5.To calculate the period of a sum of fractional periods using $\frac{\text{LCM of Numerators}}{\text{HCF of Denominators}}$, the fractions must first be:
4
Module 4

Standard Graphs & Visual Transformations

Standard Catalog Functions & PiecesTopic 1

Advanced calculus problems require an intimate familiarity with standard functions and their graphs. These core functions include the Modulus function ($|x|$), the Greatest Integer function ($\lfloor x \rfloor$, which creates a step graph), the Fractional Part function ($\{x\}$), and the Signum function ($\text{sgn}(x)$, which outputs $-1, 0, \text{or } 1$). Understanding the unique properties of these parent functions allows you to analyze domain, range, and continuity graphs quickly.

Worked Examples
1

Solve for $x \in \mathbb{R}$: $\lfloor x \rfloor^2 - 5\lfloor x \rfloor + 6 = 0$.

Show solution
Let us substitute a dummy variable $t = \lfloor x \rfloor$. The equation transforms into a standard quadratic equation: \[ t^2 - 5t + 6 = 0 \implies (t-2)(t-3) = 0 \] This factors to give two discrete integer values for $t$: \[ t = 2 \quad \text{or} \quad t = 3 \] Now substitute back the definition $t = \lfloor x \rfloor$:
  • Branch 1: $\lfloor x \rfloor = 2 \implies 2 \le x < 3$
  • Branch 2: $\lfloor x \rfloor = 3 \implies 3 \le x < 4$
Combine the intervals from both branches using a set union operation. Since the two intervals share a boundary at $3$ ($[2,3) \cup [3,4)$), they merge cleanly into a single continuous interval: \[ x \in [2, 4) \] Final Answer: $x \in [2, 4)$.
2

Find the range of the function $f(x) = \text{sgn}(x^2 - 2x + 2)$, where $\text{sgn}(\cdot)$ denotes the signum function.

Show solution

Let us first analyze the range of the inner quadratic expression: \[ y = x^2 - 2x + 2 \] Complete the square to find the vertex coordinates: \[ y = (x - 1)^2 + 1 \] For all real numbers $x$, $(x-1)^2 \ge 0$. Adding 1 means the expression is always strictly positive: \[ x^2 - 2x + 2 \ge 1 \] Now evaluate this result using the definition of the signum function. The signum function maps inputs based on their sign: \[ \text{sgn}(t) = \begin{cases} -1 & \text{if } t < 0 \\ 0 & \text{if } t = 0 \\ 1 & \text{if } t > 0 \end{cases} \] Since the inner quadratic expression is strictly positive ($y \ge 1 > 0$) for all real inputs, the signum function outputs a constant value of $1$ everywhere. Thus, the range contains only a single element. Final Answer: Range $\in \{1\}$.

3

Simplify the expression $E = \lfloor x \rfloor + \lfloor -x \rfloor$ and state its values for different sets of real numbers.

Show solution
Let us analyze the behavior of this greatest integer expression by splitting the domain into two logical cases:
  • Case 1: $x$ is an integer ($x \in \mathbb{Z}$). By definition, the greatest integer of any integer is just the number itself. Thus, $\lfloor x \rfloor = x$ and $\lfloor -x \rfloor = -x$: \[ E = x + (-x) = 0 \]
  • Case 2: $x$ is not an integer ($x \notin \mathbb{Z}$). We can write $x$ as the sum of an integer part and a fractional part: $x = n + f$, where $n \in \mathbb{Z}$ and $f \in (0, 1)$. Thus, $\lfloor x \rfloor = n$.
    Now evaluate the negative input expression $-x$: \[ -x = -n - f = (-n - 1) + (1 - f) \] Since $f \in (0, 1)$, the new fractional part $(1-f)$ also lies between 0 and 1. Therefore, the greatest integer of this negative expression is: \[ \lfloor -x \rfloor = -n - 1 \] Sum the values from both parts: \[ E = n + (-n - 1) = -1 \]
Combine the results from both cases to write the complete piecewise solution: \[ \lfloor x \rfloor + \lfloor -x \rfloor = \begin{cases} 0 & \text{if } x \in \mathbb{Z} \\ -1 & \text{if } x \notin \mathbb{Z} \end{cases} \] Final Answer: $0$ if $x \in \mathbb{Z}$, and $-1$ if $x \notin \mathbb{Z}$.
✎ Self-Check — 5 questions0 / 5
Q1.The output value of the greatest integer function expression $\lfloor -4.3 \rfloor$ is equal to:
Q2.The fractional part function entry $\{-2.7\}$ evaluates to:
Q3.The solution set of the absolute value inequality $|x - 2| \le 3$ is:
Q4.The value of the signum expression $\text{sgn}(\log_e 1)$ is exactly:
Q5.The range of the fractional part function $y = \{x\}$ is bounded by which interval?

Geometric Transformation of GraphsTopic 2

Graph transformations allow us to deduce the graph of a complex function by applying geometric modifications to the graph of its simpler parent function. Let $y = f(x)$ be a known curve. The rules for transforming graphs are:
  • $f(x) \pm c$: Shifts the graph vertically up or down by $c$ units.
  • $f(x \pm c)$: Shifts the graph horizontally left or right by $c$ units.
  • $-f(x)$: Reflects the graph vertically across the horizontal x-axis.
  • $f(-x)$: Reflects the graph horizontally across the vertical y-axis.
  • $|f(x)|$: Folds all negative parts of the graph upward across the x-axis.
Worked Examples
1

Describe how to obtain the graph of the function $y = |x - 3| + 2$ from the parent absolute value graph $y = |x|$ using a sequence of geometric transformations.

Show solution
Let us break down the expression and trace the transformations step-by-step from the inside out:
  • Step 1: Start with the base parent graph: $y_0 = |x|$. This is a V-shaped graph with its vertex at the origin $(0,0)$.
  • Step 2: Analyze the horizontal change inside the absolute value braces: $x \to x - 3$. This horizontal modification shifts the entire curve 3 units to the right along the x-axis. The vertex moves from $(0,0)$ to $(3,0)$.
  • Step 3: Analyze the vertical change outside the braces: $+ 2$. This vertical modification shifts the entire curve 2 units upward along the y-axis. The vertex moves from $(3,0)$ to its final position at $(3,2)$.
Combining these steps, the graph of $y = |x - 3| + 2$ is a V-shaped curve shifted 3 units right and 2 units up. Final Answer: Shift the graph of $y=|x|$ exactly 3 units right, then shift it 2 units up.
2

Find the number of real roots of the equation $|x| = -x^2 + 4x - 3$ by analyzing the intersection of their graphs.

Show solution
Let us plot and analyze the two curves: $f(x) = |x|$ and $g(x) = -x^2 + 4x - 3$.
  • The graph of $f(x) = |x|$ consists of two straight lines forming a V-shape that starts at $(0,0)$ and opens upward.
  • Let us rewrite the quadratic function $g(x)$ by completing the square: \[ g(x) = -(x^2 - 4x + 4) - 3 + 4 = -(x - 2)^2 + 1 \] This is a parabola with its vertex at $(2, 1)$ that opens downward because of the negative leading coefficient. Its x-intercepts occur where $-(x-2)^2 + 1 = 0 \implies (x-2)^2 = 1 \implies x = 1 \text{ or } x = 3$.
Now analyze the intersection points of the two curves on the coordinate plane:
  • At $x = 1$: $f(1) = |1| = 1$, and $g(1) = 1$. Both functions equal 1 at $x=1$, so $(1,1)$ is a point of intersection.
  • For the region $x > 1$, the downward parabola curves back down toward the x-axis, crossing it at $x=3$. Meanwhile, the line $y=x$ rises continuously. The curves must cross exactly once more between $x=1$ and $x=2$.
  • For negative values of $x$ ($x < 0$), $f(x)$ is positive while $g(x)$ lies entirely below the x-axis, so they never intersect.
Counting the intersection points, the two curves cross exactly twice. Final Answer: Exactly 2 real roots.
3

If the graph of $y = f(x)$ is given, describe how to construct the graph of $y = f(|x|)$ using reflections.

Show solution
Let us analyze the definition of the function $y = f(|x|)$ by looking at the sign of the input variable $x$: \[ f(|x|) = \begin{cases} f(x) & \text{if } x \ge 0 \\ f(-x) & \text{if } x < 0 \end{cases} \] This definition gives us a step-by-step method for transforming the graph:
  • Step 1: For the positive domain ($x \ge 0$), the graph of $f(|x|)$ is identical to the original graph of $f(x)$. Therefore, keep the entire right side of the graph unchanged.
  • Step 2: For the negative domain ($x < 0$), the graph is defined as $f(-x)$, which is the horizontal reflection of the positive side across the y-axis. Therefore, erase the left side of the original graph completely.
  • Step 3: Take the right side of the graph (from Step 1) and reflect it across the vertical y-axis onto the left side.
The resulting graph is perfectly symmetrical with respect to the y-axis, forming an even function. Final Answer: Keep the right side ($x \ge 0$) unchanged, erase the left side, and reflect the right side across the y-axis.
✎ Self-Check — 5 questions0 / 5
Q1.Replacing $x$ with $x + 4$ inside a function's argument shifts its graph:
Q2.The transformation rule that reflects a curve across the horizontal x-axis is:
Q3.To construct the graph of $y = |f(x)|$ from the graph of $y = f(x)$, you must:
Q4.The graph of $y = e^{-x}$ is obtained by reflecting the standard natural exponential curve $y = e^x$ across:
Q5.If a parent graph has a peak at coordinates $(1, 5)$, then the transformed graph $y = f(x - 2) + 3$ will have a corresponding peak at:
5
Module 5

Binary Operations

Commutativity, Associativity, Identity & Inverse ElementsTopic 1

A binary operation $*$ on a non-empty set $A$ is a calculation rule that combines any two elements $a, b \in A$ to produce an output element that also belongs to $A$ (Closure property). Binary operations are classified by four main structural properties:
  • Commutative: If the order of elements can be swapped: $a * b = b * a$.
  • Associative: If the grouping of elements can be changed: $(a * b) * c = a * (b * c)$.
  • Identity Element: An element $e \in A$ is the identity if it leaves other elements unchanged: $a * e = e * a = a$.
  • Inverse Element: An element $b \in A$ is the inverse of $a$ if combining them returns the identity element: $a * b = b * a = e$. The inverse of $a$ is conventionally denoted as $a^{-1}$.
Worked Examples
1

A binary operation $*$ is defined on the set of rational numbers $\mathbb{Q}$ by the rule $a * b = ab + 2$. Determine if this operation is commutative and associative.

Show solution
  • Part (a): Test for Commutativity. Evaluate $b * a$ by reversing the elements in the formula: \[ b * a = ba + 2 \] Since standard multiplication of rational numbers is commutative ($ab = ba$), we can see that: \[ a * b = ab + 2 = ba + 2 = b * a \] Since $a * b = b * a$ for all elements, the operation is Commutative.
  • Part (b): Test for Associativity. Let us evaluate and compare the two grouping configurations: \[ \text{Left Grouping: } (a * b) * c = (ab + 2) * c \] Apply the operation rule treating $(ab+2)$ as the first element: \[ (ab + 2) * c = (ab + 2)c + 2 = abc + 2c + 2 \] \[ \text{Right Grouping: } a * (b * c) = a * (bc + 2) \] Apply the operation rule treating $(bc+2)$ as the second element: \[ a * (bc + 2) = a(bc + 2) + 2 = abc + 2a + 2 \] Comparing the two results, $abc + 2c + 2 \neq abc + 2a + 2$ unless $a = c$. Since the results are not equal for all elements, the operation is not Associative.
Final Answer: The operation $*$ is Commutative but not Associative.
2

Find the identity element $e$ for the binary operation defined on the set of real numbers $\mathbb{R} \setminus \{-1\}$ by the rule $a * b = a + b + ab$.

Show solution

By definition, an element $e$ is the identity element if it satisfies the condition $a * e = a$ for all elements $a$ in the set. Apply the operation rule to the expression $a * e$: \[ a + e + ae = a \] Subtract $a$ from both sides of the equation: \[ e + ae = 0 \] Factor out the identity variable $e$: \[ e(1 + a) = 0 \] Since the domain explicitly excludes $-1$ ($a \neq -1$), the term $(1+a)$ is never zero. Therefore, we can divide both sides by $(1+a)$ to solve for $e$: \[ e = 0 \] Let us verify this result by checking the other side: $0 * a = 0 + a + 0 \cdot a = a$. The identity element is confirmed. Final Answer: The identity element is $e = 0$.

3

Using the binary operation from the previous problem ($a * b = a + b + ab$ with identity $e = 0$), find the inverse element $a^{-1}$ of an arbitrary element $a$.

Show solution

By definition, an element $b$ is the inverse of $a$ if combining them returns the identity element ($a * b = e$). From the previous problem, we know the identity element is $e = 0$. Set up the inverse equation: \[ a * b = 0 \implies a + b + ab = 0 \] Group the terms containing $b$ to isolate it: \[ b + ab = -a \implies b(1 + a) = -a \] Divide both sides by the factor $(1+a)$ (which is valid since $a \neq -1$): \[ b = -\frac{a}{1 + a} \] Thus, the inverse of any element $a$ is given by the formula $-\frac{a}{1+a}$. Final Answer: $a^{-1} = -\frac{a}{1 + a}$.

✎ Self-Check — 5 questions0 / 5
Q1.A binary operation $*$ on a set $A$ is commutative if it satisfies which of the following equations for all elements?
Q2.For the binary operation $a * b = \frac{ab}{4}$ defined on the set of positive real numbers, the identity element $e$ is:
Q3.Under the standard operation of matrix multiplication, the identity element is:
Q4.If an operation is defined as $a * b = a^b$ on the set of natural numbers $\mathbb{N}$, it fails to be commutative because:
Q5.An element $b$ is the inverse of $a$ under a binary operation if combining them returns:

Ready to test yourself?

Attempt the full timed mock tests — Main & Advanced level.

Start Mock Test 1 →