Compositions of functions

$\newenvironment {prompt}{}{} \newcommand {\ungraded }[0]{} \newcommand {\todo }[0]{} \newcommand {\mooculus }[0]{\textsf {\textbf {MOOC}\textnormal {\textsf {ULUS}}}} \newcommand {\npnoround }[0]{\nprounddigits {-1}} \newcommand {\npnoroundexp }[0]{\nproundexpdigits {-1}} \newcommand {\npunitcommand }[1]{\ensuremath {\mathrm {#1}}} \newcommand {\tkzTabSlope }[1]{\foreach \x /\y /\z in {#1}{\node [left = 3pt] at (Z\x 1) {\scriptsize $\y $}; \node [right = 3pt] at (Z\x 1) {\scriptsize $\z $}; }} \newcommand {\RR }[0]{\mathbb R} \newcommand {\R }[0]{\mathbb R} \newcommand {\N }[0]{\mathbb N} \newcommand {\Z }[0]{\mathbb Z} \newcommand {\sagemath }[0]{\textsf {SageMath}} \newcommand {\d }[0]{\mathop {}\!d} \newcommand {\l }[0]{\ell } \newcommand {\ddx }[0]{\frac {d}{\d x}} \newcommand {\ddt }[0]{\frac {d}{\d t}} \newcommand {\zeroOverZero }[0]{\ensuremath {\boldsymbol {\tfrac {0}{0}}}} \newcommand {\inftyOverInfty }[0]{\ensuremath {\boldsymbol {\tfrac {\infty }{\infty }}}} \newcommand {\zeroOverInfty }[0]{\ensuremath {\boldsymbol {\tfrac {0}{\infty }}}} \newcommand {\zeroTimesInfty }[0]{\ensuremath {\small \boldsymbol {0\cdot \infty }}} \newcommand {\inftyMinusInfty }[0]{\ensuremath {\small \boldsymbol {\infty -\infty }}} \newcommand {\oneToInfty }[0]{\ensuremath {\boldsymbol {1^\infty }}} \newcommand {\zeroToZero }[0]{\ensuremath {\boldsymbol {0^0}}} \newcommand {\inftyToZero }[0]{\ensuremath {\boldsymbol {\infty ^0}}} \newcommand {\numOverZero }[0]{\ensuremath {\boldsymbol {\tfrac {\#}{0}}}} \newcommand {\dfn }[0]{\textbf } \newcommand {\unit }[0]{\mathop {}\!\mathrm } \newcommand {\eval }[1]{\bigg [ #1 \bigg ]} \newcommand {\seq }[1]{\left ( #1 \right )} \newcommand {\epsilon }[0]{\varepsilon } \newcommand {\phi }[0]{\varphi } \newcommand {\iff }[0]{\Leftrightarrow } \DeclareMathOperator {\arccot }{arccot} \DeclareMathOperator {\arcsec }{arcsec} \DeclareMathOperator {\arccsc }{arccsc} \DeclareMathOperator {\si }{Si} \DeclareMathOperator {\proj }{\vec {proj}} \DeclareMathOperator {\scal }{scal} \DeclareMathOperator {\sign }{sign} \newcommand {\arrowvec }[0]{\overrightarrow } \newcommand {\vec }[0]{\mathbf } \newcommand {\veci }[0]{{\boldsymbol {\hat {\imath }}}} \newcommand {\vecj }[0]{{\boldsymbol {\hat {\jmath }}}} \newcommand {\veck }[0]{{\boldsymbol {\hat {k}}}} \newcommand {\vecl }[0]{\boldsymbol {\l }} \newcommand {\uvec }[1]{\mathbf {\hat {#1}}} \newcommand {\utan }[0]{\mathbf {\hat {t}}} \newcommand {\unormal }[0]{\mathbf {\hat {n}}} \newcommand {\ubinormal }[0]{\mathbf {\hat {b}}} \newcommand {\dotp }[0]{\bullet } \newcommand {\cross }[0]{\boldsymbol \times } \newcommand {\grad }[0]{\boldsymbol \nabla } \newcommand {\divergence }[0]{\grad \dotp } \newcommand {\curl }[0]{\grad \cross } \newcommand {\lto }[0]{\mathop {\longrightarrow \,}\limits } \newcommand {\bar }[0]{\overline } \newcommand {\surfaceColor }[0]{violet} \newcommand {\surfaceColorTwo }[0]{redyellow} \newcommand {\sliceColor }[0]{greenyellow} \newcommand {\vector }[1]{\left \langle #1\right \rangle } \newcommand {\sectionOutcomes }[0]{} \newcommand {\HyperFirstAtBeginDocument }[0]{\AtBeginDocument }$

We discuss compositions of functions.

Given two functions, we can compose them. Let’s give an example in a “real context.”

Let $g(m) = \text {the amount of gas one can buy with $m$ dollars,}$ and let $f(g) = \text {how far one can drive with $g$ gallons of gas.}$ What does $f(g(m))$ represent in this setting?

With $f(g(m))$ we first relate how far one can drive with $\answer [given]{g}$ gallons of gas, and this in turn is determined by how much money $\answer [given]{m}$ one has. Hence $f(g(m))$ represents how far one can drive with $\answer [given]{m}$ dollars.

Composition of functions can be thought of as putting one function inside another. We use the notation $(f\circ g)(x) = f(g(x)).$

The composition $f\circ g$ only makes sense if $\{\text {the range of $g$}\} \text { is contained in or equal to } \{\text {the domain of $f$}\}$

Suppose we have $\begin{align*} f(x)&={{x}^{2}}+5x+4 &&\text{for $-\infty< x< \infty$,}\\ g(x)&= x+7 &&\text{for $-\infty< x< \infty$.}\\ \end{align*}$

Find $f(g(x))$ and state its domain.

The range of $g$ is $-\infty < x< \infty$ , which is equal to the domain of $f$ . This means the domain of $f\circ g$ is $-\infty < x< \infty$ . Next, we substitute $x+7$ for each instance of $\answer [given]{x}$ found in $f(x)={{x}^{2}}+5x+4$ and so $\begin{align*} f(g(x)) &=f(x+7)\\ &=\answer[given]{{{(x+7)}^{2}}+5(x+7)+4}. \end{align*}$

Now let’s try an example with a more restricted domain.

Suppose we have: $\begin{align*} f(x)&=x^2 &&\text{for $-\infty< x< \infty$,}\\ g(x)&= \sqrt{x} &&\text{for $0\le x< \infty$.}\\ \end{align*}$

Find $f(g(x))$ and state its domain.

The domain of $g$ is $0\le x< \infty$ . From this we can see that the range of $g$ is $\answer [given]{0}\le x< \infty$ . This is contained in the domain of $f$ .

This means that the domain of $f\circ g$ is $0\le x< \infty$ . Next, we substitute $\answer [given]{\sqrt {x}}$ for each instance of $x$ found in $f(x)={{x}^{2}}$ and so

$\begin{align*} f(g(x))&=f(\sqrt{x})\\ &=\left(\sqrt{x}\right)^2. \end{align*}$

We can summarize our results as a piecewise function, which looks somewhat interesting: $(f\circ g)(x) = \begin {cases} x & \text {if $0\le x < \infty $}\\ \text {undefined} &\text {otherwise}. \end {cases}$

Suppose we have: $\begin{align*} f(x)&=\sqrt{x} &&\text{for $0\le x< \infty$,}\\ g(x)&= x^2 &&\text{for $-\infty< x< \infty$.} \end{align*}$

Find $f(g(x))$ and state its domain.

While the domain of $g$ is $-\infty < x< \infty$ , its range is only $0 \le x<\infty$ . This is exactly the domain of $f$ . This means that the domain of $f\circ g$ is $-\infty < x< \infty$ . Now we may substitute $\answer [given]{x^2}$ for each instance of $\answer [given]{x}$ found in $f(x)=\sqrt {x}$ and so $\begin{align*} f(g(x))&=f(x^2)\\ &=\sqrt{x^2},\\ &=|x|. \end{align*}$

Compare and contrast the previous two examples. We used the same functions for each example, but composed them in different ways. The resulting compositions are not only different, they have different domains!