Composite Functions — I can create and interpret composite functions in context and determine reasonable domains. - Grade 11 Math

SECTION 1

Historical Context & Motivation

Mathematics often advances by building complex ideas from simpler ones, and composite functions are a perfect example of that principle. Throughout history, mathematicians realized that many real-world processes happen in stages: one quantity depends on another, which itself depends on a third. Modeling these chains of dependency required a formal way to combine functions, and that's exactly what function composition provides.

~300 BCE • Early Function-Like Thinking

Greek mathematicians like Euclid studied geometric relationships that acted as input-output rules, though they didn't use the word "function." Their work on proportions laid groundwork for chaining relationships together.

1694 • Leibniz Coins "Function"

Gottfried Wilhelm Leibniz introduced the term "function" to describe quantities that depend on a variable. This language made it possible to talk about combining operations systematically.

1837 • Dirichlet's Modern Definition

Peter Gustav Lejeune Dirichlet defined a function as any rule assigning each input exactly one output. This general definition allowed mathematicians to formally compose any two compatible functions.

20th Century • Composition in Modern Math & CS

Function composition became central to abstract algebra, calculus (the chain rule), and computer science, where "piping" the output of one process into the next is fundamental to programming.

The big question that composition answers is this: if you know two separate relationships — say, how temperature affects ice cream sales and how ice cream sales affect profit — can you write a single expression that jumps directly from temperature to profit? Composite functions let you do exactly that, but they come with a catch: you have to make sure every intermediate value makes sense for the next function in the chain. That concern leads us to the concept of a reasonable domain for the composite.

SECTION 2

Core Principles & Definitions

Before diving into examples, let's establish the foundational ideas behind composite functions. At its core, function composition means using the output of one function as the input of another. We write the composite of f and g as (f ∘ g)(x), which is read "f of g of x" and means f(g(x)). The function g acts first, producing a value, and then f takes that value as its input.

Notation & Order

(f ∘ g)(x) = f(g(x)). The function on the right (g) acts first. Order matters — f ∘ g is usually different from g ∘ f.

Inside-Out Evaluation

Always evaluate the inner function first, then feed its result into the outer function. Think of it as working from the inside out, like nested parentheses.

Domain of a Composite

The domain of f ∘ g includes only those x-values that (1) are in the domain of g AND (2) produce g(x) values that are in the domain of f.

Context Matters

In real-world problems, the domain may be further restricted by the situation — negative time, impossible temperatures, or other physical constraints narrow what's "reasonable."

✦

KEY TAKEAWAY

Think of composite functions like a two-step assembly line. Imagine a factory where Machine A shapes raw metal into a bracket, and Machine B paints brackets. Machine B can only paint things that Machine A actually produces — you can't feed it raw metal directly. In the same way, the output of the inner function must be a valid input for the outer function. If Machine A can't process a certain material, or if Machine B can't handle a certain bracket size, then that starting material is outside the composite's domain.

SECTION 3

Visual Explanation — The Function Pipeline

This pipeline diagram shows inputs flowing from left to right. Each x-value first enters g(x) = x + 1, producing an intermediate output. That output then enters f(x) = √x. Notice how x = −2 produces g(−2) = −1, which is negative and therefore outside the domain of f. Similarly, x = −4 fails at the second stage. Only x-values for which g(x) ≥ 0 survive the full pipeline.

The diagram above illustrates the two-stage nature of composition. The left column shows candidate inputs. The middle box represents the inner function g, and the right box represents the outer function f. Solid arrows show successful passages, while dashed red arrows indicate values that break the chain. This visual makes it clear that finding the domain of a composite is about ensuring every intermediate result is valid for the next stage.

SECTION 4

Mathematical Framework

Let's formalize the ideas from the previous sections. Suppose you have two functions, f and g, each with its own domain and range. When you compose them, you create a new function whose formula and domain depend on both originals.

COMPOSITE FUNCTION DEFINITION

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

Read as "f composed with g of x." Evaluate g(x) first, then apply f to the result.

DOMAIN OF f ∘ g

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

An input x must satisfy two conditions: (1) x is in the domain of g so that g(x) is defined, and (2) the output g(x) is in the domain of f so that f(g(x)) is defined.

EXAMPLE — ALGEBRAIC COMPOSITION

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

Domain of g: all real numbers. Domain of f: all reals except 2. So we need g(x) ≠ 2, meaning x² ≠ 2, which gives x ≠ √2 and x ≠ −√2. The domain of f ∘ g is all real numbers except ±√2.

⚠

Order Matters!

Composition is not commutative. In general, f(g(x)) ≠ g(f(x)). For instance, if f(x) = x + 3 and g(x) = 2x, then f(g(x)) = 2x + 3 while g(f(x)) = 2(x + 3) = 2x + 6. Same functions, different order, different result!

SECTION 5

Domain Analysis — A Detailed Breakdown

Determining the domain of a composite function is one of the trickiest parts of this topic. Different types of functions create different restrictions, and when you chain two together, those restrictions can interact in surprising ways. The diagram below maps out the most common restriction types and how they combine.

