1.2: Operations on Functions
- Page ID
- 71040
\( \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}\)Composition of Functions
Suppose we wanted to calculate how much it costs to heat a house on a particular day of the year. The cost to heat a house will depend on the average daily temperature, and the average daily temperature depends on the particular day of the year. Notice how we have just defined two relationships: The temperature depends on the day, and the cost depends on the temperature. Using descriptive variables, we can notate these two functions.
The first function, \(C(T)\), gives the cost \(C\) of heating a house when the average daily temperature is \(T\) degrees Celsius, and the second, \(T(d)\), gives the average daily temperature of a particular city on day \(d\) of the year. If we wanted to determine the cost of heating the house on the fifth day of the year, we could do this by linking our two functions together, an idea called composition of functions. Using the function \(T(d)\), we could evaluate \(T(5)\) to determine the average daily temperature on the fifth day of the year. We could then use that temperature as the input to the \(C(T)\) function to find the cost to heat the house on the fifth day of the year: \(C(T(5))\).
When the output of one function is used as the input of another, we call the entire operation a composition of functions. We write \(f(g(x))\), and read this as “\(f\) of \(g\) of \(x\)” or “\(f\) composed with \(g\) at \(x\)”.
An alternate notation for composition uses the composition operator: \(\circ\). \((f\circ g)(x)\) is read “\(f\) of \(g\) of \(x\)” or “\(f\) composed with \(g\) at \(x\)”, just like \(f(g(x))\).
Suppose \(c(s)\) gives the number of calories burned doing \(s\) sit-ups, and \(s(t)\) gives the number of sit-ups a person can do in \(t\) minutes. Interpret \(c(s(3))\).
Solution
When we are asked to interpret, we are being asked to explain the meaning of the expression in words. The inside expression in the composition is \(s(3)\). Since the input to the \(s\) function is time, the 3 is representing 3 minutes, and \(s(3)\) is the number of sit-ups that can be done in 3 minutes. Taking this output and using it as the input to the \(c(s)\) function will give us the calories that can be burned by the number of sit-ups that can be done in 3 minutes.
Composition of Functions using Tables and Graphs
When working with functions given as tables and graphs, we can look up values for the functions using a provided table or graph. We start evaluation from the provided input, and first evaluate the inside function. We can then use the output of the inside function as the input to the outside function. To remember this, always work from the inside out.
Using the graphs below, evaluate \(f(g(1))\).
Solution
To evaluate \(f(g(1))\), we again start with the inside evaluation. We evaluate \(g(1)\) using the graph of the \(g(x)\) function, finding the input of 1 on the horizontal axis and finding the output value of the graph at that input. Here, \(g(1)=3\). Using this value as the input to the \(f\) function, \(f(g(1))=f(3)\). We can then evaluate this by looking to the graph of the \(f(x)\) function, finding the input of 3 on the horizontal axis, and reading the output value of the graph at this input. Here, \(f(3)=6\), so \(f(g(1))=6\).
Compositions using Formulas
When evaluating a composition of functions where we have either created or been given formulas, the concept of working from the inside out remains the same. First we evaluate the inside function using the input value provided, then use the resulting output as the input to the outside function.
Given \(f(t)=t^2-t\) and \(h(x)=3x+2\), evaluate \(f(h(1))\).
Solution
Since the inside evaluation is \(h(1)\) we start by evaluating the \(h(x)\) function at 1: \[h(1)=3(1)+2=5\nonumber \]
Then \(f(h(1))=f(5)\), so we evaluate the \(f(t)\) function at an input of 5: \[f(h(1))=f(5)=5^2-5=20\nonumber \]
We are not limited, however, to using a numerical value as the input to the function. We can put anything into the function: a value, a different variable, or even an algebraic expression, provided we use the input expression everywhere we see the input variable.
Let \(f(x)=x^2\) and \(g(x)=\dfrac{1}{x}-2x\). Find \(f(g(x))\) and \(g(f(x))\).
Solution
To find \(f(g(x))\), we start by evaluating the inside, writing out the formula for \(g(x)\):\[g(x)=\dfrac{1}{x}-2x\nonumber \]
We then use the expression \(\left(\dfrac{1}{x}-2x\right)\) as the input for the function \(f\): \[f(g(x))=f\left(\dfrac{1}{x}-2x\right)\nonumber \]
We then evaluate the function \(f(x)\) using the formula for \(g(x)\) as the input. Since \(f(x)=x^2\) then \[f\left(\dfrac{1}{x}-2x\right)=\left(\dfrac{1}{x}-2x\right)^2\nonumber \]
This gives us the formula for the composition: \[f(g(x))=\left(\dfrac{1}{x}-2x\right)^2\nonumber \]
Likewise, to find \(g(f(x))\), we evaluate the inside, writing out the formula for \(f(x)\): \(g(f(x))=g(x^2)\).
Now we evaluate the function \(g(x)\) using \(x^2\) as the input: \[g(f(x))=\dfrac{1}{x^2}-2x^2\nonumber \]
A city manager determines that the tax revenue, \(R\), in millions of dollars collected on a population of \(p\) thousand people is given by the formula \(R(p)=0.03p+\sqrt{p}\), and that the city’s population, in thousands, is predicted to follow the formula \(p(t)=60+2t+0.3t^2\), where \(t\) is measured in years after 2010. Find a formula for the tax revenue as a function of the year.
Solution
Since we want tax revenue as a function of the year, we want year to be our initial input, and revenue to be our final output. To find revenue, we will first have to predict the city population, and then use that result as the input to the tax function. So we need to find \(R(p(t)).\) Evaluating this, \[\begin{align*} R(p(t)) & = R(60+2t+0.3t^2)\\ & = 0.03(60+2t+0.3t^2)+\sqrt{60+2t+0.3t^2} \end{align*}\nonumber \]
This composition gives us a single formula which can be used to predict the tax revenue during a given year, without needing to find the intermediary population value.
For example, to predict the tax revenue in 2017, when \(t = 7\) (because \(t\) is measured in years after 2010), \[\begin{align*} R(p(7)) & = 0.03\left(60+2(7)+0.3\left(7^2\right)\right)+\sqrt{60+2(7)+0.3\left(7^2\right)}\\ \approx & 12.079\text{ million dollars} \end{align*}\nonumber \]
Later in this course, it will be desirable to decompose a function – to write it as a composition of two simpler functions.
Write \(f(x)=3+\sqrt{5-x^2}\) as the composition of two functions.
Solution
We are looking for two functions, \(g\) and \(h\), so \(f(x)=g(h(x))\). To do this, we look for a function inside a function in the formula for \(f(x)\). As one possibility, we might notice that \(5-x^2\) is the inside of the square root. We could then decompose the function as: \[h(x)=5-x^2, \quad g(x)=3+\sqrt{x}\nonumber \]
We can check our answer by recomposing the functions: \[g(h(x))=g(5-x^2)=3+\sqrt{5-x^2}\nonumber \]
Note that this is not the only solution to the problem. Another non-trivial decomposition would be \[h(x)=x^2, \quad g(x)=3+\sqrt{5-x}.\nonumber \]
Transformations of Functions
Transformations allow us to construct new equations from our basic toolkit functions. The most basic transformations are shifting the graph vertically or horizontally.
Given a function \(f(x)\), if we define a new function \(g(x)\) as \(g(x)=f(x)+k\), where \(k\) is a constant, then \(g(x)\) is a vertical shift of the function \(f(x)\), where all the output values have been increased by \(k\).
If \(k\) is positive, then the graph will shift up. If \(k\) is negative, then the graph will shift down.
Given a function \(f(x)\), if we define a new function \(g(x)\) as \(g(x)=f(x+k)\), where \(k\) is a constant, then \(g(x)\) is a horizontal shift of the function \(f(x)\), where all the output values have been increased by \(k\).
If \(k\) is positive, then the graph will shift left. If \(k\) is negative, then the graph will shift right.
Given \(f(x)=|x|\), sketch a graph of \(h(x)=f(x+1)-3=|x+1|-3\).
Solution
The function \(f\) is our toolkit absolute value function. We know that this graph has a V shape, with the point at the origin. The graph of \(h\) has transformed \(f\) in two ways: \(f(x+1)\) is a change on the inside of the function, giving a horizontal shift left by 1, then the subtraction by 3 in \(f(x+1)-3\) is a change to the outside of the function, giving a vertical shift down by 3. Transforming the graph gives:
Write a formula for the graph shown, a transformation of the toolkit square root function.
Solution
The graph of the toolkit function starts at the origin, so this graph has been shifted 1 to the right, and up 2. In function notation, we could write that as \(h(x)=f(x-1)+2\). Using the formula for the square root function we can write \(h(x)=\sqrt{x-1}+2\).
Note that this transformation has changed the domain and range of the function. This new graph has domain \([1,\infty)\) and range \([2,\infty)\).
Another transformation that can be applied to a function is a reflection over the horizontal or vertical axis.
Given a function \(f(x)\), if we define a new function \(g(x)\) as \(-f(x)\), then \(g(x)\) is a vertical reflection of the function \(f(x)\), sometimes called a reflection about the x-axis
If we define a new function \(g(x)\) as \(f(-x)\), then \(g(x)\) is a horizontal reflection of the function \(f(x)\), sometimes called a reflection about the \(y\)-axis.
A common model for learning has an equation similar to \(k(t)=-2^t+1\), where \(k\) is the percentage of mastery that can be achieved after \(t\) practice sessions. This is a transformation of the function \(f(t)=2^t\) shown here. Sketch a graph of \(k(t)\).
Solution
This equation combines three transformations into one equation.
A horizontal reflection: | \(f(-t)=2^{-t}\) | combined with |
a vertical reflection: | \(-f(-t)=-2^{-t}\) | combined with |
a vertical shift up 1: | \(-f(-t)+1=-2^{-t}+1\). |
We can sketch a graph by applying these transformations one at a time to the original function:
Then, after shifting up 1, we get the final graph: \[k(t)=-f(-t)+1=-2^{-t}+1\nonumber \]
Note: As a model for learning, this function would be limited to a domain of \(t\geq 0\), with corresponding range \([0,1)\).
With shifts, we saw the effect of adding or subtracting to the inputs or outputs of a function. We now explore the effects of multiplying the outputs.
Given a function \(f(x)\), if we define a new function \(g(x)\) as \(g(x)=k\cdot f(x)\), where \(k\) is a constant, then \(g(x)\) is a vertical stretch or compression of the function \(f(x)\).
- If \(k \gt 1\), then the graph will be stretched
- If \(0\lt k \lt 1\), then the graph will be compressed
- If \(k \lt 0\), then there will be combination of a vertical stretch or compression with a vertical reflection
The graph below is a transformation of the toolkit function \(f(x)=x^3\). Relate this new function \(g(x)\) to \(f(x)\), then find a formula for \(g(x)\).
Solution
When trying to determine a vertical stretch or shift, it is helpful to look for a point on the graph that is relatively clear. In this graph, it appears that \(g(2)=2\). With the basic cubic function at the same input, \(f(2)=2^3=8\). Based on that, it appears that the outputs of \(g\) are \(\frac{1}{4}\) the outputs of the function \(f\), since \(g(2)=\frac{1}{4}f(x)\). From this we can fairly safely conclude that \[g(x)=\frac{1}{4}f(x).\nonumber \]
We can write a formula for \(g\) by using the definition of the function \(f\): \[g(x)=\frac{1}{4}f(x)=\frac{1}{4}x^3.\nonumber \]
Combining Transformations
When combining vertical transformations, it is very important to consider the order of the transformations. For example, vertically shifting by 3 and then vertically stretching by 2 does not create the same graph as vertically stretching by 2 and then vertically shifting by 3. The order follows nicely from order of operations.
When combining vertical transformations written in the form \(a\cdot f(x)+k\), first vertically stretch by \(a\), then vertically shift by \(k\).
Write an equation for the transformed graph of the quadratic function shown.
Solution
Since this is a quadratic function, first consider what the basic quadratic tool kit function looks like and how this has changed. Observing the graph, we notice several transformations: The original tool kit function has been flipped over the \(x\) axis, some kind of stretch or compression has occurred, and we can see a shift to the right 3 units and a shift up 1 unit. In total there are four operations:
- Vertical Reflection, requiring a negative sign outside the function.
- Vertical Stretch
- Horizontal Shift Right 3 units, which tells us to put x-3 on the inside of the function.
- Vertical Shift up 1 unit, telling us to add 1 on the outside of the function.
By observation, the basic tool kit function has a vertex at (0, 0) and symmetrical points at (1, 1) and (-1, 1). These points are 1 unit up and 1 unit over from the vertex. The new points on the transformed graph are 1 unit away horizontally but 2 units away vertically. They have been stretched vertically by 2.
Not everyone can see this by simply looking at the graph. If you can, great, but if not we can solve for it. First, we will write the equation for this graph, with an unknown vertical stretch:
\(f(x)=x^2\) | The original function |
\(-f(x)=-x^2\) | Vertically reflected |
\(-a\cdot f(x)=-a x^2\) | Vertically stretched |
\(-a\cdot f(x-3)=-a(x-3)^2\) | Shifted right 3 |
\(-a\cdot f(x-3)+1=-a(x-3)^2+1\) | Shifted up 1 |
We now know our graph is going to have an equation of the form \(g(x)=-a(x-3)^2+1\). To find the vertical stretch, we can identify any point on the graph (other than the highest point), such as the point (2,-1), which tells us \(g(2)=-1\). Using our general formula, and substituting 2 for \(x\), and -1 for \(g(x)\).
This tells us that to produce the graph we need a vertical stretch by two.
Thus the function that produces this graph is \[g(x)=-2(x-3)^2+1.\nonumber \]
On what interval(s) is the function \(g(x)=\dfrac{-2}{(x-1)^2}+3\) increasing and decreasing?
Solution
This is a transformation of the toolkit reciprocal squared function, \(f(x)=\dfrac{1}{x^2}\)
\(-2f(x)=\dfrac{-2}{x^2}\) | A vertical flip and vertical stretch by 2 |
\(-2f(x-1)=\dfrac{-2}{(x-1)^2}\) | A shift right by 1 |
\(-2f(x-1)+3=\dfrac{-2}{(x-1)^2}+3\) | A shift up by 3 |
The basic reciprocal squared function is increasing on \((-\infty,0)\) and decreasing on \((0,\infty)\). Because of the vertical flip, the \(g(x)\) function will be decreasing on the left and increasing on the right. The horizontal shift right by 1 will also shift these intervals to the right one. From this, we can determine \(g(x)\) will be increasing on \((1,\infty)\) and decreasing on \((-\infty,1)\). We also could graph the transformation to help us determine these intervals.