5.8: Functions
- Page ID
- 129559
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)Learning Objectives
After completing this section, you should be able to:
- Use function notation.
- Determine if a relation is a function with different representations.
- Apply the vertical line test.
- Determine the domain and range of a function.
In this section, we will learn about relations and functions. As we go about our daily lives, we have many data items or quantities that are paired to our names. Our social security number, student ID number, email address, phone number, and our birthday are matched to our name. There is a relationship between our name and each of those items. When your teacher gets their class roster, the names of all the students in the class are listed in one column and then the student ID number is likely to be in the next column. If we think of the correspondence as a set of ordered pairs, where the first element is a student name and the second element is that student’s ID number, we call this a relation.
(Student name, Student ID #)
The set of all the names of the students in the class is called the domain of the relation and the set of all student ID numbers paired with these students is the range of the relation. In general terms, a relation is any set of ordered pairs, (). All the -values in the ordered pairs together make up the domain. All the -values in the ordered pairs together make up the range.
There are many situations similar to the student's name and student ID # where one variable is paired or matched with another. The set of ordered pairs that records this matching is a relation. A special type of relation, called a function, occurs extensively in mathematics. A function is a relation that assigns to each element in its domain exactly one element in the range. For each ordered pair in the relation, each -value is matched with only one -value.
Let us look at the relation between your friends and their birthdays in Figure 5.59. Every friend has a birthday, but no one has two birthdays. It is okay for two people to share a birthday. It is okay that Danny and Stephen share July 24 as their birthday and that June and Liz share August 2. Since each person has exactly one birthday, the relation is a function.
Use Function Notation
It is very convenient to name a function; most often functions are named , , , , , or . In any function, for each -value from the domain, we get a corresponding -value in the range. In the function , we write this range value as (). This notation () is called function notation and is read "f of " or "the value of f at ." In this case the parentheses do not indicate multiplication.
We call the independent variable as it can be any value in the domain. We call the dependent variable as its value depends on . Much like when you first encountered the variable , function notation may be rather unsettling. But the more you use the notation, the more familiar you become with the notation, and the more comfortable you will be with it.
Let’s review the equation . To find the value of when , we know to substitute into the equation and then simplify.
Let . |
The value of the function at is 3. We do the same thing using function notation, the equation can be written as . To find the value when , we write:
Let . |
The value of the function at is 3. This process of finding the value of for a given value of is called evaluating the function.
Example 5.61
Evaluating the Function
For the function , evaluate the function.
- Answer
- To evaluate , substitute 3, for .
Simplify. - To evaluate , substitute for .
Simplify. - To evaluate , substitute for .
Simplify.
- To evaluate , substitute 3, for .
Your Turn 5.61
Example 5.62
Evaluating the Function in an Application
The number of unread emails in Sylvia’s inbox is 75. This number grows by 10 unread emails a day. The function represents the relation between the number of emails, , and the time, , measured in days. Find (5). Explain what this result means.
- Answer
Find (5). Explain what this result means.
Substitute in .
Simplify.If 5 is the number of days, is the number of unread emails after 5 days. After 5 days, there are 125 unread emails in Sylvia’s inbox.
Your Turn 5.62
Determining If a Relation Is a Function with Different Representations
We can determine whether a relation is a function by identifying the input and the output values. If each input value leads to only one output value, classify the relation as a function. If any input value leads to two or more outputs, do not classify the relation as a function.
We will review three different representations of relations and determine if they are functions: ordered pairs, mapping, and equations.
Example 5.63
Determining If a Relation Is a Function with a Set of Ordered Pairs
Use the set of ordered pairs to determine whether the relation is a function.
- Answer
- Each -value is matched with only one -value. This relation is a function.
- The -value 9 is matched with two -values, both 3 and . This relation is not a function.
Your Turn 5.63
A mapping is sometimes used to show a relation. The arrows show the pairing of the elements of the domain with the elements of the range. Consider the example of the relation between your friends and their birthdays used in Figure 5.60. In this particular example, the domain is the set of people’s names, and the range is the set of their birthdays. This mapping was a function because everybody’s name maps to exactly one birthday.
Example 5.64
Determining If a Relation Is a Function with Mapping
Use the mapping in Figure 5.60 to determine whether the relation is a function.
- Answer
Both Lydia and Marty have two phone numbers. Each -value is not matched with only one -value. This relation is not a function.
Your Turn 5.64
In algebra functions will usually be represented by an equation. It is easiest to see if the equation is a function when it is solved for . If each value of results in only one value of , then the equation defines a function.
Example 5.65
Determining If a Relation Is a Function with an Equation
Determine whether each equation is a function. Assume is the independent variable.
- Answer
- For each value of , we multiply it by and then add 7 to get the -value.
For example, if :
We have that when , then . It would work similarly for any value of . Since each value of , corresponds to only one value of the equation defines a function.
- For each value of , we square it and then add 1 to get the -value.
For example, if
We have that when , then . It would work similarly for any value of . Since each value of corresponds to only one value of , the equation defines a function.
-
Let us substitute .
This gives us two values for .
We have shown that when , then and . It would work similarly for any value of . Since each value of does not corresponds to only one value of the equation does not define a function.
- For each value of , we multiply it by and then add 7 to get the -value.
Your Turn 5.65
Video
Applying the Vertical Line Test
We reviewed how to determine if a relation is a function. The relations we looked at were expressed as a set of ordered pairs, a mapping, or an equation. We will now cover how to tell if a graph is that of a function.
An ordered pair
A relation is a function if every element of the domain has exactly one value in the range. The relation defined by the equation
Example 5.66
Applying the Vertical Line Test
Determine whether the graph (Figure 5.63) is the graph of a function applying the vertical line test.
- Answer
On the graph (Figure 5.64), only three vertical dashed lines are drawn. However, it can be determined that any vertical dashed line that is drawn will intersect the solid line at exactly one point. It is the graph of a function.
Your Turn 5.66
Example 5.67
Applying the Vertical Line Test to a Parabola
Determine whether the graph is the graph of a function (Figure 5.66).
- Answer
Figure 5.67 does not represent a function since the vertical dashed lines shown on the graph below intersect the solid line at two points.
Your Turn 5.67
Determining the Domain and Range of a Function
For the function
Example 5.68
Finding the Domain and Range of Ordered Pairs
For
- Find the domain of the relation.
- Find the range of the relation.
- Answer
- The domain is the set of all
-values of the relation:x x { 1 , 2 , 3 , 4 , 5 } { 1 , 2 , 3 , 4 , 5 } - The range is the set of all
-values of the relation:y y { 1 , 4 , 9 , 16 , 25 } { 1 , 4 , 9 , 16 , 25 }
- The domain is the set of all
Your Turn 5.68
Example 5.69
Finding the Domain and Range on a Graph
Use Figure 5.69 to:
- List the ordered pairs of the relation.
- Find the domain of the relation.
- Find the range of the relation.
- Answer
- The ordered pairs of the relation are:
.{ ( 1 , 5 ) , ( − 3 , − 1 ) , ( 4 , − 2 ) , ( 0 , 3 ) , ( 2 , − 2 ) , ( − 3 , 4 ) } { ( 1 , 5 ) , ( − 3 , − 1 ) , ( 4 , − 2 ) , ( 0 , 3 ) , ( 2 , − 2 ) , ( − 3 , 4 ) } - The domain is the set of all
-values of the relation:x x . Notice that while{ − 3 , 0 , 1 , 2 , 4 } { − 3 , 0 , 1 , 2 , 4 } repeats, it is only listed once.− 3 − 3 - The range is the set of all
-values of the relation:y y Notice that while{ − 2 , − 1 , 3 , 4 , 5 } . { − 2 , − 1 , 3 , 4 , 5 } . repeats, it is only listed once.− 2 − 2
- The ordered pairs of the relation are:
Your Turn 5.69
Video
Who Knew?
Function and Function Notation
In 1673, Gottfried Leibniz, the German mathematician who co-invented calculus, seems to be the first person to use the word function in a mathematical sense, although his use of it does not exactly fit with the modern use and definition. The person who is credited with the modern definition of function is Swiss mathematician Johann Bernoulli, who wrote about it in a letter to Leibniz in 1698. Supposedly, Leibniz wrote Bernoulli back, approving of this use of the word. In 1734, the use of the notation
Check Your Understanding
-
True
-
False
-
True
-
False
-
True
-
False
-
True
-
False
-
True
-
False
Section 5.7 Exercises
Callstack:
at (Bookshelves/Applied_Mathematics/Contemporary_Mathematics_(OpenStax)/05:__Algebra/5.08:__Functions), /content/body/div[2]/div[5]/div[4]/div[2]/div[4]/div[9]/div/span/span[1], line 1, column 1
Callstack:
at (Bookshelves/Applied_Mathematics/Contemporary_Mathematics_(OpenStax)/05:__Algebra/5.08:__Functions), /content/body/div[2]/div[5]/div[4]/div[2]/div[4]/div[9]/div/span/span[2], line 1, column 1