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)=\frac{5}{x - 1}\text{ and }g\left(x\right)=\frac{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{array}{l}\frac{4}{3x - 2}=1\hfill \\ 4=3x - 2\hfill \\ 6=3x\hfill \\ x=2\hfill \end{array}[/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}\text{ or }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{(\sqrt{3-x})+2}[/latex]

To determine the domain of this function we need to ensure that [latex]\sqrt{3-x}+2\ge{0}[/latex]. As long as we define x values for which [latex]\sqrt{3-x}[/latex] is positive, we will still have a positive output when we add [latex]2[/latex], so the domain of the composition is found by solving [latex]3-x\ge{0}[/latex]. The domain of [latex]\left(f\circ g\right)\left(x\right) = (-\infty,3][/latex].

Analysis of the Solution

This example 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 positive output for the inner function, which will in turn ensure a positive output for the composite function.

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}\text{ and }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]