欧氏平面中为何函数$f(x)$需为双射才可存在$f^{-1}(x)$？

嘿，这个问题问到点子上了！其实核心就藏在我们对「反函数」的标准定义里——反函数得是从原函数的目标集合（欧氏平面里通常是实数集$\mathbb{R}$或者二维平面$\mathbb{R}^2$）映射回原函数定义域的函数，而函数的定义有两个关键要求：每个输入对应唯一输出，且每个输入都要有合法的输出。咱们拆解着看：

首先得明确几个基础概念，帮你理清逻辑：

• 单射（Injective）：原函数中不同的输入$x$一定对应不同的输出$f(x)$，也就是如果$x_1 \neq x_2$，那$f(x_1) \neq f(x_2)$。这一点能保证：如果反函数存在，每个$y$最多只能对应一个$x$，满足了反函数“一个输入对应唯一输出”的要求，但这还不够。
• 满射（Surjective）：原函数的输出能覆盖整个目标集合，也就是目标集合里的每个$y$，都能在原函数的定义域里找到至少一个$x$使得$f(x)=y$。

那为什么单射不够呢？举个欧氏平面里的例子：$f(x)=e^{x$，这是个典型的单射函数——不同的$x$对应不同的$e}x$，但它的值域是$(0, +\infty)$，并不是整个实数集$\mathbb{R}$。如果我们要定义一个“全局”的反函数$f^{-1}(x)$，默认它的定义域应该是整个$\mathbb{R}$，但对于$x \leq 0$的情况，你根本找不到对应的原输入$y$，这就不符合函数“每个输入都要有对应输出”的要求了。

当然，你可能会说“那我把反函数的定义域限制在$(0, +\infty)$不就行了？”——没错，这时候单射函数在它的值域上确实存在反函数，但这是限制了定义域的反函数，不是我们通常说的、对应原函数整个目标集合的$f^{-1}(x)$。

而双射就是单射+满射的组合，它完美解决了这两个问题：

1. 单射保证每个$y$最多对应一个$x$，反函数不会出现一个输入对应多个输出的情况；
2. 满射保证每个$y$都能找到对应的$x$，反函数的每个输入都有合法的输出。

再举个直观的例子：$f(x)=2x+3$，这是欧氏平面里的双射函数——既满足单射（不同$x$得到不同的$y$），又满足满射（任何实数$y$都能找到$x=(y-3)/2$），所以它的反函数$f^{-1}(x)=(x-3)/2$能定义在整个$\mathbb{R}$上，完全符合函数的定义。

总结一下：单射只解决了“反函数输出唯一”的问题，但没解决“反函数每个输入都有输出”的问题；只有双射同时满足这两个条件，才能让反函数在原函数的整个目标集合上合法存在。

内容的提问来源于stack exchange，提问作者God bless