Finding the domain of the composite function is a fundamental skill in algebra that bridges the gap between basic function operations and more advanced mathematical analysis. When we write (f ∘ g)(x), we are essentially asking: "What values of x can I plug into g, and then into f, such that the entire expression remains defined?" This seemingly simple question requires a two-step investigation: first, we must respect the restrictions of the inner function g(x), and second, we must see to it that the output of g(x) lies within the acceptable input set of the outer function f(x). Mastering this dual-check process not only prevents algebraic errors but also prepares students for calculus, where function continuity and limits become central themes.
What Makes a Composite Function Different?
A composite function combines two or more functions into a single expression. Take this case: if g(x) produces a negative number and f(x) contains a square root, the composite function would be undefined at that point. Basically, even if a value is valid for g(x), it might produce an output that f(x) cannot accept. The output of the inner function becomes the input of the outer function. Unlike adding, subtracting, or multiplying functions, where the domain of the result is typically the intersection of the individual domains, composition introduces a sequential dependency. Understanding this interaction is the first step toward correctly determining the domain Small thing, real impact. Simple as that..
The Inner Function vs. the Outer Function
To find the domain of the composite function (f ∘ g)(x), we identify g(x) as the inner function and f(x) as the outer function. The process involves two distinct domain restrictions:
-
Domain of the inner function: We start by determining all real numbers x for which g(x) is defined. This involves looking for values that cause division by zero, negative numbers under even roots, or logarithms of non-positive numbers.
-
Domain of the outer function: After identifying the possible outputs of g(x), we then find which of those outputs are valid inputs for f(x). If f(x) has its own restrictions—such as a denominator that cannot be zero or a square root requiring a non-negative radicand—we must exclude any x-values that cause g(x) to produce such forbidden inputs Simple, but easy to overlook..
The final domain is the set of all x-values that satisfy both conditions simultaneously Small thing, real impact..
A Systematic Approach to Find the Domain
The most reliable method for finding the domain of a composite function follows a clear, logical sequence. Here is the step-by-step process:
- Step 1: Write the composite function in the form (f ∘ g)(x) = f(g(x)).
- Step 2: Determine the
Step 2: Determine the domain of the inner function, g(x). Solve for all x-values for which g(x) is defined.
-
Step 3: Find the range of the inner function, g(x), over its domain. This set of outputs will become the inputs for the outer function Worth knowing..
-
Step 4: Determine the domain of the outer function, f(x). Identify the restrictions on its input variable Small thing, real impact. But it adds up..
-
Step 5: Find the intersection of the range of g(x) (from Step 3) with the domain of f(x) (from Step 4). This gives the set of allowable outputs from g(x).
-
Step 6: Solve the inequality or equation that results from Step 5. The solutions for x will be the values that ensure g(x) produces an output acceptable to f(x).
-
Step 7: The final domain of the composite function is the intersection of the domain of g(x) (from Step 2) and the solution set from Step 6. This ensures that x is valid for g(x) and that g(x) is valid for f(x).
Illustrative Examples
Let's apply this systematic approach to two common scenarios It's one of those things that adds up..
Example 1: Rational and Square Root Functions Find the domain of (f ∘ g)(x) where f(x) = √x and g(x) = 1/(x-2).
- Step 1: (f ∘ g)(x) = f(g(x)) = √(1/(x-2)).
- Step 2 (Domain of g): g(x) = 1/(x-2) is defined for all x except where the denominator is zero. So, x ≠ 2. Domain of g: (-∞, 2) ∪ (2, ∞).
- Step 3 (Range of g): The function g(x) = 1/(x-2) can produce any real number except 0. Its range is (-∞, 0) ∪ (0, ∞).
- Step 4 (Domain of f): f(x) = √x requires its input to be non-negative. So, x ≥ 0. Domain of f: [0, ∞).
- Step 5 (Intersection): We need the output of g(x) to be in the domain of f(x). The range of g is (-∞, 0) ∪ (0, ∞), and the domain of f is [0, ∞). Their intersection is (0, ∞). This means we require g(x) > 0.
- Step 6 (Solve for x): We need 1/(x-2) > 0. A fraction is positive when its numerator and denominator have the same sign. The numerator is 1 (positive), so the denominator must also be positive: x - 2 > 0, which gives x > 2.
- Step 7 (Final Domain): We intersect the condition from Step 2 (x ≠ 2) with the condition from Step 6 (x > 2). The intersection is x > 2. That's why, the domain of (f ∘ g)(x) is (2, ∞).
Example 2: Logarithmic and Exponential Functions Find the domain of (h ∘ k)(x) where h(x) = ln(x) and k(x) = e^x - 3.
- Step 1: (h ∘ k)(x) = h(k(x)) = ln(e^x - 3).
- Step 2 (Domain of k): k(x) = e^x - 3 is defined for all real numbers. Domain of k: (-∞, ∞).
- Step 3 (Range of k): The function e^x is always positive (0, ∞), so e^x - 3 has a range of (-3, ∞).
- Step 4 (Domain of h): h(x) = ln(x) requires its input to be strictly positive. So, x > 0. Domain of h: (0, ∞).
- Step 5 (Intersection): We need the output of k(x) to be in the domain of h(x). The range of k is (-3, ∞), and the domain of h is (0, ∞). Their intersection is (0, ∞). This means we require k(x) > 0.
- Step 6 (Solve for x): We need e^x - 3 > 0, which simplifies to e^x > 3. Taking the natural logarithm of both sides gives x > ln(3).
- Step 7 (Final Domain): We intersect the condition from Step 2 (all real numbers) with the condition from Step 6 (x > ln(3)). The intersection is x > ln(3). Therefore
