Functional Relationships

⚡ Key Takeaways

A functional relationship is a rule that assigns to each input exactly one output. Key result in words: if you know the input, the function pins down a single, unambiguous output — no input maps to two different values. Where it applies: all of mathematics, physics, economics, computing — wherever one quantity depends predictably on another. Who/when: the modern concept crystallized through Euler (1748), Dirichlet (1837), and the set-theoretic definition of the 20th century.

💡 The Core Insight

A function is not an equation and not a formula. It is a correspondence obeying one law: one input, one output. Everything else — graphs, equations, tables, the vertical line test, domain restrictions — is downstream of that single requirement. Master "each input gives exactly one output" and the entire topic unfolds from it.

DefinitionFunction

A function $f$ from a set $A$ (the domain) to a set $B$ (the codomain) is a rule assigning to each element $x \in A$ exactly one element $f(x) \in B$ . We write:

1

\quad f : A \to B, \qquad x \mapsto f(x)

Derivation hint: This is a definition, not a derived result; the notation $x \mapsto f(x)$ ("x maps to f of x") names the rule that produces the output.

$A$ = domain: the set of all permitted inputs.
$B$ = codomain: a set guaranteed to contain every output.
$x$ = a generic input (the independent variable).
$f(x)$ = the unique output corresponding to $x$ (the dependent variable).
The range (or image) is the set of values actually attained: $\{f(x) : x \in A\} \subseteq B$ .

DefinitionFunction as a Set of Ordered Pairs

Formally, a function is a set $f$ of ordered pairs $(x, y)$ such that:

2

\quad (x, y_1) \in f \ \text{and}\ (x, y_2) \in f \implies y_1 = y_2

Derivation hint: This encodes single-valuedness directly — two pairs sharing the same first coordinate must share the second; it is the formal heart of "one input, one output."

TheoremThe Vertical Line Test

A curve in the Cartesian plane is the graph of a function $y = f(x)$ if and only if every vertical line $x = c$ intersects the curve at most once.

Proof

We show the test is equivalent to the single-valued condition [2]. 1. Setup. A vertical line $x = c$ consists of all points $(c, y)$ for $y \in \mathbb{R}$ . 2. Intersections. The points where this line meets the graph are exactly the pairs $(c, y)$ lying on the curve. 3. If a function: by [2], for input $c$ there is at most one output $y$ . Hence the line $x=c$ meets the curve at most once. 4. If at most one intersection: then for each $c$ there is at most one $y$ with $(c,y)$ on the curve — precisely condition [2] — so the curve defines a function. 5. Conclusion. The two statements are logically equivalent. $\blacksquare$

∎

ProofWhy single-valuedness is essential

Suppose we relaxed the rule and allowed an input $x_0$ to produce two outputs $y_1 \ne y_2$ . 1. Consider evaluating $f(x_0)$ . We would obtain $y_1$ and $y_2$ . 2. Then any computation using $f(x_0)$ — say $2 \cdot f(x_0)$ — would yield $2y_1$ and $2y_2$ , contradictory values. 3. The notation $f(x_0)$ would denote no definite number, so substitution into other expressions becomes meaningless. 4. Therefore single-valuedness is not a stylistic preference but a logical necessity for the symbol $f(x)$ to refer to one thing. 5. Hence condition [2] is forced by the requirement that functions be usable in reasoning. $\blacksquare$

∎

mathematician · Peter Gustav Lejeune Dirichlet | 1805–1859

Dirichlet gave the modern, formula-free definition of a function: a correspondence in which "to each $x$ there corresponds a single finite $y$ ," regardless of whether a single analytic expression exists. To dramatize that a function need not be "nice," he proposed the function equal to one constant on the rationals and another on the irrationals — the Dirichlet function — which has no formula, no graph you can draw, yet is a perfectly legitimate function. His viewpoint liberated mathematics from the assumption that a function must be a tidy algebraic rule.

🧠 Intuition

Think of a function as a machine or a vending machine. You put in a coin and a code (the input); exactly one snack drops out (the output). A reliable vending machine never gives two different snacks for the same code — that is single-valuedness. It may give the same snack for two different codes (different inputs, same output — perfectly allowed). What it must never do is be unpredictable: same input, different outputs. Three other lenses:

Table: a lookup column where each input row has one value.
Map/arrow diagram: arrows leave every domain point; each point shoots out exactly one arrow (but two points may aim at the same target).
Dependence: " $y$ depends on $x$ " means fixing $x$ fixes $y$ .

Figure

A function as arrows: each input has exactly one outgoing arrow

ExampleEvaluating and finding the domain

Given: $f(x) = \dfrac{\sqrt{x-1}}{x-4}$ .

Find (a) $f(5)$ and (b) the domain.

