Why f Inverse of f Can Fail Outside a Restricted Domain
A worked explanation of why f inverse of f can fail outside a restricted domain, including the key limitation and a checkable example.
Composing F Inverse of F Fails Outside a Restricted Domain: The Exact Moment
Composing f inverse of f fails outside a restricted domain the instant the original function is not one-to-one on the set of inputs you are using. That failure is not theoretical; it happens with concrete numbers. Take f(x) = x², which is not one-to-one on the real numbers because both, 3 and 3 map to 9. The proposed inverse is g(x) = √x, the principal square root. Compose them: g(f(, 3)) = g(9) = √9 = 3. You put in, 3 but got back 3. The composition did not return the original input. This is exactly why the question of when composing a function with its proposed inverse stops returning the original input is answered by checking whether the input lies within a restricted domain where f is one-to-one. Here, the failure is immediate and arithmetic.
Why F Inverse of F Can Fail Outside a Restricted Domain Example
Use f(x) = x², 4, a quadratic with two real roots. Without restriction, f is not one-to-one. Pick x =, 3. Compute f(, 3) = 9-4 = 5. The proposed inverse solves for x: start with y = x², 4, switch to x = y², 4, solve y = √(x + 4). Use the principal square root. Compose: f⁻¹(f(, 3)) = √(5 + 4) = √9 = 3. Output 3, not, 3. Failure case: any negative input with a positive square root return. The composition fails because the inverse function was defined on the restricted domain [0, ∞) to make f one-to-one, but, 3 is not in that domain.
Calculation Steps
Work a second example step by step. Use f(x) = sin(x) on the real numbers. The proposed inverse is arcsin(x), whose range is [, π/2, π/2]. Pick x = 3π/4. Compute sin(3π/4) = √2 / 2 ≈ 0.7071. Now compose: arcsin(sin(3π/4)) = arcsin(0.7071) = π/4. You input 3π/4 but received π/4. At this point, you need a domain and range calculator to check the intervals: the domain of sin is ℝ, but its range is [, 1, 1]; arcsin is defined only on [, 1, 1] and returns values in [, π/2, π/2]. Since 3π/4 is outside arcsin's range, the composition fails. The calculation exposes exactly why the domain and range restriction matters.
Why the Method Works
The failure is not a mistake in arithmetic; it is a structural requirement of inverse functions. For f⁻¹(f(x)) = x to hold, f must be bijective (one-to-one and onto) on its domain. If it is not, the inverse is not a function on the whole domain. The composition exposes this by returning a different value. The trigonometric example shows the same pattern: arcsin(sin(3π/4)) = π/4, not 3π/4. The restricted domain of arcsin is [, π/2, π/2]; 3π/4 is outside it. Every failure case follows this rule: the input x lies outside the restricted domain where the original function is one-to-one. The practical test is simple: if f fails the horizontal line test over its entire domain, then for any x in a region where two or more inputs map to the same output, the composition will fail.
| Function | Input X | Output of Composition | Why It Fails |
|---|---|---|---|
| f(x) = x² | –3 | 3 | Domain of inverse restricted to [0, ∞); –3 is outside it |
| f(x) = x² – 4 | –3 | 3 | Same reason: inverse uses principal square root on [0, ∞) |
| f(x) = sin(x) | 3π/4 | π/4 | Arcsin range is [–π/2, π/2]; 3π/4 is outside |
| f(x) = cos(x) | 5π/3 | π/3 | Arccos range is [0, π]; 5π/3 is outside |
| f(x) = |x| | –2 | 2 | Not one-to-one; inverse (identity on [0, ∞)) fails for negatives |
What Most Often Goes Wrong
The single most common error is treating the inverse as an algebraic formula you solve for rather than as a function that exists only under specific conditions. Students solve y = x² for x, write y = √x, and assume the composition works for every real number. It does not. The composition f⁻¹(f(x)) = x holds exactly when x is in the restricted domain where f is one-to-one. Outside that domain, the composition will return a different value. That is why every textbook example that works is built on a restricted domain, and every homework problem that fails does so because the student chose an input outside it.
Common Questions
When does composing a function with its proposed inverse stop returning the original input?
It stops when the input x is outside the restricted domain where the original function is one-to-one. For f(x)=x², any negative input fails because the inverse uses the principal square root, which returns only non-negative values.
Does f(f⁻¹(y)) = y always hold?
Yes, for all y in the range of f. The failure is one-directional. f⁻¹(f(x)) = x fails for x outside the restricted domain, but f(f⁻¹(y)) = y holds for every y in the range because the inverse is defined on that range.
Can a quadratic ever have a proper inverse without restriction?
No. A quadratic is not one-to-one over ℝ. You must restrict its domain to an interval that includes the vertex and is strictly monotonic, such as (, ∞, vertex] or [vertex, ∞).
What is the failure case for sin(x)?
Take x = 3π/4. arcsin(sin(3π/4)) = π/4, not 3π/4. The failure occurs because arcsin is restricted to [, π/2, π/2] and 3π/4 lies outside that interval.
How do I check if my composition will fail before calculating?
Apply the horizontal line test to the original function over its domain. If any horizontal line hits the graph more than once, the function is not one-to-one, and some inputs will cause failure. The specific failing inputs are those that share an output with another input.