IB Math AA: Functions and Their Properties

Functions are the fundamental language of change and relationship in mathematics, forming the backbone of calculus, modeling, and advanced analysis. For IB Math Analysis and Approaches, a deep conceptual and operational understanding of functions is non-negotiable. Mastering their properties—from notation to transformation—enables you to model real-world phenomena, solve complex problems, and build the rigorous reasoning skills essential for success in the course and its exams.

Foundational Concepts: Domain, Range, and Notation

A function is a relation that assigns exactly one output value to each input value in its specified set. This definition hinges on two core properties: the domain and the range. The domain of a function is the complete set of all possible input values (often $x$-values) for which the function is defined. The range is the complete set of all possible output values (often $y$-values) that result from using the domain.

Consider $f(x)=\sqrt{x-2}$. For the square root to yield a real number, its argument must be non-negative: $x-2\ge 0$, so $x\ge 2$. Thus, the domain is $x\in [2,\infty )$. The output of a square root is always non-negative, so the range is $y\in [0,\infty )$.

Function notation, $f(x)$, is more than just a fancy way to write $y$. It is a precise language. It tells you the function's name ($f$) and its input variable ($x$). It allows for clear evaluation: if $f(x)=3x^2-1$, then $f(2)=3(2{)}^2-1=11$. More importantly, it facilitates working with multiple functions and transformations, which is where the real power begins.

Transformations: Translations, Reflections, and Stretches

A single "parent" function, like $f(x)=x^2$, can be transformed to create an entire family of functions. These transformations are systematic and predictable, governed by parameters $a$, $b$, $h$, and $k$ in the general form $y=a\cdot f(b(x-h))+k$.

• Vertical Translations: Adding a constant $k$ outside the function, $f(x)+k$, shifts the graph vertically by $k$ units (up if $k>0$, down if $k<0$).
• Horizontal Translations: Adding a constant $h$ inside the function's argument, $f(x-h)$, shifts the graph horizontally by $h$ units (right if $h>0$, left if $h<0$). This often confuses students; remember, it's opposite the sign.
• Reflections: Multiplying the entire function by $-1$, giving $-f(x)$, reflects the graph in the x-axis. Multiplying the input by $-1$, giving $f(-x)$, reflects the graph in the y-axis.
• Stretches and Compressions: Multiplying the function by a factor $a$, giving $a\cdot f(x)$, causes a vertical stretch/compression. If $|a|>1$, it's a stretch; if $0<|a|<1$, it's a compression. Multiplying the input by a factor $b$, giving $f(bx)$, causes a horizontal stretch/compression. If $|b|>1$, it's a compression (graph shrinks horizontally); if $0<|b|<1$, it's a stretch. This horizontal effect is also counter-intuitive.

For example, the graph of $g(x)=-2(x+1{)}^2+3$ can be derived from $f(x)=x^2$ by: 1) a horizontal shift left 1 unit ($x+1$), 2) a vertical stretch by factor 2, 3) a reflection in the x-axis (from the $-2$), and 4) a vertical shift up 3 units.

Composite and Inverse Functions

Function composition is the application of one function to the results of another. The composite function $f\circ g$ (read "f of g") is defined as $(f\circ g)(x)=f(g(x))$. You apply $g$ to $x$ first, then apply $f$ to that result. The order is critical: composition is generally not commutative, so $f(g(x))\ne g(f(x))$. The domain of $f\circ g$ is restricted to those $x$-values in the domain of $g$ for which $g(x)$ is in the domain of $f$.

If $f(x)=\sqrt{x}$ and $g(x)=x-4$, then $(f\circ g)(x)=f(g(x))=\sqrt{x-4}$. Its domain is $x\ge 4$. Conversely, $(g\circ f)(x)=g(f(x))=\sqrt{x}-4$, with domain $x\ge 0$.

An inverse function, denoted $f^{-1}(x)$, essentially "reverses" the action of the original function $f$. For $f^{-1}$ to exist, $f$ must be one-to-one (pass the horizontal line test), meaning each output comes from only one input. A key property is that $f(f^{-1}(x))=x$ and $f^{-1}(f(x))=x$, provided $x$ is in the appropriate domains. To find an inverse algebraically, you: 1) replace $f(x)$ with $y$, 2) swap $x$ and $y$, 3) solve for $y$, and 4) replace $y$ with $f^{-1}(x)$. Graphically, $f$ and $f^{-1}$ are reflections of each other in the line $y=x$.

