Chapter 1
Relationships
1.4 Functions as Objects
1.4.2 Additive Functions
Here's an important algebraic question about functions for which the answer has to be a whole class of functions: What functions are additive?
Definition: A function is called additive if what it does (as a process) to the sum of any two inputs is the sum of the corresponding outputs. In symbols, a function f is additive if for every pair of numbers a and b in its domain. |
Consider the function whose rule is “multiply by 5.” Is this function additive?
Solution In symbols, this function is defined by the formula
We calculate that
so the multiply-by-5 function is indeed additive.
Here is a procedure for deciding whether a function is additive or not:
If you suspect the function is not additive, choose particular numbers `a` and `b` in the domain of the function, and calculate and . If these two numbers turn out to be different, you have shown that the function is not additive. If they turn out to be the same, try two other numbers `a` and `b`.
On the other hand, if you suspect the function is additive, try to show that by an algebraic calculation like the one in Example 1.
Activity 2
For each of the following functions, decide whether the function is additive or not. Write a one-sentence reason for your conclusion.
(i) (ii) (iii) (iv) (v) (vi) Describe the largest class of functions you can think of that you know for sure are all additive. How do you know for sure?
Would you describe additive functions as “relatively common” or “relatively rare”?
The additivity condition, , is an example of a functional equation, that is, an equation involving an unknown function that might or might not be satisfied by any particular function. Your work on Activity 2 was an attempt to separate functions that satisfy this equation from functions that don't.