Syllabus coverage
- Understand the terms function, domain, range, one-one function, inverse function and composition of functions
- Identify the range of a given function in simple cases, and find the composition of two given functions, including the condition that a composite function can only be formed when the range of is within the domain of
- Determine whether or not a given function is one-one, and find the inverse of a one-one function in simple cases
- Illustrate in graphical terms the relation between a one-one function and its inverse, with sketches showing the mirror line
- Understand and use the transformations of the graph of given by , , , and simple combinations of these
- Use the terms translation, reflection and stretch when describing a transformation
Part of the AS & A Level Maths syllabus 9709.
A function is a rule plus a domain
A function takes each value from a set of allowed inputs and gives back exactly one output. The set of allowed inputs is the domain, and the set of outputs that actually occur is the range. A function is not properly defined until both are known, which is why a question always writes something like for : the condition after the rule is part of the function, not a decoration.
The rule 'one output for each input' is what separates a function from a relation. is not a function of , because gives both and . On a graph, a function has a single y-value for every x in its domain, so no vertical line through the domain can meet the graph twice. That is the vertical line test.
Notation matters as well. is the output when the input is , and means 'put 3 in'. If then . The letter is only a placeholder, so is the same function written with a different input letter.
| Term | Meaning |
|---|---|
| Function | a rule that gives exactly one output for each input |
| Domain | the set of inputs the function is allowed to take |
| Range | the set of outputs the function actually produces |
| One-one | no two different inputs give the same output |
| Inverse | the function that reverses the rule; it exists only when the function is one-one |
Finding the range
The range is the set of outputs the function really produces. For a straight line it is quick: for decreases as increases, so the largest output is at the smallest input, , and the range is . A decreasing function swaps the ends round: the left end of the domain gives the biggest output.
For a quadratic you need the turning point, and completing the square finds it. has least value at , so on the whole real line the range is . If the domain is restricted to the range does not change, because is still allowed. If the domain were the turning point would lie outside it, the function would be increasing throughout the domain, and the range would be .
Some functions have a restricted range for a structural reason rather than because of a turning point. can never be negative, so its range is however generous the domain is. The reciprocal never reaches zero, so its range is every real number except 0.
One-one functions
A function is one-one if no two different inputs produce the same output. is one-one: a larger input always gives a larger output, so two different inputs can never collide. on the whole real line is not one-one, because and are both 4.
On a graph, a one-one function passes the horizontal line test: no horizontal line meets the graph more than once. The parabola fails it, while the right-hand branch, for , passes it comfortably.
One-one matters because it is exactly the condition for an inverse function to exist. To reverse a rule, every output must have come from a single input - otherwise 'the input that produced this output' would not name one number. That is why a question that wants the inverse of a quadratic restricts the domain first, and why you must say which branch you are working on.
- for all real : one-one
- for all real : not one-one
- for : one-one
- for : one-one
Inverse functions
The inverse undoes : if then . To find it, write , make the subject, and then relabel as . One fact about the domain carries most of the marks: the domain of is the range of , and the range of is the domain of .
Worked through: for . Completing the square gives , so . Because , the quantity is not negative, so the positive root is the one that applies: . Relabelling gives , and since the range of is , the domain of is .
The two functions undo each other exactly: for every in the domain of , and for every in the domain of . Never read as : the is a label meaning 'inverse', not a power.
Composite functions
A composite function applies one function and then another. In , read from the inside outwards: apply first, then apply to the result. So , and the function written closest to the is the one that acts first.
With and : , while . Two different answers from the same pair of functions, so the order is part of the question rather than a detail.
can only be formed when the range of fits inside the domain of , because the outputs of have to be legal inputs for . If is defined for and the range of is , then outputs of between 1 and 5 have nowhere to go, and does not exist. Checking the two ranges before substituting is worth a mark on its own.
| Composite | Means | Order of work |
|---|---|---|
| first, then | ||
| first, then | ||
| applied twice |
The graph of a function and its inverse
The graph of the inverse of a one-one function is the reflection of the graph of the function in the line . The reason is arithmetic rather than geometric: if sends the input to the output , then the point lies on the graph of , and sends back to , so lies on the graph of . Swapping the two coordinates is exactly what reflection in does.
Two results follow immediately. A point on one graph has a mirror-image partner on the other, so a question that gives you a point on and asks about is a one-line question. And the domain of is the range of , which is why the inverse graph lives where you would expect: a range becomes a domain .
If the graph of a function meets its own inverse, the meeting point lies on the line , because a point that survives the swap of coordinates must have equal coordinates. The whole inverse graph is found by reflecting the curve, so a vertical feature of becomes a horizontal feature of : a value that never reaches becomes a value that is never given.
Transformations of the graph of y = f(x)
Four transformations cover everything the syllabus asks for, and they are easiest to remember by asking what each one does to the coordinates. Changes made outside the function, and , act on the output, so they move or stretch the graph vertically. Changes made inside the function, and , act on the input, so they move or stretch the graph horizontally.
The counter-intuitive one is , which slides the graph units to the left rather than to the right. Test it with : the curve takes the value when , so whatever used to happen at now happens at . Inside the bracket everything happens earlier, and the shift is the opposite of the sign you can see.
Stretches work the same way round. squashes the graph horizontally: the value that used to reach at is now reached at , so every x-coordinate is halved. A negative adds a reflection: is a reflection in the x-axis, and is a reflection in the y-axis. Combinations are read in the order the notation suggests, so in the graph moves 1 unit to the right and then 5 units up.
| Transformation | What it does to the graph | What happens to the coordinates |
|---|---|---|
| translation of units in the positive y-direction | every y-coordinate increases by | |
| translation of units in the negative x-direction | every x-coordinate decreases by | |
| stretch parallel to the y-axis, scale factor | every y-coordinate is multiplied by ; x-intercepts do not move | |
| stretch parallel to the x-axis, scale factor | every x-coordinate is divided by ; the y-intercept does not move |
Key terms you must be able to define
- Function
- A rule that gives exactly one output for each input in its domain.
- Domain
- The set of values the input of a function is allowed to take.
- Range
- The set of values the output of a function actually takes.
- Image
- The output that a particular input is mapped to; the image of under is .
- One-one function
- A function in which different inputs always give different outputs, so no horizontal line meets its graph twice.
- Inverse function
- The function that reverses , so that . It exists only when is one-one.
- Composite function
- A function formed by applying one function to the output of another, written .
- Composite condition
- can be formed only when the range of lies inside the domain of .
- Mapping
- The rule that sends each element of the domain to its image. A function is a one-one or many-to-one mapping, never one-to-many.
- Vertical line test
- A graph is the graph of a function if no vertical line meets it more than once.
- Horizontal line test
- A graph is the graph of a one-one function if no horizontal line meets it more than once.
- Translation
- A transformation that slides a graph without turning or stretching it. and are translations.
- Reflection
- A transformation that mirrors a graph in a line. reflects in the x-axis and reflects in the y-axis.
- Stretch
- A transformation that scales a graph in one direction only. stretches parallel to the y-axis and stretches parallel to the x-axis.
- Mirror line
- The line , in which the graph of a function and the graph of its inverse are reflections of each other.
- Restricted domain
- A domain that is deliberately limited, such as , usually so that the function becomes one-one and can be inverted.
Applied
At AS & A Level the marks sit in the setup: choosing the model, stating the variable and writing the equation before any working. These show the shape of a full-mark answer, then you do the algebra yourself.
The function is defined by for . The rule increases, so the smallest output is at the left end of the domain and the largest at the right end: and , so the range is .
for all real . Write , so and . Relabelling gives . Check it: , and , so the inverse really does undo the function.
for , and for all real . Then , which is fine because every output of is at least 0. But is defined only for , because will not accept an input below 0.
The curve has a minimum at . For every y-coordinate doubles, so the minimum becomes . For every x-coordinate halves, so it becomes . For it becomes .
passes through and . Its inverse is , which passes through and - the same two points with the coordinates swapped, which is what reflection in does.
Flashcards
Click a card to flip it. Mark honestly — the tracker uses this.
Exam-style questions
8 questions, 31 marks. Write your answer, then reveal the mark scheme and tick each point you actually made. Answering honestly here is what makes the rest of the site useful.
Mark scheme — tick each point you actually made
- B1
- B1
- B1the range is not checked yet
Mark scheme — tick each point you actually made
- M1
- B1
- B1
- A1the range is not checked yet
Mark scheme — tick each point you actually made
- M1
- M1
- B1
- M1
- A1not checked yet
Mark scheme — tick each point you actually made
- B1
- B1
- B1
- B1
Mark scheme — tick each point you actually made
- M1
- M1
- A1not checked yet
- M1
- A1not checked yet
Mark scheme — tick each point you actually made
- B1
- B1
- B1not checked yet
Mark scheme — tick each point you actually made
- B1
- B1
- B1
Mark scheme — tick each point you actually made
- M1
- M1
- B1
- A1not checked yet
Exam technique for this topic
- Write the domain down first and refer to it at every step. A question that says 'for ' is telling you which square root to take, what the range of the inverse is, and often where a composite stops being valid.
- For a range question, decide first whether the function is increasing, decreasing or turning. Straight lines are decided by their gradient, quadratics by completing the square, and a restricted domain may cut the turning point out altogether.
- Answer an inverse question in three moves: write , make the subject, relabel. State the domain of even when the question does not ask for it - it is often the next part of the question, and it is the part students lose.
- Before substituting into a composite, check that the range of the inner function sits inside the domain of the outer one. When the question asks you to explain why a composite cannot be formed, the marks are for naming both the range of the inner function and the domain of the outer one.
- Describe a transformation with its type, its direction and its size: 'translation of 3 units in the negative x-direction' or 'stretch parallel to the x-axis with scale factor '. Test a point from the original graph to decide the direction of a horizontal shift, because the sign inside the bracket is the opposite of the shift you see.