复变函数的唯一性定理
唯一性定理是复变函数理论中一个深刻而基本的结果,它揭示了解析函数的一个核心特性:局部信息可以决定整体。简单来说,一个在区域(连通开集)内解析的函数,如果在该区域内某个拥有极限点的点列上的取值被确定了,那么整个区域上的函数值也就被唯一确定了。
1. 定理的直观理解与预备知识
让我们先从一个简单的多项式函数类比开始。考虑一个一元多项式 P(x)。如果你知道这个多项式在无穷多个点(例如所有正整数点)上的函数值,那么理论上这个多项式就被唯一确定了。因为两个不同的多项式之差是另一个多项式,而一个非零多项式只能有有限个根。如果两个多项式在无穷多个点上取值相同,那么它们的差就有无穷多个根,这迫使这个差必须恒为零,即两个多项式完全相同。
解析函数在某种程度上可以看作是“无限次可微”的复函数,它在其定义域内任意一点的邻域内都可以展开为幂级数(泰勒级数)。这种局部可以用幂级数表示的性质,是唯一性定理成立的关键。
2. 定理的精确表述
设函数 f(z) 和 g(z) 在区域 D 内解析。如果集合
{ z ∈ D | f(z) = g(z) }
在 D 内有一个极限点(或称聚点),那么在整个区域 D 上,恒有 f(z) ≡ g(z)。
这里需要精确理解几个概念:
- 区域 D:指的是复平面上的一个连通开集。
- 极限点:点 c 是集合 E 的一个极限点,如果 c 的任意一个邻域(无论多小)内部都包含 E 中异于 c 的点。这意味着 E 中的点可以无限地接近 c。常见的例子包括:一个收敛点列 {z_n}(其极限就是该点列的极限点),一段曲线,或者一个包含内点的区域。
3. 定理的证明思路(核心步骤)
唯一性定理的证明是构造性的,它依赖于解析函数的另一个重要性质——零点的孤立性。
-
步骤一:考虑差值函数
定义一个新的函数 h(z) = f(z) - g(z)。那么 h(z) 也在区域 D 内解析。定理的条件转化为:集合 E = { z ∈ D | h(z) = 0 } 在 D 内有一个极限点,记作 c。 -
步骤二:证明 h(z) 在 c 点附近恒为零
因为 h(z) 在 c 点解析,它可以在 c 点的某个邻域内展开成幂级数:
h(z) = a₀ + a₁(z-c) + a₂(z-c)² + ...
我们现在要证明所有的系数 a₀, a₁, a₂, ... 都为零。
采用反证法:假设并非所有系数都为零。设第一个不为零的系数是 a_m(m ≥ 0),那么幂级数可以写成:
h(z) = (z-c)^m [ a_m + a_{m+1}(z-c) + a_{m+2}(z-c)² + ... ] = (z-c)^m * φ(z)
其中函数 φ(z) 在 c 点解析且 φ(c) = a_m ≠ 0。由于解析函数是连续的,存在 c 点的一个邻域,在这个邻域内 φ(z) ≠ 0。同时,只要 z ≠ c, (z-c)^m 也不为零。因此,在这个去心邻域内,h(z) ≠ 0。
但这与我们的已知条件冲突!因为 c 是零点集 E 的极限点,所以在 c 点的任意去心邻域内,都应该存在属于 E 的点(即满足 h(z)=0 的点)。我们得出了矛盾。
因此,最初的假设(存在非零系数)是错误的。这意味着 h(z) 在 c 点的幂级数展开的所有系数均为零,即 h(z) 在 c 点的某个邻域内恒等于零。 -
步骤三:将“局部为零”推广到“整体为零”
现在我们知道了 h(z) 在包含 c 点的一个小开圆盘 Δ 内恒为零。接下来要证明 h(z) 在整个区域 D 内都为零。
定义两个集合:
A = { z ∈ D | h(z) 在 z 的某个邻域内恒为零 }
B = { z ∈ D | h(z) 在 z 的某个邻域内不恒为零 }
显然,A ∪ B = D,且 A ∩ B = ∅。- A 是开集:如果 z₀ ∈ A,根据 A 的定义,存在 z₀ 的一个邻域包含在 A 中。
- B 也是开集:如果 z₀ ∈ B,意味着 h(z) 在 z₀ 的任意邻域内都不恒为零。根据步骤二的推理(如果恒为零则会导出矛盾),z₀ 存在一个邻域,在该邻域内 h(z) 仅在 z₀ 点可能为零(即零点是孤立的),这个邻域就包含在 B 中。
由于 D 是连通的,它不能表示为两个非空不相交开集的并集。而我们已知 c ∈ A,所以 A 非空。这迫使 B 必须是空集。因此,D = A。
这意味着对于 D 内的每一点,h(z) 都在其邻域内恒为零,从而在整个 D 上,h(z) ≡ 0。所以 f(z) ≡ g(z)。
4. 定理的重要推论与应用
唯一性定理有多个直接而强大的推论:
- 解析延拓的唯一性:如果一个函数可以在一个区域 D 上解析延拓到更大的区域 G,那么这种延拓是唯一的。因为如果有两种不同的延拓,它们在原区域 D 上相等(D 有极限点),根据唯一性定理,它们在更大的区域 G 上也必须相等。
- 恒等定理:如果两个解析函数 f 和 g 在一个区域 D 内的一部分上相等(例如,在一段曲线上相等,或者在一个拥有极限点的点集上相等),那么它们在整個 D 上都相等。这是定理的另一种表述。
- 零点孤立性定理:除非一个解析函数在其整个定义域上恒为零,否则它的零点都是孤立的。也就是说,每个非零解析函数的零点周围都存在一个邻域,该邻域内除该零点外函数不再有其他的零点。这个性质在证明唯一性定理时已经起到了关键作用。
唯一性定理是复分析强大力量的体现,它将函数的局部性质与全局性质深刻地联系起来,是研究解析函数唯一性、解析延拓和函数方程等问题的基石。