Exponentiation

Negative integer exponents

a⁻¹ = 1/a

a⁻ⁿ = (aⁿ)⁻¹ = 1/aⁿ

A negative integer exponent can also be seen as repeated division by the base. Thus 3⁻⁵ = 1 ÷ 3 ÷ 3 ÷ 3 ÷ 3 ÷ 3 = 1/243 = 1/3⁵.

Identities and properties

The most important identity satisfied by integer exponentiation is:

[ a^ = a^m \cdot a^n ]

[ a^ = \begin\frac\end ]

[ (a^m)^n = a^ \!\, ]

Powers of ten

Powers of 10 are easy to compute in the base ten (decimal) number system: for example 10⁶ = 1 million, which is 1 followed by 6 zeros. Exponentiation with base 10 is often used in the physical sciences to describe large or small numbers in scientific notation; for example, 299792458 (the speed of light in a vacuum, in meters per second) can be written as 2.99792458 × 10⁸ and then approximated as 2.998 × 10⁸ if this is useful. SI prefixes are also used to describe small or large quantities, and these are also based on powers of 10; for example, the prefix kilo means 10³ = 1000, so a kilometre is 1000 metres.

Powers of two

The positive powers of 2 are important in computer science because there are 2ⁿ possible values for a n bit variable. See Binary numeral system.

SI decimal prefixes were confusingly reinterpreted to refer to binary: 1 kilobyte = 2¹⁰ = 1024 bytes. In 1998 the International Electrotechnical Commission approved a set of binary prefixes. The prefix for multiples of 1024 is kibi-, so 1024 bytes is 1 kibibyte. Other prefixes are mebi-, gibi-, and tebi-.

The negative powers of 2 are commonly used, and the first two have special names: half and quarter.

Powers of zero

If the exponent is negative, the power of zero (0⁻ⁿ, where n > 0) is undefined, because division by zero is implied .

If the exponent is zero, the power is commonly considered undefined.[link] At times, however, it is useful to define 0⁰ = 1. (Note that y^x is discontinuous for x=y=0, and so [\lim_y^x] is not necessarily equal to 0⁰. See also Empty product.)

Powers of minus one

If the exponent is odd, the power of minus one is minus one: (−1)²ⁿ⁺¹ = −1.

If the exponent is even, the power of minus one is one: (−1)²ⁿ⁺² = 1.

Powers of The powers of i are useful for expressing sequencies of period 4.

i⁴ⁿ⁺¹ = i

i⁴ⁿ⁺² = −1

i⁴ⁿ⁺³ = −i

i⁴ⁿ⁺⁴ = 1

Powers of The number e is the limit of a sequence of integer powers

[\ e=\lim_ \left(1+\frac \right) ^n =\lim_ \left(1+\frac \right) ^n ].

Approximately:

[\ e\approx 2.71828].

A non-zero integer power of e is

[e^x = \left( \lim_ \left(1+\frac \right) ^m\right) ^x = \lim_ \left(\left(1+\frac \right) ^m\right) ^x = \lim_ \left(1+\frac \right) ^ = \lim_ \left(1+\frac \right) ^ = \lim_ \left(1+\frac \right) ^n ] .

The right hand side generalizes the meaning of e^x so that x does not have to be a non-zero integer but can be zero, a fraction, a real number, a complex number, or a square matrix.

(See Characterizations of the exponential function for equivalent alternate definitions.)

Real powers of positive real numbers

• Defining fractional exponents in terms of n^th roots. This method is perhaps the way most widely taught in schools.
• Defining the natural logarithm as the area under the curve 1/x.

Fractional exponent

From top to bottom: x^1/8, x^1/4, x^1/2, x¹, x², x⁴, x⁸.

For a given exponent, the inverse of exponentiation is extracting a root.

If [\ a] is a positive real number, and n is a positive integer, then the positive real solution to the equation

[\ x^n = a]

[ x=a^}]

Exponentiation with a rational exponent [m/n] can now be defined as

[a^} = \left(a^}\right)^m]

Since any real number can be approximated by rational numbers, exponentiation to an arbitrary real exponent can be defined by continuity. For example, if

[k \approx 1.732 ]

[5^k \approx 5^ ]

Logarithm method

If a and b are positive real numbers, then the real solution x to the equation

b^x = a

x = log_b(a)

Define the natural logarithm, ln, of a positive real number, a, as the area under the curve 1/x between from x = 1 to x = a. (The area is negative if a < 1). In terms of integral calculus:

[\ln(a) = \log_e(a) = \int_1^a \frac ]

a = e^ln(a)

b^x = e^{x ln(b)}

Complex powers of complex numbers

Summary

z⁰ = 1

zⁿ⁺¹ = z·zⁿ

z⁻ⁿ = 1/zⁿ (for z ≠ 0).

[e^z=\lim_\left(1+\frac\right)^n]

