1.2 复平面与拓扑结构

1.2 复平面与拓扑结构

本节摘要：SOURCE 1.2：对于复变函数，连续性还隐含着一种微妙的几何约束：由于复平面的连通性与单连通区域的丰富性，一个连续函数若在某区域上满足某种局部条件（如柯西黎曼方程），便可能在整个区域上展现出惊人的全局刚性——这是实函数望尘莫及的。

目标与定位

本节把复平面当作度量空间与拓扑空间来研究。目标是回答三个问题：开集与邻域如何定义、连通与单连通有何区别、连续与一致连续怎样理解。这些概念是第3章围道积分、第4章幂级数收敛域、第6章保形映射的公共前提。

复平面作为度量空间

复平面 \mathbb{C}\cong\mathbb{R}^2 上的距离为欧氏距离

由此立即得到两个贯穿全书的不等式：

• 三角不等式：|z+w|\le |z|+|w|；
• 乘积不等式：|zw|=|z|\,|w|。

模还满足反向三角不等式 ||z|-|w||\le|z-w|，它保证收敛序列的模收敛到极限的模。以 z_0 为圆心、\varepsilon 为半径的开圆盘

是本章一切拓扑概念的原子单位。

开集、闭集与邻域

开集：若 U\subset\mathbb{C} 的每个点都是内点（存在 \varepsilon>0 使 B(z,\varepsilon)\subset U），则 U 为开集。闭集：补集为开集的集合。邻域：含某开圆盘 B(z_0,\varepsilon) 的任意集合。

关键例子：

聚点与闭包：z_0 是集合 S 的聚点，若每个邻域都含 S 中异于 z_0 的点。闭包 \overline S 是 S 与其全部聚点之并。这些概念用于定义极限过程——"z\to z_0"仅当 z_0 是定义域的聚点时才有意义。

连通与单连通

连通：集合 S 不能写成两个非空互不相交开集的并。复分析中更常用的是区域——非空连通开集。圆盘、半平面、环形域都是区域。

单连通：区域 D 内任何闭曲线都能在 D 内连续收缩为一点。直觉上，单连通区域"没有洞"。单位圆盘与整个复平面单连通；穿孔平面 \mathbb{C}\setminus\{0\} 与环形域 \{1<|z|<2\} 不单连通。

单连通性与第3章柯西积分定理直接挂钩：在单连通区域上，解析函数的围道积分恒为零；一旦区域含"洞"（如绕奇点 0 一圈的积分 \oint_{|z|=1}\frac{dz}{z}=2\pi i），这一结论即告失效。

连续性与一致连续

函数 f:D\to\mathbb{C} 在 z_0 处连续，当且仅当对任意 \varepsilon>0 存在 \delta>0，使得

由于复平面上的趋近是全向的，复连续性比实连续性严苛得多。一致连续则要求 \delta 只依赖 \varepsilon、不依赖 z_0。紧集（有界闭集）上的连续函数必一致连续（Heine-Borel 定理 + 一致连续定理），且达到最大模——这是第2章最大模原理的拓扑预备。

柯西收敛准则与闭集性质

复平面上不依赖极限值本身的收敛判据是柯西收敛准则：序列 \{z_n\} 收敛，当且仅当

几何解读是：足够靠后的项全部落在某个半径任意小的圆盘内。由于 \mathbb{R}^2 完备，复序列的柯西准则无条件成立；这一事实保证幂级数部分和的收敛、围道积分的可定义，以及第4章级数理论的根基稳固。

关于闭集的三个常用事实，后续证明会反复引用：

1. 有限个闭集之并、任意多个闭集之交仍是闭集；
2. 紧集（有界闭集）的连续像是紧集，因而有界且达到最大模；
3. 若 z_0 不是 S 的聚点，则存在 \delta>0 使 B(z_0,\delta)\cap S 至多含 z_0——孤立点的特征。

数值算例：邻域与连续性的可视化

import numpy as np

# 生成单位开圆盘上的网格，检查是否满足 |z|<1
x, y = np.meshgrid(np.linspace(-1.5, 1.5, 400),
                   np.linspace(-1.5, 1.5, 400))
r = np.hypot(x, y)
in_disk = r < 1.0
print("网格点数:", x.size, " 落在单位圆盘内:", in_disk.sum())

# 检查 f(z)=z^2 在 z0=1 处的连续性：|z-z0|<delta => |z^2-1|<eps
z0 = 1.0
delta = 0.01
sample = z0 + delta * np.exp(2j * np.pi * np.arange(100) / 100)
img = sample ** 2
print("最大偏差 |z^2-1| = %.6f" % np.max(np.abs(img - 1)))
​

应用：拓扑语言在复分析中的角色

• 区域：解析函数、柯西定理、幂级数展开都以区域为舞台，收敛域的边界行为取决于边界点是否为聚点。
• 单连通：决定围道积分是否为零、原函数是否存在；多连通情形由第5章留数定理接管。
• 紧致性：最大模原理、刘维尔定理、一致连续性的证明都依赖闭有界区域上的极值性质。

一个具体的对照可以固化这些概念。设 D_1=\{z:|z|<1\}（单位开圆盘）、D_2=\{z:0<|z|<1\}（穿孔圆盘）、D_3=\{z:1\le|z|\le2\}（闭环形域）。D_1 单连通且有界开；D_2 连通但不单连通（0 被挖去）；D_3 紧致但其内部 \{1<|z|<2\} 与边界 \{|z|=1\}\cup\{|z|=2\} 的结构差异显著。后续讨论解析函数的积分与级数时，这三类区域的差别会反复造成结论的显著不同。

思考与检验

1. 判断下列集合的开闭性与连通性：\{z:\operatorname{Im}z>0\}、\{z:|z-1|=1\}、\{z:|z|<1\}\cup\{z:|z-2|<1\}。
2. 验证：\mathbb{C}\setminus\{0\} 上恒有 \oint_{|z|=1}\frac{dz}{z}=2\pi i，说明单连通的必要性。
3. 用 \varepsilon-N 语言写出柯西准则，并数值验证序列 z_n=\frac{n}{n+1}+i\frac{(-1)^n}{n} 的收敛性。
4. 证明开圆盘的闭包是闭圆盘，并指出二者的边界相同。

⚠️ 常见坑：只记结论不记适用边界——"围道积分恒为零"只在单连通区域成立；把多连通区域（如 \mathbb{C}\setminus\{0\}）当成单连通使用，会直接得出错误积分值。

💡 关键直觉：1.2 复平面与拓扑结构 应能对应至少一项可复现实验或算例——上文的圆盘网格计数与连续性偏差检验即为可运行例证。

小结

• 主干：1.2 复平面与拓扑结构 连接「输入—过程—输出」——从度量空间到开集、连通、单连通，再到连续与一致连续。
• 边界：单连通与紧致条件是可验证前提，超出则定理失效。
• 方法：用数值网格检验包含关系、用扰动样本检验连续性。