3.1 Foundations of Functions: Domain, Range & Notation

3.1 Foundations of Functions: Domain, Range & Notation

NBPTS Exam Focus: Component 1 assesses both deep mathematical content knowledge and pedagogical judgment. For functions, candidates must demonstrate fluent algebraic manipulation of domains and ranges across diverse function classes, analyze piecewise and non-smooth functions, and diagnose secondary student errors rooted in notation misinterpretation.

---

Formal Definition of a Function and Relation Foundations

In secondary and collegiate mathematics, the concept of a function is grounded in set theory. A relation $R$ from a set $X$ to a set $Y$ is formally defined as any subset of the Cartesian product $X \times Y$, where $X \times Y = {(x, y) \mid x \in X, y \in Y}$.

A relation $f \subseteq X \times Y$ is defined as a function (denoted $f: X \to Y$) if and only if it satisfies the univalence condition:

$\forall x \in X, \quad \exists! y \in Y \quad \text{such that} \quad (x, y) \in f$

That is, for every element $x$ in the domain $X$, there exists one and only one element $y$ in the codomain $Y$. We designate this unique element as $y = f(x)$.

Mapping Classifications

When representing relations between finite sets using arrow/mapping diagrams, relations fall into four structural categories:

The Vertical Line Test (VLT)

Geometrically, in the Cartesian plane $\mathbb{R}^2$, a curve represents a function $y = f(x)$ if and only if no vertical line intersects the curve at more than one point.

Mathematical Justification: The equation of a vertical line is $x = c$, where $c$ is a constant real number. The intersection of the vertical line $x = c$ with the graph of relation $R$ corresponds to the solution set of ordered pairs $(c, y) \in R$. If a vertical line intersects the graph at two distinct points $(c, y_1)$ and $(c, y_2)$ with $y_1 \ne y_2$, then input $c$ is paired with two distinct outputs, directly violating univalence. For instance, the circle $x^2 + y^2 = r^2$ fails the VLT because the vertical line $x = 0$ intersects the circle at $(0, r)$ and $(0, -r)$.

---

Determining Algebraic Natural Domain and Range

When a function $f$ is defined by an algebraic formula without an explicitly specified domain, we assume its natural domain (or maximal domain)—the largest subset of the real numbers $\mathbb{R}$ for which the formula produces real, well-defined values.

The Three Foundational Domain Constraints

To find the natural domain of an algebraic expression, candidates must enforce three primary structural restrictions:

1. Rational Denominators (Zero Division): Fractions are undefined when the denominator is zero. If $f(x) = \frac{p(x)}{q(x)}$, we require $q(x) \ne 0$.
2. Even-Index Radicals: Even roots of negative numbers are not real numbers. If $f(x) = \sqrt[2k]{g(x)}$ where $k \in \mathbb{Z}^+$, we require $g(x) \ge 0$. (In contrast, odd roots $\sqrt[2k+1]{g(x)}$ are defined for all real $g(x)$).
3. Logarithmic Arguments: Logarithms are defined only for strictly positive real inputs. If $f(x) = \log_b(h(x))$, we require $h(x) > 0$ and $b > 0, b \ne 1$.

Comprehensive Worked Example: Multi-Constraint Domain

Problem: Determine the natural domain of the function:

$f(x) = \frac{\sqrt{x + 3}}{x^2 - 16} - \ln(7 - x)$

Solution Steps:

1. Enforce Radical Constraint: The numerator contains an even radical $\sqrt{x + 3}$. The radicand must be non-negative: $x + 3 \ge 0 \implies x \ge -3$
2. Enforce Rational Denominator Constraint: The denominator $x^2 - 16$ cannot equal zero: $x^2 - 16 \ne 0 \implies (x - 4)(x + 4) \ne 0 \implies x \ne 4 \quad \text{and} \quad x \ne -4$ Since $x \ge -3$ already excludes $x = -4$, the only active exclusion from this condition is $x \ne 4$.
3. Enforce Logarithmic Argument Constraint: The argument of the natural logarithm must be strictly positive: $7 - x > 0 \implies x < 7$
4. Intersect All Constraints: Combining $x \ge -3$, $x < 7$, and $x \ne 4$ yields the domain: $\text{Dom}(f) = [-3, 4) \cup (4, 7)$

Determining the Range of Algebraic Functions

The range of $f: X \to Y$ is the set of all realized outputs: $\text{Ran}(f) = {y \in Y \mid \exists x \in X \text{ such that } f(x) = y}$. Determining range algebraically typically employs one of three techniques:

• Algebraic Inversion: Set $y = f(x)$ and solve for $x$ in terms of $y$. The range of $f$ is the domain of this inverse relation. For example, for $f(x) = \frac{2x + 1}{x - 3}$, cross-multiplying gives $y(x - 3) = 2x + 1 \implies xy - 2x = 3y + 1 \implies x(y - 2) = 3y + 1 \implies x = \frac{3y + 1}{y - 2}$. The expression for $x$ is defined for all $y \ne 2$; hence $\text{Ran}(f) = (-\infty, 2) \cup (2, \infty)$.
• Extremum/Vertex Analysis: For quadratic functions $f(x) = a(x - h)^2 + k$, if $a > 0$, the parabola opens upward, yielding range $[k, \infty)$; if $a < 0$, it opens downward, yielding range $(-\infty, k]$.
• Radical and Asymptotic Inspection: For $g(x) = \sqrt{9 - x^2}$, the radicand has minimum value $0$ (at $x = \pm 3$) and maximum value $9$ (at $x = 0$). Taking square roots yields range $[0, 3]$.