This flowchart shows three common outer-function types — square root, rational, and logarithmic — and demonstrates how to set up the domain restriction. In each case, you substitute the inner function's expression into the restriction and solve. The final step (green box at the bottom) reminds you to intersect with the inner function's own domain.

Here is a systematic process for finding the domain of any composite function. First, write down the domain of the inner function g. Second, identify any restrictions the outer function f places on its input. Third, set up and solve the inequality (or equation) that results from substituting g(x) into that restriction. Finally, take the intersection of the results from step one and step three — that intersection is the domain of the composite.

Step 1: Find the domain of g (the inner function) on its own.
Step 2: Determine what f (the outer function) requires of its input.
Step 3: Replace f's variable with g(x) and solve the resulting condition.
Step 4: Intersect the results from Steps 1 and 3 to get the composite's domain.

SECTION 6

Worked Example — A Real-World Scenario

A store offers a 20% discount on all items, and you also have a $10-off coupon. Let d(p) = 0.8p represent the price after the 20% discount and c(p) = p − 10 represent the price after the $10 coupon. We want to find the composite (c ∘ d)(p), interpret it, and determine a reasonable domain.

Composing Discount Functions & Finding the Domain

1
Step 1 — Identify the Functions and Their Roles

We have two pricing functions. The inner function is d(p) = 0.8p, which takes the original price p and applies a 20% discount. The outer function is c(p) = p − 10, which subtracts a $10 coupon. We want (c ∘ d)(p) = c(d(p)), meaning we apply the 20% discount first, then the coupon.
2
Step 2 — Build the Composite Expression

Substitute d(p) into c: c(d(p)) = c(0.8p) = 0.8p − 10.

(c ∘ d)(p) = 0.8p − 10
3
Step 3 — Interpret the Composite in Context

The expression 0.8p − 10 tells us: "Take 80% of the original price, then subtract $10." This gives us the final cost of any item when the percentage discount is applied before the coupon.
4
Step 4 — Determine the Mathematical Domain

Algebraically, d(p) = 0.8p is defined for all real numbers, and c(x) = x − 10 is defined for all real numbers. So mathematically, there's no restriction from the functions themselves — the domain would be all real numbers.
5
Step 5 — Apply Contextual Restrictions for a Reasonable Domain

However, the context is pricing. The original price p must be non-negative (p ≥ 0). Also, the final price should be non-negative — nobody pays a negative price. So we need 0.8p − 10 ≥ 0, which gives p ≥ 12.50. The store probably wouldn't let you use the coupon if your discounted price is less than $10.

Reasonable domain: p ≥ 12.50 (original price must be at least $12.50)
6
Step 6 — Verify with a Specific Value

Check: If p = 50, then d(50) = 0.8(50) = 40, and c(40) = 40 − 10 = 30. The composite gives (c ∘ d)(50) = 0.8(50) − 10 = 40 − 10 = 30. ✓ Both approaches agree.

Verified: (c ∘ d)(50) = $30.00

💡

Reasonable vs. Mathematical Domain

In context problems, the reasonable domain is often a subset of the mathematical domain. Always ask: "What values make sense in this situation?" Negative prices, fractional people, or times before an experiment started are examples of values that are mathematically valid but contextually meaningless.

SECTION 7

Composition vs. Other Operations on Functions

Students sometimes confuse composition with other ways of combining functions, like addition or multiplication. The table below highlights the key differences. Understanding these distinctions will help you recognize composition when you see it and apply the correct domain rules.

Operation	Notation	How It Works	Domain Rule
Addition	(f + g)(x) = f(x) + g(x)	Evaluate both functions at x, then add the outputs.	Domain(f) ∩ Domain(g)
Multiplication	(f · g)(x) = f(x) · g(x)	Evaluate both functions at x, then multiply the outputs.	Domain(f) ∩ Domain(g)
Composition	(f ∘ g)(x) = f(g(x))	Evaluate g at x, then feed that result into f. The functions act in sequence, not side by side.	{x ∈ Dom(g) : g(x) ∈ Dom(f)}
Division	(f/g)(x) = f(x)/g(x)	Evaluate both at x, then divide. Must exclude g(x) = 0.	Dom(f) ∩ Dom(g), g(x) ≠ 0

Comparison of function operations and their domain rules

✦

KEY TAKEAWAY

Addition, subtraction, multiplication, and division of functions are "parallel" operations — both functions receive the same input x independently. Composition is a "serial" operation — one function's output becomes the other function's input, like passing a baton in a relay race. That's why composition has a more complex domain rule: you need the baton to be something the next runner can actually grab.

SECTION 8

Looking Ahead — Composition in Calculus and Beyond

Composite functions aren't just an algebra topic — they are a foundational tool that shows up repeatedly in higher mathematics. Understanding composition now sets you up for success in calculus, where it is essential for one of the most important differentiation techniques.

