When can a function be reversed, and how do composition and inversion interact with domain and range?
Form composite functions and find inverse functions, attending to domain and range and the condition for an inverse to exist.
Building composite functions and tracking their domains, the one-to-one condition for an inverse to exist, finding inverse functions algebraically, and the reflection relationship in y equals x.
Reviewed by: AI editorial process; not yet individually human-reviewed
Have a quick question? Jump to the Q&A page
Jump to a section
What this dot point is asking
You need to form composite functions with correct domains, determine when an inverse function exists, find inverse functions, and relate a function and its inverse graphically.
Composite functions
The composite applies first and feeds the result into . Order matters: in general .
For example, if and , then , defined only for , even though itself is defined for all real .
When does an inverse exist?
An inverse function reverses : if then . For this reversal to be a function, each output must come from exactly one input.
Restricting the domain can create an inverse: on is one-to-one and has inverse .
Finding an inverse algebraically
The mechanical recipe: write , swap and , then solve for . The domain of is the range of , and the range of is the domain of .
Composing more than two functions
Composition extends to three or more functions, applied from the inside out. For you evaluate first, feed the result to , then to . Each layer narrows the domain: a value is allowed only if it survives every stage. This nesting is exactly the structure the chain rule differentiates, so a clear grasp of composition here pays off directly in the calculus topics. When asked to decompose a function - to write as - identify the outer operation () and the inner expression (); the decomposition is rarely unique, but the natural one names the last operation performed as the outer function.
The graphical relationship
The graph of is the reflection of the graph of in the line . Consequently a point on corresponds to on , and any intersection of with its inverse lies on the line (for increasing functions). Composing a function with its inverse returns the input:
each on the appropriate domain.
Exam-style practice questions
Practice questions written in the style of SACE Board exam questions on this dot point, with worked answer explainers. The year tag is the paper they imitate, not the source.
SACE 20222 marksCalculator-assumed. The graph of is drawn for . Explain why is a function but does not have an inverse function.Show worked answer →
is a function because every in maps to exactly one value of ; the graph passes the vertical line test. [1 mark]
However, is not one-to-one over this domain: the curve rises then falls (it has a maximum), so a horizontal line such as cuts the graph more than once, meaning two different values give the same output. [1 mark]
For an inverse to exist the function must be one-to-one (pass the horizontal line test), so the domain would need restricting to an interval on which is strictly monotonic.
SACE 20221 marksCalculator-assumed. The rule is restricted to a domain on which it is one-to-one. Explain why this restricted function does have an inverse.Show worked answer →
Since , restricting the domain to an interval on which it is strictly monotonic makes the function one-to-one. [1 mark]
Because each output is now produced by exactly one input, the graph passes the horizontal line test, so the mapping can be reversed: every in the range corresponds to a single . A one-to-one function always has an inverse.
SACE 20233 marksCalculator-free. Given for , find and state its domain.Show worked answer →
Set and swap variables: .
Solve: , so , giving , hence and .
So (this function is self-inverse). The domain of is the range of , which is .
Marks: one for swapping and rearranging, one for solving for , one for stating the domain .
