Last time, we explored how to extend multiplication from an operation on positive integers to an operation on arbitrary real numbers. The three tools we had at our disposal were:
- Find a nice interpretation for the operation, and see how broadly it applies.
That’s how we moved from multiplying positive integers to multiplying any real number by a positive integer.
- Write down the laws the operation satisfies, and try to use them to deduce extra cases where the operation must give a certain value.
For example, the law of associativity let us deduce the result of multiplying by a rational number, and the law of distributivity gave us the result of multiplying by zero or a negative number.
- Use continuity, monotonicity, or other “nice” properties of functions to decide what the operation should give for even more values.
Knowing how to multiply by rational numbers doesn’t tell you how to multiply by irrational ones, but there’s at most one way to do so that makes the multiplication operation continuous.
Today we’ll explore these ideas for exponentiation instead of multiplication, and the story has a twist that finally explains why doesn’t always equal .
1. Interpretations of exponentiation
The way most of us were introduced to exponentiation was as repeated multiplication, just as multiplication is repeated addition, so the power means , or . This interpretation applies if the base is any real number, as long as the exponent is a positive integer, so already we’ve extended exponentiation to an operation
where is the set of all real numbers and is the set of positive integers.
In the rest of this post, we’ll look for other “exponential operations” , where is a set of possible bases and is a set of possible exponents.
There’s also another, less well-known interpretation of exponentiation, involving counting problems. The number is not just one million, it’s the number of six-digit strings through . In other words, it’s the number of ways to make choices from the -element set . More generally, if is an -element set and is an -element set, then is the number of functions from to , just like a six-digit string is a function from the set to ; the first digit of the string is where the function sends , the second digit is where the function sends , and so on.
The nice thing about this interpretation is that the mathematical definition of a function (a subset of that contains one ordered pair for each element of , each with that element as its first entry) applies even when or is empty—or both! If is empty, there’s always exactly one function from to : the “empty” function with no ordered pairs in it. This means that always equals , including the special case . On the other hand, if is empty but isn’t, there are no functions , because such a function would have to contain some ordered pairs in but there aren’t any to choose from. This means that as long as .
In effect, this gives us an exponential operation
where is the set of nonnegative integers.
These two interpretations have given us two different exponential operations: the first lets us have arbitrary real numbers as bases; the second lets us have as an exponent. If we want, we can combine these into a single exponential operation
just by declaring that should always equal , which makes sense with as the “empty product.” What other cases of exponentiations can we define?
2. Laws of exponents
From the two definitions of exponentiation we already have, we can abstract out the following three pairs of laws:
- and .
- and .
- and .
We will define an exponential operation to be a function obeying the above laws, where is a set of allowed bases and is a set of allowed exponents. Our goal is to find the exponential operations that are defined on as broad a range of input values as possible. But before we get started trying to find such extended exponential operations, here are a few observations we can make already:
- For the third law to make sense, can’t be just any subset of ; we need and whenever . (This makes what’s called a “submonoid of under multiplication.”)
- Similarly, for the first and second pairs of laws to make sense, we also need to have and whenever and are in . In particular, must contain at least the nonnegative integers. (In general, these facts make a “subrig” of .)
- The second law also tells us that every output of the exponential operator must also be an allowed base, in order for combinations like to make sense. This means that we’re not just looking for functions , we’re looking for functions .
Now what values of can we deduce just from the three pairs of exponential laws?
- We know must contain the set of nonnegative integers, and in fact, for those values of we can deduce directly from the laws that must always have the value given by multiplying together times. Indeed, either , in which case we have the law , or we can write with ‘s, in which case
So if , we can make all of . This gives us the exponential operation we had before. Are there any other values of we can deduce from the exponential laws?
We can deduce that must always be a multiplicative inverse for , since . But this means that if all real numbers are allowed bases, we can’t allow to be a possible exponent, or we would be required to produce a multiplicative inverse for .
We can also deduce that must always be a square root of , since by the second law we must have . But again, this means that if we want to allow all real numbers as bases, we cannot allow to be a possible exponent, or else we would be required to produce square roots of negative numbers.
However, every real number has a unique cube root, and a unique fifth root, and a unique seventh root, etc., and we can use those to define , , and , etc., for any real number . In fact, we can define for any real number , and any nonnegative rational number with odd, by setting equal to the th root of . Denoting the set of nonnegative rational numbers with odd denominator by , this gives us an exponential operation with and :
There aren’t any more exponents we can add to while still keeping : having as a possible base rules out negative exponents, and having negative numbers as possible bases rules out rational exponents with even denominators. (I don’t think you can deduce any specific cases of irrational powers directly from the exponential laws, but I’d love to be proven wrong in the comments!)
However, by ruling out those troublesome bases, we can write down some exponential operations with more possible exponents:
- If we rule out as a base, we can define and obtain an exponential operation
where is the set of all rational numbers (positive, negative, or zero) that can be written with odd denominators.
- If we rule out negative numbers as bases, then we can define as a square root of . Note that since we’re ruling out negative numbers as bases, we’re ruling out negative numbers as powers too, so must be the nonnegative square root of . Using the same root-of-power procedure as before, this lets us deduce the value of any nonnegative rational power of : just let be the th root of . Thus we get an exponential operation
- If we do both and restrict just to positive bases, we can use arbitrary rational powers, so we get an exponential operation
So we’ve ended up with several exponential operations, and the larger we want to make our set of bases, the smaller we have to make our set of exponents, and vice versa.
3. Extending by continuity
Our last tool is to try to pin down more outputs of our exponential operations by asking that they be continuous. We’ll investigate each function of the type to see if we can extend it to new exponents.
- For a positive base , we’ve defined for all rational numbers , and indeed this gives a continuous function that we can extend to a continuous function . The result is an exponential operation !
- For the case , we’ve defined for all nonnegative rational numbers . The result is if and if —unfortunately that’s already discontinuous at . But everywhere else, we can extend by continuity to get for all positive real numbers . This gives us an exponential operation .
- If the base is negative, its possible exponents are rational numbers with odd denominator. Can we fill in any values for the missing real exponents between them? No: this function is already discontinuous everywhere. Because is positive if is even and negative if is odd, the function is constantly flipping between comparably sized positive and negative values, and no definition of for irrational can make that continuous.
All in all, we’ve ended up with four exponential operations, giving us four contexts in which is always defined and the the resulting exponential operation satisfies the exponential laws:
- When is a positive real number and is any real number. Then is positive, like .
- When and are both nonnegative real numbers. Then is too. (This includes the special case .)
- When is a nonzero real number and is a rational number with odd denominator. Then is nonzero, like .
- When is an arbitrary real number and is a nonnegative rational number with odd denomeinator.
These definitions of all agree when they overlap, and indeed, the fourth context doesn’t add anything new once you have the first three. So why are we bothering with contexts and sets of allowed bases and exponents at all—why not just declare that is defined for these values of and and be done with it?
Because that resulting function doesn’t obey the exponential laws.
The reason is because instead of . When we write down something like , on the one hand the exponential laws say it should equal , but on the other hand the result we’re forced to compute is .
One way of thinking about this is that is mixing the different contexts: to form , that negative base means we must be in context 3 or 4, so we’re guaranteed never to violate the exponential laws as long as we stick to nonzero bases and rational odd-denominator exponents, or to arbitrary bases and nonnegative rational odd-denominator exponents. In particular, that rules out using another exponent of , which is only allowed in contexts 1 and 2.
Another way of thinking about it is that the exponential operations don’t form a sheaf: you can’t patch them together to make a bigger one, even if they agree where they overlap. Instead, to use the exponential laws carefully you must think about what values of base and exponent you are generally allowing, not just whether what you’re writing down is well-defined.
And this is only the story for real exponentiation—there’s also complex exponentiation, cardinal exponentiation, ordinal exponentiaton… Quite a tricky subject for just being repeated multiplication, eh?