# Thread: help on basic properties of complex number

1. ## help on basic properties of complex number

I got confused on the operation and representation of complex numbers. It is

(1) Since 1=exp(2*pi*i), it seems that, for any real number a, we may have

exp(a*i)=exp((2*pi*i)*(a/(2*pi)))=(exp(2*pi*i))^(a/(2*pi))
= 1^(a/(2*pi))
=1

(2) For any complex number z, since 1+ exp(2*pi*i), it seems that

z^(1/4)=(1*z)^(1/4)=((exp(2*pi*i))^(1/4)*z^(1/4)
= (exp((pi/2)*i))*z^(1/4)
= i*z^(1/4)
by the same token, since 1=exp(-2*pi*i), it seems that

z*(1/4)=(-i)*z^(1/4)

All those are confusingly wrong, and I wish to understand why. Many thanks for you kindness to help.

2. $\displaystyle a^{b c} = (a^b)^c$ is not generally true for complex numbers.

3. Originally Posted by rcl333
I got confused on the operation and representation of complex numbers. It is

(1) Since 1=exp(2*pi*i), it seems that, for any real number a, we may have

exp(a*i)=exp((2*pi*i)*(a/(2*pi)))=(exp(2*pi*i))^(a/(2*pi))
= 1^(a/(2*pi))
=1

(2) For any complex number z, since 1+ exp(2*pi*i), it seems that

z^(1/4)=(1*z)^(1/4)=((exp(2*pi*i))^(1/4)*z^(1/4)
= (exp((pi/2)*i))*z^(1/4)
= i*z^(1/4)
by the same token, since 1=exp(-2*pi*i), it seems that

z*(1/4)=(-i)*z^(1/4)

All those are confusingly wrong, and I wish to understand why. Many thanks for you kindness to help.
Hi rcl333,

You confusion is due to the fact that some of the identities we take for granted about exponentiation of real numbers do not hold for complex numbers. In particular, it is not true that $\displaystyle (e^a)^b = e^{ab}$. Try reading the section on powers of complex numbers on this web page,

Exponentiation - Wikipedia, the free encyclopedia

especially the sub-section titled "Failure of Power and Logarithm Identities". Then if you are still confused, let us know.

4. I am extremely grateful for your kind and clear explanation with the Wikipedia reference. Now I understand that this rule does not always work for complex numbers. Please help me understand also when can we use this rule? and when can not?, because in Wikipedia site with the subsection "roots of the unity", it used the expression that (exp(2*pi*i*(1/n)))^k=exp(2*pi*i*k/n) in terms of the rule (e^a)^b=e^(ab).

Many thanks again.

Originally Posted by awkward
Hi rcl333,

You confusion is due to the fact that some of the identities we take for granted about exponentiation of real numbers do not hold for complex numbers. In particular, it is not true that $\displaystyle (e^a)^b = e^{ab}$. Try reading the section on powers of complex numbers on this web page,

Exponentiation - Wikipedia, the free encyclopedia

especially the sub-section titled "Failure of Power and Logarithm Identities". Then if you are still confused, let us know.

5. The reason that

$\displaystyle (e^{2 \pi i (1/n)})^k = e^{2 \pi i k / n}$

is that, in this case, it doesn't matter which branch of the complex logarithm of $\displaystyle e^{2 \pi i (1/n)}$ is chosen. The "obvious" choice is $\displaystyle 2 \pi i (1/n)$, but $\displaystyle 2 \pi i (1/n) + 2 m \pi i$ is also a valid choice for any integer m. (This is because $\displaystyle e^{2 m \pi i} = 1$.)

But for any choice of the branch of the logarithm, we have
$\displaystyle e^{(2 \pi i (1/n) + 2 m \pi i) k} = e^{(2 \pi i k/n + 2 k m \pi i)} = e^{2 \pi i k/n} \cdot e^{2 k m \pi i} = e^{2 \pi i k/n} \cdot 1 = e^{2 \pi i k/n}$
because km is an integer.

The reason this trick does not work in general for $\displaystyle (e^a)^b$ is that $\displaystyle bm$ is not, in general, an integer.

6. Thanks, it is very helpful and clear.

7. ## help on followup question regarding basic properties of real/complex numbers

I appreciate the help earlier on the exponent rules on complex numbers. Please forgive my naiveness to the following followup questions:

Since for complex numbers, there are many branches of solutions for fractional power, how would we define which branch to choice, for example, if we have a function F(z)=a^z where a is a positive number (or even positive integer, this kind of function is basic in complex analysis), it shouldn't take multiple values, and which branch defines this function?

In particular, even in the real number syatem, 1 and -1 all serve as the squared root of 1. What is the meaning of 1^(1/2)? Which value and when should be adopted?

Thanks.

8. Principal value - Wikipedia, the free encyclopedia

The meaning of $\displaystyle \sqrt{x}$ for $\displaystyle x \in \mathbb{R}$ is the positive number y such that $\displaystyle y^2 = x$.

9. Originally Posted by rcl333
I appreciate the help earlier on the exponent rules on complex numbers. Please forgive my naiveness to the following followup questions:

Since for complex numbers, there are many branches of solutions for fractional power, how would we define which branch to choice, for example, if we have a function F(z)=a^z where a is a positive number (or even positive integer, this kind of function is basic in complex analysis), it shouldn't take multiple values, and which branch defines this function?

In particular, even in the real number syatem, 1 and -1 all serve as the squared root of 1. What is the meaning of 1^(1/2)? Which value and when should be adopted?

Thanks.
In the real numbers, the convention is that $\displaystyle \sqrt{x}$ always denotes the positive root. The familiar identities like $\displaystyle \sqrt{xy} = \sqrt{x} \cdot \sqrt{y}$ depend on this convention.

In the complex numbers, no such convention works well in all cases, so if you need a single value of one of the multi-valued "functions", you must pick a branch of the function for that purpose. You may need to pick different branches for different problems. Fundamentally, however, one must simply be always aware of the fact that there are multiple possibilities for values of functions like the exponential and logarithmic functions.