The Logarithmic Property
Whoops.. Between preparing my exam, practicing my rumba, and adapting to the new WordPress interface, I forgot to actually post today’s installment :-/
Yesterday we defined the natural logarithm as the function
on the interval . This function is differentiable everywhere in this interval, and its derivative is at each point .
We call this function a logarithm because it satisfies the “logarithmic property”. Simply put, it’s a homomorphism of groups from the group of positive real numbers under multiplication to the group of all real numbers under addition.
That is, since the real numbers are an ordered field they are a fortiori a group if we just throw away the multiplication and order structures. Also, if we get rid of that pesky noninvertible element, they’re a group under multiplication, and the positive elements are a subgroup. The logarithm takes elements of this group and sends them to the additive group, and the homomorphism property reads: . In particular, we must have .
So is our “natural logarithm” a logarithm? First off, we can easily check that
As for the other property, let’s write
Now let’s take the second term on the right here and perform a change of variables, setting . Then we have , and as runs over the new variable runs over . That is, we have
and the logarithmic property holds.