开映射定理 (复分析)
关于其它含义, 请参见 “开映射定理”.
复分析中的开映射定理是说, 非常值的全纯函数都是开映射, 即把开集映为开集.
1叙述
定理中, 连通的假设可以去掉, 只需假设 在 的每个连通分支上都不是常值函数. 事实上, 只需对每个连通分支分别应用定理, 即可证明此结论.
2证明
在以下证明中, 我们只需证明 是开集, 因为可将 替换为 中任何连通开集, 并重复证明, 即可证明 是开映射.
用局部表示
设 . 由全纯函数的局部表示, 存在自然数 , 以及 和 各自附近的局部坐标, 即全纯函数 和 , 其中 是单位开圆盘, 使得 , , 且有交换图并且, 都是到其像的双全纯映射, 从而是到其像的同胚. 由 是开集, 知 是包含 且包含于 的开集. 由于 是任取的, 这就说明了 是 中的开集.
用辐角原理
取 , 则存在 使得 . 需要证明 是 的内点. 考虑函数 . 因为 作为全纯函数的零点是孤立的 (参见恒等定理), 所以存在 使得 在 中只有唯一的零点 . 记 , 它是紧集, 其上的连续函数 必有最小值, 记为 (因为 上无零点). 对任意 和 , 有
令 , 则上述结论说明 , 其中 表示环绕数. 根据辐角原理,而右边是 所有零点对 的环绕数之和. 对 也是如此. 注意到 , 且 有唯一零点 , 环绕数大于零, 于是 在 中存在零点, 这导致 , 也就是 . 从而也就是 是 的内点. 所以 是开集.
3相关概念
术语翻译
开映射定理 • 英文 open mapping theorem • 德文 Offenheitsprinzip • 法文 théorème de l’image ouverte • 日文 開写像定理 (かいしゃぞうていり)