一个函数存在反函数的条件是它是单射还是它是一一映射