# One to One Function – Explanation & Examples

You know you’re studying functions when you hear “one to one” more often than you ever had. Curious about what makes **one to one functions** special? This article will help you learn about their properties and appreciate these functions. Let’s start with this quick definition of one to one functions:

*One to one functions are functions that return a unique range for each element in their domain.*

Since one to one functions are special types of functions, it’s best to review our knowledge of functions, their domain, and their range.

This article will help us understand the** properties of one to one functions**. We’ll also learn how to **identify one to one functions based on their expressions and graphs.**

Let’s go ahead and start with the definition and properties of one to one functions.

## What is a one to one function?

To easily remember what one to one functions are, try to recall this statement: “for every y, there is a unique x.” The next two sections will show you why this phrase helps us remember the core concept behind one to one functions.

### One to one function definition

The function, **f(x),** is a one to one function when one unique element from its domain will return each element of its range. This means that for every value of **x**, there will be a unique value of y or f(x).

Why don’t we visualize this by mapping two pairs of values to compare functions that are not in one to one correspondence?

Let’s take a look at g(x) first, g(4) and g(-4) share a common y value of 16. This is also true for g(-2) and g(2). You guessed it right; g(x) is a function that does not have a one to one correspondence.

Now, observe f(x). Notice how for each f(x) value, there is only one unique value of x? When you observe functions having that correspondence, we call those functions one to one functions.

### One to one function graph

To better understand the concept of one to one functions, let’s study a one to one function’s graph. Remember that for one to one functions, each x is expected to have a unique value of y.

Since each x will have a unique value for y, one to one functions will never have ordered pairs that share the same y-coordinate.

Now that we’ve studied the definition of one to one functions, do you now understand why “for every y, there is a unique x” is a helpful statement to remember?

### One to one function properties

What are other important properties of one-to-one functions we should keep in mind? Here are some properties that can help you understand different types of functions with a one to one correspondence:

- If two functions, f(x) and g(x), are one to one, f ◦ g is a one to one function as well.
- If a function is one to one, its graph will either be always increasing or always decreasing.
- If g ◦ f is a one to one function, f(x) is guaranteed to be a one to one function as well.

Try to study two pairs of graphs on your own and see if you can confirm these properties. Of course, before we can apply these properties, it will be important for us to learn how we can confirm whether a given function is a one to one function or not.

## How to determine if a function is one to one?

The next two sections will show you how we can test functions’ one to one correspondence. We are sometimes given a function’s expression or graph, so we must learn how to identify one-to-one functions algebraically and geometrically. Let’s go ahead and start with the latter!

### Testing one to one functions geometrically

Remember that for functions to be one to one functions. Each x-coordinate must have a unique y-coordinate? We can check for one to one functions using the **horizontal line test**.

- When given a function,
**draw horizontal lines**along with the coordinate system. - Check if the horizontal lines can pass through two points.
- If the horizontal lines pass through only
**one point throughout the graph, the function is a one to one function**.

What if it passes two or more points of a function? Then, as you may have guessed, they are not considered one to one functions.

To better understand the process, let’s go ahead and study these two graphs shown below.

The reciprocal function, f(x) = 1/x, is known to be a one to one function. We can also verify this by drawing horizontal lines across its graph.

See how each horizontal line passes through a unique ordered pair each time? When this happens, we can confirm that the given function is a one to one function.

What happens then when a function is not one to one? For example, the quadratic function, f(x) = x^{2}, is not a one to one function. Let’s look at its graph shown below to see how the horizontal line test applies to such functions.

As you can see, each horizontal line drawn through the graph of f(x) = x^{2} passes through two ordered pairs. This further confirms that the quadratic function is not a one to one function.

### Testing one to one functions algebraically

Let’s refresh our memory on how we define one to one functions. Recall that functions are one to one functions when:

- f(x
_{1}) = f(x_{2}) if and only if x_{1}= x_{2} - f(x
_{1}) ≠ f(x_{2}) if and only if x_{1}≠ x_{2}

We’ll use this algebraic definition to test whether a function is one to one. How do we do that, then?

- Use the given function and find the expression for f(x
_{1}). - Apply the same process and find the expression for f(x
_{2}). - Equate both expressions and show that x
_{1}= x_{2}.

Why don’t we try proving that f(x) = 1/x is a one to one function using this method?

Let’s first substitute x_{1} and x_{2} into the expression. We’ll have f(x_{1}) = 1/x_{1} and f(x_{2}) = 1/x_{2}. To confirm the function’s one to one correspondence, let’s equate f(x_{1}) and f(x_{2}).

1/x_{1 }= 1/x_{2}

Cross-multiply both sides of the equation to simplify the equation.

x_{2 }= x_{1}

x_{1} = x_{2}

We’ve just shown that x_{1} = x_{2} when f(x_{1}) = f(x_{2}), hence, the reciprocal function is a one to one function.

*Example 1*

Fill in the blanks with **sometimes**, **always**, or **never **to make the following statements true.

- Relations can _______________ be one to one functions.
- One to one functions are ______________ functions.
- When a horizontal line passes through a function that is not a one to one function, it will ____________ pass through two ordered pairs.

__Solution__

When answering questions like this, always go back to the definitions and properties we just learned.

- Relations can sometimes be functions and, consequently, can
**sometimes**represent a one to one function. - Since one to one functions are a special type of function, they will
**always**be, first and foremost, functions. - Our example may have shown the horizontal lines passing through the graph of f(x) = x
^{2}twice, but the horizontal lines can pass through more points. Hence, it**sometimes**passes through two ordered pairs.

