Skip to main content
Back to Sets, Relations & Functions
JEE Main 2023
Sets, Relations & Functions
Functions
Hard

Question

Let f(x)={a if ax0x+a if 0<xaf(x)=\left\{\begin{array}{ccc}-\mathrm{a} & \text { if } & -\mathrm{a} \leq x \leq 0 \\ x+\mathrm{a} & \text { if } & 0< x \leq \mathrm{a}\end{array}\right. where a>0\mathrm{a}> 0 and g(x)=(f(x)f(x))/2\mathrm{g}(x)=(f(|x|)-|f(x)|) / 2. Then the function g:[a,a][a,a]g:[-a, a] \rightarrow[-a, a] is

Options

Solution

Key Concepts and Formulas

  • Piecewise Functions: A function defined by different formulas over different intervals of its domain.
  • Absolute Value Function: x=x|x| = x if x0x \ge 0 and x=x|x| = -x if x<0x < 0. This is fundamental for evaluating f(x)f(|x|) and f(x)|f(x)|.
  • Properties of Functions:
    • One-one (Injective): A function hh is one-one if distinct inputs map to distinct outputs (h(x1)=h(x2)    x1=x2h(x_1) = h(x_2) \implies x_1 = x_2). Graphically, this means no horizontal line intersects the graph more than once.
    • Onto (Surjective): A function h:ABh: A \to B is onto if every element in the codomain BB has at least one corresponding element in the domain AA (i.e., the range of hh is equal to the codomain BB).

Step-by-Step Solution

We are given the function f(x)f(x) and need to determine the properties of g(x)=(f(x)f(x))/2g(x) = (f(|x|) - |f(x)|) / 2 on the domain [a,a][-a, a].

Step 1: Analyze the function f(x)f(x) The function f(x)f(x) is defined as: f(x)={a if ax0x+a if 0<xaf(x)=\left\{\begin{array}{ccc}-\mathrm{a} & \text { if } & -\mathrm{a} \leq x \leq 0 \\ x+\mathrm{a} & \text { if } & 0< x \leq \mathrm{a}\end{array}\right. where a>0a > 0.

Let's examine the behavior of f(x)f(x) in its two intervals:

  • For ax0-a \le x \le 0, f(x)=af(x) = -a. This is a constant function. The range for this part is {a}\{-a\}.
  • For 0<xa0 < x \le a, f(x)=x+af(x) = x+a. This is a linear function with a positive slope.
    • When xx approaches 0 from the right (x0+x \to 0^+), f(x)0+a=af(x) \to 0+a = a.
    • When x=ax = a, f(x)=a+a=2af(x) = a+a = 2a. The range for this part is (a,2a](a, 2a].

Combining these, the range of f(x)f(x) on [a,a][-a, a] is {a}(a,2a]\{-a\} \cup (a, 2a].

Step 2: Determine f(x)f(|x|) We need to consider the definition of x|x| for different intervals of xx in [a,a][-a, a].

  • Case 1: ax0-a \le x \le 0 In this interval, x=x|x| = -x. Since ax0-a \le x \le 0, we have 0xa0 \le -x \le a. Therefore, f(x)=f(x)=af(|x|) = f(-x) = -a, because x-x falls into the interval [0,a][0, a] where ff is defined as x+ax+a if 0<xa0<x \le a and as a-a if ax0-a \le x \le 0. However, we need to be careful about the input to ff. Since 0xa0 \le -x \le a, we need to check the definition of ff for inputs in [0,a][0, a]. If x=0-x = 0, then x=0x=0. f(0)=af(0) = -a. If 0<xa0 < -x \le a, then f(x)=(x)+a=axf(-x) = (-x) + a = a-x. So, for ax<0-a \le x < 0, x=x|x| = -x and 0<xa0 < |x| \le a. Thus f(x)=f(x)=(x)+a=axf(|x|) = f(-x) = (-x) + a = a-x. For x=0x=0, x=0|x|=0, so f(x)=f(0)=af(|x|) = f(0) = -a. Therefore, for ax0-a \le x \le 0: f(x)={axif ax<0aif x=0f(|x|) = \begin{cases} a-x & \text{if } -a \le x < 0 \\ -a & \text{if } x=0 \end{cases} This can be simplified. If x=0x=0, ax=aa-x=a. But f(0)=af(0)=-a. So the piecewise definition is needed. Let's re-evaluate carefully. For ax<0-a \le x < 0: x=x|x| = -x. Since 0<xa0 < -x \le a, f(x)=f(x)=(x)+a=axf(|x|) = f(-x) = (-x) + a = a-x. For x=0x = 0: x=0|x| = 0. f(x)=f(0)=af(|x|) = f(0) = -a.

  • Case 2: 0<xa0 < x \le a In this interval, x=x|x| = x. Since 0<xa0 < x \le a, f(x)=f(x)=x+af(|x|) = f(x) = x+a.

Combining these, we have: f(x)={axif ax<0aif x=0x+aif 0<xaf(|x|) = \begin{cases} a-x & \text{if } -a \le x < 0 \\ -a & \text{if } x=0 \\ x+a & \text{if } 0 < x \le a \end{cases}

Step 3: Determine f(x)|f(x)| We need to consider the sign of f(x)f(x) in its domain [a,a][-a, a].

  • Case 1: ax0-a \le x \le 0 Here, f(x)=af(x) = -a. Since a>0a > 0, a<0-a < 0. So, f(x)=a=a|f(x)| = |-a| = a.

  • Case 2: 0<xa0 < x \le a Here, f(x)=x+af(x) = x+a. Since 0<xa0 < x \le a and a>0a > 0, we have a<x+a2aa < x+a \le 2a. Thus, f(x)>0f(x) > 0. So, f(x)=x+a=x+a|f(x)| = |x+a| = x+a.

Combining these, we have: f(x)={aif ax0x+aif 0<xa|f(x)| = \begin{cases} a & \text{if } -a \le x \le 0 \\ x+a & \text{if } 0 < x \le a \end{cases}

Step 4: Determine g(x)=(f(x)f(x))/2g(x) = (f(|x|) - |f(x)|) / 2 Now we substitute the expressions for f(x)f(|x|) and f(x)|f(x)| into the formula for g(x)g(x). We need to consider the intervals for xx.

  • Interval 1: ax<0-a \le x < 0 From Step 2, f(x)=axf(|x|) = a-x. From Step 3, f(x)=a|f(x)| = a. So, g(x)=((ax)a)/2=(x)/2=x/2g(x) = ( (a-x) - a ) / 2 = (-x) / 2 = -x/2.

  • Interval 2: x=0x = 0 From Step 2, f(x)=f(0)=af(|x|) = f(0) = -a. From Step 3, f(x)=f(0)=a=a|f(x)| = |f(0)| = |-a| = a. So, g(x)=((a)a)/2=(2a)/2=ag(x) = ( (-a) - a ) / 2 = (-2a) / 2 = -a.

  • Interval 3: 0<xa0 < x \le a From Step 2, f(x)=x+af(|x|) = x+a. From Step 3, f(x)=x+a|f(x)| = x+a. So, g(x)=((x+a)(x+a))/2=0/2=0g(x) = ( (x+a) - (x+a) ) / 2 = 0 / 2 = 0.

Combining these results, we get the piecewise definition of g(x)g(x) on [a,a][-a, a]: g(x)={x/2 if ax<0a if x=00 if 0<xag(x)=\left\{\begin{array}{ccc}-x/2 & \text { if } & -a \leq x < 0 \\ -a & \text { if } & x=0 \\ 0 & \text { if } & 0< x \leq a\end{array}\right.

Step 5: Analyze the properties of g(x)g(x) (One-one and Onto)

  • One-one (Injective) Property: Let's examine the function g(x)g(x) in each interval:

    • For ax<0-a \le x < 0, g(x)=x/2g(x) = -x/2. This is a linear function with a negative slope. For any two distinct values x1,x2x_1, x_2 in [a,0)[-a, 0) with x1x2x_1 \ne x_2, we have x1/2x2/2-x_1/2 \ne -x_2/2. So, g(x)g(x) is one-one on [a,0)[-a, 0).
    • At x=0x=0, g(0)=ag(0) = -a.
    • For 0<xa0 < x \le a, g(x)=0g(x) = 0. This is a constant function. All values in (0,a](0, a] map to 00. For example, g(0.1)=0g(0.1) = 0 and g(0.2)=0g(0.2) = 0, but 0.10.20.1 \ne 0.2. Therefore, g(x)g(x) is not one-one on (0,a](0, a].

    Since g(x)g(x) is not one-one on its entire domain [a,a][-a, a] (specifically, on the interval (0,a](0, a]), the function gg is not one-one.

  • Onto (Surjective) Property: The codomain of g(x)g(x) is given as [a,a][-a, a]. We need to determine the range of g(x)g(x) and check if it equals [a,a][-a, a].

    Let's find the range of g(x)g(x) for each part of its definition:

    • For ax<0-a \le x < 0, g(x)=x/2g(x) = -x/2.

      • When x=ax = -a, g(a)=(a)/2=a/2g(-a) = -(-a)/2 = a/2.
      • As xx approaches 00 from the left (x0x \to 0^-), g(x)=x/20g(x) = -x/2 \to 0. The range for this part is (0,a/2](0, a/2].
    • At x=0x=0, g(0)=ag(0) = -a.

    • For 0<xa0 < x \le a, g(x)=0g(x) = 0. The range for this part is {0}\{0\}.

    Combining the ranges from these parts, the overall range of g(x)g(x) on [a,a][-a, a] is: Range of g=(0,a/2]{a}{0}={a}[0,a/2]g = (0, a/2] \cup \{-a\} \cup \{0\} = \{-a\} \cup [0, a/2].

    The codomain is [a,a][-a, a]. The range of gg is {a}[0,a/2]\{-a\} \cup [0, a/2]. Since the range {a}[0,a/2]\{-a\} \cup [0, a/2] is not equal to the codomain [a,a][-a, a] (for example, the value a/2+ϵa/2 + \epsilon for small ϵ>0\epsilon > 0 is in the codomain but not in the range), the function gg is not onto.

Common Mistakes & Tips

  • Careful handling of absolute values: Ensure that the definition of x|x| is applied correctly based on the sign of xx, and similarly for f(x)|f(x)| based on the sign of f(x)f(x). Pay close attention to the endpoints of intervals.
  • Piecewise definitions for f(x)f(|x|) and f(x)|f(x)|: When constructing the piecewise definitions for f(x)f(|x|) and f(x)|f(x)|, ensure that the correct interval for the input to ff (in the case of f(x)f(|x|)) or the correct condition for the sign of f(x)f(x) (in the case of f(x)|f(x)|) is used.
  • Domain of g(x)g(x): When analyzing g(x)g(x), break it down into the same intervals as derived from the definitions of f(x)f(|x|) and f(x)|f(x)|. Evaluate g(x)g(x) for each part and then check the one-one and onto properties for the entire domain [a,a][-a, a].
  • Range vs. Codomain: For a function to be onto, its range must be exactly equal to its codomain.

Summary

The function g(x)g(x) was constructed by carefully evaluating f(x)f(|x|) and f(x)|f(x)| over the domain [a,a][-a, a], considering the piecewise definition of f(x)f(x) and the properties of the absolute value function. This led to a piecewise definition for g(x)g(x). Upon analyzing this definition, it was found that g(x)g(x) is not one-one because the interval (0,a](0, a] maps to a single value (0), and g(x)g(x) is not onto because its range, {a}[0,a/2]\{-a\} \cup [0, a/2], is a proper subset of the codomain [a,a][-a, a].

The final answer is \boxed{A}.

Practice More Sets, Relations & Functions Questions

View All Questions