一类非孤立函数的单值函数与双低聚点.docxVIP

一类非孤立函数的单值函数与双低聚点

1、函数fz

众所周知，在复变函数理论中，所定义的属性点是孤立点的一种。如果在洛朗级数中中含有无穷多个Z-Z0的负幂项,那未孤立奇点Z0称为f(z)的本性奇点。如果a是f(z)的本性奇点,则f(z)在a的邻域内具有如下特性:

维尔斯特拉斯定理:若a为f(z)的本性奇点,则对于任何常数A,不管它是有限数还是无穷,都有一个收敛于a的点列{Zn},使得

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

本文通过以下的引理、定理,将证明一类非孤立奇点邻域内解析函数具有在本性奇点邻域内一样的特性。

2、z在d内解析

若a是单值函数f(z)的极点的聚点,则a为f(z)的非孤立奇点,对这一类非孤立奇点我们有:引理1设a为单值函数f(z)的非孤立奇点,且a是f(z)极点的聚点,若对某一有限数A,在a的充分小去心邻域D:0|z-a|r内,有f(z)≠A,则在D内解析。

证由定义知,a为f(z)的极点的聚点。设G为f(z)在D内的极点之全体所构成的集合,则对于任意,有(1),(2)。

当时,因为D是a的充分小去心邻域,易知f(z)-A在Z点解析,从而Ψ(z)在Z点解析。

当时,记Z*=Z。因为Z*是f(z)的极点,所以f(z)在Z*点的某去心邻域K-{Z*}内能表成

(其中λ(z)在Z*点邻域内解析,m≥1,λ(Z*)≠0)从而,且Ψ(z)在去心邻域K-{Z*}内解析。

我们定义Ψ(Z*)=0,则在Z*这一点,有

即Ψ(z)在Z*这一点可导,从而Ψ(z)在Z*解析。

综合上述讨论,证得Ψ(z)在D内解析。

引理2设a为单值函数f(z)的非孤立奇点,若对某有限数A,在a的充分小去心邻域D:0|z-a|r内,有f(z)≠A,则a为的本性奇点。

证由引理1知,Ψ(z)在D内解析。

(1)a不可能是Ψ(z)的可去奇点(解析点),若a是Ψ(z)的可去奇点(解析点),则得a是f(z)的可去奇点或极点,此与假设矛盾。

(2)a也不可能是。Ψ(z)的极点,若a是Ψ(z)的极点,则得a是的零点(可去奇点)亦与假设矛盾。

综合(1)、(2)可知,a为Ψ(z)的本性奇点。

3、a为“其人”的情形,定理

定理若a是单值函数f(z)的非孤立奇点,则对于任何常数A,不管它是有限数还是无穷,都有一个收敛于a的点列{Zn},使得

证(1)在A=∞的情形,定理是正确的,因为函数f(z)的模在a的任何邻域内都是无界的。否则,a必为f(z)的可去奇点。

(2)设A≠∞,若在点a的任意小的邻域内有这样一点Z存在,使f(z)=A,则定理得证。

现假设,在点a的充分小去心邻域D:0|z-a|r内,f(z)≠A,则由引理2,函数在D内解析,且以a为本性奇点。根据本性奇点的特性可知,必定有一个趋向a的点列{Zn}存在,使得,由此推出