反函数存在定理-反函数存在定理

嘿，咱们不用那些冷冰冰的“起初、其次、最终”，也别总想着给数学装个严丝合缝的说明书。反函数这个概念，对我这种老手来说，压根儿不是靠死记硬背公式就能搞定的，反而得像个老哥们儿一样，平时多聊天，关键时刻才显出真本事。大量时候，我们只记得反函数是“对号入座”要么“斜率为倒数”，却忘了它背后那股子让函数“回心转意”的神奇劲儿。 先说说啥时候能成。挺好办，就是那个函数得“听话”，也就是单调的。你能不能想象成一个排队的人？要是队伍一直前两个靠后两个，那如何排都乱套，哪位也找不到自己的位置，那函数就没用了。反函数存有的条件，本质上就是函数在爬坡要么下坡的时候，不能回头，也不能平躺。
要是 $f(x)$ 在某段区间里一直在上升，那 $f^{-1}(x)$ 就一直在下降；反之亦然。
这就好比你说的话，你越说越多，别人就听你越听越多（单调递增）；你要是能顺着逻辑倒着说，那就能把别人的话给捋顺，就连算出你刚刚说了啥，这就是反函数的妙用。 举个具体的例子吧，大家都懂那个经典的指数函数 $f(x) = e^x$。
反正它是个严格递增的函数，从负无穷跑到正无穷，没有任何地方重复。
要是你拿这个公式倒过来解，出现 $x = ln(y)$，那简直就是水到渠成的事。
哪怕你给 $y$ 改成 $sin(x)$，只要它是单调的，比如 $y = 2sin(x)$ 在某个区间内，你也彻底能够解出 $x$。
这时候你不用纠结啥“定义域满不充分”，也不用揪心“值域反了”，反正只要它是单调的，那个“对号入座”就稳了。 但现实不只是单调函数如此好办，有时候函数就连不全是单调的。
比如三角函数 $f(x) = sin(x)$，它别看在 0 到 2 之间一直是升的（单调递增），但在 0 到 1 之间，导数一直是正的，那就是严格单调递增，此时反函数存有且唯一。可要是你看看 $f(x) = cos(x)$ 在 0 到 $pi/2$ 这个区间，别看在整个实数轴它是周期性的，但在半个周期里它确实是单调递减的，这时候反函数依然存有。
不过，要是在 $x=0$ 到 $x=pi/2$ 这个区间里，函数实际上是先减后增的，那它就不存有反函数了，出于它不是单调的，没法一对一对应。
这时候你就得分段聊聊，要么干脆拉倒找反函数，转而用其他方式处理。 再往细里说，反函数存有的核心条件实际上就一条：函数务必是单射（injective）。在数学上，这翻译成大白话，就是“一对一”。
这就好比一个兑换券，每张券上的数字都是唯一的，没两个小票写着同一个号，也没人同一天两张票能与此同时通过。
要是一张券能对应两个数字，那反函数就分裂了——你想找 $y=5$ 时，是取那个 5 对应的 $x$，还是取另一个 5 对应的 $x$？答案只有一个，那另一个呢？这就成了多对一。
故此，反函数存有的硬性条件，大约就是“没有两个不同 $x$ 对应同一个 $y$"。 这让我想起之前处理的一个作业题。有一道题是找 $f(x) = frac{1}{x}$ 的反函数。我一启动照葫芦画瓢，直接写 $x=1/y$，然后解出来 $y=1/x$。结局看了看定义域，发现原函数是 $x>0$，那反函数自然也得 $y>0$。但这还不够，出于 $f(x)$ 的定义域实际上是 $(0, +infty)$，值域也是 $(0, +infty)$。
什么的，仿佛都没难题？不对，我是不是漏了啥？哦，原来反函数定义域和值域是互换的。原函数的定义域 $(0, +infty)$ 变成了反函数的值域，原函数的值域 $(0, +infty)$ 变成了反函数的定义域。
这彻底是互换关系。 再举个例子，看 $f(x) = frac{1}{x-1}$。它的定义域是除了 1 以外的所有实数，值域也是除了 1 以外的所有实数。直接求反函数得 $x-1 = 1/y Rightarrow x = 1+1/y = 2/y$，故此反函数是 $g(x) = 2/x$。
这时候你看，$f(x)$ 在 $x=1$ 处断开了，$g(x)$ 在 $x=2$ 处断开了。
这就像是个镜像，你把原函数的定义域拼回去，值域的位置刚好是对应的，正好补全了那个被挖掉的洞。 还有时候，函数可能根本就不是从数值到数值，而是从数到集合。
比如 $f(x) = x^2$。在 $x>0$ 的时候，它是严格单调递增的，确实有反函数 $y=x^2$ 的原函数是 $x=sqrt{y}$（根号只取正）。
可是，要是 $f(x) = x^2$ 在 $x<0$ 的时候呢？这时候它就不是单调的了，同一个 $x^2$ 值对应了两个不同的 $x$，比如 $1$ 对应 $1$ 和 $-1$。
故此在这个区间上就没有反函数。
这就像是一个球体，要是只看它表面的某一段弧，你是能回到起点吗？要是这段弧是单调上升的，自然能；要是是来回摆动的，那就没法用“反位置”这种好办逻辑去描述了。 故此说，反函数这东西，光背定理没用。你得看着图，心里有数。
看着函数如何在区间里“只走一条路”，如何在断开点处“撞墙”。当你娴熟地判断出某个函数在哪个区间知足“单调性”这个铁律时，那个反函数的存有就顺理成章地跳出来了。它不是一种生硬的推导结局，更像是一种函数本身的性格——单调函数才敢把灵魂交给反函数去照镜子，智能函数才配得上反函数的回礼。 最终总结一下，反函数存有的门槛只有一条：单调。
只要函数在某个区间内不回头、不并排，就能找到它的镜像；要是函数在某个地方横七竖
八、就连原地打转，那镜像就找不到了。下次遇到这类题，别再被那些复杂的条件吓到，只要盯着单调性看，剩下的就全靠直觉和代数运算配合一气呵成了。数学的魅力，就在于它从不按套路出牌，但一旦到了对的地方，那些看似复杂的规则，实际上都只是个好办的加减乘除和一个“唯一”二字/拉倒。