🌟 欢迎来到函数：分析学的基石！🌟

各位未来的 IB 数学家，你们好！“函数”这一章可以说是数学分析与方法（AA）课程中最核心的部分。为什么呢？因为函数是微积分、数学建模和高等代数赖以生存的地基。掌握了这一主题，你就拥有了理解数学关系运作方式的分析框架——这也是 AA 课程最关注的重点。

如果刚开始遇到像寻找复杂定义域或反函数这类挑战时感到吃力，不必担心。我们会将每一个概念拆解成清晰、易懂的步骤。现在，让我们开始探索事物之间是如何建立联系的吧！

1. 函数的定义：记号、定义域与值域

1.1 到底什么是函数？

简单来说，函数就是一个规则，它为每一个输入值分配且仅分配一个输出值。这就好比自动贩卖机：你按下某一个特定的按钮（输入），就会得到对应的零食（输出）。你绝不会按下“A1”键，有时得到巧克力，有时却掉出一包薯片。

  • 输入 (Input): 自变量，通常用 \(x\) 表示，是你放入函数的数值。
  • 输出 (Output): 因变量，通常用 \(y\) 或 \(f(x)\) 表示，是函数运行后的结果。

我们使用记号 \(f(x)\)，意为“将函数 \(f\) 作用于输入 \(x\)”。

核心术语：定义域与值域

函数背后的数学规则要求我们对“允许的输入”和“可能的输出”必须有精确的定义。

1. 定义域 (Domain，输入值集)：

  • 定义域是函数能够定义的所有可能的输入值（\(x\) 值）的完整集合。
  • 类比： 如果函数是一份食谱，那么定义域就是你可以使用的配料清单。

2. 值域 (Range，输出值集)：

  • 值域是函数产生的所有可能的输出值（\(y\) 值或 \(f(x)\) 值）的完整集合。
  • 类比： 值域就是根据你的食谱最终可能做出的所有菜肴。

🚨 常见错误警示：识别限制条件（HL 强调严谨性）🚨

当题目要求你求函数的定义域时，其实是在寻找会导致数学错误的输入值。主要有两个“禁区”：

  1. 分母为零： 任何分式的分母不能等于零。

    例子： 对于 \(f(x) = \frac{1}{x-3}\)，我们必须满足 \(x-3 \neq 0\)，因此 \(x \neq 3\)。定义域为 \(\{x \in \mathbb{R} \mid x \neq 3\}\)。

  2. 偶次根号下的负数： 平方根、四次方根等表达式内部的值必须大于或等于零。

    例子： 对于 \(g(x) = \sqrt{2x+8}\)，我们必须满足 \(2x+8 \ge 0\)，即 \(x \ge -4\)。定义域为 \(\{x \in \mathbb{R} \mid x \ge -4\}\)。

快速复习：函数的定义

函数将每个输入映射到一个唯一的输出。永远记得检查那些使分母为零或偶次根号下为负的值。

2. 函数可视化：图像与检验法

2.1 垂直线检验法 (Vertical Line Test, VLT)

我们通过关系式的图像，直观地判断它是否为函数。

  • 如果你在图像上任意位置画一条垂直线，该线与图像有超过一个交点，那么这个关系式就不是函数。（这意味着一个输入 \(x\) 对应了多个输出 \(y\)。）

例子： 圆的方程无法通过 VLT，所以它不是函数的图像。开口向上的抛物线可以通过 VLT。

2.2 函数分类（一对一 vs 多对一）

根据输入到输出的映射方式，函数可以进行分类。

1. 多对一 (Many-to-One)：
多个不同的输入可以导致同一个输出。
例子： \(f(x) = x^2\)。因为 \(f(2) = 4\) 且 \(f(-2) = 4\)。这是函数所允许的。

2. 一对一 (One-to-One/Injective)：
每一个输入都对应一个唯一的输出。没有两个不同的输入共享同一个输出值。
例子： \(f(x) = 2x + 1\)。若 \(x_1 \neq x_2\)，则 \(f(x_1) \neq f(x_2)\)。

水平线检验法 (Horizontal Line Test, HLT)

HLT 可以帮助我们判断函数是否为一对一。

  • 如果你在图像上任意位置画一条水平线，它与图像有超过一个交点，该函数就不是一对一的（它是多对一的）。
  • 如果一个函数既通过了 VLT 又通过了 HLT，它被称为双射 (Bijective) 函数。

为什么“一对一”很重要？ 一个函数必须是一对一的，才能拥有反函数（我们很快会讲到！）。

2.3 对称性：奇函数与偶函数（HL 重点）

对称性使我们能够预测函数在坐标轴上的行为。

1. 偶函数 (Even Functions，关于 Y 轴对称)：

  • 定义：\(f(-x) = f(x)\)
  • 如果你将 \(x\) 替换为 \(-x\)，函数保持不变。
  • 例子： \(f(x) = x^2 + 5\)。

2. 奇函数 (Odd Functions，关于原点对称)：

  • 定义：\(f(-x) = -f(x)\)
  • 如果你将 \(x\) 替换为 \(-x\)，整个函数变为原函数的相反数。
  • 例子： \(f(x) = x^3 - x\)。

你知道吗？大多数函数既不是奇函数也不是偶函数！

3. 函数变换：平移、伸缩与反射

