复变函数论5-2-解析函数的孤立奇点5-Picard/皮卡定理1：魏尔斯特拉斯定理【描述出解析函数在本质奇点邻域内的特性】

魏尔斯特拉斯 1876 年给出下面的定理,描述出解析函数在本质奇点邻域内的特性.

定理 5.8

如果 $a$ 为函数 $f(z)$ 的本质奇点, 则对于任何常数 $A$,不管它是有限数还是无穷, 都有一个收敛于 $a$ 的点列 { z n } \left\{z_{n}\right\} { zn​}, 使得

$$\underset{z_n\to a}{\lim }f\left(z_n\right)=A.$$

换句话说, 在本质奇点的无论怎样小的去心邻域内, 函数 $f(z)$可以取任意接近于预先给定的任何数值 (有限的或无穷的).

证
(1) 在 $A=\infty$ 的情形, 定理是正确的. 因为函数 $f(z)$ 的模在 $a$的任何去心邻域内都是无界的. 否则, $a$ 必为 $f(z)$ 的可去奇点.
(2) 现在设 $A\ne \infty$.
可能有这种情形发生, 在点 $a$ 的任意小的去心邻域内有这样一点 $z$ 存在, 使$f(z)$ $=A$. 在这种情形下, 定理已经得证.

因此, 我们可以假定, 在点 $a$ 的充分小的去心邻域 K \ { a } K \backslash\{a\} K\{ a} 内$f(z)\ne A$. 这样, 由定理 5.7 , 函数

$$\phi (z)=\frac{1}{f(z)-A}$$

在 K \ { a } K \backslash\{a\} K\{ a} 内解析, 且以 $a$ 为本质奇点 (因 $a$ 为 $f(z)$的本质奇点). 根据前面 (1) 段的结果,必定有一个趋向 $a$ 的点列
{ z n } \left\{z_{n}\right\} { zn​} 存在,使得

$$\underset{z_n\to a}{\lim }\phi \left(z_n\right)=\infty \text{. }$$

由此推出

lim ⁡ z n → a f ( z n ) = A . \lim \limits_{z_{n} \rightarrow a} f\left(z_{n}\right)=A .