Composition of Functions: A Complete Student Guide
The composition of functions f and g, written g circle f, means "apply f first, then apply g to the result": (g circle f)(x) = g(f(x)). It chains two machines into one longer machine.
It matters because real processes are chains: raw material becomes a part, the part becomes a product. Mathematics models each stage as a function and the whole pipeline as their composition, from unit conversions to computer programs.
Key Concepts
- Composition (g circle f)(x) = g(f(x)): read right to left — f acts first, g second.
- Order matters: g circle f is generally different from f circle g.
- Domain of a composition: x must be in the domain of f, and f(x) must land in the domain of g.
- Associativity: (h circle g) circle f = h circle (g circle f); grouping does not matter, order does.
Formulas
- (g circle f)(x) = g(f(x)). Substitute the whole formula of f(x) wherever x appears in g.
- f circle I = I circle f = f, where I(x) = x is the identity function; composing with "do nothing" changes nothing.
- (g circle f) inverse = f inverse circle g inverse when both are invertible: undo in reverse order, like taking off shoes before socks.
- Limit: g circle f exists only where the output of f is an acceptable input of g.
Worked Example
Let f(x) = 2x + 1 and g(x) = x squared. Find (g circle f)(x), (f circle g)(x), and both at x = 3.
- (g circle f)(x) = g(2x + 1) = (2x + 1) squared = 4x squared + 4x + 1.
- (f circle g)(x) = f(x squared) = 2x squared + 1.
- At x = 3: (g circle f)(3) = g(7) = 49; (f circle g)(3) = f(9) = 19.
- Since 49 is not equal to 19, g circle f is not equal to f circle g — composition is not commutative.
Common Misconceptions
- "The order does not matter." The example proves otherwise: 49 versus 19. Always apply the rightmost function first.
- "(g circle f)(x) means g(x) times f(x)." The circle is composition, not multiplication; g(f(x)) substitutes, it does not multiply.
- "You can compose any two functions." The inner function's outputs must be valid inputs of the outer function, or the chain breaks.
- Unit chains: converting miles to kilometres to metres is a composition of two conversion functions.
- Programming: piping data through filter then transform is function composition in code.
- Manufacturing: each workstation applies its function to the output of the previous one; the line is one big composition.
Real-World Applications
Composition (g circle f)(x) = g(f(x)) runs f first and g second, and the order is essential. Substitute carefully, check the domains link up, and chained processes reduce to a single formula.
Related blogs
- Representation of Sets: Roster, Builder & Venn Guide
- Types of Sets: Finite, Infinite, Empty & Singleton Sets
- Subsets and Supersets: Definitions, Symbols, Power Sets
- Power Sets: All Subsets Explained Simply with Examples
- Universal Set in Set Theory: Definition with Examples
- Venn Diagrams: How to Read and Draw Them Like a Pro