A relation is a set of ordered pairs. The set of the first components of each ordered pair is called the domain and the set of the second components of each ordered pair is called the range. Consider the following set of ordered pairs. The first numbers in each pair are the first five natural numbers. The second number in each pair is twice that of the first.

[latex]\left\{\left(1,2\right),\left(2,4\right),\left(3,6\right),\left(4,8\right),\left(5,10\right)\right\}[/latex]

The domain is [latex]\left\{1,2,3,4,5\right\}[/latex]. The range is [latex]\left\{2,4,6,8,10\right\}[/latex].

Note that each value in the domain is also known as an input value, or independent variable, and is often labeled with the lowercase letter [latex]x[/latex]. Each value in the range is also known as an output value, or dependent variable, and is often labeled lowercase letter [latex]y[/latex].

A function [latex]f[/latex] is a relation that assigns a single value in the range to each value in the domain. In other words, no x-values are repeated. For our example that relates the first five natural numbers to numbers double their values, this relation is a function because each element in the domain, [latex]\left\{1,2,3,4,5\right\}[/latex], is paired with exactly one element in the range, [latex]\left\{2,4,6,8,10\right\}[/latex].

Now let’s consider the set of ordered pairs that relates the terms “even” and “odd” to the first five natural numbers. It would appear as

[latex]\left\{\left(\text{odd},1\right),\left(\text{even},2\right),\left(\text{odd},3\right),\left(\text{even},4\right),\left(\text{odd},5\right)\right\}[/latex]

Notice that each element in the domain, [latex]\left\{\text{even,}\text{odd}\right\}[/latex] is not paired with exactly one element in the range, [latex]\left\{1,2,3,4,5\right\}[/latex]. For example, the term “odd” corresponds to three values from the domain, [latex]\left\{1,3,5\right\}[/latex] and the term “even” corresponds to two values from the range, [latex]\left\{2,4\right\}[/latex]. This violates the definition of a function, so this relation is not a function.

This image compares relations that are functions and not functions.

(a) This relationship is a function because each input is associated with a single output. Note that input [latex]q[/latex] and [latex]r[/latex] both give output [latex]n[/latex]. (b) This relationship is also a function. In this case, each input is associated with a single output. (c) This relationship is not a function because input [latex]q[/latex] is associated with two different outputs.

Using Function Notation

Once we determine that a relationship is a function, we need to display and define the functional relationships so that we can understand and use them, and sometimes also so that we can program them into computers. There are various ways of representing functions. A standard function notation is one representation that facilitates working with functions.

To represent “height is a function of age,” we start by identifying the descriptive variables [latex]h[/latex] for height and [latex]a[/latex] for age. The letters [latex]f,g[/latex], and [latex]h[/latex] are often used to represent functions just as we use [latex]x,y[/latex], and [latex]z[/latex] to represent numbers and [latex]A,B[/latex], and [latex]C[/latex] to represent sets.

[latex]\begin{cases}h\text{ is }f\text{ of }a\hfill & \hfill & \hfill & \hfill & \text{We name the function }f;\text{ height is a function of age}.\hfill \\ h=f\left(a\right)\hfill & \hfill & \hfill & \hfill & \text{We use parentheses to indicate the function input}\text{. }\hfill \\ f\left(a\right)\hfill & \hfill & \hfill & \hfill & \text{We name the function }f;\text{ the expression is read as "}f\text{ of }a\text{."}\hfill \end{cases}[/latex]

Remember, we can use any letter to name the function; the notation [latex]h\left(a\right)[/latex] shows us that [latex]h[/latex] depends on [latex]a[/latex]. The value [latex]a[/latex] must be put into the function [latex]h[/latex] to get a result. The parentheses indicate that age is input into the function; they do not indicate multiplication.

We can also give an algebraic expression as the input to a function. For example [latex]f\left(a+b\right)[/latex] means “first add a and b, and the result is the input for the function f.” The operations must be performed in this order to obtain the correct result.

Representing Functions Using Tables

A common method of representing functions is in the form of a table. The table rows or columns display the corresponding input and output values. In some cases, these values represent all we know about the relationship; other times, the table provides a few select examples from a more complete relationship.

The table below lists the input number of each month (January = 1, February = 2, and so on) and the output value of the number of days in that month. This information represents all we know about the months and days for a given year (that is not a leap year). Note that, in this table, we define a days-in-a-month function [latex]f[/latex] where [latex]D=f\left(m\right)[/latex] identifies months by an integer rather than by name.

The table below defines a function [latex]Q=g\left(n\right)[/latex]. Remember, this notation tells us that [latex]g[/latex] is the name of the function that takes the input [latex]n[/latex] and gives the output [latex]Q\text{\hspace{0.17em}.}[/latex]

The table below displays the age of children in years and their corresponding heights. This table displays just some of the data available for the heights and ages of children. We can see right away that this table does not represent a function because the same input value, 5 years, has two different output values, 40 in. and 42 in.

When we know an input value and want to determine the corresponding output value for a function, we evaluate the function. Evaluating will always produce one result because each input value of a function corresponds to exactly one output value.

When we know an output value and want to determine the input values that would produce that output value, we set the output equal to the function’s formula and solve for the input. Solving can produce more than one solution because different input values can produce the same output value.

Determine whether a function is one-to-one

Some functions have a given output value that corresponds to two or more input values. For example, in the following stock chart the stock price was $1000 on five different dates, meaning that there were five different input values that all resulted in the same output value of $1000.

However, some functions have only one input value for each output value, as well as having only one output for each input. We call these functions one-to-one functions. As an example, consider a school that uses only letter grades and decimal equivalents, as listed in.

This grading system represents a one-to-one function, because each letter input yields one particular grade point average output and each grade point average corresponds to one input letter.

To visualize this concept, let’s look again at the two simple functions sketched in (a)and (b) below.

The function in part (a) shows a relationship that is not a one-to-one function because inputs [latex]q[/latex] and [latex]r[/latex] both give output [latex]n[/latex]. The function in part (b) shows a relationship that is a one-to-one function because each input is associated with a single output.