Function Composition — SL 2.9 Composition of functions and modeling with compositions - IB Mathematics Analysis and Approaches

SECTION 1

Historical Context & Motivation

Mathematics has always been about building complex ideas out of simpler pieces. Long before anyone wrote down the formal definition of function composition, mathematicians were already chaining processes together — converting units, then scaling results, then rounding to useful values. The idea of feeding the output of one function directly into another is so natural that it appears in almost every branch of mathematics and science.

The formal language of functions took centuries to develop. Early mathematicians worked with specific formulas and geometric constructions rather than the abstract concept of a function as a rule that maps inputs to outputs. As algebra matured, so did the need to express how two processes could be combined into a single, more powerful operation.

1694 • Leibniz Introduces 'Function'

Gottfried Wilhelm Leibniz first used the Latin word functio to describe quantities that depend on a variable, laying the groundwork for treating processes as mathematical objects.

1837 • Dirichlet's Modern Definition

Peter Gustav Lejeune Dirichlet proposed the modern idea of a function as a rule that assigns each input exactly one output, making composition formally meaningful.

1870s • Set Theory and Mappings

Georg Cantor's set theory gave mathematicians precise language for domains, codomains, and mappings — the backbone of rigorous function composition.

1930s • Composition in Abstract Algebra

The concept of composing functions became central to group theory and abstract algebra, revealing deep structural patterns across mathematics.

Today • Modeling and Computing

Function composition underpins everything from computer science pipelines to economic models, making it one of the most widely applied ideas in modern mathematics.

The key question that function composition answers is this: when you have two separate processes, how do you combine them into a single process? Whether you're converting Celsius to Fahrenheit and then rounding, or modeling how a discount is applied after tax, composition gives you a clean, algebraic way to chain these steps together.

SECTION 2

Core Principles & Definitions

At its heart, function composition means applying one function to the result of another. If you have two functions, f and g, the composition (f ∘ g)(x) means you first evaluate g(x), then feed that result into f. The small circle symbol ∘ is read as "composed with" or simply "of." So f ∘ g is "f of g."

Notation

The composition of f and g is written (f ∘ g)(x) = f(g(x)). The function closest to x acts first.

Order Matters

In general, f ∘ g ≠ g ∘ f. Composition is not commutative. Changing the order usually produces a completely different function.

Domain Restrictions

For (f ∘ g)(x) to exist, the output of g(x) must lie in the domain of f. Always check that the range of the inner function fits into the domain of the outer function.

Associativity

Composition is associative: (f ∘ g) ∘ h = f ∘ (g ∘ h). You can group compositions in any order without changing the result.

Identity Function

The identity function I(x) = x acts as a neutral element: f ∘ I = I ∘ f = f for any function f.

✦

KEY TAKEAWAY

Think of function composition like an assembly line in a factory. The first machine (g) takes raw material (x) and shapes it. The second machine (f) takes that shaped piece and finishes it. The order you run the machines matters — painting before cutting gives you a very different product than cutting before painting. In math, (f ∘ g)(x) = f(g(x)) means g runs first, then f.

SECTION 3

Visual Explanation — The Composition Machine

The diagram above shows the composition pipeline. The inner function g processes the input first, and its output flows into the outer function f. The numerical example uses x = 2 with g(x) = x + 3 and f(x) = x², giving a final result of 25.

Notice the critical detail: even though we write f first in (f ∘ g)(x), the function g actually acts on x first. You read the notation from right to left, just as you would evaluate f(g(x)) by starting from the innermost parentheses and working outward. This is one of the most common sources of mistakes in composition problems, so always ask yourself: which function acts first?

SECTION 4

Mathematical Framework

Let's formalize the definition and then explore the key algebraic skills you need for composition on the IB exam.

DEFINITION OF COMPOSITION

(f ∘ g)(x) = f(g(x))

g is the inner function (applied first), and f is the outer function (applied second). The domain of f ∘ g consists of all x in the domain of g such that g(x) is in the domain of f.

FINDING THE COMPOSED EXPRESSION

If f(x) = 2x + 1 and g(x) = x², then (f ∘ g)(x) = f(x²) = 2x² + 1

Replace every x in the formula for f with the entire expression for g(x). This substitution technique is the core algebraic move.

