函数是什么——从「机器」到「对应」

函数是一台机器：进一个 x，出一个 f(x)

先从一个假问题开始

我们见过的「函数」，几乎全都是公式，可公式和函数并不是一回事。

初中老师说：$y = 2x + 1$ 是函数，画出来是一条直线。于是我们牢牢记住了三个字——解析式。后来我们判断一个东西是不是函数，第一反应就是"它能不能写成一个式子"，写不出来的，心里先打个问号。

可这个判断标准是错的，而且错得挺要命。

你每天的气温是时间的函数吗？是。它有解析式吗？没有，谁也写不出来。你所在的教室号是你学号的函数吗？是，一个学号只分到一个教室。它有解析式吗？没有。

函数从来就不是"式子"，是"对应规则"。 式子只是实现规则的一种办法，而且是最听话、最死板的那一种。判断一个东西是不是函数，只看两条：有没有确定的输入集合，以及每个输入有没有唯一的输出。跟它长不长得像公式，一点关系都没有。

函数的两要素

教科书把定义写成一句话：

设 $A$、$B$ 是非空的数集，如果按照某种确定的对应关系 $f$，使对于集合 $A$ 中的任意一个数 $x$，在集合 $B$ 中都有唯一确定的数 $f(x)$ 和它对应，那么就称 $f: A \to B$ 为从集合 $A$ 到集合 $B$ 的一个函数。

这句话拆开来，每个字都是要花钱的。

「非空的数集 $A$、$B$」——输入有范围，输出也得有范围。前面我们讲的集合不是白讲的：描述一个对应关系，得说清楚它在哪些数上成立。这把「定义域」和「值域」直接钉在了定义里。

「任意一个」——不是某些、不是大多数、不是"容易算的那些"，是每一个。这一个词是函数和"局部规律"的分界线，也是将来证明一个函数具有某种性质时，"任取 $x_1, x_2 \in A$"这种写法的来历。

「唯一确定」——这是整个定义的要害，其余的话都可以改，这一条不能动。

「唯一」和「确定」为什么必须分开说

这两个词连在一起出现，很多人以为只是说得啰嗦。不是的，它们各挡一种错。

「确定」挡的是随机。 同一个 $x$，今天算出来是 3，明天算出来是 5，这不是函数。输入到输出之间不能靠抛硬币。天气预报是函数：明天气温是多少，取决于物理学，不取决于你今天问了多少次。

「唯一」挡的是"一对多"。 同一个 $x$，可以对应出两个不同的 $y$，这也不是函数。

最典型的例子是圆的方程。$x^2 + y^2 = 1$ 是一个方程，但它不是一个函数——给定 $x = 0$，得到 $y = \pm 1$，一个输入对两个输出。它描述的是单位圆上所有的点，不是一个函数。

同一个函数，三套看问题的眼光

判断两个函数是不是同一个函数，标准只有一条：定义域相同，且对应关系相同。定义域和对应关系之外的一切，全是衣服，换了衣服还是那个人。

同一个函数至少有三套衣服，高考题很爱在这上面设陷阱。

眼光一：列表

把输入和输出一张张列出来。优点是不用算，一眼看得到；缺点是列不完。

眼光二：解析式

用式子表示对应关系，这是最强力的工具——能算、能变形、能代入。缺点是很多函数根本没有解析式，而且解析式写法绝不唯一。

$f(x) = x^2$ 和 $g(t) = t^2$ 是同一个函数吗？是。$x$ 和 $t$ 只是占位的名字，换成什么都行，叫 $f(\text{ potato})$ 都对。

$f(x) = x$ 和 $g(x) = \sqrt{x^2}$ 是同一个函数吗？不是。前者定义域是 $\mathbb{R}$，后者定义域也是 $\mathbb{R}$，但对应关系不同——$g(x) = |x|$，当 $x = -1$ 时前者给 $-1$、后者给 $1$。

眼光三：图像

把每一对 $(x, f(x))$ 画成平面上的点。图像的优点是一眼看出趋势——哪里涨、哪里平、有没有对称；缺点是画不出来靠不住：第一，很多函数的图像画不出来；第二，画出来的图是"看"的，不是"证"的。高中阶段"看图说话"只能给结论，证明必须回到定义。

顺带一句：图像还能当验算工具。一个函数画出来在某个区间上有两个高点，它的最大值讨论就可能漏了端点；图像上某段明显在 $x$ 轴下方，那"方程有两个正根"的结论就该打个问号。

定义域为什么老被忽略

高考里函数题的第一个坑，十有八九是定义域。

定义域是函数的"出生证明"，脱离了它谈函数的一切，都是无源之水。可它偏偏不写在解析式里，得你自己想起来。

所以拿到任何一个表达式，先做定义域三件事：

1. 分式：分母不为零。$\dfrac{1}{x - 2}$ 的定义域是 $x \neq 2$。
2. 偶次根式：根号内非负。$\sqrt{x - 1}$ 的定义域是 $x \ge 1$。
3. 对数：真数为正。$\ln (2 - x)$ 的定义域是 $x < 2$。

这三条是"看式子"能看出来的，还有一类必须"看题意"：三角形内角和为 $180^\circ$，三角形边长为正，实际应用中人的个数是整数。这类不写出来，做对了也白做。

举个完整点的例子：

$$f(x) = \dfrac{\sqrt{x - 1}}{x - 3}$$

分母 $x - 3 \neq 0$；根号 $x - 1 \ge 0$，即 $x \ge 1$。两条一取交集，定义域是 $[1, 3) \cup (3, +\infty)$。$x = 1$ 能取吗？能，此时分子为 0、分母为 $-2$，函数值 0，合法。这个细节就考住了不少人。

在高中数学体系里的位置

这一讲没讲什么"能做题的技巧"，讲的是后面所有内容的出厂设置。

• 单调性、奇偶性，本质上都是对"定义域内任意两个数"发号施令，用的是定义里"任意一个"那四个字。
• 函数图象的应用——数交点、比大小、判断零点个数——全靠"一竖线只能与图象相交一次"这条唯一性，这是竖直线检验法的来历。
• 分段函数不是什么新函数，只是对应关系分段描述；难的是"接缝处"的计算，难点全在定义域上。
• 抽象函数——给一个 $f(x+y) = f(x) + f(y)$ 让你推性质——拼的是对定义的理解，跟技巧无关。

一句话记住它：判断是不是函数，只看输入唯一对应输出这一条。解析式是工具，不是标准。

思考与拓展

1. 下列对应关系是不是函数？为什么？ (1) $y = x^2$（定义域 $\mathbb{R}$）； (2) $x^2 + y^2 = 1$（定义域 $[-1, 1]$）； (3) 班级里每个学生对应他的身高（同一个学生只有一个身高）； (4) 班级里每个学生对应他最好的朋友。

2. $f(x) = x^2$ 与 $g(x) = (\sqrt{x})^2$ 是不是同一个函数？说明理由。

3. 求 $f(x) = \dfrac{\sqrt{4 - x}}{x - 1}$ 的定义域，写成区间形式。

4. 若 $f(x)$ 的定义域是 $[0, 2]$，那么 $f(x - 1)$ 的定义域是什么？（提示：不是 $[0,2]$ 减 1）

一句话总结

函数不是公式，是"每个输入唯一对应一个输出"的规则；定义域和对应关系都相同才是同一个函数，其余都是衣服。