a^z = e^bz

a = e^b

Trigonometry

[\ e^=\cos(x) + i \sin(x) ]

[\ e^=\cos(x) - i \sin(x) ]

[\ \cos(x) = (e^ + e^) / ]

[\ \sin(x) = (e^ - e^) / ]

Primitive and principal logarithms of unity

e^2πi = e⁰ = 1.

Root of unity

Multivalued logarithm

e^x+2πi·n = e^x·e^2πi·n = e^x·(e^2πi)ⁿ = e^x·1ⁿ = e^x·1 = e^x

Singlevalued logarithm

Multivalued power

Singlevalued power

Polar form

[a+ib = r e^ = r \left[ cosvarphi + i sinvarphi right]]

[(a+ib)^x = \left( r e^ \right)^x = r^x e^.]

As for real numbers, above, any non-integer exponent [x] implies that the answer is not uniquely determined. In particular, we could change [\varphi] to [\varphi + 2\pi n] (see Pi) for any integer [n] without changing the formula for [a+ib], since [e^=1] by Euler's formula. Different values of [n] may change the exponential, however, since [e^\neq 1] in general. For a rational real x, the number of possible values is given by the lowest common denominator of x (see Root of unity), while for other real or complex x there are infinitely many possible values.

By convention, this multi-valuedness is resolved by defining [(a+ib)^x] as the principal value, as for real exponentials above, unless otherwise noted. This means that the angle [\varphi] is conventionally chosen to lie in the interval [(-\pi,\pi]].

In the above, we didn't explain how to handle one important case: how do we compute the exponential when [x=c+id] is complex? In particular, we now have to take the complex exponential [r^x = r^c r^ \!] of a positive real number [r]. [r^c \!] is purely real and is the same as above, so we only need to understand [r^ \!].

Here, we can once again exploit Euler's formula, since it tells us how to take imaginary powers of one real number e: [e^ = \cos d + i\sin d]. Therefore, we just need to rewrite [r^] in terms of a power of e:

[r^ = \left[ (r)^d right]^i = \left [ left( e^ right)^d right]^i = e^ = \cos(d \ln r) + i\sin(d \ln r).]

So, we can finally write:

[(a+ib)^ = \left( r e^ \right)^ = \left[ r^c e^ right] e^ ]

Examples

[i^i = (e^)^i = e^ \approx 0.20788\ldots]

[i^i = (e^)^i = e^]

In the same way, one can define exponentiation of negative real numbers, since any negative real number [-r] can be written:

[-r = r e^ \!]

Solving polynomial equations

It was once conjectured that the roots of any polynomial could be expressed in terms of exponentiation with fractional exponents. (See Quadratic equation).

That this is not true in general is the assertion of the Abel-Ruffini theorem.

For example, the solutions of the equation x⁵ = x+1 cannot be expressed in terms of fractional exponents.

For solving any equation of the n^th degree, see the Durand-Kerner method.

Advanced topics

Efficient computing

a¹⁵ = a·a¹⁴ = a·(a⁷)² = a·(a·a⁶)² = a·(a·(a³)²)² = a·(a·(a·a²)²)²

a¹⁵ = a³·((a³)²)²

Exponents on function names

When the name or symbol of a function is given an integer superscript, as if being raised to a power, this commonly refers to repeated function composition rather than repeated multiplication. Thus f³(x) may mean f(f(f(x))); in particular, f ^-1(x) usually denotes f's inverse function.

A special syntax applies to the trigonometric functions: a positive exponent applied to the function's abbreviation means that the result is raised to that power, while an exponent of -1 indicates the inverse function. That is, sin²x is just a shorthand way to write (sin x)² without using parentheses, whereas sin^-1x refers to the inverse function of the sine, also called arcsin x. There is no need for a shorthand of this kind for reciprocal trigonometric functions since they each have their own name and abbreviation already: (sin x)^-1 is normally just written as csc x.

Exponentiation in abstract algebra

Exponentiation can also be understood purely in terms of abstract algebra, if we limit the exponents to integers.

Specifically, suppose that X is a set with a power-associative binary operation, which we will write multiplicatively. In this very general situation, we can define xⁿ for any element x of X and any nonzero natural number n, by simply multiplying x by itself n times; by definition, power associativity means that it doesn't matter in which order we perform the multiplications.

Now additionally suppose that the operation has an identity element 1. Then we can define x⁰ to be equal to 1 for any x. Now xⁿ is defined for any natural number n, including 0.

Finally, suppose that the operation has inverses, and that the multiplication is associative (so that the magma is a group). Then we can define x⁻ⁿ to be the inverse of xⁿ when n is a natural number. Now xⁿ is defined for any integer n.

Exponentiation in this purely algebraic sense satisfies the following laws (whenever both sides are defined):

