概念
孤立零点:邻域内唯一零点
m 级零点
单零点 【描述线性程度 】
定理
- 唯一性:解析函数在区域 D 内解析。D 内某一部分上的值相等(子区域或弧段),则它们在整个区域 D 上值必然相等
or:如果解析函数 f 在区域 D 上存在一个零点 a,使得 a 不是 f 的孤立零点(即在其任意邻域内都存在其他零点(或者说存在一个无穷小领域上有其他零点)),那么 f 在 D 上恒为零 - 孤立性:不恒为 0 的解析函数的零点必然是孤立的。
理解
解析函数的局部信息(通过幂级数展开)唯一地决定了其全局行为。这种“刚性”源于其零点的孤立性。
这要求泰勒展开收敛且收敛到函数本身
证明思路
通过 z_0 的无限小领域内有其他零点,先证明任意零点的领域上都为函数值都为0
之后连接任意一点与 Z_0,通过不断的取邻域向所求点过渡,可以知道所求点函数值为 0