---

Interval Notation and Set-Builder Conventions

Secondary mathematics curricula transition students from inequality statements to interval notation and set-builder notation. Precision in endpoint representation is paramount:

Note on Infinity: Because $\infty$ and $-\infty$ represent unbounded directions rather than real numbers, they are always enclosed with parentheses, never square brackets.

---

Piecewise-Defined Functions, Step Functions & Absolute Values

A piecewise-defined function is specified by different sub-rules across disjoint subsets of its domain:

$f(x) = \begin{cases} g(x), & x < c \\ h(x), & x \ge c \end{cases}$

Evaluating and Graphing Piecewise Functions

To evaluate $f(a)$, identify the unique interval containing $a$ and apply only the corresponding rule. When graphing, the boundary point at $x = c$ requires exact graphical conventions:

• An open circle ($\circ$) indicates an excluded boundary endpoint (strict inequalities $<$ or $>$).
• A solid circle ($\bullet$) indicates an included boundary endpoint (non-strict inequalities $\le$ or $\ge$).

Continuity at Boundary Points

A piecewise function is continuous at a boundary point $x = c$ if and only if the two-sided limit exists and equals the function value:

$\lim_{x \to c^-} f(x) = \lim_{x \to c^+} f(x) = f(c)$

If $\lim_{x \to c^-} g(x) \ne \lim_{x \to c^+} h(x)$, a jump discontinuity occurs.

Absolute Value and Step Functions

• Absolute Value as Piecewise: The absolute value function $|x|$ is algebraically defined as: $|x| = \begin{cases} x, & x \ge 0 \\ -x, & x < 0 \end{cases}$ This piecewise foundation explains why transformations such as $f(x) = |2x - 6|$ produce a sharp "corner" (cusp) at $x = 3$ where the derivative is undefined.
• Greatest Integer (Floor) Function: Denoted $f(x) = \lfloor x \rfloor$, it assigns to any real number $x$ the greatest integer less than or equal to $x$ ($n \le x < n + 1 \implies \lfloor x \rfloor = n$). Its domain is $(-\infty, \infty)$, its range is the set of integers $\mathbb{Z}$, and it exhibits jump discontinuities at every integer $n \in \mathbb{Z}$.
• Ceiling Function: Denoted $f(x) = \lceil x \rceil$, it maps $x$ to the smallest integer greater than or equal to $x$.

---

Pedagogical Misconceptions & Instructional Strategies (NBPTS Focus)

Component 1's selected-response items and constructed-response rubrics assess mathematics rather than classroom diagnosis, but an accomplished teacher's command of functions shows up precisely in knowing where students go wrong and why — knowledge the Components 2-4 portfolio does assess directly:

1. Treating Function Notation $f(x)$ as Multiplication $f \cdot x$

• Student Manifestation: When asked to evaluate $f(x + h)$, students write $f(x) + f(h)$ or $fx + fh$. When solving $f(x) = 0$, students divide both sides by $f$ to obtain $x = 0$.
• Root Cause: In arithmetic and introductory algebra, adjacent variables or a variable adjacent to parentheses indicate multiplication (e.g., $3(x + 2) = 3x + 6$). Juxtaposition is overgeneralized to functional notation.
• Instructional Remedy: Transition students through a "function machine" input/output schema. Use verbal revoicing, replacing "$f$ of $x$" with "$f$ evaluated at the input $x$." Have students use box/placeholder notation: if $f(\Box) = 2(\Box)^2 - 3(\Box)$, then $f(x + h) = 2(x + h)^2 - 3(x + h)$.

2. Conflating Domain with Range or Coordinate Axes

• Student Manifestation: Students read the range along the horizontal $x$-axis, or report domain as a set of $(x, y)$ coordinate pairs rather than a single set of real numbers.
• Instructional Remedy: Utilize dynamic geometry software or physical card windows. A vertical slit moved horizontally sweeps the domain across the $x$-axis. A horizontal slit moved vertically sweeps the range across the $y$-axis, anchoring domain to input projections and range to output projections.

3. Misrepresenting Boundary Points in Piecewise Graphs

• Student Manifestation: When graphing $f(x) = \begin{cases} x + 1, & x < 2 \ 2x - 1, & x \ge 2 \end{cases}$, students fill in solid circles at both $(2, 3)$ and $(2, 3)$, or draw a solid connecting vertical line between jump endpoints.
• Instructional Remedy: Connect piecewise boundaries directly back to the Vertical Line Test. Emphasize that having two filled endpoints at $x = 2$ means the relation assigns two outputs to the single input $x = 2$, which destroys functionhood.