The french tourist, on 6 February 2012 - 05:25 PM, said:
Well, it seems to me that

would be more rigorous than

.
It is not a matter of rigor. It is simply a matter of notation.
The french tourist said:
Because if it was the case, we could also write

and everyone knows the function

is a bijection (for every x, there is one y).
1. The function

for

is well-defined only by the convention that

selects the non-negative square root.
2. The requirement that for every x there is one y simply makes the function a function . To be a bijective function one also requires that no two values of x map to the same y-value. This is true of the square root function only because of the convention above and the fact that the domain of the function and range are taken to be the non-negative real numbers.
3. In the more general case of negative real numbers and complex numbers the situation requirs a bit more subtle touch. The square root function and the use of exponents in general is dependent on use of the logarithm. In complex analysis, the logarithm is not a simple well-defined function, but requires that one "choose a branch of the logarithm", reflecting the fact that the complex argument is defined only modulo

. Different chooices of that branch result in different values for the square root function. In older times the logarithm was viewed as a "multi-valued function", which of course violates the modern definition of the term "function" itself. So one must deal with a branch of a function that is actually defined on an appropriate Riemann surface rather than on the complex numbers itself.
The french tourist said:
Vastor, you will see that when

, the solutions are the complex numbers

.
Yes and that expression manages to accomodate all of the ambiguity that is incurred in the expression

since both the negative and positive square roots are included in the complete expression.