欢迎来到函数与图像的世界！
欢迎修读 H3 数学！你可能会好奇，为什么我们要从 H2 的内容开始？在 H3，我们不只是单纯地“做”数学，而是要探索其背后的基础。在深入研究复杂的证明与数论之前，我们必须先确保你的“数学工具箱”够锐利。函数是本课程几乎所有内容的基础架构。你可以将它们视为支配各种数学对象如何互动的规则。如果你在 H2 时觉得这部分有点棘手，别担心——我们将把它拆解得清清楚楚，让它成为你 H3 学习旅程中得心应手的工具！
1. 到底什么是函数？
简单来说，函数是一种特殊的“机器”。你放入一个输入值（input），机器会遵循特定的规则，然后精确地产出一个输出值（output）。
三个关键部分
每个函数 \(f\) 都有三个重要组成部分：
1. 定义域 (Domain, \(D_f\))：所有可能“输入”值的集合。你可以把它想象成机器被允许处理的材料清单。
2. 陪域 (Codomain)：所有“潜在”输出值的集合。
3. 值域 (Range, \(R_f\))：从机器中实际产出的数值集合。值域永远是陪域的子集。
黄金法则：一个关系要成为函数，定义域中的每一个元素都必须对应到陪域中的唯一一个元素。如果一个输入值对应到两个不同的输出值，那它就不是函数，而仅仅是一个关系！
类比：想象一台自动售货机。每一个按钮（输入）都应该只给你一种特定的零食（输出）。如果按下“A1”有时掉出薯片，有时掉出巧克力棒，那这台机器就是坏掉的！那个“坏掉”的机器就像一个不属于函数的数学关系。
快速回顾：垂直线测试 (Vertical Line Test)
要检查一个图形是否代表函数，想象在图形上画一条垂直线。如果这条线在超过一个点上与图形相交，那么它就不是函数！
总结要点：函数是一种规则，其中每个输入值都有且只有一个输出值。没有任何输入值可以是“不确定”或“身兼多职”的。
2. 一对一函数与反函数
虽然所有函数都将一个输入对应到一个输出，但有些函数比其他函数更有“规律”。
一对一（单射，Injective）函数
如果每个输出值都源自于唯一的一个输入值，那么该函数就是一对一的。换句话说，没有两个不同的输入值会得到相同的结果。
例子： \(f(x) = x^3\) 是一对一的。每个数字都有唯一的立方值。
例子： \(f(x) = x^2\)（对于所有实数 \(x\)）不是一对一的，因为 \(2\) 和 \(-2\) 都会得到输出值 \(4\)。
水平线测试 (Horizontal Line Test)：要检查一个函数是否为一对一，请画一条水平线。如果它与图形相交超过一次，则它是“多对一”的（即非一对一）。
反函数 \(f^{-1}\)
反函数基本上是“抵消”原函数所做的事情。如果 \(f\) 将 \(x\) 对应到 \(y\)，那么 \(f^{-1}\) 就会将 \(y\) 带回 \(x\)。
“必备”条件：反函数 \(f^{-1}\) 存在，若且唯若 (if and only if) \(f\) 是一对一函数。如果它不是一对一的，这种“回程”会让人困惑，因为机器将无法判断该回到哪一个原始输入值！
反函数的关键特性：
1. 定义域与值域互换：\(f\) 的定义域是 \(f^{-1}\) 的值域，而 \(f\) 的值域则是 \(f^{-1}\) 的定义域。
2. 对称性：\(y = f^{-1}(x)\) 的图像与 \(y = f(x)\) 的图像关于直线 \(y = x\) 对称。
总结要点：只有一对一的函数才有反函数。要找到反函数的图像，只需将原始图像沿着对角线 \(y = x\) 翻转即可。
3. 复合函数：连锁反应
复合函数 (Composite function) 是指当你将两台机器串联在一起时所发生的情况。你将第一个函数的输出值，当作第二个函数的输入值。
我们将其写作 \(fg(x)\)，意思是“先应用 \(g\)，然后将结果应用于 \(f\)”。
\(fg(x) = f(g(x))\)
“可行吗？”的检查
你不能随意连接两台机器。第一台机器产出的东西，必须是第二台机器“可以”接收的。正式来说：
复合函数 \(fg\) 存在，若且唯若 \(g\) 的值域是 \(f\) 定义域的子集。
\(R_g \subseteq D_f\)
你知道吗？顺序很重要！在数学中，\(fg\) 通常不等于 \(gf\)。先穿袜子再穿鞋子，与先穿鞋子再穿袜子的结果会很不一样！
避免常见错误：
计算 \(fg(x)\) 时，务必从最内层向外计算。从最靠近 \(x\) 的函数开始。
总结要点：为了让 \(fg\) 存在，从 \(g\) 输出的一切都必须能够被 \(f\) 接收。请务必检查 \(R_g \subseteq D_f\)。
4. 绘图技巧与变换
H3 的题目通常要求你想象图形是如何变化的。我们不逐点描绘，而是使用变换 (Transformations)。
“四大”变换
假设我们从 \(y = f(x)\) 开始：
1. 平移 (Translation)：
- \(f(x) + k\)：将图形向上移动 \(k\) 个单位。
- \(f(x - k)\)：将图形向右移动 \(k\) 个单位。（等等，向右？没错！如果你在 \(x\) 减去一个数，你需要一个“更大”的 \(x\) 才能得到相同的结果，所以它会向右平移！）
2. 缩放 (Scaling/Stretching)：
- \(a \cdot f(x)\)：垂直拉伸 \(a\) 倍。
- \(f(ax)\)：水平压缩 \(1/a\) 倍。
3. 反射 (Reflection)：
- \(-f(x)\)：关于 x 轴反射（上下颠倒）。
- \(f(-x)\)：关于 y 轴反射（左右互换）。
4. 模函数 (Modulus)：
- \(|f(x)|\)：将图形中任何位于 x 轴下方的部分翻转向上，使其变为正值。
- \(f(|x|)\)：舍弃图形的左侧（\(x < 0\) 的部分），并用右侧的镜像来取代它。
记忆辅助：“内与外”
- 如果变化在括号外（例如 \(f(x) + k\)），它会影响 y 值（垂直方向）。
- 如果变化在括号内（例如 \(f(x+k)\)），它会影响 x 值（水平方向），而且效果往往与你直觉预期的相反！
总结要点：掌握基本形状（线性、二次、倒数、指数函数），并透过逐步应用变换，快速画出复杂函数的草图。
最后的鼓励
函数与图像听起来像是“旧知识”，但在 H3 中，它们是我们证明更深奥定理所使用的语言。如果你能自信地判断函数何时存在、求出反函数并想象其变换，你就已经掌握了本课程的基础。如果 \(R_g \subseteq D_f\) 的符号看起来有点抽象，别担心——随着你练习越多具体的例子，它就会变得越自然！请保持练习，在遇到困难时，不要害怕画出图形。一张图往往胜过千个方程式！