Friday, May 12, 2017

Why for real number we have just one square root whereas for complex number we have two?


Intuitively, 4=±2 but since xx is defined from R+R+, we have 4=2 (if we defined xx from R+R, the this function wouldn't be well defined since for example 4 would have 2 image).


Why such argument doesn't work for complex number ? (because for complex number zz is defined CRC For example, i=±(22+i22).


So the complex square root is not well defined ? If yes, why ?


Answer




There is somewhat of a convention on how to choose which complex number is z. Namely, choose z=exp[12Ln(x)], where Ln(x) is the principal branch of the natural logarithm. This is equivalent to always choosing the root with positive real part, analogous to how with R the positive root is always chosen. Negative real numbers are then chosen to be the root with positive imaginary part, to preserve 1=i. This is equivalent to writing z as reiθ, rR+ and θ(π,π], then defining z=reiθ/2. This is not without its downsides, of course. For example, it is no longer true in general that 1/z=1/z. But there were always going to be compromises when pinning down which root to use.


However, this convention is not as widespread as the universal convention that x is the positive square root of the positive real number x. This is because the positive square root has obvious precedence in R, whereas in C the two are usually on more equal footing. The best solution is probably to just acknowledge that z is ambiguous in a way that x isn't, and to be sure to state what convention you're using for z if that's important in the problem.


No comments:

Post a Comment

analysis - Injection, making bijection

I have injection f:AB and I want to get bijection. Can I just resting codomain to f(A)? I know that every function i...