One-to-One Functions — I can identify whether a function is one-to-one on a given domain and justify using a graph or reasoning. - Math 3

SECTION 1

Historical Context & Motivation

Functions are among the most important ideas in all of mathematics, but for centuries mathematicians worked without a clear definition. Early scholars focused on equations and curves without worrying whether every output was uniquely paired with an input. As algebra matured, the need to "reverse" a function — to find its inverse — became essential. That quest forced mathematicians to ask a deceptively simple question: does every output come from exactly one input? The answer defines what we now call a one-to-one function.

1637 • Descartes & Analytic Geometry

René Descartes introduced the coordinate plane, enabling mathematicians to visualize algebraic relationships as curves for the first time.

1748 • Euler Formalizes Functions

Leonhard Euler popularized the notation f(x) and began classifying functions by their properties, laying groundwork for the idea of injectivity.

1837 • Dirichlet's Modern Definition

Peter Gustav Lejeune Dirichlet proposed the modern definition of a function as a rule assigning each input exactly one output, which made the concept of one-to-one precise.

1870s • Cantor & Bijections

Georg Cantor used one-to-one correspondences (bijections) to compare the sizes of infinite sets, revolutionizing our understanding of infinity.

Today the concept appears everywhere: decryption algorithms rely on one-to-one encoding, unit conversions work because the conversion function never maps two different measurements to the same value, and in your own algebra course, identifying one-to-one functions is the gateway to finding inverse functions. The central question of this lesson is straightforward: given a function and its domain, how do you decide whether it is one-to-one, and how do you justify your answer?

SECTION 2

Core Principles & Definitions

Before diving into techniques, you need a rock-solid understanding of what makes a function one-to-one. A function assigns every input in the domain to exactly one output in the range. A one-to-one function (also called an injective function) adds a stricter requirement: no two different inputs may share the same output. In formal language, if f(a) = f(b) then a = b.

Algebraic Definition

A function f is one-to-one if whenever f(a) = f(b), it follows that a = b. Equivalently, if a ≠ b, then f(a) ≠ f(b).

Horizontal Line Test

A function is one-to-one if and only if every horizontal line crosses its graph at most once. This is the graphical counterpart of the algebraic definition.

Domain Matters

A function that is not one-to-one on its natural domain can become one-to-one when the domain is restricted. For example, f(x) = x² is not one-to-one on all reals but is one-to-one on [0, ∞).

Connection to Inverses

Only one-to-one functions have inverses that are also functions. If two inputs share an output, the inverse would need to assign one output to two inputs — violating the definition of a function.

✦

KEY TAKEAWAY

Think of a one-to-one function like a coat-check system. Each person (input) hands over a coat (output) and receives a unique ticket number. If two people received the same ticket number, the attendant couldn't return coats correctly — the system breaks. A one-to-one function guarantees every "ticket" is unique, so the process is perfectly reversible.

SECTION 3

Visual Explanation — The Horizontal Line Test

The fastest way to check whether a function is one-to-one from its graph is the Horizontal Line Test. Imagine sliding a horizontal line from the bottom of the coordinate plane to the top. If the line ever touches the graph at two or more points simultaneously, the function is not one-to-one, because two different x-values are producing the same y-value. If every horizontal line touches the graph at most once, the function passes the test and is one-to-one.

Left: The linear function f(x) = 2x + 1 is one-to-one because every horizontal line (yellow dashed) crosses the graph only once. Right: The parabola g(x) = x² fails the Horizontal Line Test because a horizontal line (red dashed) can cross it twice, meaning two different x-values produce the same y-value.

Notice that the graph on the left — a straight line with a nonzero slope — will always pass the Horizontal Line Test. Every linear function of the form f(x) = mx + b, where m ≠ 0, is one-to-one. The parabola on the right has a line of symmetry; points equally far left and right of the vertex share the same y-value. This symmetry is exactly what causes the function to fail the test.

SECTION 4

Mathematical Framework

