Every time you put on your socks and then your shoes, you are completing a sequence of operations where the order changes the outcome. In mathematics, a composite function is formed when the output of one function becomes the input of another. It is essentially a "function of a function".
In the notation , the function closest to the variable is the inner function and is applied first. Therefore, means "apply first, then apply to the result". The order of operations for composite functions always moves from right to left, with the outer function applied second.
You may also see written identically as . This nested notation explicitly shows that the entire expression for is substituted into function .
Visualising this process helps track how values change. A composite mapping diagram for involves three sets of numbers.
The initial input values form the domain. These inputs go into , producing intermediate outputs, which then serve as inputs for to produce the final outputs in the range.
We can also represent this using function machines, where the output wire of machine connects directly to the input of machine . If and , then the successive mapping is .
When given a specific number to substitute, calculate the value step-by-step. Start by evaluating the inner function, then substitute that numerical result directly into the outer function.
Worked Example: Numerical Evaluation
If and , find .
Step 1: Calculate the inner function, .
Step 2: Use this result as the input for the outer function, .
Step 3: Calculate the final answer.
To find a general formula for , you must perform algebraic substitution, which involves replacing a variable in an expression with another entire mathematical expression.
Write out the expression for the outer function, replacing every with empty brackets. Then, "drop" the entire expression for the inner function into those brackets and expand to simplify.
Sometimes you will need to find a self-composition like (also written as ). This means applying the function to its own output, which is not the same as squaring the original function. Furthermore, composite functions are non-commutative; in almost all cases, .
Worked Example: Algebraic Substitution
Given and , find an expression for .
Step 1: Write the outer function, , with empty brackets replacing .
Step 2: Substitute the entire inner function, , into the brackets.
Step 3: Expand the brackets and simplify the expression.
Higher-tier Edexcel papers often require you to solve equations in the form . To solve these, find the algebraic expression for the composite function first, set it equal to , and solve the resulting equation.
Worked Example: Solving an Equation
Given and , solve .
Step 1: Find the algebraic expression for by substituting into .
Step 2: Set the composite expression equal to .
Step 3: Solve the equation to isolate .
Students frequently fall into the "Left-to-Right Trap" by applying then for — always remember that the letter nearest the goes first, so you apply first, then .
Do not confuse with multiplying the two functions together (); treating composition as multiplication will result in zero marks.
Examiners will award method marks (M1) for showing the correct algebraic substitution of one function into another, even if you make an arithmetic error when expanding or simplifying later.
In algebraic substitution, if you are squaring an inner expression like , remember to square the entire term: , not .
Composite function
A single function formed by the succession of two or more functions, where the second function acts on the result of the first.
Inner function
The function that is applied first in a composite expression, located closest to the variable (e.g., in ).
Outer function
The function that is applied second in a composite expression, acting upon the result of the inner function.
Mapping
The mathematical process of associating each element of one set (the domain) with a unique element of another set (the range).
Domain
The set of all possible input values for which a given function is defined.
Range
The set of all possible output values produced by a function.
Algebraic substitution
The process of replacing a variable in an expression with another mathematical expression or value.
Put your knowledge into practice — try past paper questions for Mathematics
Composite function
A single function formed by the succession of two or more functions, where the second function acts on the result of the first.
Inner function
The function that is applied first in a composite expression, located closest to the variable (e.g., in ).
Outer function
The function that is applied second in a composite expression, acting upon the result of the inner function.
Mapping
The mathematical process of associating each element of one set (the domain) with a unique element of another set (the range).
Domain
The set of all possible input values for which a given function is defined.
Range
The set of all possible output values produced by a function.
Algebraic substitution
The process of replacing a variable in an expression with another mathematical expression or value.