Is square root a function

elementary-set-theoryfunctions

I just began the topic of functions in my Mathematics textbook and in the first paragraph itself, two conditions about a relation being a function were mentioned.

They were : 

1) For every a∈A, there exists b∈B such that (a,b)∈f
    I think  that is another way of saying that both the input and output must lie in the given sets
2) If (a,b)∈f and (a,c)∈f, then b = c
    And I think that this is another way of saying that an input has a unique output

Let me know if I have misunderstood these statements.

Now, let's think of the square root function…

The square root of 4 is ±2, which means that there are two outputs 2 and -2 for one input 4, so there are two images of the same input, so it defies the second condition that states that a function must have a unique output/image of some input

Let R represent the set of real numbers, then if square root is a function, it means that both the input and output must lie in the set R. In the case of square root of -1, the output will be i (iota) which is not a member of the set R but is a member of C (the set of complex numbers), this defies the first condition that makes a relation a function.

Please let me know if I have misunderstood some concept related to functions and if square root is really a function or not.

Thank You…

Best Answer

Not quite. There are two numbers that square to $4$. Those numbers are $2$ and $-2$. The (usual) square root function takes the input $4$ to the output $2$.

In principle, the square root function must choose which of two outputs to provide for all but one input. (The one input is $0$, for which there is only one possible output, also $0$.) You can make many non-standard square root functions by making different choices for particular inputs.

Now regarding the square root of real numbers... You recite

For every $a \in A$, there exists $b \in B$ such that $(a,b) \in f$.

There is no requirement that $A = B$, so the set of inputs and the set of outputs need not be the same. You already know that the square of any real number is either zero or positive. Consequently, if the output set of a square root function is going to be the real numbers, the input set can only be the set of zero or positive real numbers.

Related Question