In the set of complex numbers, do we have
[w=z^1/2] equivalent to [w^2=z].
If so, why (as we do not have the equivalence in the set of real numbers)
I am looking for an answer as advanced or as complete as possible!
I'm not sure I understand your question (and I certainly don't understand TKHunny's response!). Are you saying that in the real numbers and are not equivalent because is true but is not? It is true that, because there are so very few "single valued" functions in the complex numbers, if we tried to keep "single valued" as a condition to be a function (as it is in the real numbers) we would have very few functions to work with! In that sense could be interpreted as " " and we might interpret that as saying is "equivalent" to - the set of numbers for which one equation is true is the same as the set of numbers for which the other equation is true.
Typically in textbooks when they want to solve the equation
they square both sides, find two solutions, z1 and z2, and keep the two solutions as solutions to equation 1.
However equation 1 is not equivalent to .
So why are they still keeping both solutions?
Keeping both solutions is like solving and saying that both are solutions to , which obviously is not true.
I also would like to know how the function has been defined in complex analysis.
Let .Let us find the square root of a complex number .
..........[Square both the sides]
..........On equating real and imaginary parts:
Add equations  and :
Similarly solving for b:
If then where :
Let us check that in the set of complex numbers, do we have equivalent to
Square both sides
If w and z are complex numbers then: .
the problem is that:
and mean two different things, even though they use the same symbol.
with real numbers, we have a "preferred" square root, the positive (actually "non-negative") one.
in the complex numbers, there is no consistent way to define "positive", so we take both. from an algebraic standpoint,
there is no way to decide if i or -i is the "true" , so we choose one arbitrarily
(there's no real way to tell if we have the complex numbers "upside down", a+ib and a-ib behave the same way,
it's purely a matter of orientation, and orientations are arbitrary).
so it's more proper to say i is "a" square root of -1, rather than THE square root of -1. understand?
or to use your earlier example: the complex square roots of 4 are 2 and -2. the real square root of 4 is simply 2.
that's because there isn't "one" square root function. it helps to write z in polar form:
why is this not a single-valued function? because
as well, and applying the above formula to this form of z gives a 2nd square root of z.
for example, one square root of -1 = is:
but note that -1 is also: , which gives the square root:
as you might have guessed, this difficulty is because sine and cosine are periodic, so to find all square roots on the unit circle, we have to "go around the circle twice" (because our half-angle may be almost 2pi, so our original angle might be almost 4pi:
the real case comes from where ).
Deveno, thank you very much for your answer. Actually I know that Demoivre's theorem holds for rational numbers and that log is a multi valued function on C. I was just looking for an "official" definition of , or, more generally, how , q being an integer, is defined. I have looked at a few complex analysis textbooks and they "seem" to miss that part!