高等数学完全教程
前言:致读者
你正在翻开这本书,说明你做了一个很好的决定。无论你是想转行进入技术行业、为研究生考试做准备,还是单纯地被数学之美所吸引——这本书都是为你写的。
本书的假设是:你已经很久没有碰过数学了。你可能记得"加减乘除"和一些模糊的"方程"概念,但大部分知识已经还给了老师。没关系。这本书从最基础的地方开始,但不会像中学课本那样啰嗦——我们用成年人的理解力来重新建立这些概念。
本书的结构分为四个部分。第一篇是"基础衔接",帮你用最短的时间重新建立起学习高等数学所需要的基础工具。第二篇是"微积分核心",这是整个高等数学的基石,也是中国大学"高等数学"课程的核心内容。第三篇覆盖数学专业大二、大三的必修课程。第四篇是高年级选修专题。
每一章都遵循相同的节奏:先告诉你为什么需要这个概念(直觉),然后给出精确的定义,接着用例题来巩固理解,最后用定理来展示数学的力量。练习的答案可以点击展开。
准备好就开始吧。
符号与术语速查表
这一页是你阅读全书时随时可以翻回来查的"字典"。数学书里充满了符号,第一次看到会觉得像天书——但每个符号其实只是一个很短的名字。下面把它们按类别列出来,每个都附上大白话解释。
一、数集符号(数的"家族徽章")
数学家用特殊的空心粗体字母来表示一整类数,你在全书各处都会看到它们。
| 符号 | 读法 | 意思(大白话) |
|---|---|---|
| $\mathbb{N}$ | N(Natural) | 自然数:$0, 1, 2, 3, \ldots$ 就是你数数用的那些数。有的书从 $1$ 开始,本书从 $0$ 开始。 |
| $\mathbb{N}^+$ 或 $\mathbb{N}^*$ | N正 | 正整数:$1, 2, 3, \ldots$ 不含 $0$ 的自然数。 |
| $\mathbb{Z}$ | Z(Zahl,德语"数") | 整数:$\ldots, -2, -1, 0, 1, 2, \ldots$ 自然数加上负整数。 |
| $\mathbb{Q}$ | Q(Quotient,"商") | 有理数:所有能写成分数 $\frac{p}{q}$ 的数,包括整数($3 = \frac{3}{1}$)、有限小数($0.5$)和循环小数($0.333\ldots$)。 |
| $\mathbb{R}$ | R(Real) | 实数:数轴上每一个点都对应一个实数。包括有理数和无理数(如 $\sqrt{2}, \pi, e$)。你日常用到的数基本都是实数。 |
| $\mathbb{R}^+$ | R正 | 正实数:大于 $0$ 的实数。 |
| $\mathbb{C}$ | C(Complex) | 复数:形如 $a + bi$($a, b$ 是实数,$i^2 = -1$)的数。第13章会详细讲。 |
二、逻辑符号(数学的"语法词")
这些符号是数学证明的"连接词",就像中文里的"因为""所以""如果"。
| 符号 | 名称 | 意思(大白话) |
|---|---|---|
| $\forall$ | 全称量词("对于所有") | "对每一个都成立"。例如 $\forall x \in \mathbb{R}$ 就是"对每一个实数 $x$"。 |
| $\exists$ | 存在量词("存在") | "至少有一个"。例如 $\exists x > 0$ 就是"存在某个大于 $0$ 的 $x$"。 |
| $\exists!$ | 唯一存在 | "有且仅有一个"。 |
| $\neg$ 或 $\sim$ | 否定 | "不"、"非"。$\neg P$ 就是"$P$ 不成立"。 |
| $\land$ | 逻辑与(AND) | "并且"。$P \land Q$ 表示 $P$ 和 $Q$ 都成立。 |
| $\lor$ | 逻辑或(OR) | "或者"。$P \lor Q$ 表示 $P$ 和 $Q$ 至少一个成立。 |
| $\Rightarrow$ 或 $\implies$ | 蕴含(推出) | "如果…那么…"。$P \Rightarrow Q$ 表示"如果 $P$ 成立,则 $Q$ 也成立"。 |
| $\Leftrightarrow$ 或 $\iff$ | 等价(当且仅当) | "当且仅当"、"充要条件"。$P \Leftrightarrow Q$ 表示 $P$ 和 $Q$ 同时成立或同时不成立。 |
| $\mapsto$ | 映射到 | 表示一个对应规则。$x \mapsto x^2$ 意思是"把 $x$ 对应到 $x^2$"。 |
| $\therefore$ | 所以 | "因此"。用在推导结论前。 |
| $\because$ | 因为 | "由于"。用在给出理由前。 |
三、集合运算符号
集合就是"一堆东西的清单",这些符号描述集合之间的关系和操作。
| 符号 | 名称 | 意思(大白话) |
|---|---|---|
| $a \in A$ | 属于 | "$a$ 是集合 $A$ 的成员"。如 $3 \in \mathbb{Z}$($3$ 是整数)。 |
| $a \notin A$ | 不属于 | "$a$ 不是集合 $A$ 的成员"。如 $\sqrt{2} \notin \mathbb{Q}$。 |
| $A \subset B$ | 真子集 | "$A$ 的东西全在 $B$ 里,且 $A \neq B$"。$\mathbb{Z} \subset \mathbb{R}$(整数是实数的一部分)。 |
| $A \subseteq B$ | 子集 | "$A$ 的东西全在 $B$ 里",允许 $A = B$。 |
| $A \cup B$ | 并集 | "$A$ 和 $B$ 所有的东西合在一起"。$\{1,2\} \cup \{2,3\} = \{1,2,3\}$。 |
| $A \cap B$ | 交集 | "$A$ 和 $B$ 共有的东西"。$\{1,2\} \cap \{2,3\} = \{2\}$。 |
| $A \setminus B$ 或 $A - B$ | 差集 | "在 $A$ 里但不在 $B$ 里的东西"。$\{1,2,3\} \setminus \{2\} = \{1,3\}$。 |
| $A^c$ 或 $\overline{A}$ | 补集 | "不在 $A$ 里的所有东西"(需要事先约定一个全集)。 |
| $\varnothing$ 或 $\emptyset$ | 空集 | "什么都没有的集合"。如 $\{x \in \mathbb{R} \mid x^2 < 0\} = \varnothing$。 |
| $|A|$ 或 $\#A$ | 集合的基数/元素个数 | "$A$ 里有几个元素"。$|\{1,3,5\}| = 3$。 |
| $A \times B$ | 笛卡尔积 | "从 $A$ 取一个、$B$ 取一个,所有配对"。$\{1,2\} \times \{a,b\} = \{(1,a),(1,b),(2,a),(2,b)\}$。 |
| $\{x \mid P(x)\}$ | 集合构造 | "满足条件 $P$ 的所有 $x$ 组成的集合"。$\{x \in \mathbb{R} \mid x > 0\}$ 就是所有正实数。 |
四、比较与关系符号
| 符号 | 名称 | 意思(大白话) |
|---|---|---|
| $=$ | 等于 | 两边完全相同。 |
| $\neq$ | 不等于 | 两边不相同。 |
| $\approx$ | 约等于 | 两边近似相等。$\pi \approx 3.14$。 |
| $\equiv$ | 恒等于/定义为 | "永远等于"或"定义为"。$\sin^2 x + \cos^2 x \equiv 1$(对所有 $x$ 都成立)。 |
| $\sim$ | 等价于(渐近) | "趋于相同时"。$\sin x \sim x$($x \to 0$ 时二者比值趋向 $1$)。 |
| $\propto$ | 正比于 | "与…成正比"。$F \propto a$ 表示力与加速度成正比。 |
| $<$,$>$ | 小于,大于 | 严格大小关系。 |
| $\leq$,$\geq$ | 小于等于,大于等于 | 允许相等的大小关系。 |
| $\ll$,$\gg$ | 远小于,远大于 | "比…小/大得多"。$0.001 \ll 1$。 |
五、运算与分析符号
这些是你做微积分时会天天见面的符号。
| 符号 | 名称 | 意思(大白话) |
|---|---|---|
| $\pm$ | 正负号 | "加或减"。$x = 2 \pm 1$ 表示 $x = 3$ 或 $x = 1$。 |
| $\mp$ | 负正号 | 和 $\pm$ 反着用。$a \pm b \mp c$ 表示 $(a+b-c)$ 或 $(a-b+c)$。 |
| $|x|$ | 绝对值 | $x$ 到 $0$ 的距离,永远非负。$|-3| = 3$。 |
| $\sqrt{x}$ | 平方根 | "哪个数的平方等于 $x$"。$\sqrt{9} = 3$。 |
| $\sqrt[n]{x}$ | $n$ 次方根 | "哪个数的 $n$ 次方等于 $x$"。$\sqrt[3]{8} = 2$。 |
| $x^n$ | 幂 | "$x$ 的 $n$ 次方"。$2^3 = 8$。 |
| $n!$ | 阶乘 | "$1 \times 2 \times 3 \times \cdots \times n$"。$4! = 24$。规定 $0! = 1$。 |
| $\displaystyle\sum_{i=1}^{n}$ | 求和(Sigma) | "把 $i$ 从 $1$ 到 $n$ 代入,全部加起来"。$\sum_{i=1}^{3} i = 1+2+3 = 6$。 |
| $\displaystyle\prod_{i=1}^{n}$ | 求积(Pi) | "把 $i$ 从 $1$ 到 $n$ 代入,全部乘起来"。$\prod_{i=1}^{3} i = 1 \times 2 \times 3 = 6$。 |
| $\displaystyle\lim_{x \to a}$ | 极限 | "当 $x$ 无限接近 $a$ 时,表达式的值趋向什么"。第5章核心概念。 |
| $f'(x)$ 或 $\frac{df}{dx}$ | 导数 | "函数 $f$ 在 $x$ 处的变化率"(切线斜率)。第6章核心概念。 |
| $\frac{\partial f}{\partial x}$ | 偏导数 | 多元函数对一个变量求导,其余变量当常数看。第9章。 |
| $\displaystyle\int$ | 积分 | "曲线下面的面积",求导的逆运算。第7章。 |
| $\displaystyle\int_a^b$ | 定积分 | "从 $a$ 到 $b$ 这段曲线下方的面积"。 |
| $\partial$ | 偏微分符号 | 读作"偏"(partial),用在多元函数的导数中。 |
| $\nabla$ | Nabla / 梯度算子 | 读作"纳不拉"。一个"向量化的导数",指向函数增长最快的方向。 |
| $\circ$ | 复合 | "函数套函数"。$(f \circ g)(x) = f(g(x))$。 |
六、希腊字母表
数学里大量使用希腊字母,每个字母在不同场景有不同含义。下面列出最常用的。
| 大写 | 小写 | 英文名 | 数学中常见含义 |
|---|---|---|---|
| $\mathrm{A}$ | $\alpha$ | alpha | 角度、系数、显著性水平(统计) |
| $\mathrm{B}$ | $\beta$ | beta | 角度、回归系数 |
| $\Gamma$ | $\gamma$ | gamma | Gamma 函数(阶乘的推广)、欧拉常数 |
| $\Delta$ | $\delta$ | delta | $\Delta$:变化量($\Delta x = x_2 - x_1$)。$\delta$:微小量、极限定义中的误差容限 |
| $\mathrm{E}$ | $\varepsilon$ 或 $\epsilon$ | epsilon | 极小的正数,极限和连续定义中的精度("任意给定的小量") |
| $\mathrm{Z}$ | $\zeta$ | zeta | Riemann zeta 函数 $\zeta(s)$ |
| $\mathrm{H}$ | $\eta$ | eta | 效率、粘度 |
| $\Theta$ | $\theta$ | theta | 角度(最常用!)、极坐标中的角 |
| $\Lambda$ | $\lambda$ | lambda | 特征值(线性代数)、波长、拉格朗日乘子 |
| $\mathrm{M}$ | $\mu$ | mu | 均值(统计)、摩擦系数 |
| $\Xi$ | $\xi$ | xi | 随机变量、中间变量 |
| $\Pi$ | $\pi$ | pi | $\pi \approx 3.14159\ldots$(圆周率)。$\Pi$ 表示连乘 |
| $\Sigma$ | $\sigma$ | sigma | $\Sigma$:求和。$\sigma$:标准差(统计)、应力 |
| $\mathrm{T}$ | $\tau$ | tau | 时间参数、力矩 |
| $\Phi$ | $\varphi$ 或 $\phi$ | phi | 角度、黄金比 $\phi \approx 1.618$、正态分布的累积函数 $\Phi$ |
| $\Psi$ | $\psi$ | psi | 波函数(量子力学)、角度 |
| $\Omega$ | $\omega$ | omega | $\Omega$:样本空间(概率)。$\omega$:角速度、复数中的三次单位根 |
七、常用缩写与术语
数学书和论文中有一些英文缩写,虽然用中文教材不一定总碰到,但了解一下很有帮助。
| 缩写 | 全称 | 意思(大白话) |
|---|---|---|
| iff | if and only if | "当且仅当"——充要条件。$A$ iff $B$ 表示 $A$ 和 $B$ 等价。 |
| s.t. | such that | "使得"、"满足"。$\exists x \in \mathbb{R}$ s.t. $x^2 = 2$。 |
| w.r.t. | with respect to | "关于"、"对…求导"。"对 $x$ 求导"就是 differentiate w.r.t. $x$。 |
| w.l.o.g. | without loss of generality | "不失一般性"——只证一种情况,其余类似。 |
| Q.E.D. | quod erat demonstrandum | "证毕"——证明结束了。现在常用 $\blacksquare$(黑方块)代替。 |
| i.e. | id est | "也就是说"、"即"。 |
| e.g. | exempli gratia | "例如"。 |
| etc. | et cetera | "等等"、"以此类推"。 |
| vs. | versus | "对比"、"与…相对"。 |
八、核心中文术语解释
下面把全书反复出现的重要概念用大白话解释一遍,方便你随时回查。
| 术语 | 大白话解释 |
|---|---|
| 函数 | 一个"加工机器":输入一个数(自变量),按固定规则加工,输出一个数(因变量)。记为 $f(x)$,$x$ 是输入,$f(x)$ 是输出。 |
| 定义域 | 函数"能接受"的所有输入值的范围。比如 $f(x) = \frac{1}{x}$ 的定义域不包括 $0$(因为除以 $0$ 没意义)。 |
| 值域 | 函数所有可能的输出值的集合。 |
| 极限 | 当输入值无限接近某个数时,输出值趋向的目标。"差一点点就到了"——那个"到了"的值就是极限。 |
| 连续 | 函数图像"一笔画成、不用抬笔"。严格定义用极限:$\lim_{x \to a} f(x) = f(a)$。 |
| 导数 | 函数在某一点的"瞬时变化率",几何上就是切线的斜率。速度是位移的导数,加速度是速度的导数。 |
| 微分 | 导数的"近亲"。$dy = f'(x)\,dx$,表示函数值的微小变化量。在近似计算中非常有用。 |
| 积分 | 求导的逆运算。几何意义是曲线下的面积。"把无穷多个无穷小的量加起来"。 |
| 原函数 | 如果 $F'(x) = f(x)$,那 $F$ 就是 $f$ 的一个原函数。就像"除法是乘法的逆运算"一样,积分是求导的逆运算。 |
| 级数 | 无穷多个数加起来:$a_1 + a_2 + a_3 + \cdots$。关键问题是"加起来能不能得到一个有限的数"(收敛 vs 发散)。 |
| 收敛 | 一个过程最终趋向一个确定的有限值。比如 $\frac{1}{2} + \frac{1}{4} + \frac{1}{8} + \cdots = 1$,这个级数收敛。 |
| 发散 | 收敛的反面:加起来趋向无穷或不停震荡,没有一个确定的"最终值"。$1 + 2 + 3 + \cdots$ 发散。 |
| 向量 | 有大小又有方向的量。用箭头表示:$\vec{v} = (3, 4)$ 表示"向右 $3$,向上 $4$"。速度、力都是向量。 |
| 矩阵 | 排列成矩形阵列的数。可以理解为"对向量的变换操作"——矩阵乘向量 = 把向量旋转/拉伸。 |
| 行列式 | 方阵的一个数值,反映矩阵"变换"对面积的缩放倍数。行列式为 $0$ 意味着矩阵把空间"压扁"了。 |
| 特征值/特征向量 | 矩阵作用在某些特殊向量上只是拉伸(不改变方向),拉伸倍数就是特征值,那些向量就是特征向量。 |
| 微分方程 | 含有未知函数及其导数的方程。解微分方程就是找出那个未知函数。物理定律几乎都是微分方程。 |
| 概率 | 某件事发生的可能性大小,用 $0$ 到 $1$ 之间的数表示。$0$ = 不可能,$1$ = 必然。 |
| 期望(均值) | 随机变量"平均而言"的值。掷骰子的期望是 $3.5$(虽然你永远掷不出 $3.5$)。 |
| 方差 | 数据"散开"的程度。方差小 = 数据扎堆在均值附近;方差大 = 数据很分散。 |
| 映射 | 从一个集合到另一个集合的对应规则。函数是映射的特殊情况。$f: A \to B$ 表示"从集合 $A$ 映射到集合 $B$"。 |
| 同构 | 两个看似不同的数学结构之间存在完美的对应关系——它们在本质上"长得一样"。 |
| 定理 | 经过严格证明的数学命题。是数学的"硬知识"。 |
| 引理 | 为了证明大定理而先证的"小定理",是铺垫用的工具。 |
| 推论 | 从定理直接推导出的结果,通常比定理本身更容易应用。 |
不需要一次记住所有符号。第一次遇到看不懂的符号时,翻回这一页查一下就好。多看几次自然就记住了——就像你当年学 Java 的语法符号一样,用着用着就熟了。
第一篇 · 基础衔接
快速重建初高中数学核心工具,为微积分做好准备
第1章 数、运算与方程
1.1 数的家族
数学的故事,从"数数"开始。人类最早认识的是自然数:$1, 2, 3, \ldots$。后来为了表示"没有",引入了 $0$;为了做减法,引入了负整数。自然数加上负整数,就构成了整数集 $\mathbb{Z}$。
但整数不够用。把一个苹果分给两个人,每人得到多少?这就引出了有理数——所有能写成 $\frac{p}{q}$(其中 $p, q$ 是整数,$q \neq 0$)的数。有理数集记为 $\mathbb{Q}$。
古希腊人发现了一件令人震惊的事:$\sqrt{2}$(边长为 $1$ 的正方形的对角线长度)无法写成任何分数。这类数叫做无理数。有理数和无理数合在一起,填满了整条数轴,构成实数集 $\mathbb{R}$。
实数集 $\mathbb{R}$ 包含所有有理数和无理数。它的最重要性质是完备性:数轴上没有"洞"——每一个点都对应一个实数,每一个实数都对应数轴上的一个点。这个性质是整个微积分的地基。
| 数集 | 符号 | 包含 | 例子 |
|---|---|---|---|
| 自然数 | $\mathbb{N}$ | $0, 1, 2, 3, \ldots$ | $0, 5, 100$ |
| 整数 | $\mathbb{Z}$ | 自然数 + 负整数 | $-3, 0, 7$ |
| 有理数 | $\mathbb{Q}$ | 所有分数 $\frac{p}{q}$ | $\frac{1}{2}, -\frac{3}{4}, 5$ |
| 实数 | $\mathbb{R}$ | 有理数 + 无理数 | $\sqrt{2}, \pi, e$ |
| 复数 | $\mathbb{C}$ | $a + bi$($i^2 = -1$) | $3+4i, -i, 2$ |
1.2 运算律
实数上的加减乘除遵循一些基本规律,这些规律简单到你每天都在使用,但明确地写出来有助于后续推导:
- 交换律:$a + b = b + a$,$a \cdot b = b \cdot a$
- 结合律:$(a+b)+c = a+(b+c)$,$(ab)c = a(bc)$
- 分配律:$a(b+c) = ab + ac$ — 这是展开和因式分解的基础
- 单位元:$a+0 = a$,$a \cdot 1 = a$
- 逆元:$a + (-a) = 0$,$a \cdot \frac{1}{a} = 1$($a \neq 0$)
1.3 方程与不等式
方程就是含有未知数的等式,解方程就是找到使等式成立的未知数值。
一元一次方程
形如 $ax + b = 0$($a \neq 0$),解为 $x = -\frac{b}{a}$。
一元二次方程
形如 $ax^2 + bx + c = 0$($a \neq 0$)。它的求根公式是你必须牢记的:
其中 $\Delta = b^2 - 4ac$ 称为判别式:当 $\Delta > 0$ 时有两个不等实根;$\Delta = 0$ 时有两个相等实根(一个重根);$\Delta < 0$ 时无实根(在复数域内有两个共轭复根)。
解方程 $2x^2 - 5x + 3 = 0$。
解:$a=2, b=-5, c=3$。判别式 $\Delta = (-5)^2 - 4(2)(3) = 25 - 24 = 1 > 0$。
$$x = \frac{5 \pm \sqrt{1}}{4} = \frac{5 \pm 1}{4}$$
所以 $x_1 = \frac{6}{4} = \frac{3}{2}$,$x_2 = \frac{4}{4} = 1$。
因式分解
因式分解是把多项式写成几个因式之积的过程,它是解方程和化简表达式的利器。最常用的公式:
- $a^2 - b^2 = (a+b)(a-b)$(平方差)
- $a^2 + 2ab + b^2 = (a+b)^2$(完全平方)
- $a^3 + b^3 = (a+b)(a^2 - ab + b^2)$(立方和)
- $a^3 - b^3 = (a-b)(a^2 + ab + b^2)$(立方差)
不等式
不等式表达的是"大小关系"。最基本的性质:
- 若 $a > b$,则 $a + c > b + c$(两边加同一个数,方向不变)
- 若 $a > b$ 且 $c > 0$,则 $ac > bc$(乘以正数,方向不变)
- 若 $a > b$ 且 $c < 0$,则 $ac < bc$(乘以负数,方向反转)
绝对值 $|x|$ 表示 $x$ 到原点的距离:
最重要的不等式之一是三角不等式:$|a + b| \leq |a| + |b|$。直觉上,它说的就是"两点之间直线最短"。
练习 1
第2章 函数家族
2.1 什么是函数?
函数是数学中最核心的概念之一。直觉上,函数就像一台"机器":你放进去一个数(输入/自变量),它按照某个规则给你一个唯一的数(输出/因变量)。
设 $D$ 是一个非空实数集合。如果对于 $D$ 中的每一个数 $x$,按照某个对应法则 $f$,都有唯一确定的实数 $y$ 与之对应,则称 $f$ 是定义在 $D$ 上的函数,记为 $y = f(x)$。集合 $D$ 称为定义域,所有输出值 $f(D) = \{f(x) \mid x \in D\}$ 称为值域。
2.2 几类基本函数
幂函数 $f(x) = x^n$
当 $n=1$ 时是直线 $y=x$;$n=2$ 是开口向上的抛物线 $y=x^2$;$n=-1$ 是反比例函数 $y = \frac{1}{x}$。不同的 $n$ 给出形态迥异的曲线,但它们都过点 $(1,1)$。
指数函数 $f(x) = a^x$($a > 0, a \neq 1$)
指数函数描述的是"成倍增长"或"指数衰减"的现象。最重要的底数是自然常数 $e \approx 2.71828$,函数 $f(x) = e^x$ 是整个微积分的明星——它的导数就是它自己。
对数函数 $f(x) = \log_a x$
对数函数是指数函数的反函数。$\ln x = \log_e x$ 称为自然对数。对数把"乘法"变成"加法":$\ln(ab) = \ln a + \ln b$,这个性质在微积分中极为重要。
多项式函数
$f(x) = a_n x^n + a_{n-1} x^{n-1} + \cdots + a_1 x + a_0$。多项式是最好对付的函数——处处连续、处处可导,是微积分入门的最佳练习对象。
有理函数
两个多项式之比:$f(x) = \frac{P(x)}{Q(x)}$。当分母为零时函数无定义,图像上可能出现渐近线(函数值趋向无穷)。
2.3 函数的性质
奇偶性
如果对所有 $x$ 都有 $f(-x) = f(x)$,则 $f$ 是偶函数(图像关于 $y$ 轴对称)。如果 $f(-x) = -f(x)$,则 $f$ 是奇函数(图像关于原点对称)。
$f(x) = x^2$ 是偶函数,因为 $f(-x) = (-x)^2 = x^2 = f(x)$。
$g(x) = x^3$ 是奇函数,因为 $g(-x) = (-x)^3 = -x^3 = -g(x)$。
单调性
如果在某个区间内,$x_1 < x_2$ 总能推出 $f(x_1) < f(x_2)$,则 $f$ 在该区间上单调递增。类似可定义单调递减。将来学了导数之后,你会知道:$f'(x) > 0 \implies f$ 递增。
周期性
如果存在 $T > 0$ 使得 $f(x + T) = f(x)$ 对所有 $x$ 成立,则 $f$ 是周期函数,最小的这样的 $T$ 称为基本周期。三角函数是典型的周期函数。
反函数
如果 $f$ 是一一对应的(不同的 $x$ 给出不同的 $y$),则存在反函数 $f^{-1}$,满足 $f^{-1}(f(x)) = x$。图像上,$f$ 和 $f^{-1}$ 关于直线 $y = x$ 对称。
2.4 复合函数
把一个函数的输出作为另一个函数的输入:$(f \circ g)(x) = f(g(x))$。例如,$h(x) = \sin(x^2)$ 可以看作 $g(x) = x^2$ 和 $f(u) = \sin u$ 的复合。复合函数的求导法则是微积分中的核心技术(链式法则,第6章)。
练习 2
第3章 三角学基础
3.1 角度的两种度量
日常生活中我们用"度"(°)来量角度,一圈 $360°$。但在高等数学中,标准单位是弧度(radian)。定义:一个角所对的弧长等于半径时,这个角就是 $1$ 弧度。因为圆的周长是 $2\pi r$,所以一圈等于 $2\pi$ 弧度。
3.2 三角函数的定义
在单位圆(半径为 $1$ 的圆)上,角 $\theta$ 对应的点坐标为 $(\cos\theta, \sin\theta)$。这就是三角函数的几何定义:
其余三角函数由此派生:
3.3 必须记住的公式
勾股关系
和角公式
二倍角公式
半角公式(降幂公式)
由二倍角公式反推,得到在积分中极其常用的降幂公式:
3.4 三角函数的图像
$\sin x$ 和 $\cos x$ 都是周期为 $2\pi$ 的波形曲线,值域为 $[-1, 1]$。$\cos x$ 就是 $\sin x$ 向左平移 $\frac{\pi}{2}$。$\tan x$ 的周期为 $\pi$,在 $x = \frac{\pi}{2} + k\pi$ 处有垂直渐近线。
化简 $\sin^2 x + \tan^2 x \cdot \cos^2 x$。
解:$\tan^2 x \cdot \cos^2 x = \frac{\sin^2 x}{\cos^2 x} \cdot \cos^2 x = \sin^2 x$。
所以原式 $= \sin^2 x + \sin^2 x = 2\sin^2 x = 1 - \cos 2x$(最后一步用了降幂公式的反向)。
3.5 特殊角的值
| $\theta$ | $0$ | $\frac{\pi}{6}$ | $\frac{\pi}{4}$ | $\frac{\pi}{3}$ | $\frac{\pi}{2}$ |
|---|---|---|---|---|---|
| $\sin\theta$ | $0$ | $\frac{1}{2}$ | $\frac{\sqrt{2}}{2}$ | $\frac{\sqrt{3}}{2}$ | $1$ |
| $\cos\theta$ | $1$ | $\frac{\sqrt{3}}{2}$ | $\frac{\sqrt{2}}{2}$ | $\frac{1}{2}$ | $0$ |
| $\tan\theta$ | $0$ | $\frac{\sqrt{3}}{3}$ | $1$ | $\sqrt{3}$ | 不存在 |
练习 3
第4章 几何与向量初步
4.1 坐标几何
笛卡尔的伟大发明——用数字来描述几何。在平面直角坐标系中,每个点由一对数 $(x, y)$ 确定。两点 $A(x_1, y_1)$ 和 $B(x_2, y_2)$ 之间的距离由勾股定理给出:
4.2 直线与圆
直线方程最常用的形式:斜截式 $y = kx + b$($k$ 为斜率,$b$ 为截距),以及一般式 $Ax + By + C = 0$。
圆的方程:圆心 $(a, b)$,半径 $r$ 的圆为 $(x-a)^2 + (y-b)^2 = r^2$。
4.3 向量
向量是既有大小又有方向的量。在平面上,向量可以写为 $\vec{v} = (v_1, v_2)$。三维空间中则是 $\vec{v} = (v_1, v_2, v_3)$。
向量的基本运算
- 加法:$\vec{u} + \vec{v} = (u_1 + v_1, u_2 + v_2)$(平行四边形法则)
- 数乘:$c\vec{v} = (cv_1, cv_2)$(缩放向量)
- 点积(内积):$\vec{u} \cdot \vec{v} = u_1v_1 + u_2v_2 = |\vec{u}||\vec{v}|\cos\theta$
- 模(长度):$|\vec{v}| = \sqrt{v_1^2 + v_2^2}$
叉积(仅三维)
三维向量的叉积 $\vec{u} \times \vec{v}$ 给出一个与 $\vec{u}$、$\vec{v}$ 都垂直的新向量,其模等于 $|\vec{u}||\vec{v}|\sin\theta$,几何意义是以 $\vec{u}$、$\vec{v}$ 为边的平行四边形的面积。
练习 4
第二篇 · 微积分核心
高等数学的基石——极限、微分与积分
第5章 极限与连续
5.1 为什么需要极限?
在初等数学中,你处理的都是"确定的值"。但微积分关心的是"趋势"——当某个量越来越接近某个值时,另一个量会怎样?
5.2 极限的直观定义
当 $x$ 无限接近 $a$(但不等于 $a$)时,如果 $f(x)$ 无限接近某个确定的值 $L$,就说 $f(x)$ 当 $x$ 趋向 $a$ 时的极限是 $L$,记为:
$$\lim_{x \to a} f(x) = L$$
求 $\lim_{x \to 2} \frac{x^2 - 4}{x - 2}$。
分析:直接代入 $x=2$ 得到 $\frac{0}{0}$,这是不定型。但我们可以因式分解:
$$\frac{x^2 - 4}{x - 2} = \frac{(x-2)(x+2)}{x-2} = x + 2 \quad (x \neq 2)$$
当 $x \to 2$ 时,$x+2 \to 4$。所以极限为 $4$。
注意:函数在 $x=2$ 处甚至没有定义,但极限依然存在。这就是极限的力量——它关注的是"附近的趋势",而不是"那一点的值"。
5.3 极限的严格定义($\varepsilon$-$\delta$ 语言)
这是整个微积分中最重要的定义之一。它把"无限接近"这个模糊的说法变成了精确的数学语言。
$\lim_{x \to a} f(x) = L$ 的含义是:对任意 $\varepsilon > 0$,存在 $\delta > 0$,使得当 $0 < |x - a| < \delta$ 时,有 $|f(x) - L| < \varepsilon$。
把它看作一场"挑战-回应"的游戏。对手给你任意小的误差范围 $\varepsilon$("你能保证 $f(x)$ 和 $L$ 的距离小于 $0.001$ 吗?")。你需要找到一个 $\delta$("只要 $x$ 和 $a$ 的距离小于 $\delta$,我就能保证")。如果你对任何挑战都能回应,极限就存在。
5.4 极限的运算法则
如果 $\lim f(x) = L$,$\lim g(x) = M$,则:
- $\lim [f(x) \pm g(x)] = L \pm M$
- $\lim [f(x) \cdot g(x)] = L \cdot M$
- $\lim \frac{f(x)}{g(x)} = \frac{L}{M}$($M \neq 0$)
- $\lim [f(x)]^n = L^n$
5.5 两个重要极限
$$\lim_{x \to 0} \frac{\sin x}{x} = 1$$
直觉:当 $x$ 很小时,$\sin x \approx x$。在单位圆上,弧长 $x$ 和对应的弦长 $\sin x$ 几乎一样。
$$\lim_{x \to \infty} \left(1 + \frac{1}{x}\right)^x = e \approx 2.71828\ldots$$
直觉:这就是自然常数 $e$ 的定义。它来自"连续复利"的思想——如果年利率是 $100\%$,一年内无限次复利,最终得到的增长倍数就是 $e$。
5.6 无穷小与无穷大
无穷小:极限为 $0$ 的量。例如当 $x \to 0$ 时,$x$, $x^2$, $\sin x$ 都是无穷小。
无穷大:绝对值无限增大的量。记为 $x \to \infty$ 或 $f(x) \to \infty$。
等价无穷小(极其实用)
当 $x \to 0$ 时:
在求极限时,分子中的无穷小可以用其等价形式替换,大大简化计算。
求 $\lim_{x \to 0} \frac{\sin 3x}{\tan 5x}$。
解:当 $x \to 0$ 时,$\sin 3x \sim 3x$,$\tan 5x \sim 5x$。所以:
$$\lim_{x \to 0} \frac{\sin 3x}{\tan 5x} = \lim_{x \to 0} \frac{3x}{5x} = \frac{3}{5}$$
5.7 连续函数
函数 $f$ 在点 $a$ 处连续,当且仅当:(1) $f(a)$ 有定义;(2) $\lim_{x \to a} f(x)$ 存在;(3) $\lim_{x \to a} f(x) = f(a)$。直觉上:画图像时不用"抬笔"。
如果 $f$ 在 $[a,b]$ 上连续,且 $f(a) \neq f(b)$,则 $f$ 在 $(a,b)$ 内取到 $f(a)$ 和 $f(b)$ 之间的每一个值。
推论(零点定理):如果 $f(a) \cdot f(b) < 0$(两端异号),则 $(a,b)$ 内至少有一个零点。这就是"二分法求根"的理论依据。
如果 $f$ 在闭区间 $[a,b]$ 上连续,则 $f$ 在该区间上一定有最大值和最小值(最值定理),一定是有界的(有界定理)。
练习 5
5.8 更多生活实例
你的手机电量 $E(t)$ 随时间 $t$ 变化。当你插上充电器,电量逐渐增加,但越接近满电,充得越慢——这就是一个"趋向极限"的过程。$\lim_{t \to \infty} E(t) = 100\%$。你永远"理论上"到不了 $100\%$,但实际上一段时间后就满了。
你存 1 万元,年利率 $5\%$。如果一年复利一次,年底有 $10000 \times 1.05 = 10500$ 元。如果按月复利:$10000 \times (1+\frac{0.05}{12})^{12} \approx 10511.6$ 元。如果按天复利呢?按小时呢?如果连续复利呢?答案是 $10000 \times e^{0.05} \approx 10512.7$ 元。这里的 $e$ 就是那个"第二个重要极限"!所以 $e$ 不是数学家凭空编出来的,它是从"连续复利"这个非常实际的问题里长出来的。
一种病毒,每个感染者平均传染 2 个人。第 1 天 1 人感染,第 2 天 2 人,第 3 天 4 人……第 $n$ 天 $2^{n-1}$ 人。30 天后理论上是 $2^{29} \approx 5.4$ 亿。但现实中不会这样——因为 susceptible 的人越来越少,传播速度会"趋向"零。这就是 logistic 模型,它有一个"上限"(承载极限),函数趋向上限的过程就是一个极限过程。
📋 第5章 考题专区
以下题目模拟大学期末考试风格,由易到难。建议先自己做,再看答案。
一、基础题(送分题,必须拿下)
二、提高题(中等难度,考试常考)
三、挑战题(拔高,考研/竞赛水平)
第6章 导数与微分
6.1 导数的概念
如果说极限是微积分的地基,那么导数就是建在地基上的第一座大厦。
你开车时,速度表显示的是某一"瞬间"的速度——这就是导数。它回答的问题是:在这个精确的时刻,变化有多快?
几何上:导数就是函数图像在某一点处的切线斜率。
函数 $f$ 在点 $x_0$ 处的导数定义为:
如果这个极限存在,就说 $f$ 在 $x_0$ 处可导。可导一定连续,但连续不一定可导(例如 $f(x) = |x|$ 在 $x=0$ 处连续但不可导)。
用定义求 $f(x) = x^2$ 的导数。
解:
$$f'(x) = \lim_{h \to 0} \frac{(x+h)^2 - x^2}{h} = \lim_{h \to 0} \frac{x^2 + 2xh + h^2 - x^2}{h} = \lim_{h \to 0} \frac{2xh + h^2}{h} = \lim_{h \to 0} (2x + h) = 2x$$
所以 $(x^2)' = 2x$。在 $x=3$ 处,切线斜率为 $6$。
6.2 基本导数公式表
以下公式必须烂熟于心,它们是求导的"乘法表":
| 函数 $f(x)$ | 导数 $f'(x)$ |
|---|---|
| $c$(常数) | $0$ |
| $x^n$ | $nx^{n-1}$ |
| $\sin x$ | $\cos x$ |
| $\cos x$ | $-\sin x$ |
| $\tan x$ | $\sec^2 x$ |
| $e^x$ | $e^x$ |
| $a^x$ | $a^x \ln a$ |
| $\ln x$ | $\frac{1}{x}$ |
| $\log_a x$ | $\frac{1}{x \ln a}$ |
| $\arcsin x$ | $\frac{1}{\sqrt{1-x^2}}$ |
| $\arctan x$ | $\frac{1}{1+x^2}$ |
6.3 求导法则
四则运算
链式法则(最重要的求导法则)
如果 $y = f(g(x))$,则:
直觉:外层对外层求导,乘以内层的导数。像"剥洋葱"一样一层一层来。
求 $y = e^{\sin(x^2)}$ 的导数。
解:这是三层复合:$y = e^u$,$u = \sin v$,$v = x^2$。链式法则:
$$y' = e^u \cdot u' = e^{\sin(x^2)} \cdot \cos(x^2) \cdot 2x = 2x\cos(x^2) \cdot e^{\sin(x^2)}$$
6.4 隐函数求导与参数方程求导
有时 $y$ 不是显式地写成 $x$ 的函数,而是由方程 $F(x, y) = 0$ 隐式定义。此时对方程两边同时对 $x$ 求导,把 $y$ 当作 $x$ 的函数(用到链式法则),然后解出 $y'$。
圆 $x^2 + y^2 = 25$,求 $\frac{dy}{dx}$。
解:两边对 $x$ 求导:$2x + 2y \cdot y' = 0$,解得 $y' = -\frac{x}{y}$。
在点 $(3, 4)$ 处,$y' = -\frac{3}{4}$。这就是过 $(3,4)$ 的切线斜率。
6.5 高阶导数
对 $f'(x)$ 再求导得到 $f''(x)$(二阶导数),以此类推。$f''(x)$ 描述的是"变化率的变化率"——物理上就是加速度。记号:$f'', f''', f^{(4)}, \ldots, f^{(n)}$ 或 $\frac{d^2y}{dx^2}, \frac{d^3y}{dx^3}, \ldots$
6.6 导数的应用
函数的单调性
$f'(x) > 0 \implies f$ 在该区间递增;$f'(x) < 0 \implies f$ 递减。
极值
极值点(局部最大/最小值点)一定是 $f'(x_0) = 0$ 或 $f'$ 不存在的点(临界点)。判断方法:一阶导数变号,或二阶导数 $f''(x_0) \neq 0$($f'' < 0$ 为极大,$f'' > 0$ 为极小)。
凹凸性与拐点
$f''(x) > 0$ 时图像凹(下凸),$f''(x) < 0$ 时图像凸(上凸)。凹凸性改变的点叫拐点。
洛必达法则
如果 $\lim \frac{f(x)}{g(x)}$ 是 $\frac{0}{0}$ 或 $\frac{\infty}{\infty}$ 型不定式,且 $\lim \frac{f'(x)}{g'(x)}$ 存在(或为 $\pm\infty$),则:
直觉:当两个函数都趋向 $0$ 或都趋向无穷时,"谁变化更快"决定了比值的极限。
求 $\lim_{x \to 0} \frac{e^x - 1 - x}{x^2}$。
解:这是 $\frac{0}{0}$ 型。洛必达一次:$\lim_{x \to 0} \frac{e^x - 1}{2x}$,还是 $\frac{0}{0}$。再洛必达:$\lim_{x \to 0} \frac{e^x}{2} = \frac{1}{2}$。
泰勒公式
如果 $f$ 在 $x_0$ 处有 $n$ 阶导数,则:
当 $x_0 = 0$ 时称为麦克劳林公式。常用的展开:
练习 6
6.7 导数在生活中的例子
你开车从家到公司,15公里用了30分钟。平均速度是 $30$ km/h。但你路上不可能一直是30——可能等红灯时是 $0$,在高架上跑到 $80$。你低头看速度表的那一瞬间,上面显示的数字就是瞬时速度,也就是路程对时间的导数 $v(t) = s'(t)$。再看一眼加速的感觉?那就是二阶导数——加速度 $a(t) = v'(t) = s''(t)$。
你开了一家奶茶店。每杯成本 5 元,定价 $p$ 元。根据经验,定价越高买的人越少:日销量 $Q = 200 - 10p$。日利润 $L = (p-5)(200-10p) = -10p^2 + 250p - 1000$。怎么定价利润最大?求导:$L' = -20p + 250 = 0 \implies p = 12.5$ 元。$L'' = -20 < 0$ 确认是极大值。所以定价 12.5 元利润最大,每天能赚 $L(12.5) = 562.5$ 元。这就是导数在商业中的应用。
假设你的体重 $W(t)$(公斤)随时间 $t$(天)变化。$W'(t) = -0.1$ 意味着每天减 0.1 公斤。如果 $W'(t)$ 本身也在变化(比如 $W'(t)$ 越来越接近 $0$),说明减肥速度在放慢——这在数学上就是二阶导数 $W''(t) > 0$(减速递减)。现实中这很常见:初期掉秤快,后面越来越慢。
📋 第6章 考题专区
导数是考试的重中之重,几乎每道题都会用到。务必熟练掌握。
一、基础题(求导计算,必须满分)
二、提高题(应用与综合)
三、挑战题(考研水平)
第7章 积分学
7.1 不定积分——导数的逆运算
如果导数回答的是"变化的速度是多少",那么不定积分回答的是反过来——"已知速度,原来的位置是什么?"。它是导数的逆运算。
如果 $F'(x) = f(x)$,则 $F(x)$ 是 $f(x)$ 的一个原函数。$f$ 的所有原函数的集合称为 $f$ 的不定积分:
其中 $C$ 是任意常数(积分常数)。
7.2 基本积分公式
| $\int f(x)\,dx$ | $= F(x) + C$ |
|---|---|
| $\int x^n\,dx \quad (n \neq -1)$ | $\frac{x^{n+1}}{n+1} + C$ |
| $\int \frac{1}{x}\,dx$ | $\ln|x| + C$ |
| $\int e^x\,dx$ | $e^x + C$ |
| $\int a^x\,dx$ | $\frac{a^x}{\ln a} + C$ |
| $\int \sin x\,dx$ | $-\cos x + C$ |
| $\int \cos x\,dx$ | $\sin x + C$ |
| $\int \sec^2 x\,dx$ | $\tan x + C$ |
| $\int \frac{1}{1+x^2}\,dx$ | $\arctan x + C$ |
| $\int \frac{1}{\sqrt{1-x^2}}\,dx$ | $\arcsin x + C$ |
7.3 换元积分法
如果 $\int f(u)\,du = F(u) + C$,则 $\int f(g(x))g'(x)\,dx = F(g(x)) + C$。
核心技巧:在被积函数中"凑出" $g'(x)\,dx$ 这一部分,然后把 $g(x)$ 看作整体。
求 $\int 2x \cdot e^{x^2}\,dx$。
解:注意到 $(x^2)' = 2x$,令 $u = x^2$,则 $du = 2x\,dx$:
$$\int e^u\,du = e^u + C = e^{x^2} + C$$
令 $x = \varphi(t)$,则 $\int f(x)\,dx = \int f(\varphi(t))\varphi'(t)\,dt$。常用于含有根号的情况:$\sqrt{a^2 - x^2}$ 令 $x = a\sin t$,$\sqrt{a^2 + x^2}$ 令 $x = a\tan t$,$\sqrt{x^2 - a^2}$ 令 $x = a\sec t$。
7.4 分部积分法
$$\int u\,dv = uv - \int v\,du$$
来源:$(uv)' = u'v + uv'$ 的积分形式。当被积函数是两类不同函数的乘积时(如多项式 $\times$ 指数),把其中一个"微分",另一个"积分",可能使积分变简单。
求 $\int x e^x\,dx$。
解:令 $u = x$,$dv = e^x\,dx$。则 $du = dx$,$v = e^x$:
$$\int xe^x\,dx = xe^x - \int e^x\,dx = xe^x - e^x + C = (x-1)e^x + C$$
7.5 定积分与微积分基本定理
定积分 $\int_a^b f(x)\,dx$ 的几何意义是函数图像与 $x$ 轴之间的"有向面积"——$x$ 轴上方的面积为正,下方为负。
把区间 $[a, b]$ 分成 $n$ 个小段,在每个小段上取一点 $\xi_i$,构造"黎曼和":
当分割越来越细(最大段长 $\to 0$)时,如果这个和趋向一个确定的极限,则该极限就是定积分 $\int_a^b f(x)\,dx$。
这是整个微积分中最伟大的定理。它把微分和积分——看似相反的两个操作——联系在了一起:
其中 $F$ 是 $f$ 的任意一个原函数(即 $F' = f$)。
直觉:如果 $F(x)$ 记录的是"到位置 $x$ 为止累积的面积",那么 $F'(x) = f(x)$(面积的增长率就是当前的高度)。所以总面积 $= F(b) - F(a)$。
求 $\int_0^{\pi} \sin x\,dx$。
解:$\sin x$ 的原函数是 $-\cos x$。所以:
$$\int_0^{\pi} \sin x\,dx = [-\cos x]_0^{\pi} = (-\cos\pi) - (-\cos 0) = -(-1) - (-1) = 2$$
几何意义:$\sin x$ 在 $[0, \pi]$ 上的面积为 $2$。
7.6 定积分的应用
- 面积:两曲线 $y = f(x)$ 和 $y = g(x)$ 之间的面积 $= \int_a^b |f(x) - g(x)|\,dx$
- 旋转体体积:$y = f(x)$ 绕 $x$ 轴旋转所得立体的体积 $= \pi \int_a^b [f(x)]^2\,dx$
- 弧长:曲线 $y = f(x)$ 在 $[a,b]$ 上的弧长 $= \int_a^b \sqrt{1 + [f'(x)]^2}\,dx$
7.7 反常积分
当积分区间无限(如 $\int_1^{\infty}$)或被积函数在某点趋向无穷时,需要用极限来定义:
练习 7
7.8 积分在生活中的例子
你家有个花坛,边缘是弯曲的。怎么算面积铺地砖?沿着一个方向每隔 10 厘米量一下宽度 $w_1, w_2, \ldots, w_n$,然后近似为很多小矩形面积之和:$\text{面积} \approx \sum w_i \times 0.1$。如果你量的间距越来越小,这个和就越来越精确——这就是定积分。积分 $\int_0^L w(x)\,dx$ 就是"把所有无穷窄的矩形加起来"。
你家的水表记录的是"到目前为止的总用水量"。如果你想知道这个月用了多少水,就看月初和月末的差。反过来,如果你知道水流速率 $r(t)$(每分钟流多少升),那总用水量就是 $\int_0^T r(t)\,dt$。积分就是"累积"——把每一瞬间的流量累加起来。
📋 第7章 考题专区
积分计算量大、技巧多。换元法和分部积分必须练到条件反射。
一、基础题(基本积分计算)
二、提高题(换元法、分部积分、定积分应用)
三、挑战题(考研/竞赛水平)
第8章 无穷级数
8.1 为什么要研究无穷级数?
无穷级数让我们用"无穷多个简单的项"来表示"复杂的函数"。比如,$e^x = 1 + x + \frac{x^2}{2!} + \frac{x^3}{3!} + \cdots$。这不只是一个漂亮的公式——它让计算机能够计算 $e^x$(计算机只会做加减乘除),也让微分方程有了实用的解法。
8.2 数项级数的收敛性
级数 $\sum_{n=1}^{\infty} a_n$ 的部分和为 $S_N = \sum_{n=1}^{N} a_n$。如果 $\lim_{N \to \infty} S_N = S$ 存在,则称级数收敛,和为 $S$;否则称发散。
级数收敛 $\implies a_n \to 0$。但 $a_n \to 0$ 不能保证收敛!经典反例:调和级数 $\sum \frac{1}{n} = 1 + \frac{1}{2} + \frac{1}{3} + \cdots$ 虽然通项趋向 $0$,但是发散的(它增长得非常慢,但确实趋向无穷)。
8.3 正项级数的审敛法
比较判别法
如果 $0 \leq a_n \leq b_n$,且 $\sum b_n$ 收敛,则 $\sum a_n$ 收敛;如果 $\sum a_n$ 发散,则 $\sum b_n$ 发散。
比值判别法(达朗贝尔判别法)
设 $\lim_{n \to \infty} \frac{a_{n+1}}{a_n} = \rho$,则:$\rho < 1$ 时收敛,$\rho > 1$ 时发散,$\rho = 1$ 时不确定。
$p$-级数
$\sum \frac{1}{n^p}$ 在 $p > 1$ 时收敛,$p \leq 1$ 时发散。
8.4 幂级数
形如 $\sum_{n=0}^{\infty} a_n x^n$ 的级数称为幂级数。存在收敛半径 $R$:$|x| < R$ 时绝对收敛,$|x| > R$ 时发散。
8.5 常用函数的幂级数展开
8.6 傅里叶级数
任何满足条件的周期函数都可以展开为三角级数:
其中 $a_n = \frac{1}{\pi}\int_{-\pi}^{\pi} f(x)\cos nx\,dx$,$b_n = \frac{1}{\pi}\int_{-\pi}^{\pi} f(x)\sin nx\,dx$。
傅里叶级数是信号处理、量子力学、热传导等领域的基石。
练习 8
第9章 多元微积分
9.1 从一元到多元
真实世界是三维的,大多数现象依赖于多个变量。温度取决于位置 $(x, y, z)$ 和时间 $t$;经济模型取决于价格、利率、就业率……。多元微积分就是把一元的工具推广到多变量的情形。
9.2 多元函数的极限与连续
二元函数 $z = f(x, y)$ 的极限要求 $(x, y)$ 从任何方向趋近 $(x_0, y_0)$ 时,$f$ 都趋向同一个值。如果沿不同路径得到不同的极限,则极限不存在。这比一元情况复杂得多。
9.3 偏导数
对 $f(x, y)$,固定 $y$ 只对 $x$ 求导,得到对 $x$ 的偏导数:
类似定义 $\frac{\partial f}{\partial y}$。高阶偏导数中,混合偏导 $f_{xy}$ 和 $f_{yx}$ 在连续条件下相等(施瓦茨定理)。
9.4 全微分与链式法则
全微分:$df = \frac{\partial f}{\partial x}dx + \frac{\partial f}{\partial y}dy$。它是一元微分 $dy = f'(x)dx$ 的多元推广,给出函数值的"总变化量"。
多元链式法则:如果 $z = f(x, y)$,$x = x(t)$,$y = y(t)$,则 $\frac{dz}{dt} = \frac{\partial f}{\partial x}\frac{dx}{dt} + \frac{\partial f}{\partial y}\frac{dy}{dt}$。
9.5 梯度、方向导数
$$\nabla f = \left(\frac{\partial f}{\partial x}, \frac{\partial f}{\partial y}\right)$$
梯度指向 $f$ 增长最快的方向,梯度的模就是最大增长率。这是机器学习中"梯度下降法"的数学基础。
9.6 多元函数的极值
在驻点($\nabla f = 0$)处,用黑塞矩阵(Hessian)$H = \begin{pmatrix} f_{xx} & f_{xy} \\ f_{xy} & f_{yy} \end{pmatrix}$ 判断:$\det H > 0, f_{xx} > 0$ 为极小值;$\det H > 0, f_{xx} < 0$ 为极大值;$\det H < 0$ 为鞍点。
拉格朗日乘数法:在约束条件 $g(x,y) = 0$ 下求 $f$ 的极值,解方程组 $\nabla f = \lambda \nabla g$,$g = 0$。
9.7 重积分
二重积分 $\iint_D f(x,y)\,dA$ 计算的是曲面 $z = f(x,y)$ 在区域 $D$ 上方的"体积"。计算方法是化为累次积分:
极坐标:当区域是圆形或扇形时,用 $x = r\cos\theta$, $y = r\sin\theta$ 变换,面积元 $dA = r\,dr\,d\theta$。
9.8 曲线积分与曲面积分
这是多元微积分的终极形态,也是物理学(电磁学、流体力学)的核心工具。
$$\oint_C (P\,dx + Q\,dy) = \iint_D \left(\frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y}\right)dA$$
它把曲线上的积分转化为区域上的二重积分,是微积分基本定理在二维的推广。
更高维的推广包括高斯公式(曲面积分 $\leftrightarrow$ 体积分)和斯托克斯公式(曲面上的曲线积分 $\leftrightarrow$ 曲面积分)。它们统一在一个框架下:广义斯托克斯定理。
练习 9
第三篇 · 进阶课程
数学专业大二至大三的核心必修课程
第10章 线性代数
10.1 线性方程组与矩阵
线性代数的起源非常实际——解线性方程组。一个含有 $m$ 个方程、$n$ 个未知数的线性方程组可以写成:
用矩阵记号,这可以紧凑地写为 $A\mathbf{x} = \mathbf{b}$,其中 $A$ 是 $m \times n$ 的系数矩阵。
$m \times n$ 矩阵是由 $m$ 行 $n$ 列数排成的矩形阵列。矩阵的加法(逐元素相加)和数乘(逐元素乘以常数)都很直观。矩阵乘法 $C = AB$ 的定义为 $c_{ij} = \sum_k a_{ik}b_{kj}$——这看起来奇怪,但它恰好对应"线性变换的复合"。
矩阵乘法不满足交换律:一般 $AB \neq BA$。这一点初学者要特别注意。但满足结合律 $(AB)C = A(BC)$ 和分配律 $A(B+C) = AB + AC$。
10.2 行列式
$n \times n$ 方阵 $A$ 对应一个数 $\det A$(或 $|A|$),称为行列式。它有一个深刻的几何意义:$|\det A|$ 等于 $A$ 将单位立方体变换后的"体积"的缩放因子。
二阶行列式:$\begin{vmatrix} a & b \\ c & d \end{vmatrix} = ad - bc$。
三阶行列式可以用"萨鲁斯法则"或按行/列展开来计算。
行列式的关键应用:$\det A \neq 0 \iff A$ 可逆 $\iff A\mathbf{x} = \mathbf{b}$ 有唯一解 $\iff A$ 的列向量线性无关。
10.3 向量空间
一个集合 $V$,配有加法和数乘两种运算,且满足八条公理(交换律、结合律、零元、负元、数乘结合律、数乘分配律等),就称为向量空间。
例如:$\mathbb{R}^n$($n$ 维实向量)、所有多项式的集合、所有连续函数的集合 $C[a,b]$ 都是向量空间。
向量空间中的基是一组"最小生成集"——用它们的线性组合可以表示空间中任何向量,且去掉任何一个就不再够了。基中向量的个数就是空间的维数。比如 $\mathbb{R}^3$ 的标准基是 $\mathbf{e}_1 = (1,0,0), \mathbf{e}_2 = (0,1,0), \mathbf{e}_3 = (0,0,1)$,维数为 $3$。
10.4 线性变换
线性变换 $T: V \to W$ 是保持加法和数乘的映射:$T(\mathbf{u} + \mathbf{v}) = T(\mathbf{u}) + T(\mathbf{v})$,$T(c\mathbf{u}) = cT(\mathbf{u})$。旋转、缩放、投影都是线性变换。
每一个从 $\mathbb{R}^n$ 到 $\mathbb{R}^m$ 的线性变换都可以用一个 $m \times n$ 矩阵来表示。这就是矩阵乘法的几何意义——矩阵就是线性变换。
10.5 特征值与特征向量
设 $A$ 是 $n \times n$ 矩阵。如果存在非零向量 $\mathbf{v}$ 和数 $\lambda$ 使得 $A\mathbf{v} = \lambda \mathbf{v}$,则 $\lambda$ 是 $A$ 的特征值,$\mathbf{v}$ 是对应的特征向量。
直觉:特征向量是在变换 $A$ 下"方向不变"的向量,特征值是它被拉伸的倍数。
特征值由特征方程 $\det(A - \lambda I) = 0$ 求出。这是一个关于 $\lambda$ 的 $n$ 次多项式方程。
求 $A = \begin{pmatrix} 2 & 1 \\ 1 & 2 \end{pmatrix}$ 的特征值和特征向量。
解:$\det(A - \lambda I) = (2-\lambda)^2 - 1 = \lambda^2 - 4\lambda + 3 = (\lambda-1)(\lambda-3) = 0$。
特征值:$\lambda_1 = 1$,$\lambda_2 = 3$。
$\lambda_1 = 1$:$(A-I)\mathbf{v} = 0 \implies \mathbf{v}_1 = \begin{pmatrix} 1 \\ -1 \end{pmatrix}$。
$\lambda_2 = 3$:$(A-3I)\mathbf{v} = 0 \implies \mathbf{v}_2 = \begin{pmatrix} 1 \\ 1 \end{pmatrix}$。
10.6 对角化与二次型
如果 $A$ 有 $n$ 个线性无关的特征向量,则 $A$ 可以对角化:$A = PDP^{-1}$,其中 $D$ 是对角矩阵(对角线是特征值),$P$ 的列是特征向量。对角化让矩阵幂运算变得简单:$A^k = PD^kP^{-1}$。
二次型 $Q(\mathbf{x}) = \mathbf{x}^T A \mathbf{x}$ 在优化、统计学中非常重要。通过正交变换可以化为标准形,其正定性由特征值的符号决定。
练习 10
第11章 常微分方程
11.1 什么是微分方程?
微分方程是含有未知函数及其导数的方程。它描述的是"变化规律"而非"静态关系"。牛顿第二定律 $F = ma = m\frac{d^2x}{dt^2}$ 就是一个微分方程——给定力的规律,求物体的运动轨迹。
普通方程的解是"数";微分方程的解是"函数"。如果说代数是"已知结果,反推原因",那微分方程就是"已知变化规律,反推整个过程"。
11.2 一阶常微分方程
可分离变量方程
形如 $\frac{dy}{dx} = f(x)g(y)$。分离变量后积分:$\int \frac{dy}{g(y)} = \int f(x)\,dx$。
$\frac{dP}{dt} = kP$(增长率与当前人口成正比)。
分离变量:$\frac{dP}{P} = k\,dt$。积分:$\ln P = kt + C$。解:$P(t) = P_0 e^{kt}$。
这就是马尔萨斯人口模型——指数增长。
一阶线性方程
$y' + P(x)y = Q(x)$。使用积分因子 $\mu(x) = e^{\int P(x)\,dx}$ 乘以方程两边:
11.3 二阶线性常微分方程
最重要的形式是常系数二阶线性方程:
解法:设 $y = e^{rx}$,代入得到特征方程 $ar^2 + br + c = 0$。
| 判别式 | 特征根 | 通解 |
|---|---|---|
| $b^2 - 4ac > 0$ | $r_1 \neq r_2$(两个不等实根) | $y = C_1 e^{r_1 x} + C_2 e^{r_2 x}$ |
| $b^2 - 4ac = 0$ | $r_1 = r_2 = r$(重根) | $y = (C_1 + C_2 x)e^{rx}$ |
| $b^2 - 4ac < 0$ | $r = \alpha \pm \beta i$(共轭复根) | $y = e^{\alpha x}(C_1\cos\beta x + C_2\sin\beta x)$ |
$y'' + \omega^2 y = 0$(无阻尼简谐振动)。特征方程 $r^2 + \omega^2 = 0$,$r = \pm i\omega$。
通解:$y(t) = C_1\cos\omega t + C_2\sin\omega t = A\sin(\omega t + \varphi)$。
这就是物理学中简谐运动的数学表达——正弦波。
11.4 线性方程组与矩阵方法
一阶线性方程组 $\mathbf{x}' = A\mathbf{x}$ 的解可以用矩阵指数表示:$\mathbf{x}(t) = e^{At}\mathbf{x}_0$。当 $A$ 可对角化时,$e^{At} = Pe^{Dt}P^{-1}$,其中 $e^{Dt}$ 是对角线上 $e^{\lambda_i t}$ 的对角矩阵。
11.5 存在唯一性定理
如果 $f(t, y)$ 在某个区域上连续且关于 $y$ 满足利普希茨条件,则初值问题 $y' = f(t, y), y(t_0) = y_0$ 在 $t_0$ 附近存在唯一解。
直觉:合理的物理系统应该有唯一的演化轨迹——不会在同一状态下分叉出两条不同的路径。
练习 11
第12章 概率论与数理统计
12.1 概率空间
一个概率模型由三部分组成 $(\Omega, \mathcal{F}, P)$:
- $\Omega$:样本空间,所有可能结果的集合
- $\mathcal{F}$:事件域($\sigma$-代数),可测事件的集合
- $P$:概率测度,满足 $P(\Omega) = 1$,$P(\emptyset) = 0$,可列可加性
12.2 条件概率与贝叶斯公式
条件概率:已知事件 $B$ 发生的条件下,$A$ 发生的概率:
$$P(A_i|B) = \frac{P(B|A_i)P(A_i)}{\sum_j P(B|A_j)P(A_j)}$$
直觉:贝叶斯公式是"根据证据更新信念"的数学法则。$P(A_i)$ 是先验概率(事先的看法),$P(A_i|B)$ 是后验概率(看到证据 $B$ 后的更新看法)。
某病发病率 $1\%$。检测灵敏度 $99\%$(有病阳性率 $99\%$),特异度 $95\%$(无病阴性率 $95\%$)。某人检测阳性,真正患病的概率是多少?
解:$P(\text{病}|\text{阳}) = \frac{0.99 \times 0.01}{0.99 \times 0.01 + 0.05 \times 0.99} = \frac{0.0099}{0.0099 + 0.0495} \approx 16.7\%$。
直觉:虽然检测"准确率"很高,但由于患病率低(先验概率小),大部分阳性结果其实是假阳性。这就是贝叶斯思维的核心教训。
12.3 随机变量与分布
随机变量 $X$ 是从样本空间到实数的映射。分布函数 $F(x) = P(X \leq x)$。连续型随机变量有概率密度函数 $f(x)$,$P(a \leq X \leq b) = \int_a^b f(x)\,dx$。
常见分布
| 分布 | 密度/概率函数 | 均值 | 方差 |
|---|---|---|---|
| 二项分布 $B(n,p)$ | $\binom{n}{k}p^k(1-p)^{n-k}$ | $np$ | $np(1-p)$ |
| 泊松分布 $\text{Poi}(\lambda)$ | $\frac{\lambda^k e^{-\lambda}}{k!}$ | $\lambda$ | $\lambda$ |
| 均匀分布 $U(a,b)$ | $\frac{1}{b-a}$,$x \in [a,b]$ | $\frac{a+b}{2}$ | $\frac{(b-a)^2}{12}$ |
| 正态分布 $N(\mu,\sigma^2)$ | $\frac{1}{\sigma\sqrt{2\pi}}e^{-\frac{(x-\mu)^2}{2\sigma^2}}$ | $\mu$ | $\sigma^2$ |
| 指数分布 $\text{Exp}(\lambda)$ | $\lambda e^{-\lambda x}$,$x \geq 0$ | $\frac{1}{\lambda}$ | $\frac{1}{\lambda^2}$ |
12.4 数学期望与方差
期望(均值):$E(X) = \int x f(x)\,dx$(连续型)或 $\sum x_k p_k$(离散型)。它是随机变量的"中心位置"。
方差:$\text{Var}(X) = E[(X - E(X))^2] = E(X^2) - [E(X)]^2$。它衡量"偏离中心的程度"。
12.5 大数定律与中心极限定理
独立同分布的随机变量序列 $X_1, X_2, \ldots$,均值 $\mu$,则样本平均 $\bar{X}_n = \frac{1}{n}\sum_{i=1}^n X_i$ 依概率收敛于 $\mu$。直觉:试验次数越多,平均值越接近"真值"。
独立同分布的随机变量之和,标准化后趋向正态分布:
这是统计学中最深刻的定理——无论你原始数据是什么分布,只要样本够大,均值的分布就近似正态。这就是为什么正态分布在自然界中无处不在。
12.6 数理统计基础
参数估计:用样本数据估计总体参数。矩估计和最大似然估计是两种基本方法。
假设检验:在两个相互矛盾的命题之间做出统计判断。核心思想是"小概率反证法":假设 $H_0$ 成立,如果在这个假设下观察到的结果概率极小($p$-值 $< \alpha$),则拒绝 $H_0$。
练习 12
第13章 复变函数
13.1 复数与复平面
复数 $z = x + iy$($i^2 = -1$)可以看作平面上的点 $(x, y)$。极坐标形式:$z = r(\cos\theta + i\sin\theta) = re^{i\theta}$(欧拉公式)。这使得复数的乘除变得简单:$z_1 z_2 = r_1 r_2 e^{i(\theta_1 + \theta_2)}$——模相乘,角相加。
$$e^{i\theta} = \cos\theta + i\sin\theta$$
当 $\theta = \pi$ 时得到"最美数学公式":$e^{i\pi} + 1 = 0$,它把五个最重要的数学常数联系在一起。
13.2 解析函数
复变函数 $f(z) = u(x,y) + iv(x,y)$ 在某点可导(复可导),意味着极限 $\lim_{\Delta z \to 0}\frac{f(z+\Delta z) - f(z)}{\Delta z}$ 存在且与 $\Delta z$ 趋向 $0$ 的方向无关。这个苛刻的条件导出 柯西-黎曼方程:
在某个区域内处处可导的函数称为解析函数(全纯函数)。
解析函数是数学中"条件越强,结论越美"的典型。仅仅要求"复可导",就能推出:(1) 无穷次可导;(2) 可展开为幂级数;(3) 满足最大模原理;(4) 由它在任意小区域内的值唯一确定整个函数。实函数可导远没有这么强的性质。
13.3 复积分与柯西定理
如果 $f(z)$ 在单连通区域 $D$ 内解析,$C$ 是 $D$ 内任何简单闭曲线,则:
这意味着积分与路径无关——只取决于起点和终点。这是复分析中最基本的定理。
如果 $f$ 在 $C$ 内及 $C$ 上解析,$z_0$ 在 $C$ 内部,则:
函数在内部任何一点的值,完全由它在边界上的值决定!
13.4 留数定理
孤立奇点分为三类:可去奇点、极点、本性奇点。在极点处,函数可以展开为洛朗级数(含负幂次的级数),其中 $\frac{1}{z-z_0}$ 的系数称为留数 $\text{Res}(f, z_0)$。
$$\oint_C f(z)\,dz = 2\pi i \sum_{k} \text{Res}(f, z_k)$$
其中 $z_k$ 是 $C$ 内部的所有奇点。这是计算复积分和实积分的利器。
用留数定理计算 $\int_{-\infty}^{\infty} \frac{1}{1+x^2}\,dx$。
解:$f(z) = \frac{1}{1+z^2} = \frac{1}{(z+i)(z-i)}$。上半平面有一个极点 $z = i$。
$\text{Res}(f, i) = \lim_{z \to i} (z-i)f(z) = \frac{1}{2i}$。
$\int_{-\infty}^{\infty} \frac{dx}{1+x^2} = 2\pi i \cdot \frac{1}{2i} = \pi$。这与 $\arctan x \big|_{-\infty}^{\infty} = \pi$ 一致。
13.5 共形映射
解析函数在其导数非零的点是保角的(保持角度不变)。这种映射叫做共形映射。它在流体力学、电磁学和地图投影中有重要应用。著名的黎曼映射定理说:任何单连通区域(除全平面外)都可以共形映射到单位圆盘。
练习 13
第四篇 · 高年级专题
数学专业大三至大四的选修方向——走向数学研究的前沿
第14章 实分析与数学分析
14.1 从微积分到分析
微积分告诉你"怎么算",数学分析告诉你"为什么可以这样算"。分析学是对微积分的严格化——每一个直觉上"显然"的结论,都需要精确的证明。
牛顿和莱布尼茨发明微积分时,"无穷小"的概念是模糊的。贝克莱主教批评无穷小是"消失量的鬼魂"。直到 19 世纪,柯西和魏尔斯特拉斯用 $\varepsilon$-$\delta$ 语言才把微积分建立在坚实的逻辑基础上。分析学的诞生,是数学家对"确定性"的追求。
14.2 实数系的构造
实数可以从有理数出发,通过戴德金分割或柯西列来严格构造。戴德金分割的思想:每一个实数就是有理数集的一个"切口"——把 $\mathbb{Q}$ 分成左右两半的那个分界点。无理数就是那些"切口"恰好不对应任何有理数的位置。
实数的完备性公理有多种等价表述:上确界原理、单调有界定理、区间套定理、聚点定理、柯西收敛准则。它们本质上都在说同一件事——实数没有"洞"。
14.3 点集拓扑初步(在 $\mathbb{R}^n$ 中)
开集:集合中每个点都有一个邻域完全包含在集合中。闭集:包含所有极限点(聚点)的集合。紧集:在 $\mathbb{R}^n$ 中,紧集 = 有界闭集(海涅-博雷尔定理)。紧集是分析中最重要的概念之一——连续函数在紧集上一定有最值。
14.4 一致收敛
函数列 $f_n(x) \to f(x)$ 逐点收敛:对每个 $x$,$f_n(x) \to f(x)$。一致收敛更强:收敛速度对所有 $x$ "一致"——$\sup_x |f_n(x) - f(x)| \to 0$。
一致收敛的重要性:它保证极限函数继承连续函数的连续性、可积函数的可积性。逐点收敛则不能保证这些。
14.5 黎曼积分的局限与勒贝格积分
黎曼积分对"好的"函数工作得很好,但它有两个缺陷:(1) 不是所有有界函数都黎曼可积;(2) 极限与积分交换的条件很苛刻。
勒贝格积分通过"按函数值分区"而非"按自变量分区"来定义积分,极大地扩展了可积函数的范围。它还提供了强大的收敛定理(单调收敛定理、控制收敛定理),使得极限与积分的交换变得容易判断。勒贝格积分是现代概率论、泛函分析和调和分析的基础。
14.6 度量空间
集合 $X$ 上的度量(距离函数)$d: X \times X \to \mathbb{R}$ 满足:非负性、对称性、三角不等式、$d(x,y)=0 \iff x=y$。$(X, d)$ 称为度量空间。
例如:$\mathbb{R}$ 上的 $d(x,y) = |x-y|$;连续函数空间 $C[a,b]$ 上的 $d(f,g) = \max|f(x)-g(x)|$(一致度量)。
完备度量空间(每个柯西列都收敛的空间)是分析的舞台。巴拿赫空间(完备赋范空间)和希尔伯特空间(完备内积空间)是其中最重要的两类,它们分别是泛函分析和量子力学的数学基础。
练习 14
第15章 抽象代数
15.1 从具体到抽象
初等代数研究的是具体的数和方程。抽象代数研究的是代数结构——带有运算的集合,以及这些运算满足的公理。通过抽象出运算的本质规律,我们可以一次性证明对"所有满足这些公理的结构"都成立的定理。
15.2 群
集合 $G$ 配上一个二元运算 $\cdot$,满足四条公理:
- 封闭性:$a \cdot b \in G$
- 结合律:$(a \cdot b) \cdot c = a \cdot (b \cdot c)$
- 单位元:存在 $e \in G$ 使 $e \cdot a = a \cdot e = a$
- 逆元:每个 $a$ 有 $a^{-1}$ 使 $a \cdot a^{-1} = e$
如果还满足交换律 $a \cdot b = b \cdot a$,则称为交换群(阿贝尔群)。
- $(\mathbb{Z}, +)$:整数加法群(交换群)
- $(\mathbb{R} \setminus \{0\}, \times)$:非零实数乘法群
- $S_n$:$n$ 个元素的所有排列组成的群(对称群),阶为 $n!$,$n \geq 3$ 时非交换
- $GL_n(\mathbb{R})$:$n \times n$ 可逆矩阵在矩阵乘法下的群
群最自然的直觉来源是对称性。正方形的旋转和翻转构成一个群(8 个元素);圆的旋转构成一个连续群。群论本质上是"对称性的数学"。它在物理学(粒子物理、晶体学)、化学(分子结构)和密码学中有深刻应用。
15.3 子群与拉格朗日定理
子群 $H \leq G$ 是 $G$ 的子集,且自身在同样运算下构成群。拉格朗日定理:有限群 $G$ 的子群 $H$ 的阶整除 $G$ 的阶:$|H| \mid |G|$。
15.4 环与域
环 $(R, +, \cdot)$:$(R, +)$ 是交换群,$(R, \cdot)$ 是半群(封闭+结合律),且乘法对加法满足分配律。例如 $(\mathbb{Z}, +, \times)$。
域 $(F, +, \cdot)$:$(F, +)$ 是交换群,$(F \setminus \{0\}, \cdot)$ 也是交换群,且满足分配律。例如 $\mathbb{Q}, \mathbb{R}, \mathbb{C}$ 都是域。$\mathbb{Z}$ 不是域($2$ 没有乘法逆元)。
15.5 伽罗瓦理论简介
伽罗瓦理论是抽象代数的皇冠。它回答了"为什么五次及以上方程没有根式解"这个困扰数学家三百年的问题。核心思想:方程的可解性等价于其伽罗瓦群(根的置换群)的结构。当伽罗瓦群是"可解群"时方程有根式解,而 $S_5$($n \geq 5$ 的对称群)不是可解群。
伽罗瓦本人在 21 岁因决斗去世前夜写下了这些思想——数学史上最悲壮的故事之一。
练习 15
第16章 点集拓扑
16.1 什么是拓扑?
拓扑学研究的是"连续变形下不变的性质"。一个咖啡杯和一个甜甜圈在拓扑学看来是一样的——它们都只有一个洞。拓扑不关心距离和角度,只关心"连接方式"和"洞的个数"。
集合 $X$ 上的拓扑 $\tau$ 是 $X$ 的子集族(称为"开集族"),满足:
- $\emptyset \in \tau$,$X \in \tau$
- 任意多个开集的并是开集
- 有限多个开集的交是开集
$(X, \tau)$ 称为拓扑空间。度量空间中的"开集"概念就是这个抽象定义的原型。
16.2 连续映射
在拓扑空间中,映射 $f: X \to Y$ 连续当且仅当开集的原像是开集。这是微积分中 $\varepsilon$-$\delta$ 连续性的纯粹拓扑推广。
16.3 紧致性
拓扑空间 $X$ 是紧致的,如果它的每一个开覆盖都有有限子覆盖。在度量空间中,紧致 = 列紧 = 完备且有界(在 $\mathbb{R}^n$ 中就是有界闭集)。
紧致性之所以重要:连续映射把紧集映为紧集;紧集上的实值连续函数有最大最小值;紧空间中的序列必有收敛子列。
16.4 连通性
空间 $X$ 是连通的,如果它不能分解为两个不相交的非空开集之并。道路连通更强:任意两点都能用一条连续曲线连接。
16.5 基本群简介
在空间 $X$ 中固定一点 $x_0$,所有从 $x_0$ 出发回到 $x_0$ 的环路(在同伦等价下)构成一个群,称为基本群 $\pi_1(X, x_0)$。圆的基本群是 $\mathbb{Z}$(环路绕了几圈),球面的基本群是平凡群(任何环路都能收缩到一点)。基本群是区分拓扑空间的有力工具。
练习 16
第17章 偏微分方程
17.1 什么是偏微分方程?
偏微分方程(PDE)是含有未知多元函数及其偏导数的方程。物理世界的几乎所有基本定律都由 PDE 描述:热传导、波动、电磁场、量子力学、流体动力学……
17.2 三类经典 PDE
热方程(抛物型)
描述热量在杆中的扩散。解法:分离变量 $u(x,t) = X(x)T(t)$,得到两个常微分方程。
波动方程(双曲型)
描述弦的振动、声波、光波。达朗贝尔解:$u(x,t) = f(x-ct) + g(x+ct)$——两个行波的叠加。
拉普拉斯方程(椭圆型)
描述稳态温度场、静电势等。满足拉普拉斯方程的函数叫调和函数,具有均值性质(在任意球面上的平均值等于球心处的值)。
17.3 求解方法概述
- 分离变量法:假设解可以写成各变量函数的乘积,将 PDE 化为 ODE
- 傅里叶方法:将解展开为傅里叶级数
- 特征线法:沿特征曲线将 PDE 化为 ODE(适合一阶 PDE)
- 格林函数法:构造"点源"响应,通过叠加得到一般解
- 有限元/有限差分:数值方法,是现代工程计算的核心
17.4 索伯列夫空间简介
现代 PDE 理论在索伯列夫空间(Sobolev space)中研究弱解。这些空间不仅控制函数本身的大小,还控制其导数的大小。嵌入定理(如索伯列夫嵌入)告诉我们:足够多的导数存在且可积,可以推出函数本身的连续性和光滑性。
求 $u_t = u_{xx}$,$u(0,t) = u(\pi, t) = 0$,$u(x,0) = \sin x$ 的解。
解:分离变量 $u = X(x)T(t)$,得到 $X'' + \lambda X = 0$($X(0)=X(\pi)=0$)和 $T' + \lambda T = 0$。
由边界条件,$\lambda_n = n^2$,$X_n = \sin nx$。初始条件 $u(x,0) = \sin x$ 对应 $n=1$,所以:
$$u(x,t) = e^{-t}\sin x$$
直觉:初始温度分布是正弦波形,随着时间推移,温度逐渐衰减到 $0$(热量散失到两端)。
练习 17
附 录
数学的历史、学习路径与推荐资源
附录 A 数学简史
古代:数学的黎明
数学的历史与文明的历史一样久远。古埃及人用几何学建造金字塔,巴比伦人在泥板上记录勾股数组(比毕达哥拉斯早了一千多年)。古希腊人将数学从实用技术提升为理性思辨——欧几里得的《几何原本》是人类历史上第一本公理化著作,它的方法论影响了两千年的科学思维。
17 世纪:微积分的诞生
牛顿和莱布尼茨各自独立发明了微积分。牛顿用它来描述天体运动,莱布尼茨则发展了优美的符号系统(我们今天用的 $\int$, $d$, $\frac{dy}{dx}$ 都来自莱布尼茨)。同一时期,笛卡尔发明了解析几何,费马和帕斯卡奠定了概率论的基础。
18-19 世纪:分析的黄金时代
欧拉是数学史上最多产的数学家,他在分析、数论、图论、力学等领域都有开创性贡献。高斯被誉为"数学王子",在数论、代数、几何、分析、天文学和物理学等领域都有深刻工作。柯西和魏尔斯特拉斯将微积分严格化,黎曼开创了黎曼几何(后来成为广义相对论的数学语言),伽罗瓦用群论解决了方程可解性问题。
20 世纪:抽象与统一
希尔伯特提出 23 个问题引领了 20 世纪的数学研究。哥德尔的不完备定理揭示了数学的根本局限——任何足够强的公理系统都包含不可证明的命题。庞加莱猜想的证明(佩雷尔曼,2006)、费马大定理的证明(怀尔斯,1995)成为世纪之交的里程碑。范畴论的出现为数学提供了统一的"元语言"。
21 世纪:数学的新前沿
今天的数学正经历深刻变革。朗兰兹纲领试图统一数论、几何和表示论。人工智能正在改变数学发现的方式——定理证明助手(Lean, Coq)和机器学习在数学研究中的应用方兴未艾。数学与其他学科的交叉(生物数学、金融数学、数据科学)不断产生新的分支。
附录 B 学习路线图
以下是从零基础到数学本科毕业水平的推荐学习路径。每个阶段都标注了本书对应的章节和预估学习时间。
第一阶段:基础重建(1-2 个月)
学习本书第1-4章。目标是重新掌握初高中数学的核心工具。不要在这一阶段停留太久——这些知识会在后续学习中反复用到,自然会被巩固。每天 1-2 小时即可。
第二阶段:微积分核心(3-4 个月)
学习本书第5-9章。这是最重要的阶段。极限、导数、积分——这三个概念是现代数学的基石。建议做大量练习题,并尝试用 Python(sympy 库)验证你的计算结果。
第三阶段:进阶必修(4-6 个月)
学习本书第10-13章。线性代数和微分方程几乎同等重要,建议并行学习。概率论需要微积分的基础。复变函数需要实分析的严格化(可以先学一个概览,等学了分析再回来深入)。
第四阶段:高年级选修(6-12 个月)
根据你的兴趣和目标选择方向:
- 应用数学方向:偏微分方程 + 数值分析 + 概率论深入
- 纯粹数学方向:实分析 + 抽象代数 + 拓扑
- 统计/数据科学方向:概率论深入 + 数理统计 + 随机过程
- 计算机科学方向:离散数学 + 抽象代数 + 组合数学
学习建议
不要害怕看不懂——数学书籍本来就不是"看一遍就懂"的。对于每个新概念,建议你:(1) 先读直觉解释;(2) 再读严格定义;(3) 动手做例题,先自己做,再看解答;(4) 尝试向别人(或向自己)解释这个概念。如果你能清楚地解释它,你就真的懂了。
附录 C 推荐教材与资源
微积分 / 高等数学
- 同济版《高等数学》(第七版)—— 中国大学通用教材,例题丰富
- James Stewart《Calculus: Early Transcendentals》—— 英文微积分经典,解释清晰,图表精美
- 《托马斯微积分》(Thomas' Calculus)—— 另一个优秀的英文教材
- 3Blue1Brown《微积分的本质》(YouTube/B站)—— 直觉解释极佳的视频系列
线性代数
- 同济版《线性代数》—— 标准中文教材
- Strang《Introduction to Linear Algebra》—— MIT 经典,配有免费公开课
- Axler《Linear Algebra Done Right》—— 不用行列式的现代方法,适合进阶
- 3Blue1Brown《线性代数的本质》—— 可视化讲解,强烈推荐
数学分析
- 华东师大版《数学分析》—— 国内最常用的分析教材
- Rudin《Principles of Mathematical Analysis》("Baby Rudin")—— 英文分析入门经典,以精炼著称
- Zorich《Mathematical Analysis》—— 俄罗斯学派的分析教材,物理直觉丰富
抽象代数
- 聂灵沼、丁石孙《代数学引论》—— 经典中文教材
- Dummit & Foote《Abstract Algebra》—— 英文代数百科全书
- Artin《Algebra》—— 直觉好、例子多
概率论与统计
- 茆诗松《概率论与数理统计教程》—— 中文经典
- Ross《A First Course in Probability》—— 英文概率论入门
- Casella & Berger《Statistical Inference》—— 统计推断的研究生标准教材
复变函数
- 西安交大版《复变函数》—— 国内工科标准教材
- Ahlfors《Complex Analysis》—— 复分析经典中的经典
- Needham《Visual Complex Analysis》—— 以几何直觉著称的复分析教材
在线资源
- MIT OpenCourseWare (ocw.mit.edu) —— 免费获取 MIT 全部课程材料
- Khan Academy (khanacademy.org) —— 从小学到大学的免费数学课程
- Paul's Online Math Notes (tutorial.math.lamar.edu) —— 极好的微积分/ODE参考
- B站 —— 宋浩老师的高数课程,适合零基础
- Lean / Coq —— 用计算机验证数学证明,适合喜欢编程的读者
数学不是一场比赛,不需要和别人比速度。每个人都有自己的节奏。有时候一个概念需要想几天、几周甚至几个月——这不是你的问题,而是数学本身的深度。当"恍然大悟"的那一刻到来时,所有的等待都是值得的。祝你学习愉快。