Start with the slides for the quick version, then go deeper with the full study notes.
Short Study Notes in the form of Slides
Read the notes first. If the method in a worked example clicks, you're ready for the questions.
Short Study Notes β Functions
Start with these resources to cover the key concepts, then work through the practice questions.
Page 1 / 0
Detailed Notes
Full prose, callouts and a recap β built for A* mastery, not just a quick scan.
Take these study notes with you
Download a branded PDF β full prose, callouts, recap and memorise list for Functions, ready to print or save offline.
Functions β IB Maths AA HL: domain, range, composition, inverse and self-inverse functions
Function foundations for AA HL. This note covers function notation, domain and range, composition, finding inverses (with restricted domains), and the HL-relevant self-inverse and one-to-one concepts.
What youβll learn
Mapped to the IB DP Maths AA HL subject guide (2021 onwards (applies to 2026 exams)).
AO1 β Use function notation and state domain/range.
AO2 β Compute composite and inverse functions.
AO2 β Restrict the domain to force invertibility.
AO3 β Justify domain restrictions explicitly.
Notation, domain and range
Set-builder or interval notation.
Functionf:XβY assigns to each xβX exactly one yβY.
DomainDfβ: allowed inputs. RangeRfβ: actually produced outputs.
Common domain restrictions:
Γ·0: denominator must be nonzero.
...β: argument β₯0 over reals.
ln(...): argument >0.
Worked example. Find domain and range of f(x)=4βx2β1β.
Need 4βx2>0 (denominator nonzero AND argument of β positive): β2<x<2.
So Dfβ=(β2,2).
Range: 4βx2β ranges over (0,2], so 1/4βx2β ranges over [1/2,β).
So Rfβ=[1/2,β).
Vertical line test. A graph in the xy-plane represents a function iff every vertical line crosses it at most once.
Domain forbidden: Γ·0, negativeβ, ln(β€0).
Range usually requires sketching the function.
Vertical line test for functions.
Composite functions
(fβg)(x)=f(g(x)) β apply g first.
Composition(fβg)(x)=f(g(x)).
Domain of fβg:{xβDgβ:g(x)βDfβ}. Both restrictions apply.
Worked example.f(x)=xβ, g(x)=xβ3. Find (fβg)(x) and its domain.
(fβg)(x)=xβ3β. Domain: xβ3β₯0, so xβ₯3.
Worked example (evaluate).f(x)=2x+1, g(x)=x2β5. Find (gβf)(3).
f(3)=7. g(7)=49β5=44.
Worked example (solve composite equation). Given f(x)=x+4 and g(x)=x2, solve (fβg)(x)=13.
g(x)=x2, f(g(x))=x2+4=13βx2=9βx=Β±3.
State BOTH.
Order matters.fβg and gβf are generally different functions.
Inner function applied first.
Domain restricted by BOTH the inner's domain and the requirement that inner output be in outer's domain.
Solve composite equations as you would any equation β state all solutions.
Inverse functions
Swap, solve, restrict the domain.
fβ1 exists iff f is one-to-one (no two different inputs give the same output). Horizontal line test is the visual check.
Method.
Write y=f(x).
Swap x and y.
Solve for y β this is fβ1(x).
State the new domain (= range of f).
Worked example. Find fβ1 for f(x)=xβ32x+1β.
y=xβ32x+1β. Swap: x=yβ32y+1β.
x(yβ3)=2y+1βy(xβ2)=3x+1βy=xβ23x+1β.
fβ1(x)=xβ23x+1β, domain Rβ{2}.
Verification.fβfβ1=id and fβ1βf=id.
Restricting domain to invert.f(x)=x2 is not invertible over R. Restrict to Dfβ=[0,β): inverse is fβ1(x)=xβ.
Graph property.y=fβ1(x) is the REFLECTION of y=f(x) in y=x.
Composition of inverses (HL).(fβg)β1=gβ1βfβ1 β order REVERSES.
Worked example. Verify (fβg)β1=gβ1βfβ1 with f(x)=x+5 and g(x)=3x.
(fβg)(x)=3x+5. Inverse: swap y=3x+5βx=3y+5βy=(xβ5)/3. So (fβg)β1(x)=(xβ5)/3.
Paper 1: composition, inverses, domain restrictions. Paper 2: applied problems. Paper 3: deeper structural questions. Examiner reports stress the explicit domain statement when defining fβ1.
Since yβ€3: yβ3=βx+4β, so y=3βx+4β. Domain [β4,β).
Answer
Restrict to (ββ,3]; fβ1(x)=3βx+4β, xβ₯β4.
4Composite with domain restriction
Stretchβ’ composite
βΌ
Question
f(x)=lnx, g(x)=4βx2. Find (fβg)(x) and state its domain.
Step-by-step solution
Step 1
(fβg)(x)=ln(4βx2).
Step 2
Domain requires 4βx2>0, so β£xβ£<2, i.e. β2<x<2.
Answer
ln(4βx2), domain (β2,2).
Key Definitions and Keywords β Functions
Definitions to memorise and the exact keywords mark schemes credit for functions answers β sharpened from recent examiner reports for the 2026 IB DP Maths AA HL sitting.
One-to-one (injective)
Examiner keyword
f(x1β)=f(x2β)βx1β=x2β. Required for invertibility.
Inverse fβ1
Examiner keyword
Function satisfying f(fβ1(x))=x for x in range of f, and fβ1(f(x))=x for x in domain of f.
Inverse of composite
Examiner keyword
(fβg)β1=gβ1βfβ1 β order reverses.
Common Mistakes and Misconceptions β Functions
The traps other students keep falling into on functions questions β taken from recent IB DP Maths AA HL examiner reports and mark schemes β and how to avoid them.
βComputing (fβg)(x) as g(f(x)).
βΌ
Why it happens
Reading left-to-right.
How to avoid it
Use the bracket: f(g(x)) β inner first.
βFinding fβ1 without stating its domain.
βΌ
Why it happens
Treating the formula as the whole answer.
How to avoid it
Always state 'so fβ1(x)=β¦ for xββ¦'.
βWriting (fβg)β1=fβ1βgβ1.
βΌ
Why it happens
Default assumption that order is preserved.
How to avoid it
Order REVERSES: (fβg)β1=gβ1βfβ1.
Practice questions
Exam-style questions with step-by-step worked solutions. Try one before checking the method.
Past paper style quiz
Get a report showing which sub-topics you've nailed and which ones still need work.
Functions β frequently asked questions
The things students keep getting wrong in this sub-topic, answered.