刘维尔定理
若 是有界整函数,即 在整个复平面上 解析 且存在常数 使
则 必为常数。
证明
是整函数,故在任意 的一个任意大的圆盘 上解析。由 解析函数的导数公式 中的柯西不等式
令 ,得 。因 是任意的,故 ;而区域上导数恒为零的解析函数为常数。
这一定理说明"解析 + 有界"是非常强的条件:在复平面上,整函数只要有界就退化。对照实函数,
有界但显然不是常数 —— 这是复分析与实分析的重要差别(关键在于复平面是"没有边界、没有两端"的)。
代数基本定理
设
是 次复系数多项式,则 在复平面内至少有一个零点;进一步, 在复数域内恰有 个零点(计重数),并可分解为
证明(反证)
若 在复平面上处处不为零,则
是整函数。又当 时 ,故 ,于是 有界。由刘维尔定理 为常数,从而 为常数,与 、 矛盾。
这说明复数域是代数闭域。实系数多项式在实数范围内可能没有根(如
),但在复数范围内总能分解到底 —— 例如
。
相关:解析、幂函数、解析函数的导数公式、最大模原理
教材 §49