A small business tracks its revenue with one function and its costs with another, both depending on how many units it sells. Profit is neither of those functions — it is revenue minus cost, a brand new function built from the two. This happens constantly: total surface area is one area plus another, average cost is total cost divided by quantity, power is voltage times current. Rather than inventing a formula from scratch each time, we define arithmetic directly on functions.
The four operations
| Name | Notation | Definition | Domain |
|---|---|---|---|
| Sum | |||
| Difference | |||
| Product | |||
| Quotient | , and |
The domain of a combination
To evaluate you need both and to exist. If either one is undefined at some input, the sum is undefined there too. So the domain of any combination starts as the intersection of the two domains — the overlap, the values allowed by both. For a quotient there is one extra hazard: even where both functions are defined, division by zero is still illegal, so every with must be thrown out as well.
Reading combinations off graphs and tables
You do not need equations. Given two graphs on the same axes, is just the height of one curve at added to the height of the other at . Do that for several inputs and you can sketch the sum curve point by point. Where one graph crosses the -axis, the sum simply equals the other function there; where both are positive the sum sits above both; and where crosses zero, the quotient has a break in it.
| x | -2 | -1 | 0 | 1 | 2 | 3 |
|---|---|---|---|---|---|---|
| f(x) | 5 | 4 | 1 | 0 | 3 | 5 |
| g(x) | 1 | 2 | 2 | -1 | 4 | 0 |
- .
- .
- — a zero numerator is fine; only a zero denominator is fatal.
- is undefined, because .
Even and odd functions
Some functions have a symmetry that survives these operations. A function is even when replacing with changes nothing, that is , which makes its graph symmetric about the -axis. It is odd when replacing with flips the sign of every output, that is , which makes its graph symmetric about the origin — rotate it and it lands on itself. Most functions are neither.
- f(−x) = f(x) for every x in the domain
- Symmetric about the y-axis
- Polynomials with only even powers: x², x⁴, x² + 7
- cos x is even
- f(−x) = −f(x) for every x in the domain
- Symmetric about the origin (180° rotation)
- Polynomials with only odd powers: x, x³, x³ − 4x
- sin x and tan x are odd