Definition · Function notationIf f is a function and x is an input in its domain, f(x) denotes the output that f assigns to x. The letter naming the function and the letter naming the input are both arbitrary: f(x) = 2x + 1, g(t) = 2t + 1 and h(u) = 2u + 1 are three names for one function.
The brackets are borrowed from the brackets of multiplication, and that is an accident of history, not a hint. Nothing in f(x) is being multiplied. The notation is roughly three hundred years old and predates any convention that would have made it unambiguous, so the ambiguity is permanent and the only defence is reading the whole symbol as one name.
Evaluating at a number
Take f(x) = x² − 4x + 5. Substituting means replacing every x with the input, wrapped in brackets, and only then simplifying.
f(x) = x^2 - 4x + 5
f(3) = (3)^2 - 4(3) + 5 = 9 - 12 + 5 = 2
f(0) = (0)^2 - 4(0) + 5 = 0 - 0 + 5 = 5
f(-2) = (-2)^2 - 4(-2) + 5 = 4 + 8 + 5 = 17
The third line is where brackets earn their place. Without them the first term reads −2², which is −4, and the second reads −4·2, which is −8; the total comes out −7 instead of 17. Both slips are silent, because −7 is a perfectly ordinary number and nothing in the working looks wrong.
Evaluating at an expression
The slot accepts anything, including another expression. The procedure does not change: replace every x by the whole expression in brackets, expand, collect.
f(a + 1) = (a + 1)^2 - 4(a + 1) + 5
= a^2 + 2a + 1 - 4a - 4 + 5
= a^2 - 2a + 2
check at a = 2: f(3) = 2 and 2^2 - 2(2) + 2 = 2
Compare that with f(a) + f(1), which is a² − 4a + 5 plus 2, or a² − 4a + 7. The two differ at every value of a except where a² − 2a + 2 = a² − 4a + 7, that is 2a = 5, so they agree only at a = 5/2. A function does not distribute over addition, and a single accidental agreement is not evidence that it does.
Theorem · Functions do not distributeFor a general function f, f(a + b) and f(a) + f(b) are different numbers. The error survives because it is correct for f(x) = cx, the family met first: c(a + b) = ca + cb really is the distributive law. A constant term is enough to break it. For f(x) = 2x + 1, f(1 + 1) = 5 while f(1) + f(1) = 6.
The two questions
- Evaluate. f(3) is a command: substitute 3. The answer is one number, guaranteed by the definition of a function.
- Solve. g(x) = 5 for g(x) = 3x − 7 is the linear equation 3x − 7 = 5, so 3x = 12 and x = 4. The answer is an input, not the displayed output 5.
- A graph or table may give several inputs or none. Solving means collect every input paired with the requested output. The definition of a function limits outputs per input; it does not limit how many inputs may share one output.
Example · Reading values off a graphA point (3, 2) on the graph of f says f(3) = 2, because the graph is the set of pairs (input, output). Finding f(3) means reading up from 3 on the horizontal axis; solving f(x) = 2 means reading across from 2 on the vertical axis and collecting every x beneath. One vertical sweep, one horizontal sweep, and they can return different numbers of answers.