3.2 Function Transformations, Operations, Composition & Inverses

3.2 Function Transformations, Operations, Composition & Inverses

NBPTS Exam Focus: Component 1 tests candidates on their mastery of transformation sequences, the precise domain restrictions governing composite functions, the formal algebra of one-to-one invertible functions, and the pedagogical insight required to resolve ubiquitous student errors with inverse notation and horizontal shifts.

---

The Family of Parent Functions and the Master Transformation Model

High school mathematics builds upon a standard repertoire of parent functions:

• Identity: $f(x) = x$
• Quadratic: $f(x) = x^2$
• Cubic: $f(x) = x^3$
• Absolute Value: $f(x) = |x|$
• Square Root: $f(x) = \sqrt{x}$
• Reciprocal: $f(x) = \frac{1}{x}$
• Exponential: $f(x) = b^x$
• Logarithmic: $f(x) = \log_b(x)$

All transformations of a parent function $y = f(x)$ can be expressed via the master transformation equation:

$y = a \, f(b(x - h)) + k$

Rigid vs. Non-Rigid Transformations

Transformations fall into two structural geometric categories:

1. Rigid Transformations (Isometries): Preserve the fundamental shape and dimensions of the graph:
   • Vertical Translation ($k$): $y = f(x) + k$ shifts the graph vertically by $k$ units ($k > 0$ shifts upward; $k < 0$ shifts downward).
   • Horizontal Translation ($h$): $y = f(x - h)$ shifts the graph horizontally by $h$ units ($h > 0$ shifts rightward; $h < 0$ shifts leftward).
   • Reflections: $a = -1$ reflects the graph across the $x$-axis ($y = -f(x)$); $b = -1$ reflects the graph across the $y$-axis ($y = f(-x)$).
2. Non-Rigid Transformations (Dilations): Alter the shape, steepness, or proportions of the graph:
   • Vertical Dilation ($a$): Multiplies output $y$-values by $|a|$. If $|a| > 1$, it is a vertical stretch by factor $|a|$; if $0 < |a| < 1$, it is a vertical compression by factor $|a|$.
   • Horizontal Dilation ($b$): Multiplies input $x$-values by $\frac{1}{|b|}$. If $|b| > 1$, it is a horizontal compression by factor $\frac{1}{|b|}$; if $0 < |b| < 1$, it is a horizontal stretch by factor $\frac{1}{|b|}$.

Coordinate Mapping Mechanics & Order of Transformations

A critical mathematical fact tested on the NBPTS exam is the order of operations when multiple transformations are applied. For any point $(x, y)$ on the parent curve $y = f(x)$, its corresponding location $(x', y')$ on the transformed curve $y = a f(b(x - h)) + k$ is given by the coordinate mapping:

$(x, y) \longrightarrow \left( \frac{x}{b} + h, \; a y + k \right)$

The Factored Form Imperative: When an expression is presented in unfactored form $f(bx - c)$, it must be rewritten as $f\left(b\left(x - \frac{c}{b}\right)\right)$. The horizontal shift is $\frac{c}{b}$, not $c$.

Example: Consider $g(x) = \sqrt{2x - 8}$. Factoring yields $g(x) = \sqrt{2(x - 4)}$. The parent function $f(x) = \sqrt{x}$ is horizontally compressed by factor $\frac{1}{2}$ and shifted right by $4$ units (not $8$ units).

---

Function Arithmetic & The Composition Domain Pipeline

Elementary Algebraic Operations

Given functions $f$ and $g$ with domains $\text{Dom}(f)$ and $\text{Dom}(g)$:

• Sum & Difference: $(f \pm g)(x) = f(x) \pm g(x)$, with domain $\text{Dom}(f) \cap \text{Dom}(g)$.
• Product: $(f \cdot g)(x) = f(x) \cdot g(x)$, with domain $\text{Dom}(f) \cap \text{Dom}(g)$.
• Quotient: $\left(\frac{f}{g}\right)(x) = \frac{f(x)}{g(x)}$, with domain ${x \in \text{Dom}(f) \cap \text{Dom}(g) \mid g(x) \ne 0}$.

Function Composition

The composite function $(f \circ g)(x)$ is defined by evaluating the outer function $f$ at the output of the inner function $g$:

$(f \circ g)(x) = f(g(x))$

The Two-Stage Domain Filter

The domain of $(f \circ g)$ is not simply the domain of the simplified algebraic formula. It is defined formally as:

$\text{Dom}(f \circ g) = \{x \in \text{Dom}(g) \mid g(x) \in \text{Dom}(f)\}$

This requires a strict two-stage screening process:

1. Stage 1 (Inner Filter): $x$ must be in the domain of $g$. Any value of $x$ where $g(x)$ is undefined is immediately excluded.
2. Stage 2 (Outer Filter): The evaluated output $g(x)$ must lie within the domain of $f$.

The Simplification Trap (Demonstrating Why Simplifying First Fails)

Consider $g(x) = \frac{2}{x - 3}$ and $f(x) = \sqrt{x - 1}$.

• If a student naively writes $(f \circ g)(x) = \sqrt{\frac{2}{x - 3} - 1} = \sqrt{\frac{5 - x}{x - 3}}$, and fails to analyze the inner function separately, they might overlook that $x = 3$ causes division by zero at the very first step.
• Applying the two-stage filter:
  1. $\text{Dom}(g): x \ne 3$.
  2. $\text{Dom}(f)$: requires input $\ge 1$. Hence, $g(x) \ge 1 \implies \frac{2}{x - 3} \ge 1$.
  3. Solving $\frac{2}{x - 3} - 1 \ge 0 \implies \frac{5 - x}{x - 3} \ge 0$. A sign chart shows this expression is positive for $3 < x \le 5$. At $x = 5$, $\frac{2}{5 - 3} = 1 \ge 1$, which is valid. At $x = 3$, $g(3)$ is undefined.
  4. Combining stages yields $\text{Dom}(f \circ g) = (3, 5]$.

