Domain of a Composition
Learning Outcomes
- Find the domain of a composite function.
- Decompose a composite function.
A General Note: Domain of a Composite Function
The domain of a composite function [latex]f\left(g\left(x\right)\right)[/latex] is the set of those inputs [latex]x[/latex] in the domain of [latex]g[/latex] for which [latex]g\left(x\right)[/latex] is in the domain of [latex]f[/latex].How To: Given a function composition [latex]f\left(g\left(x\right)\right)[/latex], determine its domain.
- Find the domain of [latex]g[/latex].
- Find the domain of [latex]f[/latex].
- Find those inputs, [latex]x[/latex], in the domain of [latex]g[/latex] for which [latex]g(x)[/latex] is in the domain of [latex]f[/latex]. That is, exclude those inputs, [latex]x[/latex], from the domain of [latex]g[/latex] for which [latex]g(x)[/latex] is not in the domain of [latex]f[/latex]. The resulting set is the domain of [latex]f\circ g[/latex].
Example: Finding the Domain of a Composite Function
Find the domain of[latex]\left(f\circ g\right)\left(x\right)\text{ where}f\left(x\right)=\dfrac{5}{x - 1}\text{ and }g\left(x\right)=\dfrac{4}{3x - 2}[/latex]
Answer: The domain of [latex]g\left(x\right)[/latex] consists of all real numbers except [latex]x=\frac{2}{3}[/latex], since that input value would cause us to divide by 0. Likewise, the domain of [latex]f[/latex] consists of all real numbers except 1. So we need to exclude from the domain of [latex]g\left(x\right)[/latex] that value of [latex]x[/latex] for which [latex]g\left(x\right)=1[/latex].
[latex]\begin{align}&\dfrac{4}{3x - 2}=1\hspace{5mm}&&\text{Set}\hspace{2mm}g(x)\hspace{2mm}\text{equal to 1} \\[2mm]& 4=3x - 2 &&\text{Multiply by}\hspace{2mm} 3x-2\\[2mm]& 6=3x&&\text{Add 2 to both sides}\\[2mm]& x=2&&\text{Divide by 3} \end{align}[/latex]
So the domain of [latex]f\circ g[/latex] is the set of all real numbers except [latex]\frac{2}{3}[/latex] and [latex]2[/latex]. This means that[latex]x\ne \frac{2}{3}\hspace{2mm}\text{or}\hspace{2mm}x\ne 2[/latex]
We can write this in interval notation as[latex]\left(-\infty ,\frac{2}{3}\right)\cup \left(\frac{2}{3},2\right)\cup \left(2,\infty \right)[/latex]
Example: Finding the Domain of a Composite Function Involving Radicals
Find the domain of[latex]\left(f\circ g\right)\left(x\right)\text{ where}f\left(x\right)=\sqrt{x+2}\text{ and }g\left(x\right)=\sqrt{3-x}[/latex]
Answer: Because we cannot take the square root of a negative number, the domain of [latex]g[/latex] is [latex]\left(-\infty ,3\right][/latex]. Now we check the domain of the composite function
[latex]\left(f\circ g\right)\left(x\right)=\sqrt{3-\sqrt{x+2}}[/latex]
For [latex]\left(f\circ g\right)\left(x\right)[/latex], we need [latex]3-\sqrt{x+2}\ge{0}[/latex], again because we cannot take the square root of a negative number. Since the output of a square root is always non-negative, when we add 2, we see that [latex]3-\sqrt{x+2}>0[/latex], so the domain of [latex]\left(f\circ g\right)\left(x\right) = (-\infty,3][/latex].Analysis of the Solution
This example shows that knowledge of the range of functions (specifically the inner function) can also be helpful in finding the domain of a composite function. It also shows that the domain of [latex]f\circ g[/latex] can contain values that are not in the domain of [latex]f[/latex], though they must be in the domain of [latex]g[/latex]. You cannot rely on an algorithm to find the domain of a composite function. Rather, you will need to first ask yourself "what is the domain of the inner function", and determine whether this set will comply with the domain restrictions of the outer function. In this case, the set [latex](-\infty,3][/latex] ensures a non-negative output for the inner function, which will in turn ensure a positive input for the composite function.Try It
Find the domain of[latex]\left(f\circ g\right)\left(x\right)\text{ where}f\left(x\right)=\dfrac{1}{x - 2}\text{ and }g\left(x\right)=\sqrt{x+4}[/latex]
Answer: [latex]\left[-4,0\right)\cup \left(0,\infty \right)[/latex]
Try It
We can use graphs to visualize the domain that results from a composition of two functions. Graph the two functions below with an online graphing calculator.- [latex]f(x)=\sqrt{3-x}[/latex]
- [latex]g(t) = \sqrt{x+4}[/latex]
Decompose a Composite Function
In some cases, it is necessary to decompose a complicated function. In other words, we can write it as a composition of two simpler functions. There is almost always more than one way to decompose a composite function, so we may choose the decomposition that appears to be most obvious.Example: Decomposing a Function
Write [latex]f\left(x\right)=\sqrt{5-{x}^{2}}[/latex] as the composition of two functions.Answer: We are looking for two functions, [latex]g[/latex] and [latex]h[/latex], so [latex]f\left(x\right)=g\left(h\left(x\right)\right)[/latex]. To do this, we look for a function inside a function in the formula for [latex]f\left(x\right)[/latex]. As one possibility, we might notice that the expression [latex]5-{x}^{2}[/latex] is the inside of the square root. We could then decompose the function as
[latex]h\left(x\right)=5-{x}^{2}\hspace{2mm}\text{and}\hspace{2mm}g\left(x\right)=\sqrt{x}[/latex]
We can check our answer by recomposing the functions.[latex]g\left(h\left(x\right)\right)=g\left(5-{x}^{2}\right)=\sqrt{5-{x}^{2}}[/latex]
Analysis of the Solution
For every composition there are infinitely many possible function pairs that will work. In this case, another function pair where [latex]g\left(h\left(x\right)\right)=\sqrt{5-{x}^{2}}[/latex] is [latex]h(x)=x^2[/latex] and [latex]g(x)=\sqrt{5-x}[/latex]Try It
Write [latex]f\left(x\right)=\dfrac{4}{3-\sqrt{4+{x}^{2}}}[/latex] as the composition of two functions.Answer: Possible answer:
[latex]g\left(x\right)=\sqrt{4+{x}^{2}}[/latex]
[latex-display]h\left(x\right)=\dfrac{4}{3-x}[/latex-display] [latex-display]f=h\circ g[/latex-display]Licenses & Attributions
CC licensed content, Original
- Revision and Adaptation. Provided by: Lumen Learning License: CC BY: Attribution.
CC licensed content, Shared previously
- College Algebra. Provided by: OpenStax Authored by: Abramson, Jay et al.. Located at: https://openstax.org/books/college-algebra/pages/1-introduction-to-prerequisites. License: CC BY: Attribution. License terms: Download for free at http://cnx.org/contents/[email protected].
- Question ID 15772. Authored by: Master,Course. License: CC BY: Attribution. License terms: IMathAS Community License CC-BY + GPL.
- Question ID 1600. Authored by: WebWork-Rochester, mb Lippman,David. License: CC BY: Attribution. License terms: IMathAS Community License CC-BY + GPL.