Functions

欢迎来到函数的世界！

欢迎来到 H2 数学课程中最核心的章节之一！函数是这门课几乎所有学习内容的基石，从微积分到统计学都离不开它。你可以把函数想象成一部数学机器：你放入一些东西（输入值），机器会按照特定的规则运作，然后吐出另一些东西（输出值）。

在本章中，我们将学习如何定义这些机器、如何将它们“串联”起来，以及如何将它们“反转”。如果刚开始觉得有些抽象也不要担心，我们会一步步拆解这些概念！

1. 基础概念：函数、定义域与值域

要理解函数，你需要掌握三个关键术语：

1. 函数 (\(f\))： 一种将每个输入值对应到唯一一个输出值的规则。如果一个输入值会导致两个不同的输出值，那它就不是函数，仅仅是关系式而已！

2. 定义域 (\(D_f\))： 所有允许放入函数中的“输入”值（通常是 \(x\)）的集合。

3. 值域 (\(R_f\))： 由机器运行后所产生所有实际“输出”值（通常是 \(y\) 或 \(f(x)\)）的集合。

自动贩卖机的比喻

想象一部自动贩卖机。你按下的每一个按钮（定义域）必须对应出一种特定的饮品（值域）。如果你按了“可乐”按钮，有时候掉出可乐，有时候却掉出雪碧，那这部机器就是坏掉的——它运作得不正确！

如何求值域？

找不到值域怎么办？最简单的方法通常是绘制图像。观察 \(y\) 轴：图像的最低点和最高点分别是多少？那范围就是你的值域！

快速复习：
- 函数必须确保每个输入值都只有一个输出值。
- 定义域 = 输入值 (\(x\) 值)。
- 值域 = 输出值 (\(y\) 值)。

2. 复合函数：机器的串联

当你把一个函数的输出值放入另一个函数中，就会得到复合函数。我们将其写作 \(gf(x)\)，意思是“先进行 \(f\)，再将结果进行 \(g\)”。

存在的条件

并非所有函数都能串联。为了使 \(gf\) 存在，第一个函数 (\(f\)) 的输出值必须能“适配”第二个函数 (\(g\)) 的容许输入范围。

黄金法则： \(gf\) 存在若且唯若 \(R_f \subseteq D_g\)。

例子： 如果函数 \(f\) 的输出值是 \(\{1, 2, 3\}\)，但函数 \(g\) 只接受 \(5\) 到 \(10\) 之间的输入值，那么 \(gf\) 就无法运作，因为 \(f\) 的输出结果无法被 \(g\) 处理。

步骤指南：如何求 \(gf\) 的值域？

1. 先求出 \(f\) 的值域 (\(R_f\))。
2. 将此 \(R_f\) 作为函数 \(g\) 的新输入（定义域）。
3. 得到的结果集就是 \(gf\) 的值域。

重要提示： 运算顺序永远由右至左！在 \(gf(x)\) 中，\(f\) 是“内部”函数，必须先计算。

3. 反函数：机器的反转

反函数（写作 \(f^{-1}\)）是一部能撤销 \(f\) 所作运算的机器。如果 \(f\) 将 \(x\) 变成 \(y\)，那么 \(f^{-1}\) 就将 \(y\) 还原为 \(x\)。

存在的条件：一一对应函数

函数拥有反函数的充分必要条件是它必须是一一对应函数（单射且满射）。这意味着每一个唯一的输入都有唯一的输出，且每一个输出都只对应到唯一一个输入。

水平线测试 (Horizontal Line Test, HLT)

要检查函数是否为一一对应，试着在图像上画一条水平线。如果这条线与图像的交点超过一点，那么该函数就不是一一对应的，因此没有反函数。

比喻： 考虑函数 \(f(x) = x^2\)。如果输出是 \(4\)，我们无法确定输入是 \(2\) 还是 \(-2\)。因为无法确定如何“回去”，除非我们限制定义域，否则反函数不存在。

你知道吗？
反函数的定义域就是原函数的值域：\(D_{f^{-1}} = R_f\)。
反函数的值域就是原函数的定义域：\(R_{f^{-1}} = D_f\)。

4. 定义域限制

如果你的函数不是一一对应的（例如抛物线）怎么办？你可以限制定义域——基本上就是截去图像的一部分——使其变成一一对应，从而让反函数得以存在。

例子： 对于 \(f(x) = x^2\)，如果我们将定义域限制在 \(x \geq 0\)，我们就只保留了“U”字型的右半部分。现在，任何水平线都只会与图形交于一点。成功了！我们现在可以求出反函数：\(f^{-1}(x) = \sqrt{x}\)。

常见错误： 在求反函数时，学生经常忘记标注 \(f^{-1}\) 的定义域。请务必记住：\(D_{f^{-1}} = R_f\)！

5. 反函数的图像

函数与其反函数的图像之间存在一种美丽的对称性。\(y = f^{-1}(x)\) 的图像正是 \(y = f(x)\) 的图像关于直线 \(y = x\) 的镜像反射。

需要记住的关键点：

1. 如果点 \((a, b)\) 在 \(f\) 的图像上，那么点 \((b, a)\) 必定在 \(f^{-1}\) 的图像上。
2. 两者的图像若有交点，必定会交在直线 \(y = x\) 上。
3. 若要以代数方式求出 \(f^{-1}(x)\) 的表达式，请令 \(y = f(x)\)，整理方程式使 \(x\) 成为主项，最后再将 \(x\) 和 \(y\) 变量互换即可。

重点总结：
- 复合函数 \(gf\)： 存在条件为 \(R_f \subseteq D_g\)。
- 反函数 \(f^{-1}\)： 存在条件为 \(f\) 为一一对应（通过水平线测试）。
- 图像： 关于 \(y = x\) 直线对称。
- 限制： 改变定义域以使函数满足一一对应条件。

如果刚开始觉得这些概念很棘手，别担心！函数的学习全在于练习。一旦你开始动手绘制图像，定义域、值域与反函数之间的联系就会变得清晰明了。继续加油！