Composite Functions Intuitively: Order, Values, and Domain

Suppose a delivery service charges 3 dollars per kilometre, then adds a 5-dollar booking fee. For a 4-kilometre trip, you multiply 4 by 3 and add 5. You have run one rule's output through another rule. That is function composition.

The notation can look more difficult than the action. If $g(x)=3x$ calculates the distance charge and $f(x)=x+5$ adds the fee, the total is $f(g(4))=f(12)=17$ dollars. The inner rule runs first. You cannot add the fee to the distance and then multiply unless the pricing rule actually says to do that.

Read the order from the inside out

A composite function puts one function inside another:

$$(f\circ g)(x)=f(g(x))$$

Read this as “$f$ after $g$.” First find $g(x)$. Then use that output as the input of $f$. The circle is the composition symbol, not multiplication. OpenStax's composition section defines the operation and makes the order explicit.

Take $f(x)=2x+1$ and $g(x)=x^2-3$. To form $f(g(x))$, replace the input slot in $f$ with the whole expression $x^2-3$:

$$f(g(x))=2(x^2-3)+1=2x^2-5$$

At $x=4$, the inner rule gives $g(4)=16-3=13$, and the outer rule gives $f(13)=27$. The expression agrees: $2(4)^2-5=27$. Checking the two-step calculation against the combined expression catches a misplaced parenthesis.

Function notation is a way to keep the slots visible. If $f(t)=2t+1$, then $f(x^2-3)=2(x^2-3)+1$. The letter used for the slot does not affect the rule. Our functions guide covers inputs, outputs, and the domain before they are chained together.

Reverse the order and compare

For the same two functions, $g(f(x))$ starts with $f$ instead:

$$g(f(x))=(2x+1)^2-3=4x^2+4x-2$$

At $x=4$, $f(4)=9$ and $g(9)=78$. That is not the 27 obtained from $f(g(4))$. Both are valid compositions, but they ask different questions. You can see the difference before doing algebra: one chain squares the input before doubling, while the other doubles and adds one before squaring.

A coincidence at one input does not make two composite functions identical. To establish equality as functions, compare the rules on their common domain and check that their domains match. For ordinary exercises, calculate both expressions and simplify. Remember that $f(g(x))$ is neither $g(f(x))$ nor the product $f(x)g(x)$.

A practical annotation is $x\xrightarrow{g}g(x)\xrightarrow{f}f(g(x))$. Write the first arrow before substituting anything. This is especially useful when the inner rule contains fractions, roots, or a table of values.

Evaluate from a table or a graph

You do not need formulas to compose functions. Suppose a table gives:

$x$	1	2	3	4
$g(x)$	3	4	1	2
$f(x)$	8	6	9	7

For $f(g(2))$, read $g(2)=4$ from the first row. Now use 4 as the input to $f$: $f(4)=7$. The answer is 7. For the reverse order, $f(2)=6$, but the table gives no value for $g(6)$. You cannot read $g(f(2))$ from this table. It might exist if the full function is defined elsewhere; the listed values alone do not establish it.

A graph works the same way. At input 2, move to the graph of $g$ and read its height, say 4. Then start again at input 4 on the graph of $f$ and read its height, say 7. The first height becomes the second horizontal coordinate. Do not read both heights at $x=2$ and combine them. If either graph has no point at the required input, the composition is not defined there.

Notice the difference between “not in this partial table” and “outside the domain.” A short table may omit a value that exists. A graph with a clear open circle or stated endpoint can show that a value is excluded. State which evidence you have rather than inventing the missing output.

Check the domain before simplifying

The domain of $f(g(x))$ has two gates. First, $x$ must be in the domain of $g$. Second, the resulting $g(x)$ must be in the domain of $f$. OpenStax states the rule in precisely this input-output form.

The entire range of $g$ does not have to fit inside the domain of $f$ for a composition to exist at some inputs. Keep only the inputs for which both stages work. For example, squaring can accept every real number while a later square root can accept only nonnegative outputs; because squares are nonnegative, that particular pairing works for every real input. Change the inner rule to subtraction, and the allowed set can shrink. Check the actual handoff, not just the two formulas in isolation.

Let $g(x)=x-1$ and $f(t)=\sqrt{t}$, with real outputs. The inner rule accepts every real number, but the outer square root accepts only nonnegative inputs. Therefore:

$$f(g(x))=\sqrt{x-1},\qquad x\geq1$$

Reverse the order. Now $f(x)=\sqrt{x}$ runs first and $g$ subtracts one afterward:

$$g(f(x))=\sqrt{x}-1,\qquad x\geq0$$

The expressions differ, and so do their domains. At $x=0$, the second composition gives $-1$ while the first is undefined in the real numbers. This is a more decisive comparison than finding one input where their values differ.

A denominator creates another gate. Suppose $g(x)=1/(x-2)$ and $f(t)=t+3$. Then $f(g(x))=1/(x-2)+3$, but $x=2$ remains forbidden because the inner rule is undefined there.

Cancellation never repairs an originally forbidden input. Let $g(x)=(x^2-1)/(x-1)$, defined only when $x\ne1$, and $f(t)=t^2$. You may simplify $g(x)$ to $x+1$ for allowed inputs. The composite expression looks like $(x+1)^2$, but its domain is still $x\ne1$. At $x=1$ the original inner function asks you to divide by zero. A polynomial that agrees everywhere else cannot fill that hole without defining a new function.

Break a larger rule into stages

Composition can also be read backward as a description of how a formula was built. Take $h(x)=\sqrt{3x+2}$. One choice is $g(x)=3x+2$ followed by $f(t)=\sqrt{t}$. Thus $h=f\circ g$. This decomposition exposes the domain quickly: require $3x+2\geq0$, so $x\geq-2/3$.

There may be more than one valid decomposition. You could split the inner linear rule into “multiply by 3” and “add 2,” then apply the square root as a third step. What matters is that the stated order reproduces the original rule for each allowed input.

For a graph transformation, compare $f(x)=x^2$ with $f(x-2)=(x-2)^2$. The change is inside the input slot, so the parabola shifts right by 2. With $f(x)+2=x^2+2$, the addition happens after $f$, so the graph shifts up by 2. This is composition in action: “subtract 2 before squaring” differs from “square before adding 2.” Our algebra guide can help if the substitution itself feels unfamiliar.

Practice three distinct checks

1. Two orders. Let $f(x)=x+4$ and $g(x)=2x$. Find both compositions. The answers are $f(g(x))=2x+4$ and $g(f(x))=2x+8$. At $x=3$ they give 10 and 14. The order changes where the added 4 enters the calculation.

2. A domain gate. Let $f(t)=1/t$ and $g(x)=x^2-9$. Then $f(g(x))=1/(x^2-9)$. Exclude $x=3$ and $x=-3$ because both make the outer denominator zero. The inner polynomial itself accepts every real number.

3. A table lookup. Using the table above, calculate $g(f(3))$. First $f(3)=9$. The table has no entry for $g(9)$, so the given table is insufficient. That is a complete answer, not a failed calculation.

After each exercise, say aloud which rule ran first, which value it produced, and whether the next rule accepts that value. Then verify one numerical input against your algebra. In Math Zen's functions practice, composition sits alongside domain and range problems, so you can practice the handoff as a separate skill.

An inverse function is a special case where one rule undoes another on suitable domains. You do not need inverses to evaluate ordinary compositions. For this guide, the reliable sequence is enough: inner output, outer input, then a domain check.