学到这里,代数已经从“把一个未知数解出来”慢慢转向另一件更有用的事:描述变化。
前面讲方程时,我们常常在找一个答案。比如“这个数是多少”“哪一段区间满足条件”。可现实里的问题很少这么安静。气温一小时一小时地变,车开得越久路程越长,篮球被投出去后高度先升后降,奶茶店的总价跟杯数一起变。你会发现,真正值得研究的不是某一个孤零零的数,而是“一个量变了,另一个量会怎么跟着变”。
函数就是为这件事准备的语言。
你可以先别把它想得太高冷。函数像一台有脾气但守规矩的机器:你丢进去一个输入,它按照自己的规则处理一下,然后吐出一个输出。机器可以很简单,比如“乘以 2 再加 3”;也可以很复杂,比如“先判断在哪个区间,再选对应公式”。但只要它是函数,就必须遵守一条底线:同一个输入,只能给出一个输出。
这条底线听起来朴素,却是后面所有函数知识的地基。线性函数、二次函数、指数函数、根式函数,说到底都是这台机器换了不同的内部规则。今天先把机器本身看明白。
想象你在一家奶茶店扫码点单。你点“中杯少冰三分糖”,系统如果一会儿给你乌龙奶茶,一会儿又给你柠檬茶,你肯定会觉得后台坏了。对同一个订单,结果应该是确定的。函数也是这样:同一个输入不能对应两个不同输出。
用数学话说:
一个函数,就是从一个输入集合到一个输出集合的对应规则。它要求定义域中的每一个输入,都恰好对应一个唯一输出。
写成符号就是
这里的 是所有允许输入的集合,也叫定义域(Domain); 是输出可能所在的大集合; 是那条处理规则; 是把 丢进规则之后得到的结果。
判断一个关系是不是函数,抓住一句话就够了:每个输入是否只有一个输出。 不是看公式漂不漂亮,也不是看图像像不像一条线,而是看同一个 会不会给出两个不同的 。
函数定义里最容易误会的是“唯一”这两个字。它说的是:输出对于输入要唯一。它没有说“输入对于输出也必须唯一”。
比如 。当 时,;当 时,。两个不同输入都得到同一个输出,这叫。这完全合法, 当然是函数。
但如果某条规则说“输入 可以得到 ,也可以得到 ”,那就不行。因为同一个输入 被分配了两个输出,这叫一对多,直接违反函数定义。
所以我们可以这样记:
数学里的函数,也是在维护这种“输入身份的唯一记录”。
同一个函数,可以用不同方式讲出来。就像同一个故事,可以写成文字、画成图、做成表格、拍成视频。函数常见有四种表达方式:解析式、表格、映射图、图像。
解析式就是公式,比如
它的优点是短、准、方便计算。想知道 ,把 代进去就行。缺点也很明显:光盯着公式,有时候不容易立刻看出它的整体走势。它会一直增加吗?有没有最低点?哪些输入不允许?这些问题常常需要搭配图像或表格一起看。
表格像是抽样记录。比如 在几个输入上的输出是:
表格最适合处理实验数据、统计记录和有限个输入。判断表格是不是函数时,不用管输出有没有重复,只看一件事:有没有同一个 出现两次,却对应不同的 。如果有,就不是函数;如果没有,就是函数。
映射图会把输入放在左边,输出放在右边,用箭头连接。它几乎是函数定义的可视化版本。
判断映射图很简单:左边每个输入必须恰好发出一条箭头。 左边某个输入发出两条箭头,说明它有两个输出,不是函数。不同输入的箭头指向同一个输出,则完全没问题。

图像会把所有满足关系的点 画在坐标平面上。它最有画面感。你一眼能看到函数是上升还是下降,有没有转折,在哪里穿过坐标轴。
但图像也会带来一个新问题:一条曲线到底是不是函数图像?这时就要用到后面的竖线检验。
如果函数是一台机器,定义域就是“能放进机器的所有输入”。有些东西不能放,不是因为我们懒得算,而是机器真的处理不了。
比如分母不能为零。你写 ,当 时分母变成 ,除法没有意义。再比如根号下不能是负数。你写 ,在实数范围内就必须要求 。还有现实情境里的限制:时间不能是负数,人数不能是 个人,长方形边长不能小于等于 。
定义域(Domain)就是所有合法输入组成的集合。值域(Range)则是这些合法输入全部代入后,实际能产生的所有输出。

在代数 I 里,找定义域最常见的三类雷区是:
如果好几个限制同时出现,就取它们的交集。比如
根号要求 ,所以 ;分母要求 ,所以 。合在一起,定义域就是
定义域问的是“哪些 能进去”。值域问的是“所有合法 都试过之后,输出会覆盖哪些 ”。
这一步比定义域更像侦探工作。比如 ,不管 是正数、负数还是 ,平方结果都不会小于 ,所以值域是 。而 ,当 取遍全体实数时,输出也能取遍全体实数,值域就是 。
再看 。它的定义域是 ,输出也永远非负,所以值域是 。
一个很稳的习惯:每次看到函数,先问定义域;每次求函数值,先检查输入是否允许。很多错误不是不会算,而是把不该代入的数硬塞进去了。
如果函数被画成图像,怎么快速判断它是不是函数?拿一条竖线扫过去。
竖线的方程是 。它代表“把输入固定为同一个 ”。如果这条竖线碰到图像两个点,比如 和 ,那就说明同一个输入 对应两个输出。函数定义不允许这件事。
所以竖线检验的规则是:
一条图像如果被任何竖线都至多交于一个点,它表示函数;如果存在某条竖线与它交于两个或更多点,它就不是函数图像。
抛物线 能通过竖线检验,因为每个 只对应一个 。完整的圆 就不行,因为当 时,圆上有 和 两个点。可是,如果只取圆的上半部分
它又能通过检验。这个例子很重要:一个关系本身不是函数,但截取其中某一条单值分支后,可能变成函数。

