Historical Context & Motivation
Mathematics has always been about relationships — how one quantity depends on another. Ancient astronomers tracked the position of stars as a function of time, and merchants calculated profit as a function of goods sold. Yet for most of history, these relationships were described with lengthy sentences rather than compact symbols. The idea that we could write a single letter like f(x) to represent an entire process — an input going in, a rule acting on it, and an output coming out — took centuries to develop.
The quest to formalize functions also raised a natural question: if a function transforms an input into an output, can we run the machine backwards? Given the output, can we recover the original input? This idea of inverse functions became essential not only in pure mathematics but in everyday applications such as decoding encrypted messages, converting between temperature scales, and solving equations in physics.
The central question this lesson addresses is: How do we precisely describe what a function does, what inputs it accepts, what outputs it produces, and how to undo its action? Answering this question gives you the foundational language for every topic in IB Mathematics: Analysis and Approaches.
Core Principles & Definitions
Before diving into calculations, you need a solid grasp of the vocabulary. A function is a rule that assigns to each element in a set of inputs exactly one element in a set of outputs. The notation f(x) is read as "f of x" and tells you two things at once: the name of the function (f) and the input variable (x). Here are the foundational ideas you will build on throughout this course.
Function Notation
Domain
Range
Inverse Function
Domain Restriction
Visual Explanation — The Function Machine
The diagram below illustrates how a function maps elements from the domain to elements in the range, and how the inverse function reverses those arrows. Notice that each input maps to exactly one output — this is the defining property of a function.
In the diagram, every element in the domain has exactly one partner in the range — no input is left unmatched, and no input maps to two different outputs. This is the hallmark of a well-defined function. When you trace the dashed pink arrows backward, you see the inverse: each output returns to its original input. If any output had come from two different inputs, the inverse arrows would collide, and the inverse would fail to be a function.
Mathematical Framework
Let's formalise the key ideas with precise notation. In the IB syllabus, you need to be comfortable reading, writing, and manipulating function notation, specifying domains and ranges, and finding inverses algebraically.
Inverse Functions & Domain Restriction
Not every function has an inverse — at least, not without some adjustment. A function must be one-to-one (each output comes from exactly one input) for its inverse to also be a function. Graphically, a function is one-to-one if and only if every horizontal line crosses its graph at most once; this is called the horizontal line test. Consider f(x) = x². Since f(−3) = 9 and f(3) = 9, two different inputs produce the same output, which means the inverse would try to send 9 to both −3 and 3 — violating the definition of a function.
The solution is to restrict the domain so that the function becomes one-to-one on the restricted interval. For f(x) = x², we commonly restrict to x ≥ 0, producing the inverse f⁻¹(x) = √x. Alternatively, we could restrict to x ≤ 0 and obtain f⁻¹(x) = −√x. Both choices are valid; the context determines which restriction makes sense.
The graph confirms a powerful visual rule: the graph of f⁻¹ is always the reflection of the graph of f across the line y = x. This happens because swapping x and y in the equation (the algebraic step for finding an inverse) is geometrically identical to reflecting a point over that diagonal. Whenever you are asked to sketch an inverse on the IB exam, draw y = x first, then reflect the original curve.
Worked Example
Let's walk through a complete IB-style problem that ties together function notation, domain, range, and finding an inverse with a domain restriction.
Common Pitfalls & Comparisons
Students often confuse related concepts or make procedural errors when working with function notation and inverses. The table below highlights common mix-ups and clarifies the differences.
| Concept / Notation | What It Means | Common Mistake |
|---|---|---|
| f⁻¹(x) | The inverse function — it undoes what f does. | Confusing f⁻¹(x) with 1/f(x). The superscript −1 is NOT an exponent here. |
| f(a) | The output when the input is a. | Treating f(a) as f × a (multiplication). The parentheses denote function evaluation, not multiplication. |
| Domain restriction | Limiting inputs to make a function one-to-one so that an inverse exists. | Forgetting to restrict the domain before finding the inverse of a many-to-one function like x². |
| Range vs. Codomain | The range is the set of actual outputs; the codomain is the set of possible outputs. | Stating the range as ℝ when only non-negative values are actually produced. |
Connection to Advanced Theory
The ideas in SL 2.6 form the backbone for many advanced topics you will encounter later in the IB course and beyond. Understanding function notation, domain, range, and inverses prepares you for composition of functions, transformations, and eventually calculus.
| SL 2.6 Foundation | Advanced Extension |
|---|---|
| f(x) notation and evaluating functions | Composition of functions: (f ∘ g)(x) = f(g(x)), explored in SL 2.5 |
| Domain and range of basic functions | Analysing domains/ranges of transformed functions: af(b(x − h)) + k |
| Inverse of linear and simple quadratic functions | Inverse trigonometric functions with principal domains (HL 3.8) |
| Domain restriction to create one-to-one functions | Bijections, injectivity, and surjectivity in university-level set theory |
| Verification: f(f⁻¹(x)) = x | The chain rule in calculus uses composition, and the derivative of an inverse function relates to 1/f′(x) |
In HL Analysis and Approaches, you will encounter functions where domain restrictions become even more critical — for example, arcsin(x) is defined as the inverse of sin(x) only on [−π/2, π/2]. The habit of carefully specifying domains that you build now will save you significant effort later. Similarly, in calculus, the relationship between a function and its inverse leads to a beautiful result: the derivative of f⁻¹ at a point equals the reciprocal of the derivative of f at the corresponding point.
Practice Problems
Lesson Summary
In this lesson you learned that function notation f(x) provides a compact way to name a rule and specify its input. Every function has a domain (the set of allowable inputs) and a range (the set of actual outputs). To find the inverse function f⁻¹(x), you swap x and y and solve for y, remembering that the domain of f⁻¹ equals the range of f and vice versa.
A function must be one-to-one (pass the horizontal line test) for its inverse to be a function. When a function like x² is not one-to-one, you apply a domain restriction to make it one-to-one. Graphically, the curve of f⁻¹ is always the reflection of f across the line y = x. Finally, you can verify an inverse by showing that f(f⁻¹(x)) = x and f⁻¹(f(x)) = x. These skills form the foundation for every functions topic in the IB course.