hi, thanks, when you say 'does not hit all the points in the domain' do you mean for example that there are some values belonging to the domain, for which the function does not have a value? So for example where is not actually a well defined function since for negative (in the domain), the function doesn't make sense? Meaning we need to restrict the domain.
So we would have a similar problem if we tried to get the inverse of a non-surjective function?
I was focusing on a function not being well-defined when there is more than one image for any x in the domain, andforgot that a function is also not well-defined when there are some x in the domain that have no value in the range. So is this the problem?
no, the domain is already the nonnegative numbers for the square-root function.
by not hitting the points, i mean there are some values that do not get mapped to. for instance, the function defined by is not surjective, since there are elements in the codomain that are not mapped to, namely, the odd integers. it is not a matter of of the function being undefined there or anything, as it is fine to plug in odd integers into our function, but the outputs miss a lot of elements.So we would have a similar problem if we tried to get the inverse of a non-surjective function?
no, this has nothing to do with well-definedness (my own word ). if a function is not well defined, it simply means that you can have one input value that maps to two or more output values. here we are worried about not having input values in the first place, which is what would happen for the function f if its inverse were not surjective. we would miss some elements in the domain of f and hence, we cannot get a function from the domain of f to the domain of its inverse, which means it could not be the inverse in the first placeI was focusing on a function not being well-defined when there is more than one image for any x in the domain, andforgot that a function is also not well-defined when there are some x in the domain that have no value in the range. So is this the problem?