Functions: Machines, Maps, and Relationships

A function describes dependence: choose an allowed input, and the function determines exactly one output. Formulas are one way to express that rule, but tables, graphs, algorithms, and verbal descriptions can define functions too.

Three ways to see the same idea

Consider $f(x)=x^2$. As a machine, it accepts a number and squares it. As a map, it connects every real number $x$ to the real number $x^2$. As a graph, it is the set of all ordered pairs $(x,x^2)$.

These views emphasize different strengths. The machine view highlights a procedure. The map view highlights domain and codomain. The graph shows the relationship geometrically.

Domain is part of the rule

The expression $1/x$ does not define a real-valued function at $x=0$. Likewise, $\sqrt{x}$ has no real value for negative $x$. A formula without a domain leaves the function incomplete.

This matters when two formulas look identical but describe different objects. A population model might use $P(t)=P_0e^{rt}$ only for $t\ge0$, even though the formula itself accepts negative values.

Composition builds complicated behavior

If $g$ converts time to temperature and $f$ converts temperature to resistance, then

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

converts time directly to resistance. Composition is how simple dependencies become models, algorithms, and chains of physical causes.

Functions prepare the ground for calculus

Limits ask how a function behaves near an input. Derivatives measure how its output changes locally. Integrals accumulate its values across an interval. Calculus is therefore not a collection of operations on formulas; it is a study of changing relationships.

Test the definition

The relation $x^2+y^2=1$ does not define $y$ as a function of $x$ on $[-1,1]$: most inputs have outputs $\pm\sqrt{1-x^2}$. Restricting to the upper semicircle creates a function.

Check your understanding

Why is squaring not invertible on all real numbers?

Show the reasoning

Distinct inputs such as $2$ and $-2$ share an output. Restricting the domain to $x\ge0$ restores one-to-one behavior.