Lesson 5 — Function Composition and Inverse Functions
Function composition f∘g as sequential operations. Inverse f⁻¹ that undoes the operation. Conditions for the inverse to exist: bijection or domain restriction.
Used in: 1.º ano do EM (15 anos) · Math I japonês cap. 3 · Klasse 10 alemã — Funktionen
Rigorous notation, full derivation, hypotheses
Rigorous definition
Function composition
"When we combine functions so 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 at the bottom is the composite f ∘ g — a shortcut that "skips" the intermediate set B.
Inverse function
"In order for a function to have an inverse, it must 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 about the line y = x. Reflecting the graph of f across that diagonal gives the graph of f⁻¹.
Worked examples
Exercise list
45 exercises · 11 with worked solution (25%)
- Ex. 5.1ApplicationAnswer key
Let and . Compute .
- Ex. 5.2Application
Using the same as in the previous exercise, compute and compare with .
- Ex. 5.3Application
Let and . Compute and .
- Ex. 5.4Application
For and , compute .
- Ex. 5.5Application
Let and . Compute , state the domain, and evaluate and .
- Ex. 5.6Application
Let and . Compute and state the domain.
- Ex. 5.7ApplicationAnswer key
Let and . Compute and determine the domain.
- Ex. 5.8Application
Let and . Determine and its domain.
- Ex. 5.9ApplicationAnswer key
For and , determine the domain of .
- Ex. 5.10UnderstandingAnswer key
What is the domain of when and ?
- Ex. 5.11UnderstandingAnswer key
Decompose as a composition of two simpler functions.
- Ex. 5.12Understanding
Decompose as a composition .
- Ex. 5.13Understanding
Decompose as a composition of three functions .
- Ex. 5.14Understanding
Decompose as a composition .
- Ex. 5.15Understanding
Decompose as a composition and determine the domain.
- Ex. 5.16Challenge
Let be such that and . Determine .
- Ex. 5.17ChallengeAnswer key
Determine given that .
- Ex. 5.18Understanding
Which of the following decompositions is correct for as a composition of three functions ?
- Ex. 5.19Application
Find for .
- Ex. 5.20ApplicationAnswer key
Find for .
- Ex. 5.21ApplicationAnswer key
Find for .
- Ex. 5.22Application
Find for , .
- Ex. 5.23Application
Find for , .
- Ex. 5.24Application
Verify that and are inverses by computing and .
- Ex. 5.25Understanding
is not invertible on . Find two different restricted domains where becomes invertible and exhibit the two inverses.
- Ex. 5.26Understanding
is not invertible on . Restrict the domain to the natural increasing branch and determine .
- Ex. 5.27Understanding
Explain geometrically why the graph of is the reflection of the graph of across the line .
- Ex. 5.28Understanding
How do you decide graphically whether has an inverse? Describe the criterion and give an example of a function that passes the criterion and one that does not.
- Ex. 5.29Understanding
Show that (with , ) is its own inverse. Functions with this property are called involutions.
- Ex. 5.30Understanding
Show that is an involution.
- Ex. 5.31ModelingAnswer key
In logistics, the shipping cost is (dollars per kg). Determine : what weight corresponds to a shipping cost of dollars? For a shipping cost of $90, what is the weight?
- Ex. 5.32Modeling
Celsius to Fahrenheit conversion: . (a) Determine . (b) Compute the temperature in °C corresponding to .
- Ex. 5.33Modeling
BRL-to-USD converter: (simplified rate). Find and compute how many reais correspond to US$50.
- Ex. 5.34Modeling
Z-score normalization: (centering) and (scaling). (a) Express the composite . (b) Determine the inverse to back-transform model predictions. Watch the order.
- Ex. 5.35ModelingAnswer key
Pharmacokinetics: dose (mg) produces concentration mg/L. Determine : what dose produces concentration ? For mg/L, what is the dose?
- Ex. 5.36Modeling
A product costs dollars. Store A: (10% discount). Store B: (p = 800p$ do both strategies give the same price?
- Ex. 5.37Modeling
A pool fills at liters. Determine : how long to fill liters? For 4,000 L?
- Ex. 5.38Modeling
Chain conversion: USD → BRL via (simplified rate); BRL → BTC via . (a) Model USD → BTC as the composite . (b) Determine the inverse BTC → USD. (c) How many dollars is 0.01 BTC worth?
- Ex. 5.39Proof
Prove that if is bijective, then .
- Ex. 5.40ProofAnswer key
Prove that the composition of two injective functions is injective.
- Ex. 5.41Proof
Prove that if and are bijective, then .
- Ex. 5.42Challenge
If is injective, prove that is injective. Is the converse true for ? Justify with a counterexample.
- Ex. 5.43Challenge
Caesar cipher. Encoding: for and shift . (a) Determine . (b) For , encode "H" (= 7) and verify that decryption recovers "H".
- Ex. 5.44Challenge
For bijective , determine . Justify using the uniqueness of the inverse.
- Ex. 5.45Challenge
An involution is a function with . Show that involutions are self-inverse and verify that , , and are examples.
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 preview of the chain rule).