Math ClubMath Club
v1 · padrão canônico

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

(fg)(x)=f(g(x)),f1(f(x))=x(f \circ g)(x) = f(g(x)), \quad f^{-1}(f(x)) = x
Choose your door

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

AxBg(x)Cf(g(x))gff ∘ g

Composition: each solid arrow is a function; the dashed arrow at the bottom is the composite fg — 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

y = xf(x)f ⁻¹(x)

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%)

Application 15Understanding 13Modeling 8Challenge 6Proof 3
  1. Ex. 5.1ApplicationAnswer key

    Let f(x)=3x+1f(x) = 3x + 1 and g(x)=x2g(x) = x^2. Compute (fg)(x)(f \circ g)(x).

  2. Ex. 5.2Application

    Using the same f,gf, g as in the previous exercise, compute (gf)(x)(g \circ f)(x) and compare with (fg)(x)(f \circ g)(x).

  3. Ex. 5.3Application

    Let f(x)=2x5f(x) = 2x - 5 and g(x)=x2+1g(x) = x^2 + 1. Compute (fg)(x)(f \circ g)(x) and (gf)(x)(g \circ f)(x).

  4. Ex. 5.4Application

    For f(x)=x212f(x) = x^2 - 12 and g(x)=x+3g(x) = x + 3, compute (fg)(2)(f \circ g)(2).

  5. Ex. 5.5Application

    Let f(x)=3x2f(x) = 3x - 2 and g(x)=1/xg(x) = 1/x. Compute (fg)(x)(f \circ g)(x), state the domain, and evaluate (fg)(2)(f \circ g)(2) and (gf)(2)(g \circ f)(2).

  6. Ex. 5.6Application

    Let f(x)=1/(x2)f(x) = 1/(x - 2) and g(x)=x+3g(x) = x + 3. Compute (fg)(x)(f \circ g)(x) and state the domain.

  7. Ex. 5.7ApplicationAnswer key

    Let f(x)=3x+2f(x) = 3x + 2 and g(x)=xg(x) = \sqrt{x}. Compute (fg)(x)(f \circ g)(x) and determine the domain.

  8. Ex. 5.8Application

    Let f(x)=xf(x) = \sqrt{x} and g(x)=x24g(x) = x^2 - 4. Determine (fg)(x)(f \circ g)(x) and its domain.

  9. Ex. 5.9ApplicationAnswer key

    For f(x)=1/(x+1)f(x) = 1/(x+1) and g(x)=1/(x+1)g(x) = 1/(x+1), determine the domain of (fg)(f \circ g).

  10. Ex. 5.10UnderstandingAnswer key

    What is the domain of (fg)(x)(f \circ g)(x) when f(x)=xf(x) = \sqrt{x} and g(x)=x2g(x) = x - 2?

  11. Ex. 5.11UnderstandingAnswer key

    Decompose h(x)=(3x+2)4h(x) = (3x + 2)^4 as a composition fgf \circ g of two simpler functions.

  12. Ex. 5.12Understanding

    Decompose h(x)=x2+1h(x) = \sqrt{x^2 + 1} as a composition fgf \circ g.

  13. Ex. 5.13Understanding

    Decompose h(x)=5x+1h(x) = \sqrt{5x + 1} as a composition of three functions h3h2h1h_3 \circ h_2 \circ h_1.

  14. Ex. 5.14Understanding

    Decompose h(x)=1x23h(x) = \sqrt[3]{1 - x^2} as a composition fgf \circ g.

  15. Ex. 5.15Understanding

    Decompose h(x)=e2x5h(x) = e^{2x - 5} as a composition and determine the domain.

  16. Ex. 5.16Challenge

    Let f,gf, g be such that (fg)(x)=x2+4x(f \circ g)(x) = x^2 + 4x and g(x)=x+2g(x) = x + 2. Determine f(x)f(x).

  17. Ex. 5.17ChallengeAnswer key

    Determine f(x)f(x) given that f(x+1)=2x2+3x1f(x + 1) = 2x^2 + 3x - 1.

  18. Ex. 5.18Understanding

    Which of the following decompositions is correct for h(x)=1/(x+3)2h(x) = 1/(x+3)^2 as a composition of three functions h3h2h1h_3 \circ h_2 \circ h_1?

  19. Ex. 5.19Application

    Find f1(x)f^{-1}(x) for f(x)=3x+7f(x) = 3x + 7.

  20. Ex. 5.20ApplicationAnswer key

    Find f1(x)f^{-1}(x) for f(x)=(x1)/2f(x) = (x - 1)/2.

  21. Ex. 5.21ApplicationAnswer key

    Find f1(x)f^{-1}(x) for f(x)=x+53f(x) = \sqrt[3]{x + 5}.

  22. Ex. 5.22Application

    Find f1(x)f^{-1}(x) for f:[0,+)[2,+)f: [0, +\infty) \to [2, +\infty), f(x)=x2+2f(x) = x^2 + 2.

  23. Ex. 5.23Application

    Find f1(x)f^{-1}(x) for f(x)=(2x+3)/(x1)f(x) = (2x + 3)/(x - 1), x1x \neq 1.

  24. Ex. 5.24Application

    Verify that f(x)=2x+4f(x) = 2x + 4 and g(x)=(x4)/2g(x) = (x - 4)/2 are inverses by computing fgf \circ g and gfg \circ f.

  25. Ex. 5.25Understanding

    f(x)=x2f(x) = x^2 is not invertible on R\mathbb{R}. Find two different restricted domains where ff becomes invertible and exhibit the two inverses.

  26. Ex. 5.26Understanding

    f(x)=x24x+7f(x) = x^2 - 4x + 7 is not invertible on R\mathbb{R}. Restrict the domain to the natural increasing branch and determine f1f^{-1}.

  27. Ex. 5.27Understanding

    Explain geometrically why the graph of f1f^{-1} is the reflection of the graph of ff across the line y=xy = x.

  28. Ex. 5.28Understanding

    How do you decide graphically whether ff has an inverse? Describe the criterion and give an example of a function that passes the criterion and one that does not.

  29. Ex. 5.29Understanding

    Show that f(x)=a/xf(x) = a/x (with a0a \neq 0, x0x \neq 0) is its own inverse. Functions with this property are called involutions.

  30. Ex. 5.30Understanding

    Show that f(x)=1xf(x) = 1 - x is an involution.

  31. Ex. 5.31ModelingAnswer key

    In logistics, the shipping cost is C(p)=30+4pC(p) = 30 + 4p (dollars per kg). Determine C1C^{-1}: what weight corresponds to a shipping cost of cc dollars? For a shipping cost of $90, what is the weight?

  32. Ex. 5.32Modeling

    Celsius to Fahrenheit conversion: F(C)=(9/5)C+32F(C) = (9/5)C + 32. (a) Determine F1F^{-1}. (b) Compute the temperature in °C corresponding to F=100 °FF = 100\ °F.

  33. Ex. 5.33Modeling

    BRL-to-USD converter: D(R)=R/5D(R) = R/5 (simplified rate). Find D1D^{-1} and compute how many reais correspond to US$50.

  34. Ex. 5.34Modeling

    Z-score normalization: g(x)=xxˉg(x) = x - \bar{x} (centering) and f(y)=y/σf(y) = y/\sigma (scaling). (a) Express the composite (fg)(x)(f \circ g)(x). (b) Determine the inverse (fg)1(f \circ g)^{-1} to back-transform model predictions. Watch the order.

  35. Ex. 5.35ModelingAnswer key

    Pharmacokinetics: dose DD (mg) produces concentration C(D)=0.05DC(D) = 0.05\,D mg/L. Determine C1C^{-1}: what dose produces concentration cc? For c=2c = 2 mg/L, what is the dose?

  36. Ex. 5.36Modeling

    A product costs pp dollars. Store A: f(p)=0.9pf(p) = 0.9p (10% discount). Store B: g(p)=p50g(p) = p - 50 (50off).(a)For50 off). (a) For p = 800:whichischeaper?(b)Forwhich: which is cheaper? (b) For which p$ do both strategies give the same price?

  37. Ex. 5.37Modeling

    A pool fills at V(t)=80tV(t) = 80\,t liters. Determine V1V^{-1}: how long to fill vv liters? For 4,000 L?

  38. Ex. 5.38Modeling

    Chain conversion: USD → BRL via f(d)=5df(d) = 5d (simplified rate); BRL → BTC via g(r)=r/350000g(r) = r/350\,000. (a) Model USD → BTC as the composite gfg \circ f. (b) Determine the inverse BTC → USD. (c) How many dollars is 0.01 BTC worth?

  39. Ex. 5.39Proof

    Prove that if ff is bijective, then (f1)1=f(f^{-1})^{-1} = f.

  40. Ex. 5.40ProofAnswer key

    Prove that the composition of two injective functions is injective.

  41. Ex. 5.41Proof

    Prove that if ff and gg are bijective, then (fg)1=g1f1(f \circ g)^{-1} = g^{-1} \circ f^{-1}.

  42. Ex. 5.42Challenge

    If fgf \circ g is injective, prove that gg is injective. Is the converse true for ff? Justify with a counterexample.

  43. Ex. 5.43Challenge

    Caesar cipher. Encoding: Ek()=(+k)mod26E_k(\ell) = (\ell + k) \bmod 26 for {0,,25}\ell \in \{0, \ldots, 25\} and shift kk. (a) Determine Ek1E_k^{-1}. (b) For k=3k = 3, encode "H" (= 7) and verify that decryption recovers "H".

  44. Ex. 5.44Challenge

    For bijective ff, determine ((f1)1)1((f^{-1})^{-1})^{-1}. Justify using the uniqueness of the inverse.

  45. Ex. 5.45Challenge

    An involution is a function ff with ff=idf \circ f = \operatorname{id}. Show that involutions are self-inverse and verify that f(x)=cxf(x) = c - x, f(x)=xf(x) = -x, and f(x)=1/xf(x) = 1/x 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).

Updated on 2026-05-05 · Author(s): Clube da Matemática

Found an error? Open an issue on GitHub or submit a PR — open source forever.