开映射定理 (复分析)

Disambiguate.png

关于其它含义, 请参见 “开映射定理”.

复分析中的开映射定理是说, 非常值全纯函数都是开映射, 即把开集映为开集.

1叙述

定理 1.1 (开映射定理).连通开集, 是非常值全纯函数. 则 开映射.

定理中, 连通的假设可以去掉, 只需假设 的每个连通分支上都不是常值函数. 事实上, 只需对每个连通分支分别应用定理, 即可证明此结论.

2证明

在以下证明中, 我们只需证明 是开集, 因为可将 替换为 中任何连通开集, 并重复证明, 即可证明 是开映射.

用局部表示

. 由全纯函数的局部表示, 存在自然数 , 以及 各自附近的局部坐标, 即全纯函数 , 其中 是单位开圆盘, 使得 , , 且有交换图并且, 都是到其像的双全纯映射, 从而是到其像的同胚. 由 是开集, 知 是包含 且包含于 的开集. 由于 是任取的, 这就说明了 中的开集.

用辐角原理

, 则存在 使得 . 需要证明 的内点. 考虑函数 . 因为 作为全纯函数的零点是孤立的 (参见恒等定理), 所以存在 使得 中只有唯一的零点 . 记 , 它是紧集, 其上的连续函数 必有最小值, 记为 (因为 上无零点). 对任意 , 有

, 则上述结论说明 , 其中 表示环绕数. 根据辐角原理,而右边是 所有零点对 的环绕数之和. 对 也是如此. 注意到 , 且 有唯一零点 , 环绕数大于零, 于是 中存在零点, 这导致 , 也就是 . 从而也就是 的内点. 所以 是开集.

3相关概念

术语翻译

开映射定理英文 open mapping theorem德文 Offenheitsprinzip法文 théorème de l’image ouverte日文 開写像定理 (かいしゃぞうていり)