函数与关系——数学结构的桥梁

兔狲教授的提示：函数是数学中最基本、最重要的概念之一。它连接了不同的数学对象，描述了变化和对应关系。从简单的线性函数到复杂的算子，函数贯穿了数学的各个分支。

词条1：函数的深入理解

官方解释

函数 $f:A\to B$ 是一个规则，对$A$中每个元素$a$，唯一确定$B$中一个元素$f(a)$。

关键概念：

• 定义域：$A$，输入的集合
• 陪域：$B$，可能输出的集合
• 值域：$f(A)=\{f(a)\mid a\in A\}\subseteq B$，实际输出的集合
• 像与原像：对$C\subseteq A$，$f(C)=\{f(a)\mid a\in C\}$；对$D\subseteq B$，$f^{-1}(D)=\{a\in A\mid f(a)\in D\}$

兔狲老师解释

函数就像'转换机器'。

小小猪打了个比喻：想象一个果汁机：

• 输入：水果（苹果、香蕉、橙子）
• 机器：榨汁函数$f$
• 输出：果汁（苹果汁、香蕉汁、橙汁）

每个水果对应一种果汁，但不同水果可能对应同种果汁（如果混合）。

函数类型回顾：

• 单射：不同输入 → 不同输出（一对一）
• 满射：陪域中每个元素都有原像（到上）
• 双射：既是单射又是满射（一一对应）

思考题1：动手题

问题：判断以下是否为函数，如果是，判断类型：

1. $f:\mathbb{R}\to \mathbb{R}$，$f(x)=x^2$
2. $f:\mathbb{N}\to \mathbb{N}$，$f(n)=n+1$
3. $f:\{\mathrm{学}\mathrm{生}\}\to \{\mathrm{成}\mathrm{绩}\}$，每个学生对应一个成绩
4. $f:\{\mathrm{城}\mathrm{市}\}\to \{\mathrm{国}\mathrm{家}\}$，每个城市对应所在国家

问题：计算以下函数的像与原像： 设$f:\mathbb{R}\to \mathbb{R}$，$f(x)=x^2$

1. $f(\{-1,0,1,2\})$
2. $f([0,1])$（区间）
3. $f^{-1}(\{4\})$
4. $f^{-1}([0,4])$

思考题2：动脑题

问题：为什么函数定义要求"唯一确定"？如果允许多值会怎样？

思考方向：

• 确定性 vs 不确定性
• 多值函数的处理（如复变函数）
• 在计算机科学中的应用

---

词条2：函数复合与逆函数

官方解释

函数复合：如果$f:A\to B$，$g:B\to C$，则$g\circ f:A\to C$定义为$(g\circ f)(a)=g(f(a))$。

性质：

1. 结合律：$h\circ (g\circ f)=(h\circ g)\circ f$
2. 恒等函数：${\text{id}}_A:A\to A$，${\text{id}}_A(a)=a$
3. $f\circ {\text{id}}_A=f$，${\text{id}}_B\circ f=f$

逆函数：如果$f:A\to B$是双射，则存在$f^{-1}:B\to A$使得$f^{-1}\circ f={\text{id}}_A$，$f\circ f^{-1}={\text{id}}_B$。

兔狲老师解释

函数复合就像'流水线'。

小海豹举了个例子：设$f:\mathrm{学}\mathrm{生}\to \mathrm{成}\mathrm{绩}$，$g:\mathrm{成}\mathrm{绩}\to \mathrm{等}\mathrm{级}$

• $f(\mathrm{张}\mathrm{三})=85\mathrm{分}$
• $g(85\mathrm{分})=B\mathrm{等}\mathrm{级}$
• 那么$(g\circ f)(\mathrm{张}\mathrm{三})=g(f(\mathrm{张}\mathrm{三}))=g(85\mathrm{分})=B\mathrm{等}\mathrm{级}$

这就是复合：先由学生得到成绩，再由成绩得到等级。

逆函数的直观：

• 双射函数可逆：可以"原路返回"
• 加密与解密：加密函数$f$，解密函数$f^{-1}$
• 坐标变换：从坐标系A到B的变换$f$，从B回A的变换$f^{-1}$

思考题1：动手题

问题：设$f(x)=2x+1$，$g(x)=x^2-1$：

1. 计算$(f\circ g)(x)$和$(g\circ f)(x)$
2. 判断$f$和$g$是否可逆，若可逆求逆函数
3. 验证$(f^{-1}\circ f)(x)=x$

问题：证明：如果$f$和$g$都是双射，则$g\circ f$也是双射，且$(g\circ f{)}^{-1}=f^{-1}\circ g^{-1}$。

思考题2：动脑题

问题：为什么只有双射函数才有逆函数？单射或满射不行吗？

思考方向：

• 单射的"左逆"
• 满射的"右逆"
• 集合的势与可逆性

---

词条3：关系基础

官方解释

关系：集合$A$到$B$的关系$R$是$A\times B$的子集。若$(a,b)\in R$，记作$aRb$。

特殊关系：

1. 自反性：$\mathrm{\forall }a\in A$，$aRa$
2. 对称性：若$aRb$则$bRa$
3. 传递性：若$aRb$且$bRc$则$aRc$

等价关系：同时满足自反、对称、传递的关系。

等价类：$[a]=\{x\in A\mid xRa\}$，$a$所在的等价类。

