# 函数定义与符号

> IB 数学：分析与方法 HL · IB AA HL
> 来源: https://www.owlsprep.com/zh/study/ib-math-aa-hl-u2-function-definitions-and-notation/

本子主题涵盖函数的核心定义、IB 标准符号，以及定义域、陪域和值域等核心概念。你将学习如何判断一个关系是否为函数，这是后续所有函数内容学习的基础。

**先修:** [实数的基本集合符号和区间符号](https://www.owlsprep.com/zh/study/ib-math-aa-hl-u1-set-notation/)

## 学习目标

- 将函数定义为输入集与输出集之间的唯一映射
- 正确使用 IB AA HL 所有标准函数符号
- 计算由方程给出的函数的定义域和值域
- 使用竖线测试区分函数与非函数

## 函数的核心定义

**函数** — 函数是从定义域集合 \(A\)（输入）到陪域集合 \(B\)（可能输出）的映射，满足**定义域中的每个元素都恰好映射到陪域中的一个元素**。

*记法:* f: A \to B

*例:* 将实数映射到实数的法则 \(f(x) = x^2\) 是一个函数。

函数通常有四种表示方法：映射图、代数方程、数值表和图像。无论哪种表示，每个输入对应一个输出的核心要求不变。

**例题:** 判断下列哪个映射图表示函数：(1) 输入集 {1, 2, 3} 映射到输出集 {2, 4, 6}：1→2，2→4，3→4。(2) 输入集 {1, 2, 3} 映射到输出集 {2, 4, 6}：1→2，1→4，2→6。

1. 回忆核心要求：关系是函数的条件是每个输入都恰好映射到一个输出。
2. 检查映射1：所有输入1、2、3都各只有一个输出。多个输入可以映射到同一个输出，这是允许的。
3. 结论：映射1是函数。
4. 检查映射2：输入1映射到两个不同的输出（2和4），这违反了函数的定义。
5. 结论：映射2不是函数。

> **考试提示:** 如果一个输入映射到多个输出，它一定不是函数。如果多个输入映射到同一个输出，它仍然是函数。

## 符号、定义域与值域

**定义域** — 函数所有有效输入值的集合。如果没有明确说明定义域，我们使用*隐含定义域*，即所有使得函数法则有定义的实数。

*例:* 对于 \(f(x) = \sqrt{x}\)，隐含定义域为 \(x \geq 0\)。

**值域** — 函数实际产生的所有输出值的集合，它始终是陪域的子集。

*例:* 对于 \(f(x) = \sqrt{x}\)，值域也是 \(f(x) \geq 0\)。

IB 使用两种标准形式的函数符号：明确形式 \(f: A \to B, f(x) = x^2\) 会说明定义域和陪域，以及隐式形式 \(f(x) = x^2\)，依赖隐含定义域约定。

**例题:** 求 \(f(x) = \frac{1}{x - 2}\) 的隐含定义域和值域，其中 \(x \in \mathbb{R}\)。

1. 求定义域时，找出使函数无定义的值。分母为零时分式无定义：
2. $$x - 2 = 0 \implies x = 2$$
3. 隐含定义域是除 2 以外的所有实数：
4. $$\text{Domain} = \{x \in \mathbb{R} \mid x \neq 2\}$$
5. 求值域时，令 \(y = \frac{1}{x-2}\)，整理后用 y 表示 x：
6. $$y(x - 2) = 1 \implies x = \frac{1}{y} + 2$$
7. x 无定义当且仅当 \(y = 0\)，因此没有输入能产生输出 0。值域为：
8. $$\text{Range} = \{y \in \mathbb{R} \mid y \neq 0\}$$

## 图像的竖线测试

当关系以 \(x\)-\(y\) 平面上的图像给出时，我们可以用竖线测试快速判断它是否为关于 \(x\) 的函数。

> **tip**
>
> 竖线 \(x = a\) 与图像的所有交点都对应输入 \(x = a\) 的输出。如果竖线与图像相交超过一次，说明一个输入对应多个输出，因此该关系不是函数。

**例题:** 单位圆 \(x^2 + y^2 = 1\) 的图像是否表示关于 \(x\) 的函数？

1. 画一条 \(x = 0\) 的竖线，这条线与单位圆交于两点：\((0, 1)\) 和 \((0, -1)\)。
2. 单个输入 \(x = 0\) 映射到两个不同的输出 \(y = 1\) 和 \(y = -1\)。
3. 根据竖线测试，单位圆不是关于 \(x\) 的函数。

**概念自测**

测试你的理解：下列哪个关系是关于 \(x\) 的函数？

1. $y = 3x + 2$

   - 是
   - 否

   *答案:* 是

   *解析:* 每个 \(x\) 值都恰好对应一个 \(y\) 值，因此这是函数。

2. $y^2 = x$

   - 是
   - 否

   *答案:* 否

   *解析:* 对于任意 \(x > 0\)，都有两个 \(y\) 值（正根和负根），因此这不是函数。

## 常见错误

- **错误做法:** 声称多个输入共享同一个输出的关系不是函数
  - 原因: 函数唯一的要求是每个输入对应一个输出，多个输入可以映射到同一个输出
  - 正确做法: 只需要检查每个输入恰好对应一个输出，输出重复不违反函数定义
- **错误做法:** 混淆陪域和值域，将整个陪域当作值域
  - 原因: 陪域是所有可能输出的集合，而值域只包含实际产生的输出
  - 正确做法: 始终根据函数法则和定义域显式计算值域
- **错误做法:** 求隐含定义域时忘记排除使分母为零或偶次根号内为负的值
  - 原因: 隐含定义域要求包含所有使函数法则有定义的实数
  - 正确做法: 计算定义域时始终检查是否存在除以零和偶次根号内为负的情况
- **错误做法:** 使用水平线测试判断关系是否为函数
  - 原因: 水平线测试用于判断函数是否为一对一函数，不是用于判断关系是否为函数
  - 正确做法: 始终使用竖线测试判断关系是否为关于 \(x\) 的函数

## 速查表

| 概念 | 核心含义 | 标准符号 |
| --- | --- | --- |
| 函数 | 每个输入对应一个输出 | $f: A \to B$, $f(x)$ |
| 定义域 | 所有有效输入的集合 | $\{x \in \mathbb{R} \mid \dots\}$ |
| 值域 | 所有实际输出的集合 | $\{y \in \mathbb{R} \mid \dots\}$ |
| 隐含定义域 | 未明确说明定义域时使用的定义域 | 所有使函数法则有定义的实数 |
| 竖线测试 | 判断关系是否为关于 $x$ 的函数的测试 | 多个交点 = 不是函数 |

## 下一步

理解函数定义与符号是 IB AA HL 函数单元所有其他主题的基础，从复合函数、反函数到图像变换，以及所有后续函数主题包括多项式、有理函数、指数和对数。掌握函数的核心定义、正确计算定义域和值域，可以帮助你避免试卷 1 和试卷 2 中代价高昂、本可避免的错误，无论题目涉及哪个主题。清晰理解符号对于正确解读考题、写出方便阅卷老师评分的解答至关重要。接下来，你将在此基础上学习更高级的函数概念。

- [定义域与值域](https://www.owlsprep.com/zh/study/ib-math-aa-hl-u2-domain-and-range/)
- [复合函数与反函数](https://www.owlsprep.com/zh/study/ib-math-aa-hl-u2-composite-and-inverse-functions/)
- [函数变换](https://www.owlsprep.com/zh/study/ib-math-aa-hl-u2-transformations-of-functions/)

---

来自 [OwlsPrep](https://www.owlsprep.com) —— A-Level / IB / AP / IGCSE 免费学习指南，依据官方考纲编写。原页面：https://www.owlsprep.com/zh/study/ib-math-aa-hl-u2-function-definitions-and-notation/