反函数及反函数的存在定理不理解

通俗的说(1）存在条件就是x与y一一对应,即一个x只能对应一个y,一个y也只能对应一个x
例题中的x可以为±根号y,即一个y可以有2个x来对应,因此没有反函数,而当加上x大于等于0的条件后,x与y能够一一对应,因此有反函数,其实你画个函数图像看看就明白了
另外,(2)中的存在定理只是一个充分但不必要的判定方法,即符合严格单调的一定有反函数,但是有反函数的不一定是严格单调的,有反函数的充分必要条件是（1）的定义