While the Horizontal Line Test is visual, you often need an algebraic argument to prove a function is or is not one-to-one. The standard algebraic approach starts by assuming f(a) = f(b) and then showing that a must equal b. If you can do that, the function is one-to-one. If you can find a counterexample — two different inputs producing the same output — the function is not one-to-one.

ONE-TO-ONE DEFINITION

f(a) = f(b) ⟹ a = b

For all a and b in the domain: if the outputs are equal, then the inputs must be equal.

CONTRAPOSITIVE FORM

a ≠ b ⟹ f(a) ≠ f(b)

This is logically equivalent: different inputs always produce different outputs.

Algebraic Proof Strategy

To prove a function is one-to-one algebraically, follow these steps. First, set f(a) = f(b). Second, use algebra to simplify. Third, show that the only solution is a = b. If the algebra leads to a = b with no extra possibilities, the function is one-to-one.

EXAMPLE: f(x) = 3x − 7

3a − 7 = 3b − 7 → 3a = 3b → a = b ✓

Starting from f(a) = f(b), adding 7 to both sides and dividing by 3 forces a = b, confirming the function is one-to-one.

COUNTEREXAMPLE: g(x) = x²

a² = b² → a = b or a = −b ✗

Because a could equal −b (for instance, 3² = (−3)² = 9), the function is not one-to-one on the set of all real numbers.

💡

Domain Restriction Tip

When a function fails the one-to-one test on its natural domain, you can often restrict the domain to make it one-to-one. For g(x) = x², restricting the domain to x ≥ 0 eliminates the mirror-image problem: now a² = b² with a ≥ 0 and b ≥ 0 forces a = b.

SECTION 5

Classifying Common Functions

Not every function type behaves the same way with respect to the one-to-one property. Knowing which families of functions are automatically one-to-one — and which require domain restrictions — saves time and builds your mathematical intuition. The diagram below maps out several common function families and classifies them.

Functions on the left (green border) are one-to-one on their natural domains. Functions on the right (red border) are not one-to-one on all reals but can become one-to-one with an appropriate domain restriction (gold dashed box).

A key pattern emerges: functions that are strictly increasing or strictly decreasing on an interval are always one-to-one on that interval. A strictly increasing function goes up as you move right — it never produces the same y-value twice. Similarly, a strictly decreasing function always goes down. Functions with symmetry (like parabolas and absolute value) or periodicity (like sine and cosine) inevitably repeat y-values, making them fail the Horizontal Line Test on their full domain.

ℹ

Monotonic ⇒ One-to-One

A function that is strictly monotonic (entirely increasing or entirely decreasing) on an interval is guaranteed to be one-to-one on that interval. This is a powerful shortcut: if you can show a function only goes up (or only goes down), you're done.

SECTION 6

Worked Example

Let's work through a complete example using both an algebraic argument and a graphical justification to determine whether a function is one-to-one.

Is f(x) = 2x³ − 5 one-to-one on all real numbers?

1
Step 1 — Set up the one-to-one condition

Assume f(a) = f(b). This means 2a³ − 5 = 2b³ − 5. Our goal is to show this forces a = b.

2a³ − 5 = 2b³ − 5
2
Step 2 — Simplify the equation

Add 5 to both sides to get 2a³ = 2b³. Then divide both sides by 2 to get a³ = b³.

a³ = b³
3
Step 3 — Solve for the relationship between a and b

Take the cube root of both sides. Because the cube root function is defined for all real numbers and gives a unique output for every input, we get a = b. Unlike the square root, the cube root does not introduce a ± situation.

a = b
4
Step 4 — State the conclusion

Since f(a) = f(b) implies a = b for all real numbers, the function f(x) = 2x³ − 5 is one-to-one on its entire domain.

f is one-to-one ✓
5
Step 5 — Graphical justification

We can also observe that f(x) = 2x³ − 5 is a vertical stretch and a downward shift of the parent function y = x³. Because x³ is strictly increasing and the transformations do not introduce any turning points, the graph of f only moves upward as x increases. Every horizontal line crosses it at most once, confirming the Horizontal Line Test.

Passes Horizontal Line Test ✓

💡

