←Arc Length | Real Analysis Exponential Function |
Exercises→ |

Our aim in this chapter is to formally define the very interesting exponential and logarithmic functions for all real numbers. This will also highlight intriguing interpretations on how the field of mathematics operates, due to the odd nature of how and why mathematicians even defined exponentiation and logarithms to begin with. Simply put, these functions serve to make otherwise insurmountably complex hurdles easier. "What kind of hurdles?" one may ask. The ones where one might want to switch between addition and multiplication. Mathematically, they wanted to create some function ƒ and *g* such that

- and

[To summarize significant portions of this section, the function ƒ is exponentiation and the function *g* is logarithms]

As you can see, in some algebraic problems, such a function would be very desirable for some—and absolutely necessary for others. However, the guiding philosophy of mathematics dictates that there ought be a definable statement that composes these intriguing functions—it can't be arbitrary or else there may be some hidden contradiction somewhere! That drive is what this section will satiate.

## ConstructionEdit

We will begin constructing what the functions ƒ and *g* are through two streams. First, we will identify how we expect these functions to operate. Second, we build a definition of ƒ and *g* that happens to also match the behaviors of the function perfectly. How so? It's the definition, of course.

### BehaviorsEdit

We will first identify something extremely important in terms of how day to day usage of the function ƒ will work. What if:

Well, we can first observe that the function can be alternatively written as

but still must equal to the earlier statement. Well, we can't make —the additive identity, since then that implies that *x* or negative *x* is 0, which makes the entire function ƒ worthless; it would necessarily mean that all inputs for ƒ equals 0. We could instead make —the multiplicative identity. This new definition avoids the pitfall of making the entire function worthless. However, it therefore necessitates that either or be the multiplicative inverse. Since for positive *x* is traditionally left alone (and also since—spoilers—it represents exponentiation of positive integers), we will assign that quality to . Thus,

If you noticed, we have inadvertently assumed that the variable *x* and *y* are at least integers by our addition of negation. Oops. Well, we can take it one step further by imagining them to be rational numbers. If we suppose that the function input can be rational too, we open up another kind of property to fulfill, namely

and if we're multiplying *p* terms together instead of *q* terms,

which adds more to our plate. Luckily, this new definition does not break anything we have assumed before. Luckily.

### DifferentiationEdit

We will first assume that ƒ is differentiable. When we do, we can write out the definition of ƒ being differentiable.

which, given the special relationship between addition and multiplication, can be applied here to give a special answer.

For now, let's do something irrational to our conceptions of mathematics. We suppose that the limit is equal to 1. If we do that—and hold on, we will show you how even this egregious disregard still keeps mathematics consistent (eventually), we have ourselves a new property for the function ƒ. The derivative of is . All in all, this exercise has lead us to create a function immune to differentiation—so long as the addition of inputs for a function is equivalent to the multiplication of the function with inputs separated!

### The LogarithmEdit

We have made a lot of assumptions in that last sub-heading. A lot. We will, for all intents and purposes, spend the rest of the heading on justifying (i.e. ensuring a lack of contradiction to) these claims. This will also act the part of justifying those claims, but in lieu of defending the earlier claim of the function ƒ, it will bring to form a function wiith properties so intriguing and relationship to this exercise so destined, it is given a special name and notation in mathematics: the logarithm.

There's a big issue with the function ƒ, besides the claims we made earlier. Even with those claims we made, there's no obvious point to it. the function ƒ has yet to be defined—and thus suseptible to possible contradictions later on. Heck, with more assumptions laid on it it has even less likely of a chance to survive analysis. However, we still have a trick left to give the function form—the inverse function and its properties. If we forget about the function ƒ and focus on its inverse, we can do some cool things with it. Using the locally named Reciprocal Definition for inverse functions, we can give a definition for the derivative of the inverse function

That is one easy definition. With this, we will make another outrageous claim, albeit less intense. We can say that 1 over x is a primative for an integral. A special integral whose properties will give this inverse function some teeth. We will suppose (with a little more merit than the previous supposition) that

