All revision notes topics

2.5 Composite and inverse functionsIB Maths: Analysis and Approaches HL: Revision notes

Section 1

Composite functions

A composite function applies one function and then another. (f∘g)(x)=f(g(x))(f \circ g)(x) = f(g(x)): apply gg first, then ff to the result.

  • Numerically, work from the inside out: with f(x)=3x−1f(x) = 3x - 1, g(x)=x2+2g(x) = x^2 + 2, (f∘g)(2)=f(6)=17(f \circ g)(2) = f(6) = 17.
  • Algebraically, replace every xx in the outer function by the whole inner expression: (g∘f)(x)=(3x−1)2+2=9x2−6x+3(g \circ f)(x) = (3x - 1)^2 + 2 = 9x^2 - 6x + 3.
  • Order matters: in general f∘g≠g∘ff \circ g \ne g \circ f. Here (f∘g)(x)=3x2+5(f \circ g)(x) = 3x^2 + 5.
Key termscomposite function
Common mistake

(f∘g)(x)(f \circ g)(x) is not f(x)×g(x)f(x) \times g(x). The circle means 'apply one after the other', not 'multiply'.

Exam tip

Read f∘gf \circ g right to left: gg happens first.

Section 2

The domain of a composite function

For f(g(x))f(g(x)) to exist, xx must be in the domain of gg and g(x)g(x) must be in the domain of ff.

With f(x)=x+5f(x) = \sqrt{x + 5}, x≥−5x \ge -5, and g(x)=x2−9g(x) = x^2 - 9:

  • (f∘g)(x)=x2−4(f \circ g)(x) = \sqrt{x^2 - 4} needs x2−4≥0x^2 - 4 \ge 0, so x≤−2x \le -2 or x≥2x \ge 2.
  • (g∘f)(x)=x−4(g \circ f)(x) = x - 4, but only for x≥−5x \ge -5, because xx must go into ff first.

Two functions are the same only if they have the same rule and the same domain, so g∘fg \circ f is not the same as x−4x - 4 on R\mathbb{R}.

Key termsdomain of a composite
Common mistake

Simplifying first and reading the domain from the simplified rule. Always carry the restriction from the inner function.

Section 3

Composite functions in context

Many processes happen in stages, and the order changes the result. Bank A deducts a 15 AED fee and then converts at 0.24 euros per dirham: with f(x)=x−15f(x) = x - 15 and g(x)=0.24xg(x) = 0.24x this is (g∘f)(x)=0.24x−3.6(g \circ f)(x) = 0.24x - 3.6.

The other order, (f∘g)(x)=0.24x−15(f \circ g)(x) = 0.24x - 15, would convert first and then take off 15 euros — a different model. When you form a composite in context, check the units at each stage.

Exam tip

Write each stage as its own function, then compose them in the order they happen: the first stage goes on the inside.

Section 4

The identity function and inverses

The identity function is I(x)=xI(x) = x: it leaves every input unchanged.

An inverse undoes a function, so composing them in either order gives the identity: (f∘f−1)(x)=(f−1∘f)(x)=x.(f \circ f^{-1})(x) = (f^{-1} \circ f)(x) = x.

You can use this to check an inverse. With f(x)=3x−1f(x) = 3x - 1 and f−1(x)=x+13f^{-1}(x) = \frac{x + 1}{3}: f(f−1(x))=3⋅x+13−1=xf(f^{-1}(x)) = 3 \cdot \frac{x + 1}{3} - 1 = x.

If (h∘h)(x)=x(h \circ h)(x) = x, then hh is its own inverse (self-inverse): h−1=hh^{-1} = h. An example is h(x)=2x+3x−2h(x) = \frac{2x + 3}{x - 2}.

Key termsidentity functionself-inverse
Example

h(4)=5.5h(4) = 5.5 and h(5.5)=4h(5.5) = 4, so (h∘h)(4)=4(h \circ h)(4) = 4.

Section 5

Finding an inverse function

An inverse function exists only when ff is one-to-one. To find f−1(x)f^{-1}(x):

  1. Write y=f(x)y = f(x).
  2. Interchange xx and yy.
  3. Rearrange to make yy the subject; this is f−1(x)f^{-1}(x).

Example: y=0.24x−3.6→x=0.24y−3.6→f−1(x)=x+3.60.24y = 0.24x - 3.6 \to x = 0.24y - 3.6 \to f^{-1}(x) = \frac{x + 3.6}{0.24}. The domain of f−1f^{-1} is the range of ff.

In context the inverse answers the reverse question: 'how many dirhams give 300 euros?' is (g∘f)−1(300)=1265(g \circ f)^{-1}(300) = 1265.

Key termsone-to-oneinverse function
Common mistake

Leaving the answer in terms of yy. The final inverse must be written as a function of xx.

Must know

  • (f∘g)(x)=f(g(x))(f \circ g)(x) = f(g(x)): gg first. Usually f∘g≠g∘ff \circ g \ne g \circ f.
  • The domain of f∘gf \circ g is restricted by the domain of gg and by what ff can accept.
  • Identity: I(x)=xI(x) = x; (f∘f−1)(x)=(f−1∘f)(x)=x(f \circ f^{-1})(x) = (f^{-1} \circ f)(x) = x.
  • Find f−1f^{-1} by interchanging xx and yy and rearranging; only one-to-one functions have inverses.
  • If (h∘h)(x)=x(h \circ h)(x) = x then hh is self-inverse.

That's the notes covered.

Carry on to the next subtopic.