Pro Tip

When you are asked to "justify" your answer on a test, use either a clear algebraic proof (assume f(a) = f(b) and show a = b) or reference the Horizontal Line Test with a sketch. Many teachers accept both, but combining both methods earns the strongest justification.

SECTION 7

Methods Compared — Graph vs. Algebra

You now have two tools for deciding whether a function is one-to-one: the graphical approach (Horizontal Line Test) and the algebraic approach (setting f(a) = f(b) and solving). Each method has strengths and limitations, and knowing when to use which will make you more efficient.

Criterion	Horizontal Line Test (Graphical)	Algebraic Proof
Speed	Very fast — a quick sketch or graph can reveal the answer in seconds.	Slower — requires careful algebraic manipulation.
Rigor	Informal; relies on visual accuracy. Not considered a formal proof.	Fully rigorous — provides a definitive proof or counterexample.
Best For	Quick checks, multiple-choice questions, or when a graph is already given.	Formal proofs, show-your-work problems, or functions without easy graphs.
Limitation	Difficult for functions whose graphs you cannot easily sketch by hand.	Can be tricky for complex or piecewise functions.
Showing NOT one-to-one	Draw one horizontal line that hits the graph twice.	Find two specific x-values (a ≠ b) where f(a) = f(b).

Comparison of the two primary methods for testing one-to-one functions.

✦

KEY TAKEAWAY

Think of the graphical method as a smoke detector — it gives you a quick alert that something is or isn't one-to-one. The algebraic method is like calling in a fire inspector — it provides the official, documented proof. On most math tests, you'll want the inspector-level evidence, but a quick sketch can guide your approach.

SECTION 8

Connection to Inverse Functions & Beyond

The one-to-one property is not just an abstract classification — it is the gatekeeper for inverse functions. If f is one-to-one, then f⁻¹ exists and is also a function. If f is not one-to-one, any attempt to "reverse" it produces multiple outputs for a single input, violating the definition of a function. This is why you restrict the domain of y = x² to x ≥ 0 before defining √x as its inverse.

Concept	This Lesson (One-to-One)	Next Step (Inverse Functions)
Key Question	Does every output come from a unique input?	Can we reverse the function to go from output back to input?
Main Tool	Horizontal Line Test or algebraic proof (f(a) = f(b) ⟹ a = b)	Swap x and y, solve for y to find f⁻¹(x)
Graph Relationship	Each horizontal line crosses the graph at most once.	Graph of f⁻¹ is the reflection of f over the line y = x.
Domain Restriction	Used to make a function one-to-one.	The restricted domain of f becomes the range of f⁻¹, and vice versa.

How the one-to-one concept connects to inverse functions.

In more advanced courses, you'll encounter the idea of a bijection — a function that is both one-to-one (injective) and onto (surjective). Bijections establish a perfect two-way pairing between two sets, and they appear throughout higher mathematics, computer science, and cryptography. Mastering the one-to-one concept now gives you a head start on these powerful ideas.

SECTION 9

Practice Problems

Question 1: CONCEPTUAL

In your own words, explain why a constant function f(x) = 5 is NOT one-to-one.

Show answer

A constant function maps every input to the same output (5). For example, f(2) = 5 and f(7) = 5, but 2 ≠ 7. Since two different inputs produce the same output, the function fails the definition of one-to-one. Graphically, the constant function is a horizontal line, so any horizontal line drawn at y = 5 touches the graph at infinitely many points, failing the Horizontal Line Test.

Question 2: BASIC CALCULATION

Prove algebraically that f(x) = 4x + 9 is one-to-one.

Show answer

Assume f(a) = f(b): 4a + 9 = 4b + 9. Subtract 9 from both sides: 4a = 4b. Divide both sides by 4: a = b. Since f(a) = f(b) implies a = b, the function is one-to-one. This makes sense because f(x) = 4x + 9 is a linear function with a nonzero slope (m = 4), and all such linear functions are one-to-one.

Question 3: INTERMEDIATE

Determine whether h(x) = x² − 6x + 10 is one-to-one on the domain [3, ∞). Justify your answer using both algebra and the graph.

