Function Notation and Relations

Not sure you’re ready?

Take the ~3-minute readiness diagnostic and see where you stand.

Imagine an automated assembly line designed to paint car doors. If you feed a steel door into the machine, it should consistently emerge painted red. If you feed the same door into the machine the next day, it must again emerge painted red. If, however, the machine occasionally paints the door blue or green without any change in the input, the process is unpredictable, defective, and practically useless.

An automated car assembly line illustrates the predictable determinism required of mathematical functions: identical inputs must reliably yield identical outputs.

Mathematics demands the same predictability. We define a relation broadly as a set of ordered pairs mapping an input value to an output value. It is merely a set of linkages—a wiring diagram that shows what is connected to what. But a function is a specific type of relation where each input value maps to exactly one output value. This strict requirement guarantees determinism. When modeling physical phenomena, from planetary orbits to financial compound interest, we require mathematical machinery that behaves reliably. If an input of $x = 5$ seconds yields an output of both $y = 10$ meters and $y = -3$ meters simultaneously, we no longer have a predictable model of a particle's position.

A mathematical function is commonly conceptualized as a machine that processes an input value through a defined rule to consistently generate a single, unique output value.

As an educator preparing for the mathematics classroom, your ability to dismantle, inspect, and explain these conceptual machines—their inputs, their outputs, and their rules of operation—is foundational to teaching secondary mathematics.

To understand a function, we must first define the space in which it operates.

Domain: The set of all valid input values for a relation.
Range: The set of all possible output values for a relation.

If a relation is a factory, the domain represents the raw materials the factory is equipped to process, and the range represents the complete catalog of finished goods the factory can possibly produce. Graphically, the domain of a function can be found by identifying the horizontal spread of the function's graph on the Cartesian coordinate system, while the range of a function can be found by identifying the vertical spread of the function's graph.

There is a beautiful symmetry inherent in these sets when we reverse the mathematical process. If we swap every input with its corresponding output, we create an inverse relation. By definition, the domain of a relation is exactly equal to the range of the inverse of that specific relation, and similarly, the range of a relation is exactly equal to the domain of the inverse of that specific relation.

Students will encounter relations in various formats. Your task is to teach them how to test for predictability—to verify if a relation earns the title of "function"—regardless of the disguise it wears.

Tables and Mapping Diagrams

In a discrete table of values, you are looking for contradictions. A table of values represents a function if no single input value is paired with multiple different output values. If the $x$ -column displays a $3$ that results in a $4$ , and later displays a $3$ that results in an $8$ , the relation fails.

Similarly, in a mapping diagram, a relation is a function if exactly one arrow originates from each element in the domain. It is perfectly acceptable for multiple arrows to converge on a single output (e.g., $x^2$ maps both $-2$ and $2$ to $4$ ), but a single input branching out to multiple outputs breaks the rule of determinism.

In a mapping diagram, a relation fails to be a function if a single input branches out to multiple different outputs, breaking the requirement for strict determinism.

Graphical Analysis

When evaluating a continuous graph, we employ a geometric shortcut. The Vertical Line Test states that a graph represents a function if no vertical line intersects the graph more than once. Because a vertical line represents a single $x$ -value across all possible $y$ -values, multiple intersections mean that one input has yielded multiple outputs.

Important Fact: The vertical line equation $x = c$ , where $c$ is a constant, does not represent a function of $x$ . It is the ultimate violator of the vertical line test, containing an infinite number of $y$ -values for a single $x$ -value.

The vertical line test demonstrates whether a graph represents a function. If any vertical line intersects the curve more than once, the relation produces multiple outputs for a single input.

Algebraic Equations

Determining if an equation behaves as a function requires isolating the output variable. An equation represents $y$ as a function of $x$ if the equation can be solved to yield a unique $y$ -value for every valid $x$ -value.

Consider the circle $x^2 + y^2 = 25$ . If we attempt to solve for $y$ , we arrive at $y = \pm\sqrt{25 - x^2}$ . The $\pm$ symbol is a loud alarm: for an input like $x = 3$ , $y$ could be either $4$ or $-4$ . As a rule, equations containing an even power of $y$ generally do not represent $y$ as a function of $x$ .

The equation of a circle does not represent a function. Any valid input within its horizontal domain maps to two distinct vertical outputs, which is revealed algebraically by a \pm symbol.