• [\ x^=x^mx^n ]
• [\ x^=x^m/x^n ]
• [\ x^=1/x^n ]
• [\ x^0=1 ]
• [\ x^1=x ]
• [\ x^=1/x ]
• [\ (x^m)^n=x^ ]

If in addition the multiplication operation is commutative (so that the magma is an abelian group), then we have some additional laws:

• (xy)ⁿ = xⁿyⁿ
• (x/y)ⁿ = xⁿ/yⁿ

If we take this whole theory of exponentiation in an algebraic context but write the binary operation additively, then "exponentiation is repeated multiplication" can be reinterpreted as "multiplication is repeated addition". Thus, each of the laws of exponentiation above has an analogue among laws of multiplication.

When one has several operations around, any of which might be repeated using exponentiation, it is common to indicate which operation is being repeated by placing its symbol in the superscript. Thus, x^*n is x * ··· * x, while x^#n is x # ··· # x, whatever the operations * and # might be.

Exponential notation is also used, especially in group theory, to indicate conjugation. That is, g^h = h^-1gh, where g and h are elements of some group. Although conjugation obeys some of the same laws as exponentiation, it is not an example of repeated multiplication in any sense. A quandle is an algebraic structure in which these laws of conjugation play a central role.

Exponentiation over sets

The above algebraic treatment of exponentiation builds a finitary operation out of a binary operation. In more general contexts, one may be able to define an infinitary operation directly on an indexed set.

For example, in the arithmetic of cardinal numbers, it makes sense to consider the product

[\prod_ k_]

This can be done even for operations on sets or sets with extra structure. For example, in linear algebra, it makes sense to index direct sums of vector spaces over arbitrary index sets. That is, we can speak of

[\bigoplus_ V_,]

If the base of the exponentiation operation is a set, then by default we assume the operation to be the Cartesian product. In that case, S^N becomes simply the set of all functions from N to S. This fits in with the exponentiation of cardinal numbers once gain, in the sense that |S^N| = |S|^|N|, where |X| is the cardinality of X. When N=2=, we have |2^X| = 2^|X|, where 2^X, usually denoted by PX, is the power set of X. (This is where the term "power set" comes from.)

Note that exponentiation of cardinal numbers doesn't match up with exponentiation of ordinal numbers, which is defined by a limit process. In the ordinal numbers, a^b is the smallest ordinal number greater than a^c for c < b when b is a limit ordinal, and of course a^b+1 := a^ba.

In category theory, we learn to raise any object in a wide variety of categories to the power of a set, or even to raise an object to the power of an object, using the exponential.

Exponentiation in programming languages

• x ↑ y: Algol programming language
• x ^ y: BASIC, Matlab, J programming language, Microsoft Excel and many others
• x ** y: Fortran, Perl, Python programming language, Ruby programming language, ADA programming language
• x * y: APL programming language
• Power(x, y): Excel, Pascal programming language
• pow(x, y): C programming language, C++, PHP
• Math.pow(x, y): Java programming language, JavaScript, Modula-3
• Math.Pow(x, y): C#

Table of powers

Table of kⁿ, with k on the left and n at the top.

		n
	1	2	3	4	5	6	7	8	9	10
k^	1	1	1	1	1	1	1	1	1	1	1	1
	2	2	4	8	16	32	64	128	256	512	1,024	2
	3	3	9	27	81	243	729	2,187	6,561	19,683	59,049	3
	4	4	16	64	256	1,024	4,096	16,384	65,536	262,144	1,048,576	4
	5	5	25	125	625	3,125	15,625	78,125	390,625	1,953,125	9,765,625	5
	6	6	36	216	1,296	7,776	46,656	279,936	1,679,616	10,077,696	60,466,176	6
	7	7	49	343	2,401	16,807	117,649	823,543	5,764,801	40,353,607	282,475,249	7
	8	8	64	512	4,096	32,768	262,144	2,097,152	16,777,216	134,217,728	1,073,741,824	8
	9	9	81	729	6,561	59,049	531,441	4,782,969	43,046,721	387,420,489	3,486,784,401	9
	10	10	100	1,000	10,000	100,000	1,000,000	10,000,000	100,000,000	1,000,000,000	10,000,000,000	10
	1	2	3	4	5	6	7	8	9	10
		n

Generalization

See also

• List of exponential topics
• Exponential growth
• Exponential decay
• Exponentiating by squaring
• Logarithm
• Modular exponentiation
• Addition chain exponentiation using an addition chain

External links

• [sci.math FAQ: What is 0⁰?]
• [Introducing 0th power] on PlanetMath
• [Laws of Exponents] with derivation and examples
• [1058 Powers of Two]

From Wikipedia, the Free Encyclopedia. Original article here. Support Wikipedia by contributing or donating.
All text is available under the terms of the GNU Free Documentation License See Wikipedia Copyrights for details.