Composition of Two Functions: Domain and Range
The composition of two functions is a fundamental concept in algebra and precalculus that allows us to combine simpler functions into more complex ones. When we write $(f \circ g)(x)$, we mean $f(g(x))$, which means we first apply $g$ to $x$, then apply $f$ to the result. While the process seems straightforward, determining the domain and range of the resulting composite function requires careful attention to the input-output relationships of both original functions. Understanding these constraints is essential not only for solving equations but also for modeling real-world scenarios where one process feeds into another Easy to understand, harder to ignore..
Understanding the Basics of Function Composition
Before diving into domain and range, it helps to recall what function composition entails. Suppose we have two functions: $f(x) = \sqrt{x}$ and $g(x) = x^2 - 4$. The composite function $f \circ g$ is defined as $f(g(x)) = \sqrt{x^2 - 4}$. That said, here, the output of $g$ becomes the input of $f$. This chaining effect means that the permissible inputs (domain) and possible outputs (range) of the composite function depend on both $f$ and $g$ simultaneously. A common error is to assume that the domain of $f \circ g$ is simply the domain of $g$, but this ignores the fact that $f$ must also be able to accept the outputs produced by $g$ That's the whole idea..
At its core, where a lot of people lose the thread.
The Domain of a Composite Function
The domain of $(f \circ g)(x)$ consists of all real numbers $x$ that satisfy two conditions: first, $x$ must be in the domain of $g$; second, $g(x)$ must be in the domain of $f$. Symbolically, we can express this as: $ \text{Domain of } f \circ g = { x \mid x \in \text{Domain of } g \text{ and } g(x) \in \text{Domain of } f } $
To illustrate, let $g(x) = \frac{1}{x-2}$ and $f(x) = x^2$. So, the domain of $f \circ g$ is all real numbers except $x = 2$, since $g(x)$ will never produce a value that $f$ cannot handle. Still, the function $f(x) = x^2$ accepts any real number as input. Now, the domain of $g$ is all real numbers except $x = 2$, because the denominator cannot be zero. Still, if $f(x) = \ln(x)$, then we would need $g(x) > 0$, which adds another layer of restriction: $\frac{1}{x-2} > 0$, leading to $x > 2$ But it adds up..
When working with composite functions, always trace the input from the rightmost function inward. Each step may introduce new restrictions, and the final domain is the intersection of all these conditions Worth knowing..
The Range of a Composite Function
The range of $(f \circ g)(x)$ is the set of all possible outputs $f(g(x))$ as $x$ varies over the domain of the composite function. Determining the range often requires analyzing the range of $g$, then seeing how $f$ transforms those values. Formally, if $D_g$ is the domain of $g$ and $R_g$ is the range of $g$, then the range of $f \circ g$ is a subset of the range of $f$ restricted to $R_g$ But it adds up..
Consider $g(x) = x + 3$ and $f(x) = x^2$. The range of $g$ is all real numbers, and squaring any real number yields a non-negative result. Thus, the range of $f \circ g$ is $[0, \infty)$. Now, let $g(x) = e^x$ and $f(x) = \ln(x)$ Simple, but easy to overlook. That alone is useful..
Building on the ideas introduced so far, the range of a composite function can often be deduced by examining how the outer function (f) maps the set of values that the inner function (g) actually attains. When (g) is not surjective onto its codomain, only a subset of (f)’s possible inputs is realized, and consequently the range of (f\circ g) may be a proper subset of the range of (f) itself.
Example 1 – Trigonometric inner function
Let (g(x)=\sin x) (domain (\mathbb{R}), range ([-1,1])) and (f(t)=\sqrt{t}). Since the square‑root requires a non‑negative argument, we must restrict attention to the portion of ([-1,1]) where (\sin x\ge 0). The set of (x) for which (\sin x\ge0) is the union of intervals ([2k\pi,(2k+1)\pi]), (k\in\mathbb{Z}). On each such interval, (\sin x) sweeps from 0 up to 1 and back down to 0, so the image of (g) under the non‑negative part is precisely ([0,1]). Applying (f) yields
[
(f\circ g)(x)=\sqrt{\sin x},\qquad \text{range }[0,1].
]
Notice that even though the range of (f) alone is ([0,\infty)), the composition’s range is truncated to ([0,1]) because (g) never produces values exceeding 1 Most people skip this — try not to..
Example 2 – Quadratic outer function with a bounded inner function
Take (g(x)=\frac{1}{1+x^{2}}) (domain (\mathbb{R}), range ((0,1])) and (f(t)=t^{2}-2t). The quadratic can be rewritten as (f(t)=(t-1)^{2}-1), which attains its minimum (-1) at (t=1) and increases without bound as (t) moves away from 1. Since the inner function only supplies values in ((0,1]), we evaluate (f) on that interval:
- At (t\to0^{+}), (f(t)\to0^{2}-0=0).
- At (t=1), (f(1)=-1).
Because (f) is decreasing on ((0,1]) (its derivative (f'(t)=2t-2<0) for (t<1)), the maximum occurs at the left endpoint and the minimum at the right endpoint. Hence the range of (f\circ g) is ([-1,0)).
Example 3 – Piecewise‑defined inner function
Consider
[
g(x)=\begin{cases}
x+2, & x<0,\[2pt]
-x+2, & x\ge0,
\end{cases}
\qquad
f(t)=\ln(t).
]
The function (g) is V‑shaped with vertex at ((0,2)); its range is ([2,\infty)). Since the natural logarithm requires a positive argument, and all outputs of (g) are at least 2, the domain restriction poses no further obstacle. The composition therefore simplifies to
[
(f\circ g)(x)=\ln\bigl(g(x)\bigr),
]
and its range is ([\ln2,\infty)), obtained by applying (\ln) to the interval ([2,\infty)) Simple as that..
General strategy for finding the range
- Determine the domain of the composite (as previously described) to know which (x) values are admissible.
- Find the set (G={g(x)\mid x\in\text{Domain}(f\circ g)}) – the actual outputs of the inner function that the outer function will see.
- Analyze (f) on the set (G):
- If (f) is monotonic on (G), the range of (f\circ g) is simply (f(G)) (i.e., apply (f) to the endpoints of (G)).
- If (f) is not monotonic, locate critical points of (f) that lie
… lie within (G). Evaluate (f) at each such critical point as well as at the endpoints of (G) (if they exist). The range of the composition is then the set of all these function values, taking into account any gaps that may arise from discontinuities of (f) on (G).
Example 4 – Non‑monotonic outer function
Let (g(x)=\cos x) (domain (\mathbb{R}), range ([-1,1])) and (f(t)=t^{3}-3t).
The derivative (f'(t)=3t^{2}-3=3(t^{2}-1)) vanishes at (t=\pm1), which are precisely the endpoints of (G=[-1,1]). Since there are no interior critical points, (f) is monotonic on each subinterval ([-1,0]) and ([0,1]). Evaluating:
- On ([-1,0]), (f) decreases from (f(-1)=2) to (f(0)=0).
- On ([0,1]), (f) increases from (f(0)=0) to (f(1)=-2).
Thus the union of the two images is ([-2,2]), so ((f\circ g)(x)=\cos^{3}x-3\cos x) has range ([-2,2]).
Example 5 – Discontinuity in the outer function
Take (g(x)=x^{2}) (domain (\mathbb{R}), range ([0,\infty))) and (f(t)=\frac{1}{t}) (defined for (t\neq0)).
Here (G=[0,\infty)) but the point (t=0) must be removed because (f) is undefined there. Hence the actual set seen by (f) is ((0,\infty)). Since (f) is strictly decreasing on ((0,\infty)), its image is ((0,\infty)) as well. Consequently ((f\circ g)(x)=\frac{1}{x^{2}}) has range ((0,\infty)) Small thing, real impact..
Conclusion
Finding the range of a composite function (f\circ g) reduces to two clear steps: first, determine the actual outputs (G) that the inner function can produce under the domain restrictions imposed by the outer function; second, study the behavior of (f) on that set (G). When (f) is monotonic on (G), the range is simply the image of the endpoints. When (f) possesses interior critical points or discontinuities, one must evaluate (f) at those points (and at any endpoints) and collect the resulting values, being mindful of any gaps caused by points where (f) is undefined. By systematically applying this procedure—illustrated by the examples above—one can accurately determine the range of a wide variety of composite functions And that's really what it comes down to..
