Historical Context & Motivation
The idea of a function—a rule that assigns each input exactly one output—took centuries to crystallize. Early mathematicians focused on specific formulas such as polynomials and trigonometric ratios, but they rarely asked a deeper question: can two different inputs ever produce the same output? That question lies at the heart of one-to-one functions, a concept that became essential once mathematicians needed to reverse, or "undo," the operations a function performs.
Why does it matter whether a function is one-to-one? Imagine you encode a secret message using a function that maps each letter to a number. If two different letters map to the same number, the person receiving your message cannot decode it—there would be ambiguity. A one-to-one function guarantees that every output traces back to exactly one input, making the process perfectly reversible. This is the central question our lesson tackles: how do you determine if a function has this special property, and how do you justify your answer?
Core Principles & Definitions
Before diving into techniques, you need to nail down a few foundational ideas. A function is a rule where each input from the domain produces exactly one output in the range. A function is called one-to-one (also written 1–1 or called injective) if no two different inputs ever share the same output. In other words, every output is "used" at most once.
One-to-One Definition
Horizontal Line Test
Domain Matters
Connection to Inverses
Visual Explanation — The Horizontal Line Test
The most intuitive way to check whether a function is one-to-one is to look at its graph. The Horizontal Line Test says: draw (or imagine) every possible horizontal line across the coordinate plane. If any horizontal line touches the graph in more than one spot, the function is not one-to-one, because those two points share the same y-value (output) but have different x-values (inputs). The diagram below compares two familiar functions side by side.
In the left graph, the dashed red horizontal line crosses the parabola at two points. That means two different x-values produce the same y-value, so f(x) = x² is not one-to-one on the domain of all real numbers. In the right graph, every horizontal line (shown in green) crosses the linear function at most once, confirming that g(x) = 2x + 1 is one-to-one. Keep this visual shortcut in your toolkit—it works for any function you can graph.
Mathematical Framework — Algebraic Tests
While the Horizontal Line Test is great when you have a graph, you also need an algebraic method for justifying your answer. The core idea is simple: assume two inputs give the same output and see if that forces the inputs to be equal.
Another useful technique involves monotonicity. A function that is strictly increasing (always going up) or strictly decreasing (always going down) on its domain is guaranteed to be one-to-one, because the outputs never repeat. If the function changes direction—going up and then back down, for instance—it will fail the test somewhere.
Classifying Common Functions
It helps to build a mental catalog of which standard functions are one-to-one and which are not. The diagram below maps several function families and shows how restricting the domain can convert a non-injective function into a one-to-one function.
| Function | 1–1 on ℝ? | Reason / Counterexample |
|---|---|---|
| f(x) = 3x − 7 | Yes ✓ | Strictly increasing (slope 3 > 0). |
| f(x) = x² | No ✗ | f(2) = f(−2) = 4. |
| f(x) = x³ | Yes ✓ | Strictly increasing on all reals. |
| f(x) = |x| | No ✗ | f(5) = f(−5) = 5. |
| f(x) = 2ˣ | Yes ✓ | Exponential growth is strictly increasing. |
Worked Example — Algebraic Proof
Let's prove algebraically that f(x) = 5x − 3 is one-to-one, and then show that g(x) = x² − 4x is not one-to-one on all reals.
Comparing Methods for Identifying 1–1 Functions
You now have three main strategies: the Horizontal Line Test (graphical), the algebraic proof (assume f(a) = f(b), show a = b), and the counterexample method (find two inputs that share an output). Each has strengths and limitations depending on the situation.
| Method | Strengths | Limitations |
|---|---|---|
| Horizontal Line Test | Fast and visual; works for any graphed function; great for multiple-choice problems. | Requires an accurate graph; not a formal proof; can be tricky with closely spaced curves. |
| Algebraic Proof | Rigorous and convincing; works even without a graph; accepted on proofs and free-response. | Can only prove a function IS 1–1; algebra may be complex for piecewise or trigonometric functions. |
| Counterexample | Quick way to disprove; only need one pair; easy to communicate. | Can only show a function is NOT 1–1; finding the right pair may require trial and error. |
| Monotonicity Argument | Efficient for entire function families (all linear, exponential, log); uses calculus shortcuts when available. | Only works when you can establish the function is strictly increasing or decreasing. |
Connection to Inverse Functions & Advanced Ideas
The one-to-one property is not an isolated idea—it is the gateway to inverse functions. In your next unit, you will learn that a function f has an inverse f⁻¹ if and only if f is one-to-one. Graphically, the inverse is the reflection of the original graph across the line y = x, and that reflection only produces a valid function when the original passes the Horizontal Line Test.
| Concept | This Lesson (One-to-One) | Next Steps (Inverse Functions) |
|---|---|---|
| Key Question | Does every output come from exactly one input? | Can we reverse the function to recover the input from the output? |
| Test / Tool | Horizontal Line Test; algebraic proof | Swap x and y, solve for y |
| Graph Relationship | Each horizontal line hits the graph at most once | Graph of f⁻¹ is the reflection of f over y = x |
| Domain Restriction | May be needed to make a function 1–1 | Determines the domain and range of the inverse |
In more advanced courses such as precalculus and calculus, you will encounter bijections (functions that are both one-to-one and onto), which play a central role in set theory and abstract algebra. The idea of injectivity also extends to higher dimensions—for instance, determining when a system of linear equations has a unique solution is closely related to whether a certain matrix transformation is one-to-one.
Practice Problems
Lesson Summary
A one-to-one (injective) function is a function in which every output is produced by exactly one input—no output is "reused." You can verify this property graphically with the Horizontal Line Test: if every horizontal line crosses the graph at most once, the function is one-to-one. Algebraically, you assume f(a) = f(b) and show a = b to prove the property, or find a counterexample (two distinct inputs with the same output) to disprove it.
Functions that are strictly increasing or strictly decreasing on their domain are always one-to-one. Functions like x², |x|, and cos(x) are not one-to-one on their natural domains, but they can become one-to-one through domain restriction. Understanding the one-to-one property is essential because it determines whether a function has an inverse function—the foundation of your next unit in algebra.