Composite functions
A composite function applies one function and then another to the result. If doubles a number and squares it, then "do , then " is a new function, written . Paper 1 asks you to form composites, evaluate them, solve equations involving them, and decide whether a composite can be formed at all, which depends on matching the range of one function to the domain of the other.
The idea
Think of each function as a machine. The output of the first machine is fed straight into the second.
The composite function is defined by . It means: apply first, then apply to the result.
(also written ) means apply twice: .
The order is the most important thing to get right. means first, because is next to the . Read it from right to left, as you would read from the inside out.
In general . If and :
- (add one, then square);
- (square, then add one).
- Identify which function acts first: in it is .
- Write with an empty bracket, using the rule for with every replaced by a bracket.
- Put the whole expression into each bracket.
- Simplify.
- For a numerical value such as , it is often quicker to work out first and then apply to that number.
The functions and are defined for by and . Find (a) , (b) , (c) .
Solution
(a) first, then . The rule for is "double and add one":
(b) first, then . The rule for is "square and subtract three":
(c) , then . So . (Check with (b): .)
The function is defined by for . Find and solve .
Solution
gives , so and . (Indeed , so .)
With and for , solve .
Solution
From the first example, . So
So or .
Alternatively, work backwards: means , so , giving or , i.e. or .
When can a composite be formed?
feeds the outputs of into . Every one of those outputs must be an allowed input for .
The composite can be formed only if
The domain of is the domain of .
If even one output of is outside the domain of , then does not exist as a function on that domain.
The functions and are defined by for and for . Explain why cannot be formed, and find .
Solution
The range of is all real numbers, . The domain of is . The range of is not contained in the domain of : for example , and is undefined. So cannot be formed.
For : the range of is , which is contained in the domain of (). So exists:
The functions and are defined by for and for . Find the range of .
Solution
First find the range of , the set of values fed into . is decreasing, with and , so the range of is .
Now apply (squaring) to every number from to . The squares of numbers in this interval run from (at , which is in the interval) up to (at ).
Range of : .
Squaring the end values alone would give and , but lies between and , and is smaller than both.
The function is defined by for , where and are constants. Given that , find the possible pairs of values of and .
Solution
Compare coefficients with :
- : , so or ;
- constant: , i.e. .
If : , . If : , .
So or . (Check the second: , .)
The functions and are defined by for and for , where is a constant. Find the least value of for which can be formed.
Solution
Complete the square: . The range of is .
For to exist, every value of must be in the domain of , i.e. . So we need
The least value of is .
Wrong order. means first. Students who do first lose every mark in the part. Say it aloud: " of is of of ".
Multiplying instead of composing. is not . For and , , which is something else.
Reading as a square. In Cambridge function notation means , not .
Range of a composite from end points. As in the squaring example, the composite may reach values between the images of the end points. Track the whole interval.
Ignoring the domain condition. Before using , check that the range of lies inside the domain of .
- Questions on composites are usually short (2 or 3 marks), but they set up later parts, such as solving or finding an inverse. Simplify the composite fully.
- To "explain why cannot be formed", compare the range of with the domain of and say which values cause the problem. A numerical example (like above) makes the explanation complete.
- For with a number , working out first is quicker and less error-prone than forming .
- Keep brackets around substituted expressions until the last line.
- : apply first.
- In general .
- means apply twice.
- To form , replace every in by the expression , in brackets.
- exists only if the range of lies within the domain of .
- The range of : find the range of , then apply to that whole set.
- Unknown constants: expand the composite and compare coefficients.
Practice questions
- and for . Find , and .
- for . Find and solve .
- for . Show that .
- and for . Solve .
- for and for . Explain why cannot be formed. Find and state its range.
- for and for . Find the range of .
- for . Given that and , find the possible values of and .
- for and for . (a) Find the set of values of for which can be formed. (b) For , solve .
- for , and is a function such that . Find .
Answers
-
. . .
-
. gives .
-
. (The range of is , which is inside the domain , so exists.)
-
gives , so and .
-
The range of is , which includes negative numbers (e.g. ), and these are not in the domain of . for , with range .
-
The range of is . Now for : least value at ; , . Range of : .
-
and . Substituting : , so , giving or . Then or .
-
(a) The range of is ; this must lie in , so . (b) . gives , so .
-
Let , so . Then . So , i.e. . Check: .