一个函数有反函数的充要条件是什么