Finding the domain of a composite function—often written as f ∘ g or f(g(x)) and read as "f of g of x"—is a fundamental skill in algebra and precalculus. It requires understanding not just the individual functions involved, but how the output of the inner function feeds directly into the outer function. Many students mistakenly believe the domain is simply the domain of the inner function, but the reality involves a critical intersection of restrictions. This guide breaks down the process into clear, manageable steps, ensuring you can tackle any composition problem with confidence.
Understanding the Composition Notation
Before diving into the mechanics of finding the domain, it is essential to visualize what f(g(x)) actually represents. You are taking an input x, plugging it into function g to get an output g(x), and then taking that result and plugging it into function f.
The notation f ∘ g(x) explicitly means f(g(x)). The order matters immensely. The function written on the right (g) acts first (the inner function), and the function on the left (f) acts second (the outer function). The domain of this composition consists of all x values that survive this two-step journey without breaking any mathematical rules, such as dividing by zero or taking the square root of a negative number (in the real number system).
The Two-Step Rule for Finding the Domain
There is a systematic, foolproof method for determining the domain of f(g(x)). So it relies on a logical "filtering" process. You cannot simply look at the final simplified expression; you must consider the path the input takes Simple, but easy to overlook..
Step 1: Find the Domain of the Inner Function g(x)
The journey begins with x. If x is not allowed in g(x), the process stops immediately. Because of this, the first restriction is the domain of g itself. Let’s call this set D_g The details matter here..
- Look for denominators that cannot be zero.
- Look for even roots (square roots, fourth roots) where the radicand must be non-negative.
- Look for logarithmic arguments that must be positive.
Step 2: Ensure the Output of g(x) Fits the Domain of the Outer Function f
This is the step most often missed. The output g(x) becomes the input for f. That's why, g(x) must be a valid input for f. You must restrict the x values from Step 1 so that g(x) falls within the domain of f. Let’s call the domain of f D_f.
- Set up the inequality or condition: g(x) ∈ D_f.
- Solve this condition for x.
The Final Domain
The domain of f ∘ g is the intersection of the two sets of x values found above: Domain (f ∘ g) = { x | x ∈ Domain(g) AND g(x) ∈ Domain(f) }
Worked Examples: Applying the Method
The best way to master this is through varied examples. We will look at rational functions, radical functions, and a mix of both Worth knowing..
Example 1: Rational Functions (Division by Zero Risks)
Let f(x) = 1 / (x − 2) and g(x) = x + 1. Find the domain of f(g(x)) Small thing, real impact..
Step 1: Domain of g(x) g(x) = x + 1 is a polynomial. Its domain is all real numbers, ℝ (−∞, ∞). No restrictions here.
Step 2: Domain of f and the condition on g(x) f(x) = 1 / (x − 2). The denominator cannot be zero. x − 2 ≠ 0 → x ≠ 2. So, Domain(f) = { x | x ≠ 2 }.
Now, the input for f is g(x). On top of that, we need g(x) ≠ 2. x + 1 ≠ 2 x ≠ 1 And that's really what it comes down to..
Final Domain: The intersection of ℝ and { x | x ≠ 1 } is simply { x | x ≠ 1 } or (−∞, 1) ∪ (1, ∞).
Verification: f(g(x)) = 1 / ((x + 1) − 2) = 1 / (x − 1). The simplified form confirms x ≠ 1.
Example 2: Square Roots and Radicand Restrictions
Let f(x) = √x and g(x) = x² − 4. Find the domain of f(g(x)).
Step 1: Domain of g(x) g(x) = x² − 4 is a polynomial. Domain is ℝ That's the part that actually makes a difference..
Step 2: Domain of f and condition on g(x) f(x) = √x. The radicand must be ≥ 0. Domain(f) = [0, ∞) That's the part that actually makes a difference..
We need g(x) ≥ 0. x² − 4 ≥ 0 (x − 2)(x + 2) ≥ 0.
Using a sign chart or test points:
- x < −2: Positive
- −2 < x < 2: Negative
- x > 2: Positive
Solution: x ≤ −2 or x ≥ 2. In interval notation: (−∞, −2] ∪ [2, ∞).
Final Domain: Intersection of ℝ and (−∞, −2] ∪ [2, ∞) is (−∞, −2] ∪ [2, ∞).
Verification: f(g(x)) = √(x² − 4). The radicand x² − 4 must be ≥ 0, matching our result perfectly.
Example 3: The "Double Restriction" (Rational inside Radical)
Let f(x) = √x and g(x) = 1 / (x − 3). Find the domain of f(g(x)) That's the part that actually makes a difference..
Step 1: Domain of g(x) g(x) = 1 / (x − 3). Denominator ≠ 0. x − 3 ≠ 0 → x ≠ 3. Domain(g) = (−∞, 3) ∪ (3, ∞).
Step 2: Domain of f and condition on g(x) f(x) = √x. Domain(f) = [0, ∞). We need g(x) ≥ 0. 1 / (x − 3) ≥ 0 That's the part that actually makes a difference..
A fraction is positive only if numerator and denominator have the same sign. The numerator is 1 (positive). So the denominator must be positive. Also, x − 3 > 0 → x > 3. (Note: x cannot equal 3 anyway from Step 1, so strict inequality is correct).
Final Domain: Intersection of (−∞, 3) ∪ (3, ∞) and (3, ∞) is (3, ∞).
Verification: f(*
