Composition is what happens when two rules run back to back. Convert pounds to euros, then apply a booking fee. Take a measurement, then square it. The output of the first becomes the input of the second, and that chain is a function in its own right.
The Idea
The ring symbol
The critical point is order: the inner function runs first.
Written
Evaluating at a Number
Work from the inside out, one step at a time.
With
- Inner first:
. - Outer second:
.
So
Doing it in two written steps is worth the extra line. Trying to do both at once is where sign and bracket errors creep in.
Building the Composed Formula
To get a general expression, substitute the whole of
The brackets are essential.
A useful habit: write
Order Matters
Composition is not commutative. Swapping the order almost always gives a different function.
With the same
Check at
There is one important case where the order does not matter: when
The Domain of a Composition
Two conditions must hold at once, and the second is the one people miss.
must be in the domain of the inner function . must be in the domain of the outer function .
Worked case.
needs . needs its input , so , which rules out .
Domain:
Looking only at the composed formula
Decomposing a Function
The reverse skill: given a complicated function, find two simpler ones that compose to make it. This is essential for the chain rule in calculus.
Look for an expression being acted on as a whole. That inner expression is
| Function | Inner | Outer |
|---|---|---|
Decompositions are not unique —
Composition vs Multiplication
These two get confused constantly, so it is worth being explicit.
| Notation | Meaning | Example with |
|---|---|---|
| outputs multiplied |
At
Worked Example A: Numbers Both Ways
: , then . : , then .
Different, as expected.
Worked Example B: The Composed Formula
Worked Example C: A Negative Inside a Square
The bracket around
Worked Example D: Domain of a Composition
Worked Example E: Decomposition
Write
The bracket is cubed as a whole, so
Worked Example F: A Real Chain
A shop takes 20% off, then adds 5% tax on the reduced price.
A £50 item costs £42. Reversing the order,
Common Mistakes to Avoid
- Running the outer function first. In
, goes first. - Assuming
. They differ in almost every case. - Confusing composition with multiplication.
. - Dropping brackets on substitution.
with is . - Checking only the composed formula for the domain. The inner function’s restriction still applies.
- Reading
as multiplication. The ring is composition, not a product. - Forgetting brackets around a negative intermediate value.
Where Composition Leads Next
- Inverse functions, defined by
— the one case where order does not matter. - The chain rule in calculus, which differentiates a composition and depends on decomposing correctly.
- Transformations, since
is a composition with a shift. - Unit conversion chains, where each step is a function applied to the last result.
- Programming, where piping the output of one function into another is the same idea.
Practice Problems
Use
Problem 1. Find
Show answer
Problem 2. Find
Show answer
Problem 3. Find
Show answer
Problem 4. Find
Show answer
Problem 5. For
Show answer
Problem 6. For the same functions, find
Show answer
Problem 7. For
Show answer
Problem 8. Decompose
Show answer
Problem 9. Decompose
Show answer
Problem 10. For
Show answer
Both give
Problem 11. A price rises 10%, then a £5 voucher is deducted. Write the final price as a composition of
Show answer
Problem 12. Using the same functions, is
Show answer
Quick Reference
| Item | Meaning |
|---|---|
| Order | Inner function runs first |
| Evaluating | Inside out, one step at a time |
| Building the formula | Substitute all of |
| Commutative? | No — |
| Domain | |
| vs multiplication | |
| Decomposing | Find the expression acted on as a whole |
| The inverse case, where order does not matter |
Composition is one of two ways to build a function from two others — the arithmetic route is Combining Functions. It underpins inverse functions and relies on function notation and domain. More Algebra lessons are available.