Intuitively, √4=±2 but since x↦√x is defined from R+→R+, we have √4=2 (if we defined x↦√x 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 z↦√z is defined C∖R−→C For example, √i=±(√22+i√22).
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θ, r∈R+ 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