(a) Evaluate at $x = 5$ :

f(5) = \frac{\sqrt{5-1}}{5-4} = \frac{\sqrt{4}}{1} = \frac{2}{1} = 2

(b) Domain. Two restrictions:

Square root requires $x - 1 \ge 0 \implies x \ge 1$ .
Denominator requires $x - 4 \ne 0 \implies x \ne 4$ .

Combine: $x \ge 1$ and $x \ne 4$ .

\boxed{f(5) = 2; \qquad \text{Domain} = [1, 4) \cup (4, \infty)}

ExampleDistance as a function of time

Given: A car travels so that its distance from a town is $d(t) = 60t + 5t^2$ kilometres, where $t$ is hours, $0 \le t \le 3$ .

Find (a) the distance at $t = 2$ h, and (b) confirm $d$ is a function of $t$ .

(a) Substitute $t = 2$ :

d(2) = 60(2) + 5(2)^2 = 120 + 5(4) = 120 + 20 = 140 \ \text{km}

(b) For each time $t$ , the expression $60t + 5t^2$ yields exactly one number — substitution into a polynomial is single-valued — so $d$ is a genuine function of $t$ .

\boxed{d(2) = 140 \ \text{km}; \quad d \text{ is a valid function of } t}

⚠️ Common mistake

"A function must have a formula." False. A function can be defined by a table, a graph, a piecewise rule, or a verbal description. The defining property is single-valuedness (condition [2]), not the existence of an algebraic expression.

" $f(x)$ means $f$ times $x$ ." No. $f(x)$ denotes the output of $f$ at input $x$ . The parentheses signal function application, not multiplication.

"Different inputs must give different outputs." Not required. A function may send many inputs to the same output (e.g., $f(x)=x^2$ sends both $-3$ and $3$ to $9$ ). Forbidding this would be the injective property — an extra condition, not part of being a function.

Counterexample

Consider the relation defined by $x^2 + y^2 = 25$ (a circle of radius 5). Is $y$ a function of $x$ ? At $x = 3$ : $9 + y^2 = 25 \implies y^2 = 16 \implies y = 4 \ \text{or}\ y = -4$ . One input gives two outputs, violating [2]. The vertical line $x = 3$ cuts the circle twice. Therefore a circle is not the graph of a function. (It can, however, be split into two functions: $y = \sqrt{25-x^2}$ and $y = -\sqrt{25-x^2}$ .)

connection

Functional relationships sit at the centre of a web of ideas:

Linear Functions are the simplest case — constant rate of change, straight-line graphs.
Inverse Functions arise by reversing a function's arrows, possible only when the function is one-to-one.
Function Composition chains two functions: feed one machine's output into another.
Coordinate Geometry turns functions into graphs and graphs into functions via the Vertical Line Test.
Limits and Continuity and Derivatives study how function outputs behave as inputs vary, the foundation of calculus.

🔬 Where this appears

⏳ History

- c. 1350 — Nicole Oresme graphs "qualities" against extension, an early ancestor of plotting a dependent quantity against an independent one.

- 1637 — René Descartes introduces coordinate geometry, allowing curves to be described by equations relating

x

and

y

.

- 1673 — Gottfried Leibniz first uses the word functio ("function") for quantities depending on a curve.

- 1748 — Leonhard Euler defines a function as an analytic expression and introduces the notation

f(x)

, founding the formula-based view.

- 1822 — Joseph Fourier represents arbitrary functions as trigonometric series, forcing a broader concept of function.

- 1837 — Dirichlet states the modern definition: any single-valued correspondence, formula or not; proposes the pathological Dirichlet function.

- 1872 — Karl Weierstrass exhibits a function continuous everywhere yet differentiable nowhere, shattering naive intuition about functions.

- 1904–1920s — Set theory (Cantor, Zermelo, Bourbaki) recasts a function as a set of ordered pairs (condition [2]), the definition used today.

open-problem

The clean definition hides genuine depth.

Functions of several variables and vector-valued functions generalize the idea: inputs and outputs can be tuples, vectors, even other functions (as in functional analysis).
Pathological functions — nowhere-continuous, nowhere-differentiable, or measurable-but-not-Riemann-integrable — show that "function" is far larger than the smooth curves of school algebra.
Definability and computability: there exist functions $f:\mathbb{N}\to\mathbb{N}$ that no algorithm can compute (a consequence of Turing's work). Most real-number functions cannot even be described in any finite language, since the descriptions are countable but the functions are not.
The axiom of choice is sometimes needed to guarantee the existence of certain functions (e.g., choice functions selecting one element from each set of an infinite family), linking the humble idea of a function to deep questions in the foundations of mathematics.

Formal Statement

Why It Holds / Derivation

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also