Lesson 5 — Composition and inverse functions
Composition f∘g as sequential operations. Inverse f⁻¹ undoing the operation. Conditions for invertibility: bijection or domain restriction.
Used in: 1.º ano do EM (15 anos) · Math I japonês cap. 3 · Klasse 10 alemã — Funktionen
Composition chains two functions — the output of becomes the input of . Inverse undoes the operation: exists if and only if f is bijective (or the domain is restricted). The identity is the universal verification.
Rigorous notation, full derivation, hypotheses
Rigorous definition
Composition of functions
"When we combine functions such that the output of one function becomes the input of another, we create a composition of functions. The resulting function is called a composite function." — OpenStax College Algebra 2e, §3.4
Composition: each solid arrow is a function; the dashed arrow below is the composite f ∘ g — a shortcut that "skips" the intermediate set B.
Inverse function
"In order for a function to have an inverse function, it needs to be a one-to-one function. A function is one-to-one if each output value corresponds to exactly one input value." — Stitz–Zeager Precalculus, §5.2
f and its inverse are symmetric with respect to the line y = x. Reflecting the graph of f across that diagonal gives the graph of f⁻¹.
Worked examples
Exercise list
40 exercises · 10 with worked solution (25%)
- Ex. 5.1Understanding
How do you determine the domain of the quotient of two functions, ?
Show solution
The domain of includes all values where both functions are defined, excluding the points where the denominator is zero.Show step-by-step (with the why)
- 1. Determine the domain of and the domain of separately.
- 2. Take the intersection of those two domains.
- 3. Exclude from the intersection all such that .
- 4. The resulting set is the domain of .
- Ex. 5.2UnderstandingAnswer key
What is the composition of two functions, ?
Show solution
By definition, : evaluate first, and pass the result to .Show step-by-step (with the why)
- 1. Evaluate at the point .
- 2. Use that result as the argument of .
- 3. The final value is .
- Ex. 5.3Understanding
If the order is reversed when composing two functions, can the result be the same as in the original order? If so, give an example.
Show solution
In general , but for equal functions the compositions coincide. Example: and give . - Ex. 5.4UnderstandingAnswer key
How do you determine the domain of the composition ?
Show solution
For to make sense, must be in the domain of and additionally must fall within the domain of .Show step-by-step (with the why)
- 1. Write the domain of .
- 2. For each in that domain, compute and check whether it belongs to the domain of .
- 3. Keep only the that satisfy both conditions.
- Ex. 5.5Application
With and , compute and find .
Show solution
; . For the general formula: .Show step-by-step (with the why)
- 1. Compute .
- 2. Compute .
- 3. For the general formula: substitute into : .
- Ex. 5.6Application
With and , compute .
Show solution
; then .Show step-by-step (with the why)
- 1. Compute .
- 2. Compute .
- Ex. 5.7Application
With , find .
Show solution
. - Ex. 5.8Application
With and , compute and .
Show solution
, so . On the other hand, , so .Show step-by-step (with the why)
- 1. Compute .
- 2. Compute .
- 3. Compute .
- 4. Compute .
- Ex. 5.9Application
With and , compute and . (Ans: 27 and )
Show solution
, so . Also and . (Ans: , ) - Ex. 5.10Application
With and , compute and . (Ans: 16 and )
Show solution
, so . Also and . (Ans: 16 and ) - Ex. 5.11Application
With and , compute and . (Ans: and )
Show solution
and . (Ans: ) - Ex. 5.12UnderstandingAnswer key
With and , compute and and compare the results.
Show solution
With and : and . Both are the identity, confirming that .Show step-by-step (with the why)
- 1. Compute .
- 2. Compute .
- 3. Conclude: both compositions give , so and are inverses of each other.
- Ex. 5.13Application
With and , compute and .
Show solution
, so . Also and . Both yield 2. - Ex. 5.14Understanding
With and , what is the domain of ?
Show solution
, and the cube root is defined for all reals. Therefore the domain is . - Ex. 5.15Challenge
Let , and . True or false: ?
Show solution
. True. - Ex. 5.16Challenge
With (for ) and , compute and .
Show solution
For () and : , ; and , . Both yield 6.Show step-by-step (with the why)
- 1. .
- 2. . Therefore .
- 3. .
- 4. . Therefore .
- Ex. 5.17Modeling
The function gives the number of items demanded when the price is . The function is the cost of producing items. To determine the production cost when the price is 6, which composition would you evaluate?
Show solution
To find the production cost when the price is 6, first determine how many items will be demanded — — then compute the cost of producing that quantity: . - Ex. 5.18Modeling
The function gives the pain level (0–10) with mg of analgesic. The amount of drug after minutes is . What would you do to find when the patient will have pain level 4?
Show solution
Pain is a function of dose, which is a function of time: gives the pain level as a function of time. To find when pain reaches 4, solve . - Ex. 5.19Modeling
A store offers 30% off the price of selected items, then an additional 15% off at checkout. Write the final price function using composition.
Show solution
First apply the 30% discount: . Then the additional 15% discount at checkout: .Show step-by-step (with the why)
- 1. 30% discount: price becomes .
- 2. Additional 15% discount: .
- 3. Multiply: .
- Ex. 5.20ModelingAnswer key
A raindrop creates a circular ripple. The radius (in inches) grows with time (in minutes) as . Express the area of the ripple as a function of time and evaluate it at .
Show solution
The radius grows as . The area is , so the composition gives . At : , sq in. - Ex. 5.21ChallengeAnswer key
The number of bacteria in a food is (with °C). The temperature after hours out of the refrigerator is . Find the composite function .
Show solution
Substitute into : . - Ex. 5.22Understanding
Why is the horizontal line test effective for determining whether a function is injective (one-to-one)?
Show solution
A function is injective (one-to-one) if and only if no horizontal line crosses its graph more than once. The horizontal line test checks precisely this condition visually. - Ex. 5.23Understanding
Why do we restrict the domain of to find its inverse function?
Show solution
For a global inverse to exist, must be bijective. Since , the function is not injective on . Restricting to , it becomes injective and invertible, with . - Ex. 5.24ProofAnswer key
Can a function be its own inverse? Explain and give an example.
Show solution
A function is its own inverse if for all . Examples: (identity), (for ), and for any constant . - Ex. 5.25Understanding
How do you find the inverse of a function algebraically?
Show solution
Standard algorithm: (1) write ; (2) swap obtaining ; (3) isolate — the result is . Always verify with . - Ex. 5.26Application
Find for .
Show solution
Swap to , isolate: . Therefore . - Ex. 5.27Application
Find for .
Show solution
Swap to , isolate: . Therefore — the function is its own inverse! - Ex. 5.28Application
Find for .
Show solution
Swap: . Solve: , , , therefore .Show step-by-step (with the why)
- 1. Write and swap : .
- 2. Multiply both sides by : .
- 3. Expand: .
- 4. Isolate : , therefore .
- Ex. 5.29Application
Find for .
Show solution
Swap: . Solve: , , , . Therefore . - Ex. 5.30Application
Find a domain where is injective and non-decreasing. Then find restricted to that domain.
Show solution
Restrict to where is increasing. Swap: , isolate: . Therefore , domain . - Ex. 5.31ApplicationAnswer key
Find a domain where is injective and non-decreasing, then determine on that domain.
Show solution
On , is increasing. Swap: , isolate: . Therefore , domain .Show step-by-step (with the why)
- 1. Restrict to (the branch where is increasing).
- 2. Write and swap: .
- 3. Isolate : , (positive since ).
- Ex. 5.32Proof
Use function composition to verify that and are inverses of each other.
Show solution
. And . Both compositions are the identity, confirming they are inverses. - Ex. 5.33ProofAnswer key
Use composition to verify that and are inverses of each other.
Show solution
. And . - Ex. 5.34Application
The Celsius-to-Fahrenheit conversion is . Find the inverse function and explain its meaning.
Show solution
Swap: . Isolate: , therefore . The inverse converts Fahrenheit to Celsius.Show step-by-step (with the why)
- 1. Start from and swap : .
- 2. Subtract 32: .
- 3. Multiply by : .
- 4. Interpret: given a value in °F, the formula returns °C.
- Ex. 5.35ModelingAnswer key
The circumference of a circle is . Express the radius as a function of the circumference, call it , and compute .
Show solution
From the formula , isolate . Therefore . For : . - Ex. 5.36ModelingAnswer key
A car at 50 mph travels miles in hours. Express the time as a function of distance, call it , and compute .
Show solution
From , isolate . For : hours. Interpretation: it takes 3.6 hours to travel 180 miles at 50 mph. - Ex. 5.37Application
With and , determine and its domain.
Show solution
Substituting into : . Since for all , the domain is . - Ex. 5.38Application
Find for .
Show solution
Swap: gives . Therefore . Verification: . - Ex. 5.39Application
Find for and verify that is its own inverse.
Show solution
Swap: , isolate: . Therefore , which is the function itself (self-inverse). - Ex. 5.40Challenge
Show that is its own inverse for every real number .
Show solution
Compute . Since for any , the function is its own inverse for all real .Show step-by-step (with the why)
- 1. Apply once: .
- 2. Apply again to the result: .
- 3. Simplify: . Therefore for any .
Sources
Only books that directly fed the text and exercises. Full catalog at /livros.
- OpenStax College Algebra 2e — Jay Abramson et al. · 2022, 2nd ed · EN · CC-BY 4.0 · §3.4 (composition) and §5.7 (inverse). Primary source for blocks A and C.
- Stitz–Zeager Precalculus — Carl Stitz, Jeff Zeager · 2013, v3 · EN · CC-BY-NC-SA · §5.1 (composition and domain) and §5.2 (inverses). Primary source for block B.
- Yoshiwara — Modeling, Functions, and Graphs — Katherine Yoshiwara · 2020 · EN · free · ch. 4 (inverse in unit modeling). Primary source for block D.
- Hammack — Book of Proof (3rd ed) — Richard Hammack · 2018 · EN · free · ch. 12 (composition, inverse, bijection, proofs). Primary source for block E.
- Active Calculus 2.0 — Matt Boelkins · 2024 · EN · CC-BY-NC-SA · §1.5 (composition as anticipation of the chain rule).