*Example 2*

Let A = {2, 4, 8, 10} and B = {w, x, y, z}. Which of the following sets of ordered pairs represent a one to one function?

- {(2, w), (2, x), (2, y), (2,z)}
- {(4,w), (2,x), (10,z), (8, y)}
- {(4,w), (2,x), (8,x), (10, y)}

__Solution__

For a function to be a one to one function, each element from A must pair up with a unique element from B.

- The first option has the same value for x for each value of y, so it’s not a function and, consequently, not a one-to-one function.
- The third option has different values of x for each ordered pair, but 2 and 8 share the same range of x. Hence, it does not represent a one to one function.
- The second option uses a unique element from A for every unique element from B, representing a one-to-one function.

This means that **{(4,w), (2,x), (10,z), (8, y)} represent a one to one function**.

*Example 3*

Which of the following sets of values represent a one to one function?

__Solution__

Always go back to the statement, “for every y, there is a unique x.” For each set, let’s inspect whether each element from the right is paired with a unique value from the left.

- For the first set, f(x), we can see that each element from the right side is paired up with a unique element from the left. Hence
**, f(x) is a one to one function**. - The set, g(x), shows a different number of elements on each side. This alone will tell us that the function is not a one to one function.
- Some values from the left side correspond to the same element found on the right, so m(x) is not a one to one function as well.
- Each of the elements on the first set corresponds to a unique element on the next, so
**n(x) represents a one to one function.**

*Example 4*

Graph f(x) = |x| + 1 and determine whether f(x) is a one to one function.

__Solution__

Construct a table of values for f(x) and plot the generated ordered pairs. Connected these points to graph f(x).

x | -3 | -2 | -1 | 0 | 1 | 2 | 3 |

f(x) | 4 | 3 | 2 | 1 | 2 | 3 | 4 |

The table alone can already give you a clue on whether f(x) is a one to one function [*Hint: f(1) = 2 and f(-1) =2*]. But let’s go ahead and plot these points on the xy-plane and graph f(x).

Once we’ve set up the graph of f(x) = |x| + 1, draw horizontal lines across the graph and see if it passes through one or more points.

From the graph, we can see that the horizontal lines we’ve constructed pass through two points each, so the **function is not a one to one function**.

*Example 5*

Determine if f(x) = -2x^{3} – 1 is a one to one function using the algebraic approach.

__Solution__

Recall that for a function to be a one to one function, f(x_{1}) = f(x_{2}) if and only if x_{1} = x_{2}. For us to check if f(x) is a one to one function, let’s find the respective expressions for x_{1} and x_{2} first.

f(x_{1}) = -2 x_{1}^{3 }– 1

f(x_{2}) = -2 x_{2}^{3} – 1

Equate both expressions and see if it reduces to x_{1} = x_{2}.

-2 x_{1}^{3} – 1 = -2 x_{2}^{3} – 1

-2 x_{1}^{3} = -2 x_{2}^{3}

(x_{1})^{3} = (x_{2})^{3}

Taking the cube root of both sides of the equation will lead us to x_{1} = x_{2}. Hence, f(x) = -2x^{3} – 1 is a one to one function.

*Example 6*

Show that f(x) = -5x^{2} + 1 is not a one to one function.

__Solution__

Another important property of one to one functions is that when x_{1} ≠ x_{2}, f(x_{1}) must not be equal to f(x_{2}).

A quick way to prove that f(x) is not a one to one function is by thinking of a counterexample showing two values of x where they return the same value for f(x).

Let’s see what happens when x_{1} = -4 and x_{2} = 4.

f(x = -80 + 1 = -79 | f(x = -80 + 1 = -79 |

We can see that even when x_{1} is not equal to x_{2}, it still returned the same value for f(x). This shows that the function f(x) = -5x^{2} + 1 is not a one to one function.

*Example 7*

Given that a and b are not equal to 0 show that all linear functions are one-to-one functions.

__Solution__

Remember that the general form of linear functions can be expressed as ax + b, where a and b are nonzero constant.

We apply the same process by substituting x_{1} and x_{2 }into the general expression for linear functions.

f(x_{1}) = a x_{1} + b

f(x_{2}) = a x_{2} + b

Equate both equations and see if they can be reduced to x_{1} = x_{2}. Since b represents a constant, we can subtract b from both sides of the equation.

a x_{1} + b = a x_{2} + b

a x_{1} = a x_{2}

Divide both sides of the equation by a, and we’ll have x_{1} = x_{2}. From this, we can conclude that all linear functions are one-to-one functions.

### Practice Questions

### Open Problems

1. Show that $g(x) = |x| – 4$ is not a one to one function.

2. Show that all quadratic expressions are not one-to-one functions.

### Open Problem Solutions

1. The absolute value function, $g(x) = |x| – 4$, has the curve as shown below.

Using the horizontal line test, we can see that each horizontal line passes through more than one point.

We can also use the algebraic approach to show that $g(x)$ is not an absolute value function. Simply think of a pair of points sharing the same $y$-coordinate and satisfying the function such as $(-6, 2)$ and $(6, 2)$.

2. The graph of a quadratic function will always be a U-shaped curve, so the curve will always fail the horizontal line test. This means that quadratic functions will never be a one-to-one function.

*Images/mathematical drawings are created with GeoGebra.*