NON-COMMUTATIVITY

(g ∘ f)(x) = g(f(x)) = g(2x + 1) = (2x + 1)²

Compare: (f ∘ g)(x) = 2x² + 1 but (g ∘ f)(x) = (2x + 1)² = 4x² + 4x + 1. These are clearly different, confirming that order matters.

DOMAIN OF A COMPOSITION

Dom(f ∘ g) = { x ∈ Dom(g) : g(x) ∈ Dom(f) }

Start with all x-values that g can accept, then remove any for which g(x) falls outside the domain of f. For example, if f(x) = √x and g(x) = x − 5, then (f ∘ g)(x) = √(x − 5), and you need x − 5 ≥ 0, so x ≥ 5.

💡

IB Exam Tip

On the IB exam, you may be asked to find (f ∘ g)(x) or (g ∘ f)(x), evaluate a composition at a specific value, or determine the domain of a composition. Always start by identifying which function is the inner one (closer to x) and which is the outer one. Write out the substitution step explicitly before simplifying.

SECTION 5

Modeling with Compositions

One of the most powerful applications of composition is modeling multi-step real-world processes. Whenever a quantity depends on a second quantity, which itself depends on a third, composition lets you express the entire chain as a single function. The IB syllabus at SL 2.9 specifically asks you to build and interpret such models.

This modeling diagram shows how an oil spill's area depends on time through composition. The radius function r(t) = 3t + 1 feeds into the area function A(r) = πr², producing the composed model (A ∘ r)(t) = π(3t + 1)², a quadratic function of time. The graph shows the parabolic growth of area over time.

This example illustrates a common IB pattern: you're given two functions that each model one step of a process, and you need to compose them to model the entire process. The key is identifying which variable links the two steps — here, the radius is the output of the first function and the input of the second. Whenever you see a chain of dependencies like "time affects radius, and radius affects area," think composition.

t (hours)	r(t) = 3t + 1 (metres)	(A ∘ r)(t) = π(3t + 1)² (m²)
0	1	π ≈ 3.14
1	4	16π ≈ 50.3
2	7	49π ≈ 153.9
3	10	100π ≈ 314.2
5	16	256π ≈ 804.2

Table of values for the oil spill composition model

SECTION 6

Worked Example

Let's work through a complete IB-style composition problem step by step.

Finding and Evaluating Compositions

1
Step 1 — State the Given Functions

Let f(x) = 3x − 2 and g(x) = x² + 1. We need to find: (a) (f ∘ g)(x), (b) (g ∘ f)(x), and (c) (f ∘ g)(−2).
2
Step 2 — Find (f ∘ g)(x)

By definition, (f ∘ g)(x) = f(g(x)). The inner function is g, so we first compute g(x) = x² + 1. Now substitute this entire expression into f in place of its input variable: f(x² + 1) = 3(x² + 1) − 2 = 3x² + 3 − 2 = 3x² + 1.

(f ∘ g)(x) = 3x² + 1
3
Step 3 — Find (g ∘ f)(x)

Now (g ∘ f)(x) = g(f(x)). The inner function is f, so f(x) = 3x − 2. Substitute into g: g(3x − 2) = (3x − 2)² + 1 = 9x² − 12x + 4 + 1 = 9x² − 12x + 5.

(g ∘ f)(x) = 9x² − 12x + 5
4
Step 4 — Verify Non-Commutativity

Comparing the two results: (f ∘ g)(x) = 3x² + 1 and (g ∘ f)(x) = 9x² − 12x + 5. These are clearly different expressions, confirming that composition is not commutative.
5
Step 5 — Evaluate (f ∘ g)(−2)

Using our expression from Step 2: (f ∘ g)(−2) = 3(−2)² + 1 = 3(4) + 1 = 12 + 1 = 13. Alternatively, you can compute step by step: g(−2) = (−2)² + 1 = 5, then f(5) = 3(5) − 2 = 13. Both approaches give the same answer.

(f ∘ g)(−2) = 13

💡

Pro Strategy

When you need to evaluate a composition at a specific value (like (f ∘ g)(−2)), you have two paths: substitute into the composed expression, or evaluate the inner function first, then the outer. For checking your work on an exam, use both methods and confirm they match.

