As we discussed previously, the domain of a composite function such as [latex]f\circ g[/latex] is dependent on the domain of [latex]g[/latex] and the domain of [latex]f[/latex]. It is important to know when we can apply a composite function and when we cannot, that is, to know the domain of a function such as [latex]f\circ g[/latex]. Let us assume we know the domains of the functions [latex]f[/latex] and [latex]g[/latex] separately. If we write the composite function for an input [latex]x[/latex] as [latex]f\left(g\left(x\right)\right)[/latex], we can see right away that [latex]x[/latex] must be a member of the domain of [latex]g[/latex] in order for the expression to be meaningful, because otherwise we cannot complete the inner function evaluation. However, we also see that [latex]g\left(x\right)[/latex] must be a member of the domain of [latex]f[/latex], otherwise the second function evaluation in [latex]f\left(g\left(x\right)\right)[/latex] cannot be completed, and the expression is still undefined. Thus the domain of [latex]f\circ g[/latex] consists of only those inputs in the domain of [latex]g[/latex] that produce outputs from [latex]g[/latex] belonging to the domain of [latex]f[/latex]. Note that the domain of [latex]f[/latex] composed with [latex]g[/latex] is the set of all [latex]x[/latex] such that [latex]x[/latex] is in the domain of [latex]g[/latex] and [latex]g\left(x\right)[/latex] is in the domain of [latex]f[/latex].
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].
Find the domain of
Show SolutionThe domain of [latex]g\left(x\right)[/latex] consists of all real numbers except [latex]x=\frac[/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].
So the domain of [latex]f\circ g[/latex] is the set of all real numbers except [latex]\frac[/latex] and [latex]2[/latex]. This means that
[latex]x\ne \frac\hspace\text\hspacex\ne 2[/latex]
We can write this in interval notation as
[latex]\left(-\infty ,\frac\right)\cup \left(\frac,2\right)\cup \left(2,\infty \right)[/latex]
Find the domain of
Show SolutionBecause 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
For [latex]\left(f\circ g\right)\left(x\right)[/latex], we need [latex]\sqrt+2\ge[/latex], since the radicand of a square root must be positive. Since square roots are positive, [latex]\sqrt\ge[/latex], or [latex]3-x\ge[/latex], which gives a domain of [latex]\left(f\circ g\right)\left(x\right) = (-\infty,3][/latex].
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.
Find the domain of
Show Solution[latex]\left[-4,0\right)\cup \left(0,\infty \right)[/latex]
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 tool.
Next, create a new function, [latex]h(x) = g(f(x))[/latex]. Based on the graph, what is the domain of this function? Explain why [latex]g(f(x))[/latex] and [latex]f(x)[/latex] have the same domain.
Now define another composition, [latex]p(x) = f(g(x)[/latex]. What is the domain of this function? Explain why you can evaluate [latex]g(10)[/latex], but not [latex]p(10)[/latex].
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.
Write [latex]f\left(x\right)=\sqrt^>[/latex] as the composition of two functions.
Show SolutionWe 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-^[/latex] is the inside of the square root. We could then decompose the function as
We can check our answer by recomposing the functions.
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^>[/latex] is [latex]h(x)=x^2[/latex] and [latex]g(x)=\sqrt[/latex]
Write [latex]f\left(x\right)=\dfrac^>>[/latex] as the composition of two functions.
