怎样条件下有反函数?