Inverse Function Definition, Bijectivity & The Reflection Principle
In algebra and mathematical analysis, an inverse function is a relation that completely undoes the mapping of an original function. If a function f takes an element x from its domain Df and maps it to an element y in its range Rf such that f(x) = y, then the inverse function f−1 takes y and maps it directly back to x:
This inverse relationship establishes a fundamental domain-range duality:
- Domain of f−1 = Range of f: Domain(f−1) = Range(f)
- Range of f−1 = Domain of f: Range(f−1) = Domain(f)
Geometrically, swapping every input coordinate with its corresponding output coordinate transforms every point (a, b) on the curve of f(x) into the point (b, a) on the curve of f−1(x). In Euclidean coordinate geometry, the line segment connecting (a, b) and (b, a) has a midpoint M((a + b)/2, (a + b)/2) which lies precisely on the line y = x, and its slope is (a − b) / (b − a) = −1, which is perpendicular to the line y = x (slope +1). Thus, the graph of f−1(x) is the exact orthogonal reflection of the graph of f(x) across the line y = x.
The Horizontal Line Test & Domain Restrictions for Non-Injective Curves
Not every mathematical function possesses an inverse function. For an inverse relation to qualify as a valid mathematical function, it must assign exactly one output value to each input value (passing the Vertical Line Test). Consequently, the original function f(x) must satisfy the Horizontal Line Test.
If any horizontal line y = c intersects the graph of f(x) more than once, the function is many-to-one. When reflected across y = x, that horizontal line becomes a vertical line intersecting f−1(x) multiple times, violating the definition of a single-valued function.
Resolving Non-Invertibility with Domain Restrictions
Consider the standard quadratic function f(x) = x2 on the unrestricted domain (−∞, ∞). Because f(−3) = 9 and f(3) = 9, the horizontal line y = 9 intersects the curve at two distinct points. Reflecting the entire parabola gives x = y2 &implies; y = ±√x, which produces two output values for each positive x and is therefore not a function.
To create an invertible function, mathematicians apply a domain restriction:
By restricting the domain to x ≥ 0, the function becomes strictly monotonically increasing, passes the Horizontal Line Test, and yields the principal square root function f−1(x) = √x.
The 4-Step Algebraic Algorithm to Invert Any Function
To determine the symbolic formula for an inverse function f−1(x), follow the standard 4-step algebraic inversion procedure:
Set y = f(x)
Replace the function notation f(x) with the single dependent variable y to make algebraic manipulation clear and concise.
Interchange Variables x and y
Replace every instance of x with y, and every instance of y with x. This step algebraically performs the geometric reflection across the line y = x.
Solve Algebraically for y
Use standard algebraic techniques (factoring, cross-multiplication, completing the square, taking roots, or taking logarithms) to isolate y on one side of the equation.
Substitute f⁻¹(x) and State Restrictions
Replace y with the formal notation f−1(x). State any domain or range restrictions inherited from the original function.
Verification Through Function Composition: f(f⁻¹(x)) = x
The definitive mathematical test to prove whether two functions f and g are genuine inverses is the Identity Composition Theorem. Both directions of composition must reduce to the identity function I(x) = x:
If either composition fails to simplify to x, then the two functions are not true inverses. For example, testing f(x) = 2x + 3 and g(x) = (x − 3)/2:
Step-by-Step Worked Numerical Solutions
Find the inverse of the linear fractional (Möbius) transformation:
- Replace f(x) with y: y = (2x + 1) / (x − 3)
- Swap x and y: x = (2y + 1) / (y − 3)
- Clear the denominator: Multiply both sides by (y − 3):
x(y − 3) = 2y + 1 &implies; xy − 3x = 2y + 1
- Group all terms with y on one side: xy − 2y = 3x + 1
- Factor out y: y(x − 2) = 3x + 1 &implies; y = (3x + 1) / (x − 2)
- Conclusion: f−1(x) = (3x + 1) / (x − 2) with domain x ≠ 2. Notice that the vertical asymptote of f(x) at x = 3 becomes the horizontal asymptote of f−1(x) at y = 3.
Find the inverse of the square root function:
- Set y = f(x): y = √(x + 4)
- Swap x and y: x = √(y + 4), with x ≥ 0 (since range of f is y ≥ 0)
- Square both sides: x2 = y + 4
- Isolate y: y = x2 − 4
- State with restricted domain: f−1(x) = x2 − 4 for x ≥ 0. Omitting the domain restriction x ≥ 0 would incorrectly produce a two-sided parabola whose left half is not part of the inverse!
Core Function Inversion Reference Table
Reference table summarizing inverse pairs across standard function families:
| Family | Original Function f(x) | Inverse Function f⁻¹(x) | Domain Restrictions |
|---|---|---|---|
| Linear | f(x) = mx + b | f⁻¹(x) = (x − b) / m | m ≠ 0 |
| Quadratic | f(x) = x² | f⁻¹(x) = √x | x ≥ 0 |
| Cubic | f(x) = x³ | f⁻¹(x) = ³√x | All real x |
| Exponential | f(x) = eˣ | f⁻¹(x) = ln(x) | x > 0 |
| Logarithmic | f(x) = log₁₀(x) | f⁻¹(x) = 10ˣ | All real x |
| Reciprocal | f(x) = 1 / x | f⁻¹(x) = 1 / x (Self-Inverse) | x ≠ 0 |
Common Pitfalls & Mistakes to Avoid
Confusing f⁻¹(x) with 1/f(x)
The superscript notation denotes inverse operation, not exponentiation. The multiplicative inverse is [f(x)]−1 = 1/f(x), whereas f−1(x) is the function inverse.
Ignoring Domain Restrictions
Failing to restrict the domain on even-powered functions (like x2 or x4) results in multi-valued relations that violate the definition of a function.
Non-Square Graph Aspect Ratios
If the visual scale on the x-axis differs from the y-axis, the line y = x will not appear at a 45° angle, visually distorting the reflection symmetry.
Lead Developer & Founder of Basic Math Tools. Specializes in browser-native computational algorithms and applied mathematics.
Mathematics & curriculum specialists. Audited against standard algebraic and arithmetic principles.