SECTION 7

Common Pitfalls & Comparisons

Students often confuse composition with other operations on functions. The table below clarifies the differences and highlights common mistakes to avoid.

Operation	Notation	What It Means
Composition	(f ∘ g)(x) = f(g(x))	Feed the output of g into f. The functions are chained, not multiplied.
Multiplication	(f · g)(x) = f(x) × g(x)	Evaluate both functions at x, then multiply the two results together.
Addition	(f + g)(x) = f(x) + g(x)	Evaluate both functions at x, then add the two results.
Inverse	f⁻¹(x)	The function that undoes f. Note: f⁻¹ ≠ 1/f. Composition with inverse: (f ∘ f⁻¹)(x) = x.

Comparison of operations on functions

⚠️

AVOID THIS MISTAKE

The biggest trap is confusing (f ∘ g)(x) with f(x) × g(x). Think of it this way: when you use a language translator app to go from English to Spanish, and then another app from Spanish to Japanese, you're composing the translations. You're not multiplying two translated texts together — that wouldn't make sense! Composition means sequential processing, not simultaneous evaluation.

Pitfall 1: Wrong order. In (f ∘ g)(x), g acts first, not f. Read from right to left or from inside out.
Pitfall 2: Forgetting to substitute fully. Replace every instance of the variable in the outer function with the entire inner expression, not just part of it.
Pitfall 3: Ignoring domain restrictions. If the inner function can produce values outside the outer function's domain, those x-values must be excluded.
Pitfall 4: Assuming commutativity. f ∘ g ≠ g ∘ f in general. Always check which composition is being asked for.

SECTION 8

Connection to Advanced Topics

Function composition at SL 2.9 is a gateway to several deeper ideas that you'll encounter if you continue with HL Mathematics or university-level courses. Understanding composition now builds a strong foundation for these advanced concepts.

SL 2.9 Concept	Advanced Extension	Where You'll See It
(f ∘ g)(x) = f(g(x))	Chain rule: d/dx [f(g(x))] = f′(g(x)) × g′(x)	HL Calculus — differentiation of composite functions
f ∘ f⁻¹ = identity	Group theory: function groups under composition	University abstract algebra
Domain of f ∘ g	Composite function continuity and limits	HL Analysis — limits and continuity
Modeling with compositions	Iterated maps, fractals, dynamical systems	University mathematics and physics

How SL 2.9 connects to advanced topics

Perhaps the most immediate connection is to the chain rule in calculus. When you differentiate a composite function like f(g(x)), you need to recognize the composition structure first. If you can comfortably identify the inner and outer functions now, the chain rule will feel much more natural when you encounter it. Additionally, the concept of iteration — composing a function with itself repeatedly, like f(f(f(x))) — leads to fascinating topics in chaos theory and fractals.

🔭

LOOKING AHEAD

Mastering composition is like learning to connect LEGO bricks. Once you can snap functions together confidently, you unlock the ability to build increasingly complex mathematical structures — from the chain rule in calculus to iterative algorithms in computer science. Every time you compose, you're practicing the fundamental skill of modular thinking.

SECTION 9

Practice Problems

Question 1: CONCEPTUAL

Explain in your own words why (f ∘ g)(x) is generally not equal to (g ∘ f)(x). Give a simple example with f(x) = x + 5 and g(x) = 2x to support your explanation.

Show answer

Composition is not commutative because the order in which functions are applied changes the result. With f(x) = x + 5 and g(x) = 2x, we get (f ∘ g)(x) = f(2x) = 2x + 5, while (g ∘ f)(x) = g(x + 5) = 2(x + 5) = 2x + 10. These are different functions: at x = 1, (f ∘ g)(1) = 7 but (g ∘ f)(1) = 12. The inner function's output is reshaped differently depending on which function wraps around it, so swapping the order generally changes the result.

Question 2: BASIC CALCULATION

Let f(x) = 4x − 1 and g(x) = x² + 3. Find (f ∘ g)(x) and evaluate (f ∘ g)(2).

Show answer

