Exponentiation - Real and Complex Exponents

Rational and Real Exponents Introduction Exponents are fundamental to mathematics, but their definition changes depending on what kind of number we're using as an exponent. We begin with rational exponents—fractions—which extend to real exponents through a limiting process, and eventually to complex exponents. Understanding how these definitions work, particularly their relationship to the exponential function and logarithms, is essential for higher mathematics. Rational Exponents When we use a fraction as an exponent, we're really asking about roots. For a non-negative real number $x$ and positive integer $n$, we define $x^{1/n}$ as the unique non-negative real number $y$ that satisfies $y^n = x$. In other words, $x^{1/n}$ is the $n$-th root of $x$, written as $\sqrt[n]{x}$. For a general rational exponent $r = \frac{p}{q}$ where $p$ and $q$ are positive integers, we define: $$x^{r} = x^{p/q} = \left(x^p\right)^{1/q} = \sqrt[q]{x^p}$$ Example: $8^{2/3} = (8^2)^{1/3} = 64^{1/3} = 4$, or equivalently, $8^{2/3} = (8^{1/3})^2 = 2^2 = 4$. This definition lets us work with fractional exponents while preserving the familiar rules of exponents that work with integers. Real Exponents Once we can handle rational exponents, the next step is to define what $b^x$ means when $x$ is any real number, not just a rational one. There are two complementary ways to think about this. Approach 1: Limits and Continuity The first approach uses the concept of a limit. For a positive base $b$ and any real exponent $x$, we define $b^x$ as: $$b^x = \lim{r \to x, \, r \in \mathbb{Q}} b^r$$ In words: take rational numbers $r$ that get closer and closer to $x$, compute $b^r$ for each, and the exponential $b^x$ is the limit of those values. This ensures continuity—small changes in the exponent cause only small changes in the result. Approach 2: Using the Natural Logarithm The second approach uses the natural logarithm $\ln$, which is more practical for computation. For any positive base $b$ and real exponent $x$: $$b^x = e^{x \ln b}$$ where $e \approx 2.71828$ is Euler's number. This definition immediately explains why the laws of exponents still work for real exponents: we're reducing everything to the exponential function $e^x$, which has nice algebraic properties. Both approaches give the same answer, but the logarithmic approach is what we use in practice. The Exponential Function and Euler's Number The exponential function $e^x$ is one of the most important functions in mathematics. It is defined as: $$e^x = \lim{n \to \infty} \left(1 + \frac{x}{n}\right)^n$$ Euler's number, $e$, is what you get when you plug in $x = 1$: $$e = \lim{n \to \infty} \left(1 + \frac{1}{n}\right)^n \approx 2.71828$$ The graph shows how the exponential function grows—slowly at first when $x$ is negative (where the function is decreasing), then increasingly steeply as $x$ becomes positive. The Fundamental Property The most important property of the exponential function is: $$e^{x+y} = e^x \cdot e^y$$ This is the multiplication rule for exponents in its purest form. It says that when you add exponents, you multiply the results. This property is what makes the exponential function so special, and it's the reason why $e$ is the "natural" base for exponents. Why These Definitions Preserve the Laws of Exponents You may be wondering: when we switch from rational to real exponents, do the familiar rules still work? The answer is yes, and here's why. Since we defined $b^x = e^{x \ln b}$, the multiplication rule becomes: $$b^{x+y} = e^{(x+y) \ln b} = e^{x \ln b + y \ln b} = e^{x \ln b} \cdot e^{y \ln b} = b^x \cdot b^y$$ The key step uses the fundamental property of $e^x$ that we just discussed. So the laws of exponents—like $b^{x+y} = b^x b^y$—are not just arbitrary rules; they follow naturally from the definition of the exponential function. Complex Exponents When we move to complex numbers, exponents become more subtle because complex logarithms are multivalued. Positive Real Base with Complex Exponent For a positive real base $b$ and a complex exponent $z = a + bi$, we use: $$b^z = e^{z \ln b}$$ where $\ln b$ is the ordinary real logarithm of the positive number $b$. This works smoothly because $\ln b$ is a single, well-defined real number. Example: $2^{1+i} = e^{(1+i) \ln 2} = e^{\ln 2} \cdot e^{i \ln 2}$. Complex Base and Complex Exponent When both the base $w$ and exponent $z$ are complex, we use: $$w^z = e^{z \operatorname{Log} w}$$ where $\operatorname{Log} w$ denotes a branch of the complex logarithm—a choice of which logarithm to use, since complex logarithms have infinitely many values. <extrainfo> This is where things get delicate. Unlike real logarithms, the complex logarithm is multivalued: there's no single value of $\operatorname{Log} w$ but rather infinitely many related values. To make exponentiation well-defined, we must choose a branch—a consistent rule for picking one logarithm value. </extrainfo> Important: Real Identities Can Fail in the Complex Domain Here's a critical point for complex exponents: some identities that hold for positive real numbers do NOT hold for complex numbers on a single branch. For instance, the identity $\log(b^x) = x \log b$ is true when $b > 0$ and $x$ is real, but it fails when $b$ or $x$ is complex because logarithms are multivalued. Similarly, the identity $(b^c)^d = b^{cd}$ holds for all complex numbers only when $d$ is an integer and we use the principal branch. Otherwise, you may get multiple different values depending on which branch of the logarithm you choose. Why does this matter? When working with complex exponents, you cannot blindly apply algebraic manipulations that you learned for real numbers. You must be careful about which branch of the logarithm you're on. Roots of Complex Numbers Complex numbers can have roots just like real numbers, but there are more of them. When we ask "what are all the $n$-th roots of a complex number?", we get $n$ distinct answers (as long as the complex number is nonzero). Computing $n$-th Roots in Polar Form To find all $n$-th roots of a non-zero complex number, write it in polar form: $$w = r e^{i\theta}$$ where $r > 0$ is the magnitude (distance from the origin) and $\theta$ is the argument (angle). The $n$ distinct $n$-th roots of $w$ are: $$w^{1/n} = r^{1/n} e^{i(\theta + 2\pi k)/n} \quad \text{for } k = 0, 1, 2, \ldots, n-1$$ Each value of $k$ gives a different root. They are evenly spaced around a circle in the complex plane. Example: The cube roots of $8$ are: $k=0$: $2 e^{i \cdot 0} = 2$ $k=1$: $2 e^{i \cdot 2\pi/3}$ $k=2$: $2 e^{i \cdot 4\pi/3}$ Notice that when you multiply these together, you get the three cube roots of $8 = 8e^{i \cdot 0}$. Roots of Unity A special and important class of complex numbers are the roots of unity. These are complex numbers $z$ that satisfy: $$z^n = 1$$ The $n$ distinct $n$-th roots of unity are: $$e^{2\pi i k/n} \quad \text{for } k = 0, 1, 2, \ldots, n-1$$ These all lie on the unit circle (the circle of radius 1 centered at the origin) and are evenly spaced at angles $\frac{2\pi k}{n}$. Primitive Roots of Unity A primitive $n$-th root of unity is a root of unity $e^{2\pi i k/n}$ where $k$ is coprime to $n$—meaning $\gcd(k, n) = 1$. In other words, $k$ and $n$ share no common factors. <extrainfo> The primitive $n$-th roots of unity have a special property: if $\omega$ is a primitive $n$-th root of unity, then the set $\{1, \omega, \omega^2, \ldots, \omega^{n-1}\}$ generates all $n$ roots of unity. This makes primitive roots useful in many areas of algebra and number theory. </extrainfo> Example: The 4th roots of unity are $1, i, -1, -i$. The primitive 4th roots are $i$ and $-i$ (since $\gcd(1, 4) = 1$ and $\gcd(3, 4) = 1$, but $k=0$ and $k=2$ do not give primitive roots). Note that $1$ is not considered primitive here because $\gcd(0, 4) = 4 \neq 1$.