函数概念
上一部分我们系统学习了线性方程与不等式——方程把未知数钉在某个精准的位置，不等式划出一片合法区间，解题的终点是一个数或一段区间。 但数学并不满足于此，现实世界中充满了持续变化的关系：气温随时间升降，汽车的路程随行驶时长积累，球的高度随飞行秒数先升后降……这些都不是"找一个 "就能描述清楚的，它们是一整条规则——给定任意一个"输入时刻"，就能确定一个"输出状态"。 这种规则，在数学中有一个精确的名字：函数（Function）。
函数是代数 I 中最核心的概念，后续所有具体函数类型——线性函数、二次函数、根式函数、指数函数——都不过是在这个统一框架下更换了"机器内部的规则"而已。 把函数的基础概念理解透彻，理解它的定义、表示方式、定义域与值域的求法，以及函数符号的正确使用，是打通整个代数 I 后半段的关键。
函数的定义
想象有一台自动贩卖机：你投入一枚硬币，按下按钮，机器吐出一罐可乐。这个过程有一个关键特性——同一枚硬币加上同一个按钮，永远只会产生同一种结果。如果某次吐出可乐，下次却吐出矿泉水，你会认为这台机器坏了。在数学里，"同一个输入产生不同输出"同样是不被允许的，这条约束正是函数定义的核心。
从这个直觉出发，函数的正式定义可以表述如下：
一个函数，是从输入集合（定义域）到输出集合的一种对应规则，它要求定义域中的每一个元素，在规则的作用下恰好对应输出集合中的唯一一个元素。用集合与映射的语言写出来就是
这里 是输入的集合（定义域）， 是输出所在的大集合， 是规则本身。
多对一与一对多
函数定义中有一条容易被误解的不对称性：允许多个不同的输入对应同一个输出（多对一），但绝不允许同一个输入对应两个不同的输出（一对多）。前者是合法的，后者是致命的违规。以 为例，，输入 和 都产生输出 ——这是完全合法的多对一关系， 仍然是函数。而如果某条规则规定"输入 同时对应输出 和输出 "，那就立刻失去了函数的资格。
理解这条不对称性，还需要区分函数与一般的关系（Relation）。关系是输入与输出之间任意的配对，强调的是"有联系"，但没有唯一性的约束；函数则是关系的特殊情形，在满足一般配对的同时，还必须满足每个输入只有唯一输出的条件。因此，每个函数都是关系，但不是每个关系都是函数。
函数的唯一性约束仅针对"输出对于输入的唯一性"，而非"输入对于输出的唯一性"。换句话说，允许两个不同的 产生相同的 （多对一），但不允许同一个 同时产生两个不同的 （一对多）。这条区别是判断一个关系是否为函数的唯一判据，值得在每一道判断题中反复调用。
函数的四种表示方式
同一个函数可以穿四件不同的外衣呈现，每种方式都有其独特的优势和适用场景，熟练地在它们之间转换是代数 I 的基本功。
解析式
解析式是最紧凑的表示方式，把函数的规则浓缩成一行数学表达式。常见的形式如 ，，。解析式的最大优势是可以直接代入任意输入值进行计算，也方便代数变形与推理。然而它有时不够直觉——光看公式很难立刻感受到函数的整体行为：增减趋势如何？是否有最大值？在哪几个点处取到零？这些问题往往需要借助其他表示方式来补充直觉。
表格
表格把有限数量的输入-输出对整齐排列成两行（或两列），让读者一眼看清每对对应关系。例如， 在五个取样点处的表格如下：
表格的直观性是它最大的优点，在描述实验数据、统计记录或有限输入的情境时尤为合用。判断表格是否表示函数时，只需检查：是否有某个 值出现两次却对应不同的 ？若有，则不是函数；若每个 只对应唯一的 （即使不同 对应相同的 也没关系），则是函数。
映射图：直接展示对应关系
映射图把输入写在左侧的集合中，输出写在右侧的集合中，用箭头连接对应关系。它的结构与函数定义的语言最为贴近，因为函数的本质就是从输入集合到输出集合的一套配对规则，映射图把这个规则完全视觉化。判断映射图是否表示函数，规则极为简单：检查左侧每个元素恰好发出且只发出一条箭头。若某个输入发出两条箭头指向不同的输出，该关系立刻被判定为非函数；而若多条箭头从不同输入指向同一输出（多对一），则完全合法。
图像
图像把所有满足函数关系的点 全部画在坐标系中，连成曲线（或直线、折线）。图像是函数最富直觉性的表示方式：从曲线的走势，可以立刻感受到函数的单调性（递增还是递减）、极值位置、对称性以及零点分布。同时，图像也提供了判断"是否为函数"的视觉工具——竖线检验，这将在后续小节中专门讨论。
这四种表示方式描述的是同一个数学对象，做题时经常需要在它们之间来回转换：由公式列出表格需要代入计算，由表格画出图像需要描点连线，由图像读出定义域与值域需要观察轴向范围，由映射图判断是否为函数只需检查箭头。
定义域与值域
每台机器都有它能接受的投入规格，不是什么都能塞进去。函数也一样——定义域（Domain）是所有允许的输入 构成的集合，它圈定了函数的"工作范围"；值域（Range）是当 取遍整个定义域时，所有对应输出 构成的集合，它描述了函数"能产生的所有结果"。 需要注意的是，值域有时与到达域（Codomain）混淆：到达域是输出可能所在的大集合（通常是"全体实数"），值域则是被函数实际取到的那一子集。在代数 I 中，我们关注的是值域，而非到达域。
确定定义域的三类约束
在实数范围内，定义域的确定受到三类主要约束，每一类都有其明确的数学根源。
- 第一类约束是分母不能为零。除法在分母为零时没有定义，因此含分式的函数必须将使分母为零的 值从定义域中排除。例如，函数 中，分母 当且仅当 ，故定义域为 。
当多类约束同时存在时，定义域取各条件的交集——只有同时满足所有约束的 才是合法输入。例如， 同时有根号约束（，即 ）和分母约束（），取交集得定义域为 。
确定值域
确定值域比确定定义域稍难，因为它要求逆向思考：不是"哪些 可以代入"，而是"代入所有合法 之后，能产生哪些输出"。对于简单函数，可以通过观察函数的结构来判断： 的输出 无论 取何值都是非负数，故值域为 ； 在 取遍所有实数时输出也可以是任意实数，值域为 ；（定义域 ）的输出是所有非负数，值域为 。对于更复杂的函数，值域的确定往往需要结合图像或代数分析，这在后续具体函数章节中会系统展开。
养成一个有效习惯：每次写下函数时，先写出定义域；每次求函数值之前，先检查输入是否在定义域内。 这个流程能在早期阶段拦截大量"代入了非法输入"的错误，也能在后续学习中帮助你快速评估函数的可用范围。
竖线检验
当一个关系以坐标平面上的图像呈现时，竖线检验（Vertical Line Test） 提供了一个极为直观的判定工具。方法如下：想象一条平行于纵轴的竖线（方程为 的直线）在坐标平面上从左向右移动。 如果这条竖线无论移动到哪个位置，都最多只与图像交于一个点，则该图像表示函数；如果能找到某个位置使竖线与图像交于两个或更多点，则该图像不是函数图像。
竖线检验的正确性直接源于函数的定义：竖线 与图像的交点，对应的恰好是所有把 作为输入的输出值。若存在两个交点 和 （），则意味着输入 同时对应输出 和 ，违反了"唯一输出"的要求——这正是一对多的情形。
以几个具体图像为例理解这一检验。抛物线 中，任意竖线 与其只有一个交点 ，检验通过，这是函数。完整的圆 中，竖线 同时与圆交于 和 ，检验失败，整圆不是函数。然而，上半圆 （仅取 的部分）在其定义域 内，任意竖线只与其交于一点，检验通过，上半圆是函数。这个对比说明：，这也是理解后续"反函数"时的重要直觉来源。
竖线检验是判断图像的工具，用于图像已知时快速确认是否代表函数；它不能代替代数层面的定义判断，也不能用于证明某个给定公式是函数。公式层面的判断需要回到定义——每个输入是否有唯一输出——图像层面再用竖线检验作为视觉辅助。两者解决的是同一个问题，只是入射角度不同。
函数符号 的正确理解
不是乘法
初次遇到 时，几乎每位学生都会产生同一个误会：这是 乘以 吧？这个误会必须在第一时间消除。 读作"f of x"，意思是函数 作用在输入 上所得到的输出值，括号里装的是完整的输入，而非乘法的因子。更直观的理解是： 是一台机器的名字， 是投入机器的原料， 是机器处理后输出的产品——机器的操作是"加工"而非"相乘"。
这一理解同时解释了为何我们选择用 而不是传统的 。 与 在数学上等价，但函数符号提供了传统写法无法给出的三个优势：它允许我们用不同的字母（ 等）同时命名并追踪多个不同的规则，从而在同一段论述中清晰地区分各个函数；它让代入操作的表达更简洁—— 直接意味着"把 代入 的规则"，比"当 时， 的值"更紧凑；此外，当需要描述函数的复合（即一个函数的输出作为另一个函数的输入，写作 ）时， 的记号完全无法胜任，而 的记号则自然延伸到这种组合操作中。
整体代入的原则
求函数值时，核心操作是将公式中每一处出现 的地方，统一替换为输入表达式，一处都不能遗漏。以 为例，求 时，将公式中的每个 替换为 ：
若输入是一个表达式，如求 ，则把每个 替换为 ，注意整体用括号包住，避免展开时出现符号错误：
初学者最常犯的错误是把 错误地写成 或 ，认为函数符号可以像加法一样"分配"或"分拆"。这两种写法都是错误的：函数不是线性映射（至少在一般情况下不是），括号里的"输入"是一个整体单位，不能随意拆开。只有极特殊的函数（如线性函数）才满足 ，而这需要单独验证，不能作为默认假设。
分段函数：因区间而变的规则
有些函数的"机器规则"并非固定不变，而是在不同的输入区间上采用不同的计算公式，这种函数称为分段函数（Piecewise Function）。典型的写法是
求分段函数的值，流程分两步：第一步判断输入属于哪一段（即落在哪个区间条件下），第二步才代入那一段对应的公式。边界值的归属由不等号是否含等号决定： 满足 ，属于第二段； 同样属于第二段； 则落入第三段。边界只属于一段，不能同时代入两段计算。
分段函数在现实生活中极为常见——个人所得税依据收入区间按不同税率计征，快递费用依重量区间阶梯定价，这些都是分段函数的直接应用场景。理解分段函数，是从纯数学概念迈向实际建模能力的重要一步。
例题
例题 1：映射图判断函数
给定两个映射图，判断哪个表示函数，哪个不是，并说明理由。映射图甲的配对是 ，，，；映射图乙的配对是 ，，，。
检查映射图甲：输入 、、、 各自只发出一条箭头。其中输入 和 都指向输出 ，这是允许的多对一关系。定义域中每个元素都有唯一的输出，映射图甲。
例题 2：表格判断函数与读取定义域、值域
给定如下表格，判断它是否表示函数，并写出定义域与值域。
逐列检查： 对应 ， 对应 ， 对应 ， 对应 ， 对应 。每个 值只出现一次，且只对应一个 。输入 和 都对应输出 ，这是多对一，完全合法。
例题 3：求函数的定义域
求以下两个函数的定义域，用区间记号表示。
（1）
（2）
对于（1），分母不能为零： 当 或 ，因此这两个值必须排除。定义域为 。
例题 4：函数符号代入求值
设 ，求（1）；（2）（展开化简）；（3）验证 。
求 ：将每个 替换为 ，注意负数平方和负号的处理：。
例题 5：分段函数求值与值域分析
已知分段函数
求（1）、、；（2）函数的定义域与值域。
求 ：，属于第一段，。
例题 6：从图像读取定义域与值域
某函数的图像是一条从点 到点 的线段（含两端点）。（1）用竖线检验说明这是函数图像；（2）从图像读出定义域与值域。
对任意竖线 ，当 时，竖线与线段恰好只有一个交点；当 超出此范围，竖线与线段无交点（零个交点也满足"至多一个"的条件）。全程竖线从未与图像交于两个以上的点，竖线检验通过，这是函数图像。
自我练习
练习 1：下列哪种情形构成函数？（甲）"一个学生的学号对应他的姓名"；（乙）"一个人的姓名对应他所有的电话号码"；（丙）"一个正整数对应它的所有因数"。
甲构成函数：每个学号是唯一的，对应唯一的姓名，满足唯一输出的条件。乙不构成函数：同一个人可能有多个电话号码，即同一个输入（姓名）对应多个输出，违反唯一性。丙不构成函数：大于 的正整数都有多个因数（例如 的因数有 ），同样违反唯一性。只有甲是函数。
练习 2：求函数 的定义域，用区间记号表示。
同时存在两类约束：根号要求 ，即 ；分母要求 ，即 。取两个条件的交集： 且 ，定义域为 。
练习 3：设 ，计算 、、（展开化简），并说明 说明了什么。
；。 说明不同输入可以产生相同输出，这是多对一的合法情形， 仍然是函数。对于 ：将每个 替换为 ，。
练习 4：已知分段函数 ，求 、、，并判断值域是否包含数值 。
：，用第一段，。：，用第二段，。：，用第二段，。关于值域是否包含 ：第一段 在 时输出为 ，可以趋近但不到达 （仅在 时等于 ，但 时输出严格小于 ）；第二段 在 时输出为 ，最小值为 。因此值域为 ，数值 不在值域中。
小结
函数是代数乃至整个数学分析的核心语言，它把"变量之间的变化规律"浓缩成一条可精确操作的对应规则。函数定义的关键在于唯一性：每个合法输入对应且仅对应一个输出，多对一的情形完全被允许，一对多的情形则彻底违反定义。
函数的四种表示方式——解析式、表格、映射图、图像——从不同角度描述同一数学对象，灵活地在它们之间转换是分析函数行为的基本操作。 定义域圈定函数的合法输入范围，确定时需要系统排查分母为零、偶次根号下为负以及情境限制三类约束，多类约束同时存在时取交集；值域描述函数的所有可能输出，确定时往往需要结合函数的结构特征正向推导。 竖线检验为图像形式的函数判定提供了直观的视觉工具，其原理直接对应函数的唯一性定义。函数符号 表示"将 整体代入函数规则后的输出"，不是乘法，不能随意拆分，每一处 都必须被完整替换。
这些基础习惯和判断原则一旦内化为自动化的操作，后续面对任何一种具体的函数类型，你都只是在更换"机器内部的规则"，分析框架始终相同。