To find (f ∘ g)(x) = f(g(x)), substitute g(x) into f: f(x² + 3) = 4(x² + 3) − 1 = 4x² + 12 − 1 = 4x² + 11. Therefore (f ∘ g)(x) = 4x² + 11. To evaluate at x = 2: (f ∘ g)(2) = 4(2)² + 11 = 4(4) + 11 = 16 + 11 = 27. You can verify: g(2) = 4 + 3 = 7, then f(7) = 4(7) − 1 = 28 − 1 = 27. ✓

Question 3: INTERMEDIATE

Let f(x) = √(x − 1) and g(x) = x² + 5. (a) Find the expression for (f ∘ g)(x). (b) State the domain of (f ∘ g). (c) Is the domain all real numbers? Justify your answer.

Show answer

(a) (f ∘ g)(x) = f(g(x)) = f(x² + 5) = √(x² + 5 − 1) = √(x² + 4). (b) For the square root to be defined, we need x² + 4 ≥ 0. Since x² ≥ 0 for all real numbers, x² + 4 ≥ 4 > 0 for every real x. (c) Yes, the domain is all real numbers, ℝ. Even though f(x) = √(x − 1) alone requires x ≥ 1, the composition is valid for all x because g always outputs values ≥ 5 (since x² + 5 ≥ 5), which are well within the domain of f (which needs inputs ≥ 1). This is a great example of how the composed domain can differ from the individual domains.

Question 4: APPLIED

A store offers a 20% discount, and a separate coupon gives $15 off. Let D(x) = 0.80x (the discount function) and C(x) = x − 15 (the coupon function), where x is the original price in dollars. (a) Find (C ∘ D)(x) and (D ∘ C)(x). (b) Which order saves the customer more money on a $100 item? (c) Explain why the order matters in this real-world context.

Show answer

(a) (C ∘ D)(x) = C(0.80x) = 0.80x − 15 (apply discount first, then coupon). (D ∘ C)(x) = D(x − 15) = 0.80(x − 15) = 0.80x − 12 (apply coupon first, then discount). (b) For a $100 item: (C ∘ D)(100) = 80 − 15 = $65. (D ∘ C)(100) = 0.80(85) = $68. The customer saves more with (C ∘ D), paying $65 instead of $68. (c) When the percentage discount is applied first to the full price, it removes a larger dollar amount (20% of $100 = $20). Then the flat $15 coupon comes off. In the other order, the $15 is removed first, and the 20% discount applies to a smaller base ($85), removing only $17. This shows that composition order has real financial consequences — the same operations applied in different sequences yield different totals.

Question 5: CRITICAL THINKING

Let f(x) = 2x + b and g(x) = ax − 3. Find values of the constants a and b such that (f ∘ g)(x) = (g ∘ f)(x) for all x. What does this tell you about the relationship between f and g?

Show answer

First, compute both compositions. (f ∘ g)(x) = f(ax − 3) = 2(ax − 3) + b = 2ax − 6 + b. (g ∘ f)(x) = g(2x + b) = a(2x + b) − 3 = 2ax + ab − 3. For these to be equal for all x, the coefficients of x must match (they already do: both are 2a), and the constant terms must match: −6 + b = ab − 3, so b − ab = 3, giving b(1 − a) = 3. This yields infinitely many solutions; for example, a = −1 and b = 3/2, or a = 0 and b = 3, or a = 2 and b = −3. There is not a unique solution — any pair (a, b) satisfying b(1 − a) = 3 (with a ≠ 1) makes the compositions commute. When a = 1, the equation becomes 0 = 3, which is impossible, meaning two functions with the same slope of x generally won't commute unless they are identical. This result shows that commutativity under composition is a special condition that constrains the parameters of the functions.

SUMMARY

Lesson Summary

Summary

Function composition means applying one function to the output of another. The notation (f ∘ g)(x) = f(g(x)) tells you to evaluate the inner function g first, then pass its result into the outer function f. To find the composed expression algebraically, replace every instance of the variable in the outer function's formula with the entire expression for the inner function. The domain of the composition requires that x be in the domain of g and that g(x) be in the domain of f.

Key properties to remember: composition is not commutative (f ∘ g ≠ g ∘ f in general), but it is associative. In modeling contexts, composition lets you chain two real-world processes — such as time → radius → area — into a single function. This skill connects directly to the chain rule in calculus and to powerful techniques in applied mathematics and computer science.