SECTION 1
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.
1637 • Descartes Links Algebra to Geometry
1748 • Euler Formalizes the Function Concept
1837 • Dirichlet Broadens the Definition
1900s • Set Theory & Inverse Functions
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?
SECTION 2
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
KEY TAKEAWAY
SECTION 3
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.
SECTION 4
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.
ONE-TO-ONE DEFINITION (ALGEBRAIC)
For any two values a and b in the domain, if the function produces the same output, then the inputs must actually be the same value. If you can show this algebraically, the function is one-to-one.
CONTRAPOSITIVE FORM
This is logically equivalent to the definition above. Different inputs always produce different outputs.
COUNTEREXAMPLE METHOD (DISPROVING 1–1)
To show a function is not one-to-one, you only need one pair of distinct inputs that share the same output. For example, for f(x) = x², notice f(3) = 9 and f(−3) = 9. Since 3 ≠ −3 but f(3) = f(−3), the function is not 1–1.
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.
SECTION 5
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. |
Quick reference for common function families
SECTION 6
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.
Example A — Prove f(x) = 5x − 3 is one-to-one
- 1
Step 1 — Set Up the Assumption
Assume f(a) = f(b) for two inputs a and b. We want to show that this forces a = b. - 2
Step 2 — Substitute into the Formula
Since f(x) = 5x − 3, the assumption f(a) = f(b) becomes: 5a − 3 = 5b − 3 - 3
Step 3 — Solve for the Relationship Between a and b
Add 3 to both sides: 5a = 5b. Divide both sides by 5: a = b.Since f(a) = f(b) forces a = b, the function f(x) = 5x − 3 is one-to-one. ✓
Example B — Show g(x) = x² − 4x is NOT one-to-one on ℝ
- 1
Step 1 — Strategy: Find a Counterexample
To disprove the 1–1 property, we only need two different inputs that produce the same output. Let's try specific values. - 2
Step 2 — Compute g(0) and g(4)
g(0) = 0² − 4(0) = 0. And g(4) = 4² − 4(4) = 16 − 16 = 0. - 3
Step 3 — Compare
We found g(0) = g(4) = 0, yet 0 ≠ 4.Two different inputs (0 and 4) share the same output, so g(x) = x² − 4x is NOT one-to-one on ℝ. ✗
Pro Tip
SECTION 7
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. |
Comparison of methods for testing the one-to-one property
KEY TAKEAWAY
SECTION 8
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 |
How the 1–1 property connects to inverse functions
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.
SECTION 9
Practice Problems
Question 1: CONCEPTUAL
Show answer
Question 2: BASIC CALCULATION
Show answer
Question 3: INTERMEDIATE
Show answer
Question 4: APPLIED
Show answer
Question 5: CRITICAL THINKING
Show answer
SUMMARY
Lesson Summary
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.