变换让我们能够利用一个已知、简单的图像（母函数 Parent Function）进行平移、拉伸或翻转，而无需重新描点。

设 \(y = f(x)\) 为原函数。我们来看 \(y = a f(b(x-h)) + k\) 的变换效果。

🧠 变换记忆口诀

记住变换发生的两个位置：

  • 函数外部（影响 \(y\)）： 表现符合你的预期。
  • 函数内部（影响 \(x\)）： 表现与你的预期相反。

3.1 平移 (Translations)

平移移动图像，但不改变其形状或朝向。

  • 垂直平移（外部）： \(y = f(x) + k\)
    若 \(k > 0\)，向上平移 \(k\) 个单位；若 \(k < 0\)，向下平移 \(|k|\) 个单位。
  • 水平平移（内部）： \(y = f(x - h)\)
    若 \(h > 0\)，向右平移 \(h\) 个单位；若 \(h < 0\)，向左平移 \(|h|\) 个单位。（记住：要反着来！）

3.2 伸缩 (Stretches and Compressions)

伸缩会改变图像的形状，使其变窄或变宽。

  • 垂直伸缩（外部）： \(y = a \cdot f(x)\)
    伸缩系数为 \(a\)。若 \(|a| > 1\)，为垂直拉伸；若 \(0 < |a| < 1\)，为垂直压缩。
  • 水平伸缩（内部）： \(y = f(b x)\)
    伸缩系数为 \(1/b\)。若 \(|b| > 1\)，图像水平压缩（系数 \(1/b\)）；若 \(0 < |b| < 1\)，图像水平拉伸（系数 \(1/b\)）。（记住：要反着来！）

3.3 反射 (Reflections)

反射将图像沿坐标轴翻转。

  • 关于 X 轴反射（外部）： \(y = -f(x)\)
    图像垂直翻转（所有 \(y\) 值变号）。
  • 关于 Y 轴反射（内部）： \(y = f(-x)\)
    图像水平翻转（所有 \(x\) 值变号）。
变换的执行顺序

当存在多种变换时，顺序至关重要！请遵循类似于运算法则的逻辑：

1. 伸缩/反射（乘除法，包含内部和外部）。

2. 平移（加减法，包含内部和外部）。

4. 函数运算：复合与反函数

4.1 复合函数 (Composite Functions)

当一个函数的输出成为另一个函数的输入时，就产生了复合函数。这实际上是将两个（或多个）函数串联起来。

记号： \((f \circ g)(x)\) 读作“f 复合 g of x”，意味着 \(f(g(x))\)。

类比： 你正在制作咖啡（\(g\)），输出是煮好的咖啡。接着你把咖啡倒入奶泡机（\(f\)）。\(g\) 的输出变成了 \(f\) 的输入。

计算步骤：

  1. 确定内层函数 \(g(x)\)。
  2. 将 \(g(x)\) 的整个表达式代入到外层函数 \(f\) 中，凡是见到 \(x\) 的地方都替换掉。

例子： 若 \(f(x) = x^2 + 1\) 且 \(g(x) = 2x\)。
\((f \circ g)(x) = f(g(x)) = f(2x) = (2x)^2 + 1 = 4x^2 + 1\)。

复合函数的定义域（HL 严谨版）：

\(f(g(x))\) 的定义域比较复杂，必须同时满足两个条件：

  1. \(x\) 必须在内层函数 \(g\) 的定义域内。
  2. \(g(x)\) 的输出值必须在外层函数 \(f\) 的定义域内。

4.2 反函数 (Inverse Functions)

反函数，记作 \(f^{-1}(x)\)，其作用是撤销原函数 \(f(x)\) 的操作。

关键要求： 只有当函数为一对一（通过 HLT）时，它才存在反函数。如果函数无法通过 HLT（如 \(f(x) = x^2\)），我们必须通过限制原函数的定义域，强行使其变为一对一，才能求反函数。

求反函数 (\(f^{-1}(x)\)) 的步骤：

这是一个机械式的步骤：

  1. 将 \(f(x)\) 替换为 \(y\)。
    例子： \(y = 3x - 5\)
  2. 交换 \(x\) 和 \(y\)（这是体现反函数关系的核心代数步骤）。
    例子： \(x = 3y - 5\)
  3. 解出新的方程中的 \(y\)。
    例子： \(x + 5 = 3y \implies y = \frac{x+5}{3}\)
  4. 将 \(y\) 替换为 \(f^{-1}(x)\)。
    例子： \(f^{-1}(x) = \frac{x+5}{3}\)

定义域与值域的关系：

\(f(x)\) 的定义域成为 \(f^{-1}(x)\) 的值域。
\(f(x)\) 的值域成为 \(f^{-1}(x)\) 的定义域。

这种关系对于正确定义反函数至关重要，尤其是在处理受限定义域时。

在图像上，\(f(x)\) 与 \(f^{-1}(x)\) 关于直线 \(y = x\) 对称。

你知道吗？ 函数与其反函数的复合总是等于输入值： \[ (f \circ f^{-1})(x) = x \] \[ (f^{-1} \circ f)(x) = x \] 如果你在复合后得到了 \(x\)，就说明你求对了反函数！

函数核心总结

函数定义了数学关系。在 AA 数学中，你必须超越简单的描点法，转而关注理解函数的限制条件、对称性以及内在结构，特别是在处理复合和反函数时。请多花时间去可视化那些变换吧！