To communicate these relationships efficiently, Euler popularized the notation $f(x)$ . Function notation $f(x)$ represents the output value of the function $f$ for the input value $x$ .

This notation explicitly categorizes our variables:

The variable $x$ in the notation $f(x)$ is the independent variable. It is the dial we control.
The value $f(x)$ in function notation represents the dependent variable. It is the resulting measurement, contingent entirely upon the state of the independent dial.

In real-world contexts, we adapt this notation to match the scenario. Function notation like $D(t)$ explicitly defines the dependent variable $D$ (perhaps Distance) and the independent variable $t$ (perhaps time). When your students see $D(5) = 120$ , they immediately understand that at $5$ seconds, the distance is $120$ meters.

Evaluating Functions

Evaluating a function involves substituting a specific input value or algebraic expression for the independent variable in the function rule.

Often, evaluation is straightforward: if $f(x) = 2x + 3$ , then $f(4) = 2(4) + 3 = 11$ . However, your curriculum will introduce piecewise functions, which are simply composite machines with a sorting mechanism at the front. Evaluating a piecewise function requires determining which domain interval contains the given input value before applying the corresponding mathematical rule.

Evaluation reaches its peak algebraic utility in the difference quotient: $\frac{f(x+h) - f(x)}{h}$ The difference quotient is an algebraic expression evaluated using function notation to represent the average rate of change between two points. It is the geometric slope of the secant line and the foundational stepping stone to the derivative in calculus. Mastering function evaluation here ensures students don't stumble when they encounter limits later.

The difference quotient algebraically calculates the average rate of change, which corresponds geometrically to the slope of a secant line intersecting a function's graph at two distinct points.

Why do we restrict domains? Because some mathematical operations break the universe. Finding an algebraic domain is largely an exercise in identifying danger and outlawing it.

Here are the strict algebraic domain rules you must master:

Polynomials: The domain of any polynomial function with real coefficients is the set of all real numbers. There are no division by zero or negative square root traps.
Rational Functions: The domain of a rational function excludes any input values that cause the denominator expression to equal zero. If $f(x) = \frac{1}{x-3}$ , $x$ cannot be $3$ .
Radical Functions (Even Index): The domain of a radical function with an even index (like a square root or fourth root) is restricted to input values that make the radicand non-negative. For $f(x) = \sqrt{x+2}$ , we require $x+2 \ge 0$ , so $x \ge -2$ .
Radical Functions (Odd Index): The domain of a radical function with an odd index (like a cube root) includes the set of all real numbers. You can perfectly evaluate $\sqrt[3]{-8}$ as $-2$ .
Logarithmic Functions: The domain of a logarithmic function is restricted to input values that make the argument expression strictly greater than zero. For $f(x) = \ln(x-1)$ , we require $x-1 > 0$ , so $x > 1$ .

The graph of a square root function clearly illustrates its restricted domain: it only accepts non-negative real numbers as inputs, starting from zero and moving infinitely rightward.

Communicating the Domain

Once we determine the domain, we must communicate it precisely using standard mathematical syntax.

Interval notation describes sets of numbers along a continuum. It uses parentheses $()$ to indicate that an endpoint is excluded from a domain or range set (often utilized for infinity or strict inequalities), and uses square brackets $[]$ to indicate that an endpoint is included in a domain or range set.

Set-builder notation takes a descriptive approach. It specifies the algebraic properties that elements must satisfy to belong to the domain or range. For example, $\{x \in \mathbb{R} \mid x \ge -2\}$ translates to "the set of all $x$ in the real numbers such that $x$ is greater than or equal to $-2$ ."

Finding the range analytically is often more challenging than finding the domain because it requires an understanding of the function's global behavior. The range of a function can be determined by analyzing the global minimum and global maximum values on the function's graph.

The range of a quadratic function forms a parabola, visually demonstrating how its set of outputs is bounded either above or below by a single minimum or maximum vertex.

Several foundational "parent" functions possess strict, inherent range limitations:

Quadratics: The range of a quadratic function $f(x) = ax^2 + bx + c$ is bounded either above or below by the $y$ -coordinate of the parabola's vertex, depending on the sign of $a$ .
Absolute Value: The absolute value operation distances a number from zero. Therefore, the range of the basic absolute value function $f(x) = |x|$ includes only non-negative real numbers ($