Show answer

First, rewrite in vertex form: h(x) = (x − 3)² + 1. The vertex is at (3, 1). On the domain [3, ∞), x ≥ 3, so (x − 3) ≥ 0, meaning the function is strictly increasing — as x increases, (x − 3)² increases and so does h(x). Algebraically, assume h(a) = h(b) with a, b ≥ 3: (a − 3)² + 1 = (b − 3)² + 1, which gives (a − 3)² = (b − 3)². Since both a − 3 ≥ 0 and b − 3 ≥ 0, we take the positive square root to get a − 3 = b − 3, so a = b. Graphically, the parabola opens upward with its vertex at the left endpoint of the domain, so every horizontal line above y = 1 hits the graph only once. The function IS one-to-one on [3, ∞).

Question 4: APPLIED

A shipping company uses the pricing function C(w) = 3.50w + 2.00 to calculate shipping cost C (in dollars) based on package weight w (in pounds), where w > 0. Is this function one-to-one? If so, explain what that means in the real-world context.

Show answer

Yes, C(w) = 3.50w + 2.00 is one-to-one because it is a linear function with slope 3.50 ≠ 0. Algebraically: if 3.50a + 2.00 = 3.50b + 2.00, then 3.50a = 3.50b, so a = b. In real-world terms, this means every package weight produces a unique shipping cost, and conversely, if you know the cost, you can determine exactly what the package weighed. This is what makes it possible to create an inverse function — for instance, a customer service agent could work backwards from a charge to determine the package weight: w = (C − 2.00) ÷ 3.50.

Question 5: CRITICAL THINKING

Consider the piecewise function f(x) = { 2x + 1 if x < 0 ; x² + 1 if x ≥ 0 }. Is f one-to-one on all real numbers? Prove your answer or provide a specific counterexample.

Show answer

The function is NOT one-to-one. To prove this, find a counterexample — two different x-values with the same output. Consider x = −1 (using the first piece): f(−1) = 2(−1) + 1 = −1. Now consider x = 0 (using the second piece): f(0) = 0² + 1 = 1. These are different, so try other values. Notice f(−1) = −1 and for the second piece, f(x) = x² + 1 ≥ 1 for all x ≥ 0, so the overlap zone to check is where 2x + 1 ≥ 1, i.e., x ≥ 0, but the first piece only applies for x < 0. However, consider the second piece alone: f(1) = 1² + 1 = 2 and f(−1) from the second piece doesn't apply. Let's check f(−0.5) = 2(−0.5) + 1 = 0 from piece one, and look for x ≥ 0 where x² + 1 = 0 — impossible since x² + 1 ≥ 1. Now check within the second piece: f(2) = 5 and f(−2) = 2(−2) + 1 = −3. Actually, within the second piece alone, x² is not one-to-one on [0, ∞)? It IS, because x ≥ 0. The key issue is checking across pieces. Since the range of piece 1 (for x < 0) is (−∞, 1) and piece 2 (for x ≥ 0) is [1, ∞), they overlap only at y = 1. Check: 2x + 1 = 1 gives x = 0, but piece 1 requires x < 0, so no overlap. Therefore f is actually one-to-one! Each piece is individually one-to-one and their ranges don't overlap. The lesson: always check both within each piece and across pieces systematically.

SUMMARY

Lesson Summary

Summary

A one-to-one (injective) function is a function where no two different inputs produce the same output. The formal test is: if f(a) = f(b), then a = b. You can verify this graphically using the Horizontal Line Test — if every horizontal line intersects the graph at most once, the function is one-to-one. Algebraically, you assume f(a) = f(b) and use algebra to show a must equal b, or you find a counterexample (two different inputs with the same output) to disprove the property.

Strictly monotonic functions (those that are entirely increasing or entirely decreasing) are always one-to-one. Functions with symmetry or periodicity are typically not one-to-one on their full domains but can become one-to-one through domain restriction. The one-to-one property is essential because only one-to-one functions have inverse functions — a topic you will explore next.