第 1 章 · 复数与全纯函数：一个条件的奇迹

复分析的奇迹从第一章就开始：实可微是两个偏导存在，而复可微（全纯）只有一个条件，却强出天际——一次可导处处可导、无穷次可导、还能展开成幂级数。这一个"小条件"引发了整个学科的降维打击。

复数与极限的语言

$\mathbb{C} = \mathbb{R}^2$ 配乘法 $i^2 = -1$；模 $|z|$、辐角 $\arg z$、极形式 $z = re^{i\theta}$。收敛、开集、区域（连通开集）的定义照搬 $\mathbb{R}^2$。复数从乘法开始就是"旋转 + 缩放"——这是全纯函数几何图像的种子。

全纯与柯西-黎曼方程

限制 $h$ 沿实轴、虚轴逼近，得到柯西-黎曼方程：

偏导连续 + CR 方程 ⟺ 全纯。组合出来：$u, v$ 都是调和函数（$\Delta u = \Delta v = 0$）——全纯函数的实虚部是"无源稳态场"，静电场、理想流体绕流的数学正是全纯函数（第 6 章回收）。

幂级数与初等函数

$e^z = \sum z^n/n!$，$\sin z, \cos z$ 照搬实定义，指数律全部成立。$\log z$ 是多值的（$\log z + 2\pi i k$）——多值性是复分析的常态化现象，处理它的技术（割破平面、分支）在第 8 章展开。几何级数 $\frac{1}{1-z} = \sum z^n$（$|z|<1$）是第 2 章幂级数展开的原材料。

老师的提醒

• CR 方程是"必查表"：判断 $z\bar z = |z|^2$ 是否全纯（在原点外 CR 不满足 ⟹ 不全纯）比直接算极限快十倍。
• 复数乘法 = 旋转缩放的图像要常驻脑内：$e^{i\theta}$、共轭、模的全部几何由此展开。

自检

• 写出 CR 方程并验证 $e^z$ 全纯。
• 为什么全纯 ⟹ 调和？
• $\log z$ 的多值性来自哪里？

更深一层：全纯 = 保形 + 无源 + 无旋的三位一体

柯西-黎曼方程不只是"可微的判定表"，它是三个几何/物理事实的压缩包。保形性：$f'(z_0) \ne 0$ 处映射是"旋转 + 缩放"（复乘法 $f'(z_0)\cdot h$ 的几何），任意方向等比缩放 ⟹ 夹角保留。无源性：实部 $u$ 与虚部 $v$ 都是调和函数（CR 求导组合即得 $\Delta u = \Delta v = 0$）——静电场的无电荷区、理想流体的无涡区、稳态温度场，全由调和函数描述。流网对偶：$u$ 与 $v$ 的等值线互相正交（CR 方程的直接推论）——静电场的等位线与电场线、流场的等势线与流线永远织成正交网格。一张 CR 方程 = 保形几何 + 无源场 + 正交流网三张证件，这就是为什么二维物理问题（静电、理想流、稳态热）天然是复分析的领地。

初学者最常见的语义陷阱："在一点可导"与"在区域上全纯"的差距。CR 方程在孤立一点成立毫无意义（$|z|^2$ 在原点"可导"但处处不全纯）——全纯性是开集上的整体职业资格，不是单点的临时执照。

推导细读：CR 方程的"方向无关性"推导

CR 方程的推导只需一次"方向审计"：复极限要求 $h$ 以任意方式趋近 0 时 $\frac{f(z_0+h)-f(z_0)}{h}$ 极限一致。先让 $h$ 沿实轴趋近（$h = t$ 实数）得一个值，再让 $h$ 沿虚轴趋近（$h = it$）得另一个值——两个值必须相等：

二者相等展开即 CR 方程（$u_x = v_y$、$u_y = -v_x$）。"任意方向极限一致"这一个要求，榨出了两个实方程——这就是复可微比实可微"强得多"的全部秘密：它是无限刚性的旋转不变性约束。

专题深入：全纯 = 保形 + 无源 + 无旋的三位一体完整版

柯西-黎曼方程不只是"可微的判定表"，它是三个几何/物理事实的压缩包。保形性：$f'(z_0) \ne 0$ 处映射是"旋转 + 缩放"（复乘法 $f'(z_0)\cdot h$ 的几何），任意方向等比缩放 ⟹ 夹角保留。无源性：实部 $u$ 与虚部 $v$ 都是调和函数（CR 求导组合即得 $\Delta u = \Delta v = 0$）——静电场的无电荷区、理想流体的无涡区、稳态温度场，全由调和函数描述。流网对偶：$u$ 与 $v$ 的等值线互相正交（CR 方程的直接推论）——静电场的等位线与电场线、流场的等势线与流线永远织成正交网格。一张 CR 方程 = 保形几何 + 无源场 + 正交流网三张证件，这就是为什么二维物理问题天然是复分析的领地。

数学细节展开：CR 方程的"方向无关性"推导完整版

CR 方程的推导只需一次"方向审计"：复极限要求 $h$ 以任意方式趋近 0 时 $\frac{f(z_0+h)-f(z_0)}{h}$ 极限一致。先让 $h$ 沿实轴趋近（$h = t$ 实数）得一个值，再让 $h$ 沿虚轴趋近（$h = it$）得另一个值——两个值必须相等：

二者相等展开即 CR 方程。"任意方向极限一致"这一个要求，榨出了两个实方程——这就是复可微比实可微"强得多"的全部秘密：它是无限刚性的旋转不变性约束。

工程案例细节：复数乘法的"旋转-缩放"直觉校准

复数乘法 = 旋转 + 缩放的直觉值得校准到肌肉记忆：$e^{i\theta}$ 是纯旋转、$r$ 是纯缩放、$re^{i\theta}$ 是旋转缩放——全纯函数的导数 $f'(z_0)$ 就是这个旋转缩放的"方向无关放大器"。共轭（镜像）、模（长度）、辐角（角度）的全部几何由此展开。"在一点可导"与"在区域上全纯"的差距（$|z|^2$ 在原点"可导"但处处不全纯）是初学者的语义陷阱——全纯性是开集上的整体职业资格，不是单点的临时执照。