We're going to simply drop the function ƒ^{-1} notation now. This inverse function __is__ the definition of the logarithm. This special logarithm, unlike the ones used in elementary mathematics, has no base. This is the mathematican's favorite version logarithm, and is either notated as simply "log" without any base, or "ln", which has a special significance (a defined base) that will be described later on. To summarize a key point for this section,

**Definition of a Logarithm**

Note that in mathematics, you may see either or (pronounced "lawn") used to refer to this special function. More often in fields where logarithms with bases (which will be covered in the next heading) are used, is preferred as it is clearly different from —which may appear as a mistake. In mathematics, logarithms with bases are often not used, so it would not be an issue in this discipline which one you use.

### The ExponentialEdit

The exponential function is, unlike the logarithmic function, simply a single supposition. Essentially, the exponential function is the inverse of the logarithmic function. The purpose of this will be explored in the second heading of this page. All in all, the construction of the logarithmic and exponential functions is complete.

**Definition of an Exponentiation**

However, it should be emphasized that although the exponential function is similar in name to exponentiation as learned in elementary mathematics ( as an example), they have a small, but significant difference that should not be easily glossed over in this heading.

## AppendixEdit

### Alternate Construction of ExponentiationEdit

The usual approach of constructing exponentiation is by defining the logarithm as an integral and the exponent as its inverse (as done above). We will, in this appendix, follow the reverse approach by constructing—in the loose sense of the word—the exponential function that remains defined for the entire real numbers from that of rationals. (Unfortunately, it involves some tedious computations!)

We can now use what we know about continuity to construct rational powers of positive real numbers.

### Continuity of x^nEdit

We've already defined the integer powers as a series of multiplications, yet we haven't shown that it's continuous. Let's show they're continuous first.

- is continuous.

Given , . So, .

- is continuous.

Given , let . Then .

- is continuous for all and all .

We proceed by induction. We have already seen that is continuous. Assuming is continuous, we use the fact that continuity is preserved under algebraic operations to see that is continuous.

- is continuous for all and all .

Since is continuous and nonzero on the set in question, is continuous since continuity is preserved under division by a nonzero function.

We can now use the continuity of together with the intermediate value theorem to construct positive nth roots. As promised, this is much nicer than the construction of square roots in the first chapter:

### Construction of nth rootsEdit

We begin with construction of rational powers of arbitrary positive reals.

Given , consider the function (it is clear that 0 has a unique nth root, so we do not consider this case). and since , . By the Intermediate Value Theorem, . Thus c has a positive nth root.

To prove uniqueness, let x and y be two nth roots of c. If , then . But then it would follow that , a contradiction. Similarly we cannot have , so it follows that .

### Definition and Properties of Rational PowersEdit

Given we define to be the unique nonnegative nth root of x. We then define all rational powers as follows:

- If is in lowest terms(i.e. p and q have no common factors and ), we define .

Our definition would work just as well if were not in lowest terms, as we'll see in a minute. First we must prove some basic facts:

Note that . Thus is an mn-th root of x. The result follows immediately from uniqueness of positive roots.

Using what we know about integer powers we see that

As promised, our definition does not depend on the fraction representing r:

- If , then .

If , then and for some . Thus .

Now we'll prove the standard algebraic facts about rational powers:

- If and , then and

Proof: Let and . Then

Also, =

- If and , then .

Proof: If , then , and , contradicting the assumption . So . Since a > 0, . Thus

### Continuity of rational powersEdit

Now we'll use the preceding algebraic properties to prove continuity of all rational powers:

- is continuous for all and .

Proof: Given , let . Then

.

The preceding argument works for . If , then let . Then:

So, is continuous for all .

- is continuous for all

Proof: If , where a and b are integers and , then . Thus is the composition of continuous functions, and therefore is continuous itself.

## Real PowersEdit

We will define arbitrary real exponents as the supremum of the exponents of rational members of the "Cut" that corresponds to the given real number. But first, we need to establish that this operation indeed produces a unique real number.

### TheoremEdit

Let and let

Let

Let

Let and

Then,