Understanding the distinction between a relation and a function is a foundational concept in algebra and precalculus. While every function is a relation, not every relation qualifies as a function. The defining characteristic of a function is that each input value corresponds to exactly one output value. Day to day, when analyzing a graph, determining whether it represents a function relies on visual inspection of this input-output relationship. If a graph fails this criterion, it represents a general relation, but it cannot be classified as a function.
The Core Definition: One Input, One Output
To understand why a graph fails to be a function, we must first solidify the definition. A function is a specific type of relation where every element in the domain (the set of all possible inputs, usually x-values) is paired with exactly one element in the range (the set of all possible outputs, usually y-values) The details matter here. Turns out it matters..
People argue about this. Here's where I land on it.
Think of a function as a deterministic machine. If you put the same input into the machine twice, you must get the exact same output both times. You feed it an input (an x-value), the machine processes it, and it spits out a single, predictable output (a y-value). If a single input yields two different outputs, the "machine" is broken—it is no longer a function.
Graphically, the input is represented by the horizontal position (x-coordinate) and the output by the vertical position (y-coordinate). So, for a graph to be a function, no single x-coordinate can be associated with more than one y-coordinate.
The Vertical Line Test: The Visual Litmus Test
The most efficient tool for determining if a graph represents a function is the Vertical Line Test. This geometric interpretation of the definition provides an immediate visual answer It's one of those things that adds up..
The Rule: Imagine drawing vertical lines (lines parallel to the y-axis) across the entire coordinate plane. If any vertical line intersects the graph at more than one point, the graph does not represent a function Small thing, real impact..
Why the Vertical Line Test Works
A vertical line represents a constant x-value (e.g., the line x = 3 represents all points where the input is 3). The points where this vertical line crosses the graph represent the outputs associated with that specific input.
- Zero intersections: The input is not in the domain (valid for a function).
- One intersection: The input has exactly one output (valid for a function).
- Two or more intersections: The single input has multiple outputs (invalid for a function).
If you can place a ruler vertically anywhere on the graph and it touches the curve in two places simultaneously, the graph fails the test.
Common Graph Shapes That Are Not Functions
Recognizing the general shapes of non-functions speeds up analysis significantly. Here are the most frequent culprits:
1. Circles and Ellipses
The equation of a circle centered at the origin is $x^2 + y^2 = r^2$. Solving for y yields $y = \pm\sqrt{r^2 - x^2}$. Notice the $\pm$ symbol? For almost every x-value between $-r$ and $r$ (excluding the endpoints), there are two corresponding y-values: one positive (top half) and one negative (bottom half). A vertical line drawn through the center of a circle will always intersect it twice. The same logic applies to ellipses.
2. Sideways Parabolas (Horizontal Parabolas)
Standard "vertical" parabolas like $y = x^2$ are functions. Even so, sideways parabolas defined by equations like $x = y^2$ or $x = ay^2 + by + c$ are not functions. Here, x is expressed in terms of y. For a given x-value (e.g., $x = 4$), solving $4 = y^2$ gives $y = 2$ and $y = -2$. One input, two outputs. A vertical line crossing a sideways parabola will intersect it twice (except at the vertex) Not complicated — just consistent..
3. Hyperbolas (Specific Orientations)
While the graph of $y = \frac{1}{x}$ is a function, hyperbolas opening left and right (defined by equations like $x^2 - y^2 = 1$ or $y^2 - x^2 = 1$) often fail the vertical line test. For the hyperbola $x^2 - y^2 = 1$, solving for y gives $y = \pm\sqrt{x^2 - 1}$. For any $|x| > 1$, there are two y-values.
4. Vertical Lines
The graph of $x = k$ (where k is a constant) is a vertical line itself. This is the ultimate failure of the vertical line test. The single input x = k is associated with infinite outputs (every real number y). This represents a relation where the domain consists of a single number, but the range is all real numbers.
5. Loops and Closed Curves
Any graph that forms a closed loop (like a figure-eight, a lemniscate, or an oval) will inevitably have vertical lines crossing the boundary twice (once entering, once exiting). These represent multi-valued relations.
Algebraic Verification: Solving for y
While the Vertical Line Test is visual, algebraic confirmation is often required for precise analysis. The strategy is to attempt to isolate y in the equation Not complicated — just consistent..
- Start with the equation (e.g., $x^2 + y^2 = 25$).
- Solve for y ($y^2 = 25 - x^2 \rightarrow y = \pm\sqrt{25 - x^2}$).
- Analyze the result.
- If you get a single expression for y (e.g., $y = 2x + 3$ or $y = \sqrt{x}$), it is likely a function (domain restrictions aside).
- If you get a $\pm$ (plus/minus) symbol, or multiple distinct expressions for y (e.g., $y = 2$ or $y = -3$), it is not a function.
Example: $y^2 = x$ Solving for y: $y = \pm\sqrt{x}$. For $x = 4$, $y = 2$ and $y = -2$. Not a function.
Example: $y = x^3 - 4x$ Solving for y: Already isolated. One expression. Is a function.
The Nuance: Restricting the Domain
A critical concept in higher mathematics is that a non-function graph can be split into multiple functions. This is done by restricting the domain (the allowed x-values) so that the "one input, one output" rule holds for the remaining piece And that's really what it comes down to..
Consider the circle $x^2 + y^2 = 25$. As a whole, it fails the vertical line test. That said, if we restrict the graph to only the upper half ($y = \sqrt{25 - x^2}$), it becomes a function. The lower half ($y = -\sqrt{25 - x^2}$) is also a separate function.
This principle is vital for calculus, specifically when finding derivatives of inverse functions or calculating areas between curves. We often treat the top and bottom halves of a circle as two distinct functions, $f_{top}(x)$ and $f_{bottom}(x)$, to perform integration or differentiation.
Implicit Functions and Implicit Differentiation
When a graph is not a function globally (like a circle), we refer to the relationship as an implicit relation. The equation $F(x, y) = 0$ defines y implicitly as a function (or multiple functions) of x.
Even though the whole graph isn't a function, locally (near most points), it behaves like one.
