3.2 Function notation

Syllabus
2017
Topic
3.2
Level
Higher

Understand a function as a mapping

A function maps each allowed input to exactly one output. Different inputs may share an output, but one input cannot be assigned two different outputs.

Idea Meaning
input an allowed element of the domain
output the value assigned by the function
mapping the rule connecting each input to its output
image the output produced by a particular input

A mapping diagram represents a function if every input has exactly one outgoing arrow. An output may receive several arrows, and some listed outputs may receive none.

The rule xx2x\mapsto x^2 maps both 3-3 and 33 to 99; this is still a function because each input has only one output.

‘Exactly one output per input’ does not mean ‘exactly one input per output’. The latter extra condition is needed for an inverse to be a function on the full range.

Read, evaluate and write function notation

The notation f(x)f(x) names the output of function ff when the input is xx. The mapping form f:x3x2f:x\mapsto 3x-2 and the equation f(x)=3x2f(x)=3x-2 describe the same rule.

Request Action
find f(5)f(5) substitute x=5x=5 into the rule
find f(a+1)f(a+1) replace every xx by (a+1)(a+1)
solve f(x)=kf(x)=k set the rule equal to kk and solve
write mapping form state f:xf:x\mapsto followed by the rule

If f(x)=3x2f(x)=3x-2, then f(5)=3(5)2=13f(5)=3(5)-2=13 and f(a+1)=3(a+1)2=3a+1f(a+1)=3(a+1)-2=3a+1.

Functions named ff and gg can use different rules. Keep the function name attached to the correct definition throughout a multi-part problem.

f(x)f(x) is not ff multiplied by xx. It is a single notation for the output produced by input xx.

Control the domain and range of a function

The domain is the set of allowed inputs; the range is the set of outputs actually produced. Algebraic restrictions and stated intervals can limit either set.

Feature Domain control
denominator exclude values making it zero
even root require the radicand to be non-negative
stated interval keep only inputs inside it
inverse function its domain is the original range

For f(x)=1/(x2)f(x)=1/(x-2), x=2x=2 makes the denominator zero, so the domain excludes 2. Also f(x)f(x) can never equal 0, so the range excludes 0.

On a graph, project the curve onto the xx-axis for the domain and onto the yy-axis for the range, respecting open endpoints, holes and asymptotes.

A value excluded from the domain is an input restriction; it is not automatically excluded from the range. Analyse inputs and outputs separately.

Compose functions and find inverses

A composite applies functions in sequence: fg(x)=f(g(x))fg(x)=f(g(x)), so gg acts first. An inverse function reverses the original mapping and satisfies f1(f(x))=xf^{-1}(f(x))=x on the permitted domain.

Task Method
find fg(x)fg(x) substitute the whole expression g(x)g(x) into ff
evaluate fg(a)fg(a) find g(a)g(a), then apply ff
find f1f^{-1} write y=f(x)y=f(x), solve for xx, then swap labels
verify inverse simplify both f1(f(x))f^{-1}(f(x)) and f(f1(x))f(f^{-1}(x))

If f(x)=2x+1f(x)=2x+1 and g(x)=x2g(x)=x^2, then fg(x)=2x2+1fg(x)=2x^2+1, while gf(x)=(2x+1)2gf(x)=(2x+1)^2. Order matters.

For f(x)=3x5f(x)=3x-5, set y=3x5y=3x-5 and solve x=(y+5)/3x=(y+5)/3, so f1(x)=(x+5)/3f^{-1}(x)=(x+5)/3.

A many-to-one rule such as x2x^2 needs a restricted domain, for example x0x\ge0, before its inverse x\sqrt{x} is a function.

The superscript 1-1 denotes an inverse, not a reciprocal: generally f1(x)1/f(x)f^{-1}(x)\ne1/f(x).