竖线检验是看图像用的工具。它的原理仍然是函数定义:同一个输入不能有多个输出。不要把它当成魔法口诀,真正的判断标准始终是唯一性。
很多人第一次见到 ,脑子里会自动读成“ 乘 ”。这很正常,因为我们太习惯括号表示乘法了。但在函数里, 读作“ of ”,意思是:把 作为输入,交给函数 处理,得到的输出。
是机器名字,括号里的 是投进去的原料, 是机器吐出来的结果。
这也是为什么函数符号比单纯写 更好用。 和 表达的是同一条关系,但 明确告诉你:这是一个叫 的规则,输入是 ,输出是 。以后同时出现 、、 时,这种命名会让你不容易混乱。
求函数值时,规则很简单:公式里每一处 ,都换成括号里的输入。
设
求 ,就是把每个 都换成 :
如果输入不是一个数,而是一个表达式,比如 ,那就把每个 都换成整个 :
继续展开:
这里最容易犯的错,是把 写成 或 。这相当于把“输入”拆开了。函数括号里的东西是一整包,不能随便拆。
有些函数不是一条公式管到底,而是根据输入落在哪个区间,使用不同规则。这叫分段函数(Piecewise Function)。
例如
求分段函数值时,先判断输入属于哪一段,再代入那一段的公式。比如 属于第二段,因为第二段包含等号; 也属于第二段; 才属于第三段。
现实中分段函数很多。快递按重量阶梯收费,打车按里程分段计价,个税按收入区间计算。这些都不是数学家故意把公式写复杂,而是现实规则本来就分段。

给定两个映射图。甲的配对是 ,,,;乙的配对是 ,,,。判断哪个表示函数。
看甲:输入 、、、 各自只发出一条箭头。虽然 和 都指向 ,但多对一是允许的,所以甲表示函数。
判断下表是否表示函数,并写出定义域和值域。
每个 只出现一次,并且只对应一个输出。 和 都对应 是多对一,允许。所以这张表表示函数。
定义域是所有输入组成的集合:。
求下面两个函数的定义域:
(1)
(2)
(1)分母不能为零。,所以要排除 和 。定义域是 。
设 ,求 和 ,并说明为什么一般不能把 拆成 。
求 :。
已知
求 、、,并写出定义域和值域。
,用第一段:。
某函数图像是一条从点 到点 的线段,包含两端点。说明它是函数图像,并读出定义域和值域。
任意竖线 如果穿过这条线段,最多只会碰到一个点;如果 不在 内,则碰不到点。竖线检验通过,所以它是函数图像。
练习 1:下列哪种情形构成函数?(甲)一个学生的学号对应他的姓名;(乙)一个人的姓名对应他所有的电话号码;(丙)一个正整数对应它的所有因数。
甲构成函数:每个学号唯一对应一个学生姓名。乙不构成函数:同一个人可能有多个电话号码,同一个输入对应多个输出。丙也不构成函数:一个正整数通常有多个因数,比如 对应 。所以只有甲是函数。
练习 2:求函数 的定义域。
根号要求 ,所以 ;分母要求 ,所以 。取交集,定义域是 。
练习 3:设 ,计算 、、,并说明 说明了什么。
,。这说明不同输入可以得到同一个输出,多对一是允许的。。
练习 4:已知 ,求 、、,并判断值域是否包含 。
;;。第一段 在 时输出小于 ,可以靠近但取不到 ;第二段 在 时输出至少是 。所以值域是 ,不包含 。
函数不是又一个新公式,而是一种描述变化关系的语言。它的核心规则很简单:每个合法输入必须对应唯一输出。多对一允许,一对多不允许。
一个函数可以用解析式、表格、映射图和图像来表示。解析式方便计算,表格适合看样本,映射图适合检查箭头,图像适合观察整体走势。定义域告诉我们哪些输入能用,值域告诉我们这些输入实际能产生哪些输出。
图像形式下,竖线检验把“唯一输出”变成了肉眼可见的规则:一条竖线如果能碰到两个点,就说明同一个输入有两个输出。函数符号 则要理解为“把 整体代入函数 后的输出”,不是乘法,也不能随便拆分。
把这些基础习惯练熟,后面遇到线性函数、二次函数、指数函数时,你只是换了一台机器的内部规则;判断框架仍然是同一套。
看乙:输入 同时指向 和 。同一个输入对应两个输出,违反唯一性,所以乙不表示函数。
总结:映射图只看左边每个输入发出几条箭头。一个输入发出两条不同箭头,就是非函数。
值域是所有实际输出组成的集合,重复值只写一次:。
(2)根号下必须非负。,解得 。定义域是 。
求 :把每个 都换成 ,得到 。
展开化简:,,所以 。
再算 :,,所以 。它和 一般不相等。这说明函数输入不能随便拆开。
,仍然用第一段,因为等号在第一段:。
,用第二段:。
两段条件 和 合起来覆盖所有实数,所以定义域是 。
第一段在 时输出 ,得到 。第二段在 时输出 ,并且可以无限增大,得到 。合并后值域是 。
看横向范围:线段从 到 ,两端都包含,所以定义域是 。
看纵向范围:线段从 到 ,两端都包含,所以值域是 。