Another classic exam scenario is $g(x) = \sqrt{x}$ and $f(x) = x^2$. The algebraic composition simplifies to $(f \circ g)(x) = (\sqrt{x})^2 = x$. A student looking only at the simplified formula would declare the domain to be $(-\infty, \infty)$. However, because $x$ must first enter $g(x) = \sqrt{x}$, the true domain is $[0, \infty)$.

---

Invertibility, One-to-One Functions & Formal Inverses

One-to-One (Injective) Functions

A function $f$ is one-to-one (injective) if distinct inputs always produce distinct outputs:

$f(x_1) = f(x_2) \implies x_1 = x_2$

• Horizontal Line Test (HLT): In $\mathbb{R}^2$, a function $f$ is one-to-one if and only if no horizontal line $y = c$ intersects its graph more than once. If a horizontal line intersects at multiple points $(x_1, c)$ and $(x_2, c)$, then $f(x_1) = f(x_2) = c$, meaning $f$ is not one-to-one and cannot possess an inverse function.
• Domain Restriction for Non-Invertible Functions: Many standard functions fail the HLT across their natural domains (e.g., $f(x) = x^2$ fails because $f(-2) = f(2) = 4$). To create an invertible function, we restrict the domain to an interval where $f$ is strictly monotonic. Restricting $f(x) = x^2$ to $[0, \infty)$ yields the inverse $f^{-1}(x) = \sqrt{x}$.

Formal Definition of the Inverse Function

If $f: X \to Y$ is a bijection (both one-to-one and onto), its inverse function $f^{-1}: Y \to X$ reverses the mapping:

$f(x) = y \iff f^{-1}(y) = x$

Fundamental Properties of Inverses

1. Domain and Range Swap: $\text{Dom}(f^{-1}) = \text{Ran}(f) \quad \text{and} \quad \text{Ran}(f^{-1}) = \text{Dom}(f)$
2. Geometric Reflection: The graph of $y = f^{-1}(x)$ is the exact reflection of $y = f(x)$ across the identity line $y = x$. If $(a, b)$ lies on the graph of $f$, then $(b, a)$ lies on the graph of $f^{-1}$.
3. Formal Verification Criterion: To algebraically prove that two functions $f$ and $g$ are inverses of each other, one must verify both composition identities: $(f \circ g)(x) = x \quad \forall x \in \text{Dom}(g) \quad \text{and} \quad (g \circ f)(x) = x \quad \forall x \in \text{Dom}(f)$

Algebraic Procedure for Finding $f^{-1}(x)$

To find the formula for $f^{-1}(x)$ from $y = f(x)$:

1. Verify that $f$ is one-to-one on its domain.
2. Swap the roles of the input and output variables: replace every $x$ with $y$ and every $y$ with $x$ (reflecting across $y = x$).
3. Solve the resulting equation algebraically for $y$.
4. Replace $y$ with $f^{-1}(x)$ and explicitly state the domain $\text{Dom}(f^{-1}) = \text{Ran}(f)$.

---

Pedagogical Misconceptions & Secondary Student Traps (NBPTS Focus)

1. Confusing Inverse Function $f^{-1}(x)$ with the Multiplicative Reciprocal $\frac{1}{f(x)}$

• Student Manifestation: When asked to find $f^{-1}(x)$ for $f(x) = 2x - 5$, students write $f^{-1}(x) = \frac{1}{2x - 5}$.
• Root Cause: In numerical algebra, a negative exponent denotes a reciprocal: $x^{-1} = \frac{1}{x}$ and $5^{-1} = \frac{1}{5}$. Students overgeneralize this exponent notation to the superscript $-1$ in $f^{-1}(x)$.
• Instructional Remedy: Highlight the fundamental difference between algebraic identities: the multiplicative identity is $1$ ($a \cdot a^{-1} = 1$), whereas the composition identity is the identity function $I(x) = x$ ($(f \circ f^{-1})(x) = x$). Contrast notation explicitly: $f^{-1}(x) \;\text{(inverse under composition)} \quad \ne \quad [f(x)]^{-1} = \frac{1}{f(x)} \;\text{(inverse under multiplication)}$

2. Reversing the Direction of Horizontal Shifts

• Student Manifestation: Students shift $y = (x - 3)^2$ three units to the left (toward negative numbers) because of the minus sign, and $y = (x + 3)^2$ to the right.
• Root Cause: Association of minus with leftward movement on the number line.
• Instructional Remedy: Use the "compensation/input delay" explanation. For $y = (x - 3)^2$ to achieve an output of $0$, the input $x$ must be $+3$, because $(3 - 3)^2 = 0$. The input must be 3 units greater than before to achieve the identical output value. Have students construct a table of values verifying this point-by-point.

3. Neglecting to Factor $b$ in Horizontal Arguments

• Student Manifestation: In $f(2x - 8)$, students state that the graph is horizontally compressed by $\frac{1}{2}$ and shifted right by $8$ units.
• Instructional Remedy: Use variable substitution. Let $u = 2x - 8$. For the parent function $f(u)$ evaluated at $u = 0$, $2x - 8 = 0 \implies 2x = 8 \implies x = 4$. This demonstrates that the reference origin shifts to $x = 4$, proving the shift is $4$, which requires factoring: $2(x - 4)$.