反映射

AI写的，用来了解了解还是很不错的。

一、反映射的定义

设：

\[f:A\to B \]

若 \(f\) 是双射，则存在反映射：

\[f^{-1}:B\to A \]

满足：

\[f^{-1}(f(x))=x \]

以及：

\[f(f^{-1}(y))=y \]

反映射的作用，就是把原映射的输入和输出反过来。

---

二、反映射存在的条件

原映射必须是双射，即同时满足单射和满射。

1. 为什么必须是单射

若：

\[f(x_1)=f(x_2)=y \]

且：

\[x_1\ne x_2 \]

那么反过来后，\(y\) 会同时对应 \(x_1\) 和 \(x_2\)。

这不满足映射中“一个输入只能对应唯一输出”的要求。

2. 为什么必须是满射

如果陪域 \(B\) 中某个元素没有原像，那么反映射在这个元素处就没有定义。

因此，只有双射才存在从整个陪域到定义域的反映射。

---

三、反函数的求法

设原函数为：

\[y=f(x) \]

求反函数一般有以下步骤：

1. 写出 \(y=f(x)\)；

2. 从等式中解出 \(x\)；

3. 交换 \(x\) 和 \(y\)；

4. 确定反函数的定义域和值域。

反函数的定义域和值域满足：

\[D_{f^{-1}}=R_f \]

\[R_{f^{-1}}=D_f \]

也就是说：

原函数的值域是反函数的定义域，原函数的定义域是反函数的值域。

---

四、例题

例 1：一次函数

设：

\[f(x)=2x+3 \]

令：

\[y=2x+3 \]

解出 \(x\)：

\[2x=y-3 \]

\[x=\frac{y-3}{2} \]

交换 \(x,y\)：

\[\boxed{f^{-1}(x)=\frac{x-3}{2}} \]

验证：

\[f^{-1}(f(x)) \frac{2x+3-3}{2} =x \]

---

例 2：分式函数

设：

\[f(x)=\frac{x+1}{x-2} \]

令：

\[y=\frac{x+1}{x-2} \]

整理：

\[y(x-2)=x+1 \]

\[yx-2y=x+1 \]

\[yx-x=2y+1 \]

\[x(y-1)=2y+1 \]

\[x=\frac{2y+1}{y-1} \]

交换 \(x,y\)：

\[\boxed{f^{-1}(x)=\frac{2x+1}{x-1}} \]

反函数的定义域为：

\[x\ne1 \]

---

例 3：二次函数

函数：

\[f(x)=x^2 \]

在整个实数范围内不是单射，因为：

\[f(2)=f(-2)=4 \]

所以：

\[f:\mathbb R\to\mathbb R \]

不存在反函数。

若限制定义域为：

\[f:[0,+\infty)\to[0,+\infty) \]

则：

\[y=x^2 \]

由于 \(x\ge0\)，所以：

\[x=\sqrt y \]

因此：

\[\boxed{f^{-1}(x)=\sqrt x} \]

若原函数定义域限制为：

\[(-\infty,0] \]

则：

\[\boxed{f^{-1}(x)=-\sqrt x} \]

---

例 4：指数函数

设：

\[f(x)=2^x \]

令：

\[y=2^x \]

则：

\[x=\log_2y \]

交换 \(x,y\)：

\[\boxed{f^{-1}(x)=\log_2x} \]

原函数：

\[f:\mathbb R\to(0,+\infty) \]

反函数：

\[f^{-1}:(0,+\infty)\to\mathbb R \]

---

五、有限集合中的反映射

设：

\[A={1,2,3} \]

\[B={a,b,c} \]

原映射为：

\[f(1)=b \]

\[f(2)=c \]

\[f(3)=a \]

则反映射为：

\[f^{-1}(a)=3 \]

\[f^{-1}(b)=1 \]

\[f^{-1}(c)=2 \]

也就是把原映射中的箭头全部反过来。

---

六、反函数的验证方法

求出 \(f^{-1}(x)\) 后，可以通过复合函数验证：

\[f^{-1}(f(x))=x \]

以及：

\[f(f^{-1}(x))=x \]

验证时还要注意定义域和值域是否正确。

---

七、反函数与倒数的区别

反函数：

\[f^{-1}(x) \]

不是函数值的倒数：

\[\frac1{f(x)} \]

例如：

\[f(x)=2x \]

其反函数为：

\[f^{-1}(x)=\frac x2 \]

而函数值的倒数为：

\[\frac1{f(x)}=\frac1{2x} \]

二者完全不同。

---

八、总结

反映射存在的条件：

\[\boxed{\text{原映射必须是双射}} \]

求反函数的基本过程：

\[\boxed{ y=f(x) \longrightarrow \text{解出 }x \longrightarrow \text{交换 }x,y } \]

并且：

\[\boxed{ D_{f^{-1}}=R_f,\qquad R_{f^{-1}}=D_f } \]