兔狲老师解释

关系就像'配对'。

兔狲教授举例说：考虑整数集$\mathbb{Z}$上的'模3同余'关系：

• 定义：$a\equiv b(\mathrm{mod}3)$ 当且仅当 $3\mid (a-b)$
• 自反：$a\equiv a(\mathrm{mod}3)$
• 对称：若$a\equiv b$则$b\equiv a$
• 传递：若$a\equiv b$且$b\equiv c$则$a\equiv c$
• 等价类：$[0]=\{\dots ,-6,-3,0,3,6,\dots \}$，$[1]=\{\dots ,-5,-2,1,4,7,\dots \}$，$[2]=\{\dots ,-4,-1,2,5,8,\dots \}$

关系的应用：

• 数据库：表是关系的实例
• 社交网络：好友关系
• 图论：顶点间的关系

思考题1：动手题

问题：判断以下关系性质（自反、对称、传递）：

1. $\mathbb{R}$上的"$\le$"关系
2. 人的集合上的"是兄弟姐妹"关系
3. 三角形的集合上的"相似"关系
4. 整数的集合上的"差的绝对值$\le 1$"关系

问题：设$A=\{1,2,3,4\}$，关系$R=\{(1,1),(1,2),(2,1),(2,2),(3,3),(4,4)\}$

1. 判断$R$是否为等价关系
2. 若是，求所有等价类
3. 画出关系图

思考题2：动脑题

问题：等价关系为什么重要？它在数学中有什么应用？

思考方向：

• 商集与商空间
• 模运算与同余
• 分类与划分

---

词条4：偏序与格

官方解释

偏序关系：自反、反对称、传递的关系。通常记作$\le$。

反对称性：若$a\le b$且$b\le a$则$a=b$。

哈斯图：偏序关系的简化图，省略自反和传递边。

格：偏序集$(L,\le )$中任意两个元素都有最小上界（并）和最大下界（交）。

兔狲老师解释

偏序是"可以比较，但不一定都能比"。

小小猪的例子：考虑集合$\{1,2,3,4,6,12\}$上的整除关系：

• 1整除所有数
• 2整除4,6,12
• 3整除6,12
• 4整除12
• 6整除12
• 12只整除自己

这不是全序（比如2和3不能比较），但是偏序。

格的应用：

• 布尔代数：命题逻辑的格结构
• 子群格：群的子群形成的格
• 概念格：形式概念分析

思考题1：动手题

问题：画出以下偏序集的哈斯图：

1. 集合$\{1,2,3,4\}$上的整除关系
2. 集合$\{a,b,c\}$的幂集上的包含关系
3. 集合$\{2,3,4,6,8,12\}$上的整除关系

问题：判断以下是否为格：

1. 正整数集${\mathbb{N}}^{+}$上的整除关系
2. 实数集$\mathbb{R}$上的通常大小关系
3. 集合$\{a,b,c\}$的幂集上的包含关系

思考题2：动脑题

问题：格理论与计算机科学有什么关系？

思考方向：

• 类型理论中的子类型关系
• 程序分析中的抽象解释
• 数据库查询优化

---

词条5：递归定义与不动点

官方解释

递归定义：用自身定义自身，但必须有基础情形。

例子：阶乘函数

• 基础：$0!=1$
• 递归：$n!=n\cdot (n-1)!$（$n>0$）

不动点：函数$f$的不动点是满足$f(x)=x$的点$x$。

不动点定理：某些条件下，函数必有不动点。

兔狲老师解释

递归是"自我引用但有终点"。

小海豹举了个例子：斐波那契数列的递归定义：

• $F_0=0$，$F_1=1$
• $F_n=F_{n-1}+F_{n-2}$（$n\ge 2$）

每个数都依赖前两个数，但最终追溯到基础情形。

不动点的直观：

• 函数图像与对角线$y=x$的交点
• 平衡状态：输入=输出
• 在递归程序中的终止条件

思考题1：动手题

问题：用递归定义以下函数：

1. 求和：$S(n)=1+2+\cdots +n$
2. 幂函数：$\text{pow}(x,n)=x^n$
3. 最大公约数：$gcd(a,b)$

问题：求以下函数的不动点：

1. $f(x)=x^2$
2. $f(x)=2x$
3. $f(x)=\cos (x)$（数值近似）

思考题2：动脑题

问题：递归定义为什么不会导致无限循环？如何保证良定义？

思考方向：

• 良基关系
• 数学归纳法
• 在编程中的递归终止条件

---

总结：结构的语言

兔狲教授总结道：函数与关系是描述数学结构的通用语言：

1. 函数：确定性对应，描述变换和映射
2. 关系：一般性联系，描述比较和分类
3. 复合与逆：组合与反转，构建复杂系统
4. 等价与偏序：组织与排序，建立层次结构
5. 递归与不动点：自我引用与平衡，处理自相似系统

掌握这些概念，你就掌握了：

• 建模工具：将实际问题转化为数学结构
• 分析框架：理解复杂系统的内在联系
• 抽象能力：看到不同领域之间的共同模式
• 构造方法：从简单构件构建复杂对象

小小猪的感悟：原来数学概念不是孤立的，它们像乐高积木一样可以组合！

小海豹的期待：我已经准备好学习更高级的数学结构了！

下一章预告：我们将学习数列与极限，这是从离散到连续、从有限到无限的桥梁。