Class 12 Maths, Worked in Full Past papersGet updates
Chapter 1 · Relations and Functions

Miscellaneous · Q1: f(x)=x1+∣x∣f(x)=\frac{x}{1+|x|} is a bijection onto (−1,1)(-1,1)

Miscellaneous ExerciseOne-one and onto functions · Miscellaneous Exercise
The question

Show that the function f:R→{x∈R:−1<x<1}f : \R \to \{x \in \R : -1 < x < 1\} defined by f(x)=x1+∣x∣,x∈R,f(x) = \frac{x}{1+|x|}, \qquad x \in \R, is one one and onto function.

Exam answer

Since 1+∣x∣≥1>01 + |x| \ge 1 > 0⁠, ff is defined on R\R⁠, and

∣f(x)∣=∣x∣1+∣x∣<1|f(x)| = \frac{|x|}{1 + |x|} < 1

so f(x)∈(−1,1)f(x) \in (-1, 1)⁠. Also f(x)f(x) has the same sign as xx⁠, and

f(x)={x1+x,x≥0x1−x,x<0f(x) = \begin{cases} \dfrac{x}{1 + x}, & x \ge 0 \\[2mm] \dfrac{x}{1 - x}, & x < 0 \end{cases}

One-one: Let f(x1)=f(x2)f(x_1) = f(x_2)⁠. Then x1,x2x_1, x_2 are both ≥0\ge 0 or both <0< 0⁠.

If x1,x2≥0x_1, x_2 \ge 0⁠:

x11+x1=x21+x2⇒ x1+x1x2=x2+x1x2⇒ x1=x2\begin{aligned} & \frac{x_1}{1 + x_1} = \frac{x_2}{1 + x_2} \\ \Rightarrow\ & x_1 + x_1x_2 = x_2 + x_1x_2 \\ \Rightarrow\ & x_1 = x_2 \end{aligned}

If x1,x2<0x_1, x_2 < 0⁠:

x11−x1=x21−x2⇒ x1−x1x2=x2−x1x2⇒ x1=x2\begin{aligned} & \frac{x_1}{1 - x_1} = \frac{x_2}{1 - x_2} \\ \Rightarrow\ & x_1 - x_1x_2 = x_2 - x_1x_2 \\ \Rightarrow\ & x_1 = x_2 \end{aligned}

Thus ff is one-one.

Onto: Let y∈(−1,1)y \in (-1, 1)⁠.

If 0≤y<10 \le y < 1⁠, take x=y1−y≥0x = \frac{y}{1 - y} \ge 0⁠. Then 1+x=11−y1 + x = \frac{1}{1 - y}⁠, so f(x)=x1+x=yf(x) = \frac{x}{1 + x} = y⁠.

If −1<y<0-1 < y < 0⁠, take x=y1+y<0x = \frac{y}{1 + y} < 0⁠. Then 1−x=11+y1 - x = \frac{1}{1 + y}⁠, so f(x)=x1−x=yf(x) = \frac{x}{1 - x} = y⁠.

Thus ff is onto.

Hence ff is one-one and onto.

Want the reason behind every step, the basics and the checks?

The one idea this problem is built on

The absolute value ∣x∣|x| has two different formulas: xx when x≥0x\ge 0 and −x-x when x<0x<0⁠. Everything here works by splitting into these two cases. The key observation that makes the split clean is that f(x)f(x) always has the same sign as xx, because the denominator 1+∣x∣1+|x| is always positive. So equal outputs force the inputs onto the same side of 0, and inside one case ff is a simple fraction we can solve exactly.

Given, to show, and the plan
Given
f(x)=x1+∣x∣f(x) = \dfrac{x}{1+|x|} for every real xx⁠. The codomain is the open interval (−1,1)(-1,1)⁠, so −1-1 and 11 themselves are excluded.
To show
(a) ff is one-one; (b) ff is onto (−1,1)(-1,1)⁠.
Plan
(1) Check every output really lies in (−1,1)(-1,1)⁠. (2) Note the sign rule. (3) One-one: assume f(x1)=f(x2)f(x_1)=f(x_2) and show x1=x2x_1=x_2⁠, case by case. (4) Onto: for any y∈(−1,1)y\in(-1,1)⁠, solve f(x)=yf(x)=y for xx⁠, case by case, and check the solution. (5) Conclude, and read off the inverse.

Basics you need

1Absolute value

∣x∣=x|x| = x if x≥0x \ge 0⁠, and ∣x∣=−x|x| = -x if x<0x < 0⁠. It is always ≥0\ge 0⁠, and ∣x∣<1+∣x∣|x| < 1+|x| for every xx (a number is always less than itself plus 1).

2Domain, codomain, range

For f:A→Bf : A \to B⁠, the codomain BB is where outputs are allowed to land; "onto" asks whether they land on all of it. Before testing onto, make sure every output actually lies in BB⁠. Basics: what a function is

3One-one and onto

One-one: f(x1)=f(x2)⇒x1=x2f(x_1)=f(x_2)\Rightarrow x_1=x_2⁠. Onto: every yy in the codomain equals f(x)f(x) for some xx in the domain. Basics: one-one and onto

4Proof by cases

If every possibility falls into one of a few cases, proving the claim in each case proves it outright. The cases must cover everything, and each case may use its own facts (here, its own formula for ∣x∣|x|⁠). Basics: proving and disproving

5Solving a fractional equation

To solve x1+x=y\dfrac{x}{1+x} = y⁠, multiply both sides by the denominator (only allowed because it is not zero), collect the xx-terms on one side, and divide.

Solution

  1. Every output lands inside (−1,1)(-1,1)

    The denominator satisfies 1+∣x∣≥1>01+|x| \ge 1 > 0⁠, so it is never zero and f(x)f(x) is defined for every real xx⁠. Now compare the size of the top and the bottom:

    ∣f(x)∣=∣x∣1+∣x∣<1,because ∣x∣<1+∣x∣.|f(x)| = \frac{|x|}{1+|x|} < 1, \qquad \text{because } |x| < 1+|x|.

    So −1<f(x)<1-1 < f(x) < 1 for every x∈Rx\in\R⁠. The function really does map R\R into the stated codomain (−1,1)(-1,1)⁠.

    The question names (−1,1)(-1,1) as the codomain. Before asking "is every point of (−1,1)(-1,1) reached?", we must confirm that no output escapes it. A fraction whose numerator is smaller in size than its positive denominator always has size less than 1. Note the inequality is strict: f(x)f(x) can get as close to ±1\pm1 as we like but never equals ±1\pm1⁠, which matches the open interval.
    For a fraction pq\frac{p}{q} with q>0q>0⁠, ∣pq∣=∣p∣q\left|\frac{p}{q}\right| = \frac{|p|}{q}⁠, and this is less than 1 exactly when ∣p∣<q|p| < q⁠.
  2. The sign rule: f(x)f(x) has the same sign as xx

    Since the denominator 1+∣x∣1+|x| is positive, the sign of f(x)f(x) is the sign of its numerator xx⁠:

    x>0⇒f(x)>0,x=0⇒f(x)=0,x<0⇒f(x)<0.\begin{gathered} x > 0 \Rightarrow f(x) > 0, \\ x = 0 \Rightarrow f(x) = 0, \\ x < 0 \Rightarrow f(x) < 0. \end{gathered}

    So the two formulas for ∣x∣|x| give two formulas for ff⁠:

    f(x)={x1+x,x≥0,x1−x,x<0.f(x) = \begin{cases} \dfrac{x}{1+x}, & x \ge 0, \\[2mm] \dfrac{x}{1-x}, & x < 0. \end{cases}

    The first formula gives outputs in [0,1)[0,1)⁠, the second outputs in (−1,0)(-1,0)⁠.

    −6−4−2246 10.5−0.5−1 (3, 3/4) (−1, −1/2) y = 1 (never reached) y = −1 (never reached) the line y = 3/4 meets the graph exactly once x
    The graph of y=x1+∣x∣y = \frac{x}{1+|x|} (horizontal and vertical scales differ). It rises steadily, passes through the origin, and flattens towards y=±1y=\pm1 without reaching them. Every horizontal line strictly between −1-1 and 11 meets it exactly once: once means one-one, and "at least once" means onto (−1,1)(-1,1)⁠.
    This step is what makes the case analysis safe. If we know f(x1)=f(x2)f(x_1)=f(x_2)⁠, the two outputs have the same sign, so x1x_1 and x2x_2 have the same sign too, and we may use the same formula for both. Without this observation we would also have to handle mixed cases, such as x1≥0>x2x_1 \ge 0 > x_2⁠.
    Dividing by a positive number never changes the sign. Absolute value: ∣x∣=x|x|=x for x≥0x\ge0 and ∣x∣=−x|x|=-x for x<0x<0 (Basic 1).
  3. One-one: equal outputs force equal inputs

    Suppose f(x1)=f(x2)=cf(x_1) = f(x_2) = c⁠. By Step 2 there are three possibilities for the common value cc⁠.

    Case c=0c = 0⁠. Only x=0x = 0 gives output 0 (the numerator must be 0), so x1=x2=0x_1 = x_2 = 0⁠.

    Case c>0c > 0⁠. Then x1>0x_1 > 0 and x2>0x_2 > 0⁠, so both use f(x)=x1+xf(x) = \frac{x}{1+x}⁠:

    x11+x1=x21+x2⟹ x1(1+x2)=x2(1+x1)⟹ x1+x1x2=x2+x1x2⟹ x1=x2.\begin{aligned} & \frac{x_1}{1+x_1} = \frac{x_2}{1+x_2} \\ \Longrightarrow\ & x_1(1+x_2) = x_2(1+x_1) \\ \Longrightarrow\ & x_1 + x_1x_2 = x_2 + x_1x_2 \\ \Longrightarrow\ & x_1 = x_2. \end{aligned}

    Case c<0c < 0⁠. Then x1<0x_1 < 0 and x2<0x_2 < 0⁠, so both use f(x)=x1−xf(x) = \frac{x}{1-x}⁠:

    x11−x1=x21−x2⟹ x1(1−x2)=x2(1−x1)⟹ x1−x1x2=x2−x1x2⟹ x1=x2.\begin{aligned} & \frac{x_1}{1-x_1} = \frac{x_2}{1-x_2} \\ \Longrightarrow\ & x_1(1-x_2) = x_2(1-x_1) \\ \Longrightarrow\ & x_1 - x_1x_2 = x_2 - x_1x_2 \\ \Longrightarrow\ & x_1 = x_2. \end{aligned}

    In every case x1=x2x_1 = x_2⁠, so ff is one-one.

    We cross-multiply because it clears the fractions. That is legal since 1+x11+x_1⁠, 1+x21+x_2 (in the positive case) and 1−x11-x_1⁠, 1−x21-x_2 (in the negative case) are all positive, never zero. After expanding, the product term x1x2x_1x_2 appears on both sides and cancels, leaving x1=x2x_1 = x_2⁠. That cancellation is the whole reason this function is one-one. The three cases cover every possible value of cc⁠, so the proof is complete.
    Proof by cases (Basic 4): the cases c=0c=0⁠, c>0c>0 and c<0c<0 exhaust all real numbers. One-one means f(x1)=f(x2)⇒x1=x2f(x_1)=f(x_2) \Rightarrow x_1=x_2 (Basic 3).
  4. Onto: solve f(x)=yf(x) = y for every yy in (−1,1)(-1,1)

    Take any yy with −1<y<1-1 < y < 1⁠. We look for a real xx with f(x)=yf(x) = y⁠. The sign rule tells us which case to search in.

    If 0≤y<10 \le y < 1⁠: look for x≥0x \ge 0⁠, so solve x1+x=y\dfrac{x}{1+x} = y⁠:

    x=y(1+x)=y+yx⟹ x−yx=y⟹ x(1−y)=y⟹ x=y1−y.\begin{aligned} & x = y(1+x) = y + yx \\ \Longrightarrow\ & x - yx = y \\ \Longrightarrow\ & x(1-y) = y \\ \Longrightarrow\ & x = \frac{y}{1-y}. \end{aligned}

    Because y<1y<1⁠, 1−y>01-y>0⁠, so the division is allowed. Because y≥0y\ge0⁠, x=y1−y≥0x = \frac{y}{1-y} \ge 0⁠, so this xx really is in the case we assumed. Check: 1+x=1−y+y1−y=11−y1 + x = \frac{1-y+y}{1-y} = \frac{1}{1-y}⁠, so

    f(x)=x1+x=y/(1−y)1/(1−y)=y. ✓f(x) = \frac{x}{1+x} = \frac{y/(1-y)}{1/(1-y)} = y. \ ✓

    If −1<y<0-1 < y < 0⁠: look for x<0x < 0⁠, so solve x1−x=y\dfrac{x}{1-x} = y⁠:

    x=y(1−x)=y−yx⟹ x+yx=y⟹ x(1+y)=y⟹ x=y1+y.\begin{aligned} & x = y(1-x) = y - yx \\ \Longrightarrow\ & x + yx = y \\ \Longrightarrow\ & x(1+y) = y \\ \Longrightarrow\ & x = \frac{y}{1+y}. \end{aligned}

    Because y>−1y > -1⁠, 1+y>01+y>0⁠, so the division is allowed, and because y<0y<0⁠, x=y1+y<0x = \frac{y}{1+y} < 0⁠, so xx is in the assumed case. Check: 1−x=1+y−y1+y=11+y1 - x = \frac{1+y-y}{1+y} = \frac{1}{1+y}⁠, so

    f(x)=x1−x=y/(1+y)1/(1+y)=y. ✓f(x) = \frac{x}{1-x} = \frac{y/(1+y)}{1/(1+y)} = y. \ ✓

    Every y∈(−1,1)y\in(-1,1) has a preimage, so ff is onto (−1,1)(-1,1).

    This is where the open interval matters. The formula x=y1−yx = \frac{y}{1-y} breaks down exactly at y=1y = 1 (division by zero), and y1+y\frac{y}{1+y} breaks down at y=−1y=-1⁠. These are precisely the two values excluded from the codomain. If the question had used R\R as the codomain, onto would be false: no xx gives f(x)=1f(x)=1⁠. The check at the end of each case is not optional. Solving an equation finds the only candidate; the check confirms that it lies in the right case and really works.
    Onto means: for each yy in the codomain, find an xx in the domain with f(x)=yf(x)=y (Basic 3). Multiplying both sides by a non-zero quantity keeps an equation equivalent (Basic 5).
  5. Conclude, and read off the inverse

    ff is one-one (Step 3) and onto (−1,1)(-1,1) (Step 4), so it is a bijection from R\R to (−1,1)(-1,1)⁠. The two formulas of Step 4 combine into one, because 1−y1-y for y≥0y\ge0 and 1+y1+y for y<0y<0 are both 1−∣y∣1-|y|⁠:

    f−1(y)=y1−∣y∣,−1<y<1.f^{-1}(y) = \frac{y}{1-|y|}, \qquad -1<y<1.
    A bijection can be undone, and Step 4 has already done the undoing: it found the unique input for each output. Writing the result as one formula shows the pleasing symmetry. ff squeezes the whole real line into (−1,1)(-1,1) by dividing by 1+∣x∣1+|x|⁠, and f−1f^{-1} stretches it back out by dividing by 1−∣y∣1-|y|⁠.
    A function has an inverse exactly when it is one-one and onto. Lesson: invertible functions
Result

f(x)=x1+∣x∣f(x) = \dfrac{x}{1+|x|} maps R\R into (−1,1)(-1,1)⁠. It is one-one, because equal outputs share a sign and the cross-multiplied equation reduces to x1=x2x_1 = x_2 in each case. It is onto (−1,1)(-1,1)⁠, because every yy has the preimage y1−y\frac{y}{1-y} (for y≥0y\ge0⁠) or y1+y\frac{y}{1+y} (for y<0y<0⁠). Hence ff is a bijection, with inverse f−1(y)=y1−∣y∣f^{-1}(y) = \dfrac{y}{1-|y|}⁠.

Check it with numbers

Forward: f(3)=31+3=34f(3) = \frac{3}{1+3} = \frac34 and f(−1)=−11+1=−12f(-1) = \frac{-1}{1+1} = -\frac12⁠. Back: f−1 ⁣(34)=3/41−3/4=3/41/4=3f^{-1}\!\left(\frac34\right) = \frac{3/4}{1-3/4} = \frac{3/4}{1/4} = 3 ✓, and f−1 ⁣(−12)=−1/21−1/2=−1f^{-1}\!\left(-\frac12\right) = \frac{-1/2}{1-1/2} = -1 ✓. Near the edge: y=0.99y = 0.99 needs x=0.990.01=99x = \frac{0.99}{0.01} = 99⁠. Getting close to 1 requires a very large xx⁠, which is why 1 itself is never reached.

Common mistakes
  1. Ignoring the absolute value and solving x1+x=y\frac{x}{1+x}=y for all yy⁠. That formula only describes ff for x≥0x\ge0⁠; for negative yy it would give a positive-case xx that is actually negative, so it would not be a valid preimage.
  2. Skipping Step 1. Without showing ∣f(x)∣<1|f(x)|<1⁠, "onto (−1,1)(-1,1)" is not even a well-posed claim.
  3. Mixing cases in the one-one proof without justification. The sign rule is what rules out x1≥0>x2x_1\ge0>x_2⁠.
  4. Not checking the solved xx lies in the case assumed (x≥0x\ge0 or x<0x<0⁠).
What to take away
  1. When ∣x∣|x| appears, split into x≥0x\ge0 and x<0x<0⁠. Then find a fact (here, the sign rule) that tells you both inputs fall in the same case.
  2. The excluded endpoints of the codomain are exactly where the inverse formula divides by zero. That is a good sanity check on any "onto" claim.
  3. The algebra in Step 4 is the inverse function. A proof of onto by solving f(x)=yf(x)=y gives you f−1f^{-1} for free.

Every fact used, and where it comes from

FactUsed inSource
∣x∣=x|x| = x for x≥0x\ge0⁠, −x-x for x<0x<0⁠; ∣x∣<1+∣x∣|x| < 1+|x|Steps 1–4Definition of absolute value
Positive denominator keeps the signStep 2Arithmetic of signs
Cross-multiplication with non-zero denominatorsSteps 3, 4Algebra of equations
Definitions of one-one, onto, bijectiveSteps 3–5Definitions 5–7, Section 1.3 (Lesson: types of functions)
Bijective ⇔ invertibleStep 5Definition 9 and Section 1.4 (Lesson: invertible functions)
All numerical valuesCheckRecomputed exactly (fractions) in the site's verification script
Found an error, or want more?

Tell us if something on this page is wrong or unclear, or if you would like a fuller explanation, another method or a new feature. Send feedback on this problem →