11.3: A Brief Review of Functions
- Page ID
- 149131
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\dsum}{\displaystyle\sum\limits} \)
\( \newcommand{\dint}{\displaystyle\int\limits} \)
\( \newcommand{\dlim}{\displaystyle\lim\limits} \)
\( \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{\longvect}{\overrightarrow}\)
\( \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}\)- Corequisite Course Topics
-
- A deeper dive into the basics of functions, including the following:
- relations
- the definition of a function
- the four representations of a function
- domain and range of functions
- A deeper dive into the basics of functions, including the following:
- Absolute Prerequisites
-
- Factoring out the GCF
- Determine if a given relation represents a function.
- Use the Vertical Line Test to determine if a graph represents a function.
- Determine the domain and range of a function given as a set of points.
Functions
One of the core concepts in Mathematics is that of the function. Since the concept of a function is a foundational building block of all topics in Mathematics (especially at this level), it is crucial that we dedicate a little time to review them here.
There are many ways to describe a function, but, at its core, it is a special kind of relation.
A relation in which each \(x\)-coordinate is matched with only one \(y\)-coordinate is said to describe \(y\) as a function of \(x\).
Which of the following relations describe \(y\) as a function of \(x\)?
- \(R_{1} = \{ (-2,1), (1,3), (1,4), (3,-1) \}\)
- \(R_{2} = \{ (-2,1), (1,3), (2,3), (3,-1) \}\)
- Solutions
-
- A quick scan of the points in \(R_{1}\) reveals that the \(x\)-coordinate \(1\) is matched with two different \(y\)-coordinates: namely \(3\) and \(4\). Hence in \(R_{1}\), \(y\) is not a function of \(x\).
- On the other hand, every \(x\)-coordinate in \(R_{2}\) occurs only once which means each \(x\)-coordinate has only one corresponding \(y\)-coordinate. So, \(R_{2}\) does represent \(y\) as a function of \(x\).
In Example \( \PageIndex{ 1b } \), the relation \(R_{2}\) contained two different points with the same \(y\)-coordinates, namely \((1,3)\) and \((2,3)\). To say \(y\) is a function of \(x\), we need to ensure the same \(x\)-coordinate isn't related two two different \( y \)-coordinates.1
The Vertical Line Test
To see what the function concept means geometrically, we graph \(R_{1}\) and \(R_{2}\) in the plane.
The fact that the \(x\)-coordinate, \(1\), is matched with two different \(y\)-coordinates in \(R_{1}\) presents itself graphically as the points \((1,3)\) and \((1,4)\) lying on the same vertical line, \(x=1\). If we turn our attention to the graph of \(R_{2}\), we see that no two points of the relation lie on the same vertical line. We can generalize this idea as follows:
A set of points in the plane represents \(y\) as a function of \(x\) if and only if no two points lie on the same vertical line.
It is worth taking some time to meditate on the Vertical Line Test; it will test your understanding of "function" and "graph."
Use the Vertical Line Test to determine which of the following relations describes \(y\) as a function of \(x\).
- Solution
- Looking at the graph of \(R\), we can easily imagine a vertical line crossing the graph more than once. Hence, \(R\) does not represent \(y\) as a function of \(x\). However, in the graph of \(S\), every vertical line crosses the graph at most once, so \(S\) does represent \(y\) as a function of \(x\).
In the previous test, we say that the graph of the relation \(R\) fails the Vertical Line Test. In contrast, the graph of \(S\) passes the Vertical Line Test. Note that in the graph of \(R\), infinitely many vertical lines cross the graph more than once. However, to fail the Vertical Line Test, all you need is one vertical line that fits the bill, as the following example illustrates.
Use the Vertical Line Test to determine which of the following relations describes \(y\) as a function of \(x\).
- Solution
-
Both \(S_{1}\) and \(S_{2}\) are slight modifications to the relation \(S\) in the previous example whose graph we determined passed the Vertical Line Test. In both \(S_{1}\) and \(S_{2}\), it is the addition of the point \((1,2)\) which threatens to cause trouble.
In \(S_{1}\), there is a point on the curve with \(x\)-coordinate \(1\) just below \((1,2)\), which means that both \((1,2)\) and this point on the curve lie on the vertical line \(x=1\) (see Figure \( \PageIndex{1A} \)). Hence, the graph of \(S_{1}\) fails the Vertical Line Test, so \(y\) is not a function of \(x\) here. However, in \(S_{2}\) notice that the point with \(x\)-coordinate \(1\) on the curve has been omitted, leaving an open circle there. Hence, the vertical line \(x=1\) crosses the graph of \(S_{2}\) only at the point \((1,2)\). Indeed, any vertical line will cross the graph at most once, so the graph of \(S_{2}\) passes the Vertical Line Test. Thus, it describes \(y\) as a function of \(x\).
Figures \( \PageIndex{1A} \) (left) and \( \PageIndex{1B} \) (right)
The Domain and Range of a Function
Suppose a relation \(F\) describes \(y\) as a function of \(x\). The sets of \(x\)- and \(y\)-coordinates are given special names which we define below.
Suppose \(F\) is a relation that describes \(y\) as a function of \(x\).
- The set of the \(x\)-coordinates of the points in \(F\) is called the domain of \(F\).
- The set of the \(y\)-coordinates of the points in \(F\) is called the range of \(F\).
In the following example, we demonstrate finding the domain and range of functions given to us graphically or via the roster method.
Find the domain and range of the function \(F = \{ (-3, 2), (0, 1), (4, 2), (5, 2) \}\) and of the function \(G\) whose graph is Figure \( \PageIndex{1B} \).
- Solution
-
The domain of \(F\) is the set of the \(x\)-coordinates of the points in \(F\), namely \(\{ -3, 0, 4, 5 \}\) and the range of \(F\) is the set of the \(y\)-coordinates, namely \(\{ 1,2 \}.\)
To determine the domain and range of \(G\), we need to decide which \(x\) and \(y\) values occur as coordinates of points on the given graph. To find the domain, imagine collapsing the curve to the \(x\)-axis and determining the portion of the \(x\)-axis that gets covered. This is called projecting the curve to the \(x\)-axis. Before we start projecting, we need to pay attention to two subtle notations on the graph: the arrowhead on the lower left corner of the graph indicates that the graph continues to curve downwards to the left forever, and the open circle at \((1,3)\) indicates that the point \((1,3)\) isn’t on the graph. Still, all points on the curve leading up to that point are.
Figure \( \PageIndex{2} \)We see from Figure \( \PageIndex{2} \) that if we project the graph of \(G\) to the \(x\)-axis, we get all real numbers less than \(1\). Using interval notation, we write the domain of \(G\) as \((-\infty, 1)\). To determine the range of \(G\), we project the curve to the \(y\)-axis as follows:
Figure \( \PageIndex{3} \)Note that even though there is an open circle at \((1,3)\), we still include the \(y\) value of \(3\) in our range, since the point \((-1,3)\) is on the graph of \(G\). We see that the range of \(G\) is all real numbers less than or equal to \(4\), or, in interval notation, \((-\infty, 4]\).
All functions are relations, but as we have seen, not all relations are functions. Thus, the equations that described the relations in Section 1.2 may or may not describe \(y\) as a function of \(x\). The algebraic representation of functions is possibly the most fundamental way to view them, so we need a process to determine whether or not an equation of a relation represents a function. We delay the discussion of finding the domain of a function given algebraically for a future section.
Determine which equations represent \(y\) as a function of \(x\).
- \(x^3 + y^2 = 1\)
- \(x^2 + y^3 = 1\)
- \(x^2y = 1 - 3y\)
- Solutions
-
For each of these equations, we solve for \(y\) and determine whether each choice of \(x\) will determine only one corresponding value of \(y\).
-
\[ \begin{array}{crcl}
& x^3 + y^2 & = & 1 \\
\implies & y^2 & = & 1 - x^3 \\
\implies & \sqrt{y^2} & = & \sqrt{1 - x^3} \\
\implies & y & = & \pm \sqrt{1 - x^3} \\
\end{array} \nonumber \]If we allow \( x = 0 \), we see this relation has two values for \( y \): \( +1 \) and \( -1 \). Thus, \( y \) is not a function of \( x \). -
\[ \begin{array}{crcl}
& x^2 + y^3 & = & 1 \\
\implies & y^3 & = & 1 - x^2 \\
\implies & \sqrt[3]{y^3} & = & \sqrt[3]{1 - x^3} \\
\implies & y & = & \sqrt[3]{1 - x^2} \\
\end{array} \nonumber \]The defining difference between this example and the previous one is that the previous example resulted in \( y = \pm \ldots \). This can be read as \( y \) can be either positive \( \ldots \) or its opposite. That is the primary reason the previous example was not a function of \( x \); however, we have no such issue in this case. No matter what choice is made for \( x \), there is only one possible value for \( y \). Thus, \( y \) is a function of \( x \). -
\[\begin{array}{crclr}
& x^2y & = & 1 - 3y & \\
\implies & x^2y + 3y & = & 1 & \\
\implies & y \left(x^2 + 3\right) & = & 1 & \\
\implies & y & = & \dfrac{1}{x^2 + 3} & \left( \text{Dividing both sides by the same non-zero value} \right) \\
\end{array} \nonumber \]For each choice of \(x\), there is only one value for \(y\), so this equation describes \(y\) as a function of \(x\).
-
In Example \( \PageIndex{5c} \), we ended up dividing both sides of the equation by \( x^2 + 3 \). It is vital to note that you should try to avoid doing this in most cases. Why? Suppose you were given \( y \left( x + 3 \right) = 1 \). Dividing both sides by the variable expression \( \left( x + 3 \right) \) leads to \( y = \frac{1}{x + 3} \); however, if \( x \) is ever \( -3 \), we have a major issue. In that case, we would have been dividing by zero! The only reason we got away with the division by a variable expression in Example \( \PageIndex{5} \) is that we divided by \( \left( x^2 + 3 \right) \). Since \( x^2 \ge 0 \), we can add \( 3 \) to both sides to find that \( x^3 + 3 \ge 3 \gt 0 \). Hence, there is no possibility for the variable expression \( \left( x^2 + 3 \right) \) ever to be zero.
If you think that last paragraph was too much detail for you, I have some bad news - the rest of this course, Calculus, and all of your Science classes will require that level of thought process and meticulousness.
Footnotes
1 We will have occasion later in the text to concern ourselves with the concept of \(\ x\) being a function of \(\ y\). In this case, \(\ R_{1}\) represents \(x\) as a function of \(\ y\); \(\ R_{2}\) does not.