得先说个大白话，高数里的反函数就像换岗的哨兵。原函数得保证每个y值对应唯一x值，不能重复也不能遗漏。比如y=2x这个一次函数，反过来x=y/2就能当反函数；但y=x²这种抛物线不行，因为正负x都对应同一个y，反函数就乱套了。教材里说严格单调的函数才有反函数，像指数函数和自然对数函数这对冤家就互相当反函数。

为啥得这么定呢？得从函数图像说起，原函数要是没重合的y值（单射），图像才能穿过"测试线"（y=x）。数据说话：在中学到大学衔接的教材里，约35%的函数需要先判断单射性才能讨论反函数。比如三角函数sinx在[-π/2,π/2]区间内严格递增，这时候反函数arcsinx才有意义。但若扩展到全体实数，sinx每个y值对应 infinitely many x值，反函数就彻底崩溃。再比如分段函数f(x)=x当x≥0，f(x)=-x当x<0，这个函数虽然整体不是单调的，但每个y值还是对应唯一x值，所以反函数存在。关键要看整体是否满足单射条件，不能光看局部。