Key Function Families and Their Properties

Understanding the distinct behaviors of major function families is crucial for modeling and analysis.

• Polynomial Functions: Functions of the form $f(x)=a_n{x}^n+a_{n-1}{x}^{n-1}+...+a_{1}x+a_0$. Their domains are all real numbers. Key features include roots (x-intercepts), turning points (local maxima/minima), end behavior (determined by the leading term $a_n{x}^n$), and symmetry (even/odd). The degree of the polynomial dictates the maximum number of roots and turning points.

• Rational Functions: Functions defined as the ratio of two polynomials, $f(x)=\frac{P(x)}{Q(x)}$. Their domains exclude any $x$-value that makes the denominator $Q(x)=0$. These excluded values often lead to vertical asymptotes. The function's behavior as $x\to \pm \infty$ is determined by comparing the degrees of $P(x)$ and $Q(x)$, potentially yielding horizontal or oblique asymptotes.

• Exponential Functions: Functions of the form $f(x)=a\cdot b^x+c$, where $b>0,b\ne 1$. Their key feature is that the rate of change is proportional to the function's current value, modeling phenomena like population growth or radioactive decay. The domain is all real numbers. The range depends on $a$ and $c$, but for $f(x)=b^x$, it is $(0,\infty )$. The $x$-axis is a horizontal asymptote.

• Logarithmic Functions: The inverse of exponential functions, of the form $f(x)=a\cdot {\log }_b(x-h)+k$, typically with base $b=e$ (natural log, $\ln$) or $b=10$. Their domain is restricted to $(0,\infty )$ before transformations—you can only take the logarithm of a positive number. They are essential for solving equations where the variable is in an exponent, using the principle that ${\log }_b(b^x)=x$.

Application to Mathematical Modelling

The ultimate test of your function knowledge is applying it to construct and interpret models. A typical modeling process involves: 1) Identifying variables and their relationships from a context, 2) Choosing an appropriate function family based on the described behavior (e.g., exponential growth, polynomial trend, rational proportionality), 3) Using given data points or conditions to determine specific parameters (e.g., solving for $a$ and $b$ in an exponential model), and 4) Interpreting features of the function (domain, range, intercepts, asymptotes) within the context's limitations.

For instance, modeling the cooling of a cup of coffee might use a transformed exponential decay function, $T(t)=T_{room}+(T_{initial}-T_{room})\cdot e^{-kt}$, where the horizontal asymptote $T_{room}$ represents the ambient temperature. The parameters have clear physical meanings, and the domain is $t\ge 0$.

Common Pitfalls

1. Misapplying Horizontal Transformations: Students often mistakenly think $f(x+2)$ shifts the graph right. Remember the rule: $f(x-h)$ shifts right $h$ units. So $f(x+2)=f(x-(-2))$ shifts left 2 units.
2. Confusing Notation for Composition and Multiplication: $(f\circ g)(x)$ is not the same as $f(x)\cdot g(x)$. Composition means substitution: $f(g(x))$. Always read the symbol carefully.
3. Finding the Inverse Without Respecting Domain: When solving for an inverse algebraically, you may get an expression that is valid for more $x$-values than the original function's range allows. The domain of $f^{-1}$ must equal the range of $f$. For example, if $f(x)=x^2$ for $x\ge 0$, its inverse is $f^{-1}(x)=\sqrt{x}$, with domain $x\ge 0$, not all real numbers.
4. Ignoring Domain Restrictions in Rational and Logarithmic Functions: Always state the domain explicitly. For a rational function, find where the denominator is zero. For a logarithmic function like $\ln (x-5)$, the argument must be positive: $x-5>0$, so $x>5$. Omitting this can lead to incorrect solutions.

Summary

• A function is defined by its domain (all possible inputs) and range (all resulting outputs), with precise notation $f(x)$ enabling clear communication and manipulation.
• Transformations—translations, reflections, and stretches—follow strict algebraic rules that modify a parent function's graph predictably; pay close attention to the counter-intuitive effects of horizontal changes.
• Composite functions $(f\circ g)(x)=f(g(x))$ apply functions in sequence, while inverse functions $f^{-1}(x)$ reverse the original function's process, requiring the function to be one-to-one and resulting in graphs that are reflections across $y=x$.
• Mastering the distinct properties, graphs, and asymptotes of polynomial, rational, exponential, and logarithmic functions allows you to select the correct tool for analyzing relationships and constructing accurate mathematical models from real-world scenarios.