Natural Logarithms and Exponentials
The natural logarithm ln(x) is defined
for x > 0. The exponential function exp(x) is defined for all
real x as the inverse of the natural logarithm - the function that gives the
value of a given the value of b = ln(a). For further explanation, see chapter
19 in the online book Why Slopes and More Math.
- Fundamental properties of logarithms and exponential
functional,
(i) ln(ab) = ln(a) + ln(b) when a and b positive, and
(ii) exp(x+y) = exp(x) exp(y) for x and y real,
(iii) exp (ln(x)) = x for x > 0 and ln(exp(x)) = x for all real x.
- Properties (i) and (ii) cand be used to define
and derive the properties of other logarithms and exponentials.
Uniqueness (or 1 to 1) Property: If a > 0, b>
0 and ln(a) = ln(b) then a = b.
Proof: (i) the horizontal line y = ln(a) also described
by y = ln (b) intersects the curve y =ln(x) at only one
point. So the function y = ln(x) is one to one. ....
Inversion Properties
For each real number a, x = exp(a) is the unique
solution of a = ln(x). Solving the latter equation is
one way to define or compute exp(a).
Fundamental property of logarithms ln(ab) =
ln(b) +ln(a) (proof available in calculus)
Fundamental property of exponentials: exp(x1)
· exp(x2) = exp(x1+x2)
This follows from the uniqueness property of logarithms and the fundamental
properties of logarithms.
The fundamental property of logarithms implies
Logarithms to base c > 0.
The logarithm of x > 0 to a base c > 0 is given
by
Here ln(e) = 1 implies loge(x) = ln(x).
The logarithm of x > 0 to a base 10 is given by
| log(x) = log10(x)
= |
ln(x)
ln(a) |
|
The button log(x) on a calculator computes log10(x).
The definition of logc(x) in
terms of ln(x) implies
-
logc(ab) = logc(b)
+ logc(a) for a> 0, b > 0 and c
>0
-
logc( 1/a) = (-1) logc(a)
as 0 = logc(1) = logc( (1/a) a )
-
logc(a m) = m logc
(a)
|
|