Concept Now (Algebra 2)	Where It Leads (Calculus & Beyond)
Evaluating f(g(x)) by substitution	The Chain Rule: d/dx[f(g(x))] = f′(g(x)) · g′(x)
Recognizing the inner and outer function	u-substitution in integration, where you identify g(x) as u
Domain restrictions from composition	Determining intervals of continuity and differentiability
Composing a function with its inverse: f(f⁻¹(x)) = x	Inverse function theorem and solving equations by "undoing" operations

How composition connects to future math topics

Perhaps the most important connection is to inverse functions. When you compose a function with its inverse, you get the identity: f(f⁻¹(x)) = x. This is the formal definition of an inverse! In other words, composition gives you the language to say precisely what it means to "undo" a function. You may also encounter composition in computer science, where chaining functions is called a pipeline, and in data science, where multi-step transformations of data sets rely on function composition at every stage.

SECTION 9

Practice Problems

Question 1: CONCEPTUAL

Explain in your own words why (f ∘ g)(x) is generally not the same as (g ∘ f)(x). Give a simple pair of functions (not just f(x) = x) to support your explanation.

Show answer

Composition is not commutative because the order in which the functions act changes the result. For example, let f(x) = x² and g(x) = x + 1. Then (f ∘ g)(x) = f(x + 1) = (x + 1)² = x² + 2x + 1, while (g ∘ f)(x) = g(x²) = x² + 1. These are clearly different expressions. The inner function transforms the input first, so switching which function acts first changes the intermediate value and therefore the final output.

Question 2: BASIC CALCULATION

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

Show answer

For (f ∘ g)(4): First compute g(4) = 4² + 2 = 18. Then f(18) = 3(18) − 7 = 54 − 7 = 47. So (f ∘ g)(4) = 47. For (g ∘ f)(4): First compute f(4) = 3(4) − 7 = 5. Then g(5) = 5² + 2 = 27. So (g ∘ f)(4) = 27. Notice how the two results differ, confirming that composition order matters.

Question 3: INTERMEDIATE

Let f(x) = √(x − 3) and g(x) = 2x + 1. Find the formula for (f ∘ g)(x) and determine its domain.

Show answer

The composite is (f ∘ g)(x) = f(g(x)) = f(2x + 1) = √((2x + 1) − 3) = √(2x − 2). To find the domain, we need the expression under the square root to be non-negative: 2x − 2 ≥ 0, so 2x ≥ 2, giving x ≥ 1. The domain of g is all real numbers (no restriction from a linear function), so the domain of f ∘ g is x ≥ 1, or in interval notation [1, ∞). We can verify: at x = 1, we get √(2(1) − 2) = √0 = 0 ✓, and at x = 0, we get √(−2) which is undefined ✓.

Question 4: APPLIED

A circular oil spill is expanding so that its radius (in meters) after t hours is r(t) = 2t + 5. The area of a circle is A(r) = πr². Write a composite function that gives the area of the spill as a function of time, and determine a reasonable domain if clean-up crews will arrive in 12 hours.

Show answer

The composite function is (A ∘ r)(t) = A(r(t)) = π(2t + 5)². This can be expanded to π(4t² + 20t + 25) = 4πt² + 20πt + 25π. For the reasonable domain, time cannot be negative (the spill starts at t = 0), and the spill is only modeled until clean-up at t = 12. So the reasonable domain is 0 ≤ t ≤ 12 hours. At t = 0, the area is π(5)² = 25π ≈ 78.5 m², and at t = 12, the area is π(29)² = 841π ≈ 2642 m². Even though the formula works for any real t, only 0 ≤ t ≤ 12 makes sense in this scenario.

Question 5: CRITICAL THINKING

Let f(x) = 1/(x − 4) and g(x) = √x. Find the domain of (f ∘ g)(x), explaining each restriction. Then find the domain of (g ∘ f)(x) and explain how it differs and why.

Show answer

For (f ∘ g)(x) = f(√x) = 1/(√x − 4): The domain of g requires x ≥ 0. The outer function f requires its input to not equal 4, so we need √x ≠ 4, meaning x ≠ 16. The domain of f ∘ g is therefore x ≥ 0 and x ≠ 16, or in interval notation [0, 16) ∪ (16, ∞). For (g ∘ f)(x) = g(1/(x − 4)) = √(1/(x − 4)): The domain of f requires x ≠ 4. The outer function g requires its input to be non-negative, so 1/(x − 4) ≥ 0. Since the numerator is positive (1), this fraction is non-negative when x − 4 > 0, meaning x > 4. Note that x = 4 is already excluded. The domain of g ∘ f is (4, ∞). The domains are quite different because the restriction types interact differently depending on which function processes the input first.

SUMMARY

Lesson Summary

Summary

A composite function is created by chaining two functions so that the output of the inner function becomes the input of the outer function. The notation (f ∘ g)(x) = f(g(x)) means "apply g first, then f." Composition is not commutative — switching the order of f and g typically produces a different function.

The domain of a composite function requires two checks: (1) x must be in the domain of g, and (2) g(x) must be in the domain of f. In applied contexts, the reasonable domain may be further narrowed by real-world constraints such as non-negative prices, valid time intervals, or physical measurements. Mastering composition prepares you for the chain rule in calculus, inverse functions, and multi-step modeling in science and engineering.